Trace number 4398778

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)4 1998 252.111

General information on the benchmark

NameRamsey/Ramsey-m1-s1/
Ramsey-45.xml
MD5SUM1426235d943c6b8ba94de7087c35e664
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1998.35
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints14190
Number of domains1
Minimum domain size990
Maximum domain size990
Distribution of domain sizes[{"size":990,"count":990}]
Minimum variable degree0
Maximum variable degree44
Distribution of variable degrees[{"degree":0,"count":1035},{"degree":44,"count":990}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":14190}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"nValues","count":14190}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

15.85/3.53	c
15.85/3.53	c This is cosoco 2.00 --  
15.85/3.53	c
15.85/3.53	c command line: cosoco -model -nbcores=8 HOME/instance-4398778-1568609290.xml 
15.85/3.53	c enable optimization
15.85/3.53	c ========================================[ Problem Statistics ]===========================================
15.85/3.53	c |                                                                                                       
15.85/3.53	c |  Parse time        :         1.36 s 
15.85/3.53	c |
15.85/3.53	c |               Variables: 2025
15.85/3.53	c |            Domain Sizes: 990..990
15.85/3.53	c |
15.85/3.53	c |             Constraints: 14191
15.85/3.53	c |                   Arity: 3..990  -- Ternary: 14190
15.85/3.53	c | 
15.85/3.53	c |                   Types: 
15.85/3.53	c |                          Max constant: 1
15.85/3.53	c |                          Not All Equal: 14190
15.85/3.53	c |                          
15.85/3.53	c |               Objective: Minimize Max constant
15.85/3.53	
15.85/3.53	c =========================================================================================================
15.85/3.53	c Parallel mode: Portfolio
15.85/3.53	c [pFactory][Group N°0] created (threads:8).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
15.85/3.53	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
15.85/3.53	c [pFactory][Group N°0] concurrent mode: enabled.
15.85/3.53	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
15.85/3.53	c [pFactory][Group N°0] task 7 launched on thread 0.
15.85/3.53	c [pFactory][Group N°0] task 6 launched on thread 1.
15.85/3.53	c [pFactory][Group N°0] task 5 launched on thread 2.
15.85/3.53	c [pFactory][Group N°0] task 4 launched on thread 6.
15.85/3.53	c [pFactory][Group N°0] task 3 launched on thread 7.
15.85/3.53	c [pFactory][Group N°0] task 2 launched on thread 4.
15.85/3.53	c [pFactory][Group N°0] task 1 launched on thread 3.
15.85/3.53	c [pFactory][Group N°0] task 0 launched on thread 5.
15.85/3.53	o 6
15.85/3.54	o 5
22.30/4.55	o 4
1997.80/252.02	
1997.80/252.02	c *** INTERRUPTED ***
1997.80/252.02	c call to solver        : 3
1997.80/252.02	c
1997.80/252.02	c restarts              : 18800       
1997.80/252.02	c conflicts             : 263865       (132 /sec)
1997.80/252.02	c decisions             : 2604471      (1305 /sec)
1997.80/252.02	c propagations          : 17960215    (9002 /sec)
1997.80/252.02	c root propagations     : 3703        
1997.80/252.02	c filter calls          : 433002184      (217017 /sec)
1997.80/252.02	c useless filter calls  : 419370972      (96 %)
1997.80/252.02	c Memory used           : 1653.70 MB
1997.80/252.02	c Best bound time (wc)  : 4.556 s
1997.80/252.02	c CPU time              : 1995.24 s
1997.80/252.02	c real time             : 252.019 s
1997.80/252.02	
1997.80/252.02	s SATISFIABLE
1997.80/252.02	c Best value found: 4
1997.80/252.02	
1997.80/252.02	
1997.80/252.02	v <instantiation type='solution' cost='4'>
1997.80/252.02	v <list>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][40] x[0][41] x[0][42] x[0][43] x[0][44] 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][40] x[10][41] x[10][42] x[10][43] x[10][44] 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][40] x[11][41] x[11][42] x[11][43] x[11][44] 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][40] x[12][41] x[12][42] x[12][43] x[12][44] 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][40] x[13][41] x[13][42] x[13][43] x[13][44] 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][40] x[14][41] x[14][42] x[14][43] x[14][44] 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][40] x[15][41] x[15][42] x[15][43] x[15][44] 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][40] x[16][41] x[16][42] x[16][43] x[16][44] 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][40] x[17][41] x[17][42] x[17][43] x[17][44] 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][40] x[18][41] x[18][42] x[18][43] x[18][44] 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][40] x[19][41] x[19][42] x[19][43] x[19][44] 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][40] x[1][41] x[1][42] x[1][43] x[1][44] 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][40] x[20][41] x[20][42] x[20][43] x[20][44] 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][40] x[21][41] x[21][42] x[21][43] x[21][44] 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][40] x[22][41] x[22][42] x[22][43] x[22][44] 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][40] x[23][41] x[23][42] x[23][43] x[23][44] 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][40] x[24][41] x[24][42] x[24][43] x[24][44] 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][40] x[25][41] x[25][42] x[25][43] x[25][44] 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][40] x[26][41] x[26][42] x[26][43] x[26][44] 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][40] x[27][41] x[27][42] x[27][43] x[27][44] 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][40] x[28][41] x[28][42] x[28][43] x[28][44] 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][40] x[29][41] x[29][42] x[29][43] x[29][44] 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][40] x[2][41] x[2][42] x[2][43] x[2][44] 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][40] x[30][41] x[30][42] x[30][43] x[30][44] 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][40] x[31][41] x[31][42] x[31][43] x[31][44] 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][40] x[32][41] x[32][42] x[32][43] x[32][44] 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][40] x[33][41] x[33][42] x[33][43] x[33][44] 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][40] x[34][41] x[34][42] x[34][43] x[34][44] 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][40] x[35][41] x[35][42] x[35][43] x[35][44] 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][40] x[36][41] x[36][42] x[36][43] x[36][44] 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][40] x[37][41] x[37][42] x[37][43] x[37][44] 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][40] x[38][41] x[38][42] x[38][43] x[38][44] 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][40] x[39][41] x[39][42] x[39][43] x[39][44] 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][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][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][40] x[4][41] x[4][42] x[4][43] x[4][44] 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][40] x[5][41] x[5][42] x[5][43] x[5][44] 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][40] x[6][41] x[6][42] x[6][43] x[6][44] 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][40] x[7][41] x[7][42] x[7][43] x[7][44] 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][40] x[8][41] x[8][42] x[8][43] x[8][44] 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][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
1997.80/252.02	v <values>* 0 0 2 1 4 0 1 1 1 3 0 1 2 2 2 0 0 2 2 4 1 3 2 1 0 3 2 0 2 2 1 0 4 2 0 1 2 3 2 0 1 1 0 3 * * 2 0 1 0 3 1 0 1 3 * 2 2 0 4 1 1 2 2 3 1 * 2 0 3 0 3 1 2 2 1 1 * 2 4 0 2 3 * * * * * * * * * 1 4 0 2 1 0 1 3 * 1 0 0 2 3 2 4 0 0 1 * 0 0 3 0 2 1 0 3 2 1 * 3 4 0 3 3 * * * * * * * * * * 1 1 2 2 3 3 3 * 3 0 1 0 1 1 0 0 0 4 * 0 1 0 2 0 0 0 3 1 0 * 3 0 4 0 0 * * * * * * * * * * * 2 1 2 2 3 1 * 3 0 3 0 3 2 1 0 0 4 * 0 0 0 0 0 0 0 1 3 0 * 1 1 2 0 0 * * * * * * * * * * * * 2 1 1 1 3 * 1 2 2 0 0 0 0 2 3 1 * 2 3 0 1 0 0 2 2 2 0 * 2 0 1 0 0 * * * * * * * * * * * * * 1 1 1 2 * 2 0 1 0 1 1 0 0 0 1 * 0 1 2 0 0 1 0 3 0 2 * 3 3 3 0 0 * * * * * * * * * * * * * * 0 2 1 * 3 0 0 1 2 3 1 0 0 2 * 0 0 3 0 1 3 0 1 2 0 * 1 1 0 1 1 * * * * * * * * * * * * * * * 0 1 * 2 1 3 0 0 0 0 1 1 0 * 1 2 0 2 0 0 1 1 3 1 * 1 0 3 0 0 * * * * * * * * * * * * * * * * 1 * 2 0 0 1 4 2 1 0 0 3 * 0 0 2 0 1 2 0 1 4 0 * 1 1 0 1 1 * * * * * * * * * * * * * * * * * * 1 0 2 0 1 3 0 0 0 1 * 0 1 0 0 0 0 0 2 1 0 * 2 3 1 0 0 * * * * * * * 3 2 2 4 4 4 1 2 1 4 * 1 1 2 0 1 3 2 1 1 1 4 1 0 1 1 0 2 1 2 0 2 0 2 3 2 0 0 2 2 3 1 1 3 * * * * * * * * * * * * * 0 1 0 2 1 1 0 0 2 * 0 0 0 0 0 0 0 1 2 0 * 1 2 2 0 0 * * * * * * * * * * * * * * * * * * * * 1 1 0 0 1 3 2 0 * 3 1 2 2 1 2 4 0 1 2 * 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 1 1 0 * 1 2 0 2 0 0 1 3 4 1 * 3 0 4 0 0 * * * * * * * * * * * * * * * * * * * * * * 1 1 3 1 1 1 * 1 2 2 2 3 1 1 0 3 1 * 0 2 0 4 2 * * * * * * * * * * * * * * * * * * * * * * * 2 1 0 0 3 * 0 0 2 0 1 2 0 1 0 3 * 1 1 3 1 1 * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 2 * 0 0 1 0 1 4 0 2 0 2 * 2 1 1 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 * 1 0 2 2 4 1 1 0 2 1 * 0 2 0 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 * 4 1 2 2 1 2 3 0 1 2 * 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 2 1 4 3 1 4 2 0 1 3 * 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 0 1 2 0 1 3 0 * 1 1 0 1 1 * * * * * * * 0 0 2 0 3 0 0 2 0 0 * 0 2 2 2 0 0 2 2 4 0 * 2 1 3 4 2 1 2 0 1 1 0 0 0 2 1 1 2 1 3 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * 1 2 2 1 2 3 0 1 2 * 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 2 3 1 1 2 2 * 1 0 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 1 2 0 1 1 * 0 3 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 2 0 1 1 * 0 0 2 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 4 1 * 0 2 0 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 3 * 0 1 1 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 * 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 * 4 2 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 1 0 0 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 3 2 * * * * * * * 4 2 2 1 2 4 3 0 3 3 * 1 0 0 1 4 4 4 0 0 4 * 0 1 2 0 1 2 0 3 1 0 * 3 2 0 1 1 2 0 0 1 4 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 1 2 4 4 1 1 1 2 * 1 0 4 0 2 3 0 0 0 1 * 0 3 0 1 0 0 0 3 2 0 * 3 0 1 0 0 * 0 1 1 4 3 * 1 1 0 0 0 2 0 1 0 0 * 0 2 1 1 3 2 1 2 3 0 * 2 2 1 1 1 3 2 0 0 4 * 0 1 1 3 2 * * 1 0 2 0 * 2 0 2 0 1 1 0 2 0 1 * 0 1 2 3 0 0 0 1 1 0 * 1 3 2 3 4 2 1 1 2 1 * 1 2 2 3 2 * * * 0 0 1 * 0 1 3 4 1 2 3 2 2 1 * 4 0 1 0 2 1 1 0 0 2 * 0 3 0 3 0 0 0 1 3 0 * 1 0 4 0 0 * * * * 3 2 * 1 2 1 2 0 1 4 0 2 1 * 3 0 0 1 2 3 1 0 0 2 * 0 0 3 0 1 3 0 1 0 2 * 1 1 3 1 1 * * * * * 1 * 0 3 2 1 3 3 1 1 1 4 * 3 0 1 0 1 1 0 0 0 1 * 0 4 0 1 0 0 0 2 2 0 * 2 0 2 0 0 * * * * * * </values>
1997.80/252.02	v </instantiation>
1997.80/252.02

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398778-1568609290/watcher-4398778-1568609290 -o /tmp/evaluation-result-4398778-1568609290/solver-4398778-1568609290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568596936-27641 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398778-1568609290.xml 

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

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


[startup+0.100162 s]*
/proc/loadavg: 8.10 7.10 7.07 2/191 29767
/proc/meminfo: memFree=30764952/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=158184 memory=134336 CPUtime=0.1 cores=0-7
/proc/29766/stat : 29766 (cosoco) R 29763 29766 27614 0 -1 4202496 33794 0 0 0 6 4 0 0 20 0 1 0 436842982 161980416 33584 33554432000 4194304 6211092 140721386258704 140721386255240 139708582503024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 39546 33584 786 493 0 32851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 158184 KiB
Current children cumulated memory: 134336 KiB

[startup+0.209092 s]*
/proc/loadavg: 8.10 7.10 7.07 2/191 29767
/proc/meminfo: memFree=30764580/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=158552 memory=134600 CPUtime=0.21 cores=0-7
/proc/29766/stat : 29766 (cosoco) R 29763 29766 27614 0 -1 4202496 33873 0 0 0 17 4 0 0 20 0 1 0 436842982 162357248 33650 33554432000 4194304 6211092 140721386258704 140721386255240 5810210 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 39638 33650 809 493 0 32943 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 158552 KiB
Current children cumulated memory: 134600 KiB

[startup+0.308481 s]*
/proc/loadavg: 8.10 7.10 7.07 2/191 29767
/proc/meminfo: memFree=30764300/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=158876 memory=134892 CPUtime=0.31 cores=0-7
/proc/29766/stat : 29766 (cosoco) R 29763 29766 27614 0 -1 4202496 33997 0 0 0 27 4 0 0 20 0 1 0 436842982 162689024 33723 33554432000 4194304 6211092 140721386258704 140721386255240 139708595169785 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 39719 33723 809 493 0 33024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 158876 KiB
Current children cumulated memory: 134892 KiB

[startup+0.70038 s]
/proc/loadavg: 8.10 7.10 7.07 2/191 29767
/proc/meminfo: memFree=30641912/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=416756 memory=393080 CPUtime=0.69 cores=0-7
/proc/29766/stat : 29766 (cosoco) R 29763 29766 27614 0 -1 4202496 98508 0 0 0 57 12 0 0 20 0 1 0 436842982 426758144 98270 33554432000 4194304 6211092 140721386258704 140721386255240 139708582505445 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 104222 98270 835 493 0 97527 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 416756 KiB
Current children cumulated memory: 393080 KiB

[startup+1.50038 s]
/proc/loadavg: 8.10 7.10 7.07 2/191 29767
/proc/meminfo: memFree=30291204/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=988616 memory=964640 CPUtime=1.49 cores=0-7
/proc/29766/stat : 29766 (cosoco) R 29763 29766 27614 0 -1 4202496 241422 0 0 0 117 32 0 0 20 0 1 0 436842982 1012342784 241160 33554432000 4194304 6211092 140721386258704 140721386253592 139708582553504 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 247154 241160 835 493 0 240459 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 988616 KiB
Current children cumulated memory: 964640 KiB

[startup+3.10977 s]
/proc/loadavg: 8.10 7.10 7.07 9/199 29776
/proc/meminfo: memFree=29817756/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1085596 CPUtime=12.74 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 294630 0 0 0 1226 48 0 0 20 0 9 0 436842982 1734029312 271399 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 271399 872 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1080204 CPUtime=1.37 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 2128 0 0 0 136 1 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708575402712 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=-5345911718594120662 CPUtime=1.38 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 4240 0 0 0 138 0 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708567009896 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=6154824643193890407 CPUtime=1.37 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 2253 0 0 0 135 2 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708558617304 5392320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=0 CPUtime=1.34 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 2057 0 0 0 134 0 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708550224440 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=0 CPUtime=1.36 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 3471 0 0 0 136 0 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708541831736 139708582501182 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=267610822338703 CPUtime=1.36 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 3953 0 0 0 136 0 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708533439080 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=267610822338704 CPUtime=1.38 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 2964 0 0 0 135 3 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708525046376 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=3616 CPUtime=1.37 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 3242 0 0 0 135 2 0 0 20 0 9 0 436843154 1734029312 271399 33554432000 4194304 6211092 140721386258704 139708516653624 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1085596 KiB

[startup+6.30078 s]
/proc/loadavg: 7.93 7.09 7.06 9/199 29776
/proc/meminfo: memFree=29475936/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1425380 CPUtime=36.63 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 617819 0 0 0 3523 140 0 0 20 0 9 0 436842982 1734029312 356345 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356345 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1425376 CPUtime=4.33 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 46666 0 0 0 414 19 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708575402552 5097939 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=3616 CPUtime=4.4 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 55265 0 0 0 430 10 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708567010320 5392278 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=43000 CPUtime=4.4 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 46707 0 0 0 419 21 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708558617192 5392265 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=6944656592455359580 CPUtime=4.33 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 21842 0 0 0 426 7 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708550224440 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=6655300316396806240 CPUtime=4.37 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 33575 0 0 0 429 8 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708541832176 5392265 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=6944652177228980320 CPUtime=4.37 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 46518 0 0 0 431 6 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708533439080 5409431 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=279563313702234 CPUtime=4.34 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 46556 0 0 0 414 20 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708525046328 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=3833019954285955105 CPUtime=4.3 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 50346 0 0 0 420 10 0 0 20 0 9 0 436843154 1734029312 356345 33554432000 4194304 6211092 140721386258704 139708516653752 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 36.63 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1425380 KiB

[startup+12.7008 s]
/proc/loadavg: 7.93 7.10 7.07 9/199 29776
/proc/meminfo: memFree=29475188/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1425960 CPUtime=87.75 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 782324 0 0 0 8622 153 0 0 20 0 9 0 436842982 1734029312 356490 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356490 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=3616 CPUtime=10.74 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 70373 0 0 0 1052 22 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708575402552 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=139783602962585 CPUtime=10.8 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 80717 0 0 0 1069 11 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708567010320 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=139783603227297 CPUtime=10.8 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 72058 0 0 0 1058 22 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708558617192 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=6935054825532540783 CPUtime=10.73 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 31229 0 0 0 1064 9 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708550224488 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=7892391828772250251 CPUtime=10.78 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 47907 0 0 0 1068 10 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708541832176 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=1425956 CPUtime=10.78 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 58513 0 0 0 1070 8 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708533439080 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=1425828 CPUtime=10.74 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 72251 0 0 0 1053 21 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708525046328 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=0 CPUtime=10.61 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 78932 0 0 0 1050 11 0 0 20 0 9 0 436843154 1734029312 356490 33554432000 4194304 6211092 140721386258704 139708516653624 5392261 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 87.75 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1425960 KiB

[startup+25.5008 s]
/proc/loadavg: 7.95 7.14 7.08 9/200 29778
/proc/meminfo: memFree=29473280/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426132 CPUtime=189.97 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 1165843 0 0 0 18808 189 0 0 20 0 9 0 436842982 1734029312 356533 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356533 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1426124 CPUtime=23.53 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 131556 0 0 0 2327 26 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708575402552 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=164 CPUtime=23.6 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 140304 0 0 0 2344 16 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708567010320 5097943 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=0 CPUtime=23.59 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 129875 0 0 0 2333 26 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708558617144 5392320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=1426112 CPUtime=23.52 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 55478 0 0 0 2337 15 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708550224440 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=279567206010208 CPUtime=23.58 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 88019 0 0 0 2344 14 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708541832176 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=580 CPUtime=23.57 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 79738 0 0 0 2347 10 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708533439080 5009244 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=1696 CPUtime=23.54 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 126922 0 0 0 2329 25 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708525046376 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=4000 CPUtime=23.23 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 143607 0 0 0 2307 16 0 0 20 0 9 0 436843154 1734029312 356533 33554432000 4194304 6211092 140721386258704 139708516653624 5392248 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 189.97 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426132 KiB

[startup+51.1098 s]
/proc/loadavg: 7.97 7.21 7.11 9/199 29778
/proc/meminfo: memFree=29473808/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426208 CPUtime=394.48 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 1588128 0 0 0 39222 226 0 0 20 0 9 0 436842982 1734029312 356552 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356552 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1426172 CPUtime=49.14 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 195159 0 0 0 4883 31 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708575402552 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=1426184 CPUtime=49.21 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 202052 0 0 0 4901 20 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708567010320 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=0 CPUtime=49.21 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 193322 0 0 0 4890 31 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708558617144 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=1426176 CPUtime=49.13 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 75232 0 0 0 4892 21 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708550224440 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=1088 CPUtime=49.19 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 138754 0 0 0 4899 20 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708541832176 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=1088 CPUtime=49.18 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 106726 0 0 0 4905 13 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708533439080 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=279567206788176 CPUtime=49.15 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 193220 0 0 0 4886 29 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708525046328 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=288230591722422566 CPUtime=48.5 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 213319 0 0 0 4828 22 0 0 20 0 9 0 436843154 1734029312 356552 33554432000 4194304 6211092 140721386258704 139708516653624 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 394.48 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426208 KiB

[startup+102.301 s]
/proc/loadavg: 8.10 7.37 7.17 9/199 29781
/proc/meminfo: memFree=29476356/32770624 swapFree=67001736/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426232 CPUtime=803.17 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 1660880 0 0 0 80086 231 0 0 20 0 9 0 436842982 1734029312 356558 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356558 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1426232 CPUtime=100.32 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 206437 0 0 0 10000 32 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708575402552 5392715 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=72737 CPUtime=100.38 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 212977 0 0 0 10017 21 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708567010320 5098127 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=0 CPUtime=100.39 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 204972 0 0 0 10007 32 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708558617144 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=1426232 CPUtime=100.29 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 80031 0 0 0 10008 21 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708550224440 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=56 CPUtime=100.36 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 143961 0 0 0 10015 21 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708541832176 5392265 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=139783603267737 CPUtime=100.36 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 111937 0 0 0 10022 14 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708533439080 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=1240 CPUtime=100.32 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 204811 0 0 0 10002 30 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708525046328 5392248 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=580 CPUtime=98.98 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 225410 0 0 0 9876 22 0 0 20 0 9 0 436843154 1734029312 356558 33554432000 4194304 6211092 140721386258704 139708516653624 5097993 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 803.17 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426232 KiB

[startup+162.301 s]
/proc/loadavg: 8.64 7.64 7.27 9/200 29794
/proc/meminfo: memFree=29472336/32770624 swapFree=67001740/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426312 CPUtime=1281.94 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 1748921 0 0 0 127954 240 0 0 20 0 9 0 436842982 1734029312 356578 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356578 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1426312 CPUtime=160.25 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 219941 0 0 0 15992 33 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708575402552 5186224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=1426304 CPUtime=159.81 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 225820 0 0 0 15959 22 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708567010320 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=1426268 CPUtime=160.34 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 218501 0 0 0 16001 33 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708558617144 5392278 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=1426272 CPUtime=160.23 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 86438 0 0 0 16000 23 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708550224440 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=1426312 CPUtime=160.29 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 152041 0 0 0 16008 21 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708541832176 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=1426312 CPUtime=160.32 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 115869 0 0 0 16018 14 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708533439080 5097943 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=1426312 CPUtime=160.28 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 218034 0 0 0 15997 31 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708525046328 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=1426312 CPUtime=158.62 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 241933 0 0 0 15839 23 0 0 20 0 9 0 436843154 1734029312 356578 33554432000 4194304 6211092 140721386258704 139708516653624 5392248 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 1281.94 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426312 KiB

[startup+222.301 s]
/proc/loadavg: 8.61 7.81 7.35 9/200 29797
/proc/meminfo: memFree=29472328/32770624 swapFree=67001740/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426348 CPUtime=1760.74 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 1872149 0 0 0 175824 250 0 0 20 0 9 0 436842982 1734029312 356587 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356587 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=1426348 CPUtime=220.23 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 234919 0 0 0 21989 34 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708575402552 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=1426316 CPUtime=219.6 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 246814 0 0 0 21938 22 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708567010320 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=1426316 CPUtime=220.32 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 233053 0 0 0 21998 34 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708558617144 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=1426348 CPUtime=219.91 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 95641 0 0 0 21965 26 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708550224440 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=3616 CPUtime=220.09 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 167305 0 0 0 21986 23 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708541832176 5392715 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=31076 CPUtime=220.31 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 122017 0 0 0 22015 16 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708533439032 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=1426316 CPUtime=220.25 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 241377 0 0 0 21993 32 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708525046328 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=1426348 CPUtime=218.24 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 260679 0 0 0 21800 24 0 0 20 0 9 0 436843154 1734029312 356587 33554432000 4194304 6211092 140721386258704 139708516653624 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 1760.74 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426348 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.42 7.84 7.38 9/200 29800
/proc/meminfo: memFree=29469724/32770624 swapFree=67001740/67108860
[pid=29766] ppid=29763 vsize=1693388 memory=1426352 CPUtime=1997.8 cores=0-7
/proc/29766/stat : 29766 (cosoco) S 29763 29766 27614 0 -1 1077944320 2022830 0 0 0 199514 266 0 0 20 0 9 0 436842982 1734029312 356588 33554432000 4194304 6211092 140721386258704 140721386256960 139708598546167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
/proc/29766/statm: 423347 356588 875 493 0 416652 0
[pid=29766/tid=29768] ppid=29763 vsize=1693388 memory=6935054825532540783 CPUtime=249.88 cores=0-7
/proc/29766/task/29768/stat : 29768 (cosoco) R 29763 29766 27614 0 -1 4202560 259902 0 0 0 24952 36 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708575402552 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29769] ppid=29763 vsize=1693388 memory=924 CPUtime=249.11 cores=0-7
/proc/29766/task/29769/stat : 29769 (cosoco) R 29763 29766 27614 0 -1 4202560 264944 0 0 0 24887 24 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708567010320 5392261 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29770] ppid=29763 vsize=1693388 memory=5020 CPUtime=250 cores=0-7
/proc/29766/task/29770/stat : 29770 (cosoco) R 29763 29766 27614 0 -1 4202560 249198 0 0 0 24964 36 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708558617536 5392715 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29771] ppid=29763 vsize=1693388 memory=4104 CPUtime=249.6 cores=0-7
/proc/29766/task/29771/stat : 29771 (cosoco) R 29763 29766 27614 0 -1 4202560 108625 0 0 0 24931 29 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708550224440 5409449 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29772] ppid=29763 vsize=1693388 memory=4872558044660077418 CPUtime=249.77 cores=0-7
/proc/29766/task/29772/stat : 29772 (cosoco) R 29763 29766 27614 0 -1 4202560 178755 0 0 0 24953 24 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708541832176 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29773] ppid=29763 vsize=1693388 memory=288230596050944315 CPUtime=249.99 cores=0-7
/proc/29766/task/29773/stat : 29773 (cosoco) R 29763 29766 27614 0 -1 4202560 138499 0 0 0 24981 18 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708533439032 5112695 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29774] ppid=29763 vsize=1693388 memory=15817794159643256 CPUtime=249.95 cores=0-7
/proc/29766/task/29774/stat : 29774 (cosoco) R 29763 29766 27614 0 -1 4202560 257541 0 0 0 24962 33 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708525046720 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
[pid=29766/tid=29775] ppid=29763 vsize=1693388 memory=1056 CPUtime=247.71 cores=0-7
/proc/29766/task/29775/stat : 29775 (cosoco) R 29763 29766 27614 0 -1 4202560 295022 0 0 0 24745 26 0 0 20 0 9 0 436843154 1734029312 356588 33554432000 4194304 6211092 140721386258704 139708516653624 5392352 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20045824 140721386263574 140721386263666 140721386263666 140721386266574 0
Current children cumulated CPU time: 1997.8 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1426352 KiB

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

[startup+252.111 s]
# the end of solver process 29766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1995.25 s, system=2.75225 s

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

Child status: 1
Real time (s): 252.111
CPU time (s): 1998
CPU user time (s): 1995.25
CPU system time (s): 2.75225
CPU usage (%): 792.508
Max. virtual memory (cumulated for all children) (KiB): 2004720
Max. memory (cumulated for all children) (KiB): 1622972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.25
system time used= 2.75225
maximum resident set size= 1627220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2023101
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= 68899
involuntary context switches= 16752


# summary of solver processes directly reported to runsolver:
#   pid: 29766
#   total CPU time (s): 1998
#   total CPU user time (s): 1995.25
#   total CPU system time (s): 2.75225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26506 second user time and 2.21877 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-16 06:47:29
IDJOB=4398778
IDBENCH=133905
IDSOLVER=2852
FILE ID=node146/4398778-1568609290
RUNJOBID= node146-1568596936-27641
PBS_JOBID= 21703402
Free space on /tmp= 59028 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398778-1568609290/watcher-4398778-1568609290 -o /tmp/evaluation-result-4398778-1568609290/solver-4398778-1568609290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568596936-27641 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398778-1568609290.xml

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

MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=1645728068

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30897276 kB
MemAvailable:   31868164 kB
Buffers:          216804 kB
Cached:          1025344 kB
SwapCached:         4596 kB
Active:           589460 kB
Inactive:         659320 kB
Active(anon):      23760 kB
Inactive(anon):    30532 kB
Active(file):     565700 kB
Inactive(file):   628788 kB
Unevictable:      110700 kB
Mlocked:          110700 kB
SwapTotal:      67108860 kB
SwapFree:       67001736 kB
Dirty:              3716 kB
Writeback:             0 kB
AnonPages:        114092 kB
Mapped:            45968 kB
Shmem:             38788 kB
Slab:             214540 kB
SReclaimable:     184472 kB
SUnreclaim:        30068 kB
KernelStack:        3408 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     508288 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59028 MiB
End job on node146 at 2019-09-16 06:51:41