Trace number 4308723

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
OscaR - Parallel with EPS 2018-08-14SAT (TO)266 20001.4 2520.31

General information on the benchmark

NameStillLife/
StillLife-wastage-30_c18.xml
MD5SUMbc7ca4ef6af3dcde4f5a5d75f0a5d481
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark420
Best CPU time to get the best result obtained on this benchmark20055.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2081
Number of constraints1208
Number of domains4
Minimum domain size2
Maximum domain size2049
Distribution of domain sizes[{"size":2,"count":1024},{"size":3,"count":1024},{"size":901,"count":1},{"size":2049,"count":32}]
Minimum variable degree1
Maximum variable degree33
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1021},{"degree":3,"count":35},{"degree":4,"count":120},{"degree":8,"count":116},{"degree":9,"count":784},{"degree":33,"count":1}]
Minimum constraint arity2
Maximum constraint arity34
Distribution of constraint arities[{"arity":2,"count":152},{"arity":3,"count":120},{"arity":10,"count":900},{"arity":32,"count":4},{"arity":33,"count":1},{"arity":34,"count":31}]
Number of extensional constraints1020
Number of intensional constraints151
Distribution of constraint types[{"type":"extension","count":1020},{"type":"intension","count":151},{"type":"sum","count":33},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 958057101
0.67/0.56	c timeout: 20160
0.67/0.56	c memlimit: 22000
0.67/0.56	c nbcore: 8
0.67/0.59	c Parsing instance...
2.68/1.23	c Parsing done, starting search...
31.48/7.39	o 248
32.18/7.41	o 249
32.18/7.41	o 250
32.18/7.48	o 251
34.48/7.70	o 252
34.48/7.71	o 253
34.48/7.76	o 254
35.28/7.86	o 255
35.28/7.88	o 256
36.13/8.00	o 257
169.71/24.75	o 258
169.71/24.80	o 259
180.06/26.04	o 260
493.15/65.36	o 261
663.60/86.72	o 262
1460.44/186.73	o 263
5596.90/706.28	o 264
5733.54/723.44	o 265
6254.38/788.98	o 266
19999.17/2520.09	s SATISFIABLE
19999.17/2520.10	v <instantiation>
19999.17/2520.10	v 	<list>
19999.17/2520.10	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] 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][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][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] 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][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][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] 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][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][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] 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][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][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] 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][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][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] 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][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][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] 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][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][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] 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][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][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] 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][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][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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][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][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] 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][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][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] 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][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][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] 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][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][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] 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][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][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] 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][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][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] 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][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][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] 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][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][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] 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][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][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] 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][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][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] 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][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][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] 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][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][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] 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][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][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] 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][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][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] 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][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][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] 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][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][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] 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][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][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] 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][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][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] 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][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][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] 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][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][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] 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][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][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] 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][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][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] 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][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][30] x[31][31] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] z
19999.17/2520.10	v 	</list>
19999.17/2520.10	v 	<values>
19999.17/2520.10	v 		0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 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 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 1 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 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 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 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 0 0 1 0 1 2 1 2 2 2 1 1 2 2 2 2 1 1 2 2 1 1 1 2 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 2 2 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 2 2 0 0 0 1 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 1 2 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 2 0 0 1 2 2 0 1 0 0 0 1 2 1 1 2 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 2 2 2 2 1 0 1 1 2 2 2 2 2 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 2 2 2 2 2 1 2 2 2 2 2 0 2 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 2 2 2 2 2 2 2 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 2 2 2 2 2 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 2 2 2 2 2 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 29 86 140 196 252 306 362 418 472 517 541 551 561 571 581 590 600 611 616 619 629 635 645 666 690 717 744 772 799 817 840 856 266 
19999.17/2520.10	v 	</values>
19999.17/2520.10	v </instantiation>

Verifier Data

OK	266

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308723-1534352796/watcher-4308723-1534352796 -o /tmp/evaluation-result-4308723-1534352796/solver-4308723-1534352796 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534352796-28197 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 958057101 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308723-1534352796.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=28216, runsolver pid=28213
Current StackSize limit: 8192 KiB


[startup+0.10053 s]*
/proc/loadavg: 1.28 1.41 1.36 2/200 28236
/proc/meminfo: memFree=23909520/32770624 swapFree=67105356/67108860
[pid=28216] ppid=28213 vsize=26103420 memory=30080 CPUtime=0.11 cores=0-7
/proc/28216/stat : 28216 (java) S 28213 28216 28170 0 -1 1077944320 6973 0 0 0 9 2 0 0 20 0 20 0 252842823 26729902080 7520 33554432000 4194304 4196468 140729550664640 140729550647184 140008707919607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
/proc/28216/statm: 6525855 7520 3137 1 0 6487932 0
[pid=28216/tid=28218] ppid=28213 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28216/task/28218/stat : 28218 (java) R 28213 28216 28170 0 -1 4202560 5073 0 0 0 8 1 0 0 20 0 20 0 252842823 26729902080 7520 33554432000 4194304 4196468 140729550664640 140008712107648 140008688195367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28219] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28219/stat : 28219 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008630500496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28220] ppid=28213 vsize=26103420 memory=140273195218560 CPUtime=0 cores=0-7
/proc/28216/task/28220/stat : 28220 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008629447696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28221] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28221/stat : 28221 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008628394896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28222] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28222/stat : 28222 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008627342096 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28223] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28223/stat : 28223 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008626289296 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28224] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28224/stat : 28224 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008625236496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28225] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28225/stat : 28225 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008624183696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28226] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28226/stat : 28226 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 7586 33554432000 4194304 4196468 140729550664640 140008623130896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28227] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28227/stat : 28227 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842825 26729902080 7586 33554432000 4194304 4196468 140729550664640 140007248378736 140008707930754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28228] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28228/stat : 28228 (java) S 28213 28216 28170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 7586 33554432000 4194304 4196468 140729550664640 140007247324704 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28229] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28229/stat : 28229 (java) S 28213 28216 28170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 7586 33554432000 4194304 4196468 140729550664640 140007246271856 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28230] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28230/stat : 28230 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007245220176 140008707938203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28231] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28231/stat : 28231 (java) S 28213 28216 28170 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007244167536 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28232] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28232/stat : 28232 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007243114736 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28233] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28233/stat : 28233 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007242061936 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28234] ppid=28213 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28216/task/28234/stat : 28234 (java) S 28213 28216 28170 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 252842828 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007241009136 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28235] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28235/stat : 28235 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007239957600 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28236] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28236/stat : 28236 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 7652 33554432000 4194304 4196468 140729550664640 140007238904880 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30080 KiB

[startup+0.210031 s]*
/proc/loadavg: 1.28 1.41 1.36 3/200 28236
/proc/meminfo: memFree=23896728/32770624 swapFree=67105356/67108860
[pid=28216] ppid=28213 vsize=26103420 memory=43172 CPUtime=0.3 cores=0-7
/proc/28216/stat : 28216 (java) S 28213 28216 28170 0 -1 1077944320 10447 0 0 0 27 3 0 0 20 0 20 0 252842823 26729902080 10793 33554432000 4194304 4196468 140729550664640 140729550647184 140008707919607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
/proc/28216/statm: 6525855 10793 3335 1 0 6487932 0
[pid=28216/tid=28218] ppid=28213 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/28216/task/28218/stat : 28218 (java) R 28213 28216 28170 0 -1 4202560 8234 0 0 0 18 2 0 0 20 0 20 0 252842823 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008712145408 140008700156734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28219] ppid=28213 vsize=26103420 memory=9264 CPUtime=0 cores=0-7
/proc/28216/task/28219/stat : 28219 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008630500496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28220] ppid=28213 vsize=26103420 memory=140273196575837 CPUtime=0 cores=0-7
/proc/28216/task/28220/stat : 28220 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008629447696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28221] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28221/stat : 28221 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008628394896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28222] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28222/stat : 28222 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008627342096 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28223] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28223/stat : 28223 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008626289296 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28224] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28224/stat : 28224 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008625236496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28225] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28225/stat : 28225 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008624183696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28226] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28226/stat : 28226 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 10793 33554432000 4194304 4196468 140729550664640 140008623130896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28227] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28227/stat : 28227 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842825 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007248378736 140008707930754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28228] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28228/stat : 28228 (java) S 28213 28216 28170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007247324704 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28229] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28229/stat : 28229 (java) S 28213 28216 28170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007246271856 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28230] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28230/stat : 28230 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007245220176 140008707938203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28231] ppid=28213 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28216/task/28231/stat : 28231 (java) S 28213 28216 28170 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 252842828 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007244167536 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28232] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28232/stat : 28232 (java) S 28213 28216 28170 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007243114736 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28233] ppid=28213 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28216/task/28233/stat : 28233 (java) S 28213 28216 28170 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 252842828 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007242061936 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28234] ppid=28213 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/28216/task/28234/stat : 28234 (java) R 28213 28216 28170 0 -1 4202560 281 0 0 0 6 0 0 0 20 0 20 0 252842828 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007241009136 140008686625552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28235] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28235/stat : 28235 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007239957600 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28236] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28236/stat : 28236 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 10793 33554432000 4194304 4196468 140729550664640 140007238904880 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43172 KiB

[startup+0.310102 s]*
/proc/loadavg: 1.28 1.41 1.36 2/200 28236
/proc/meminfo: memFree=23893284/32770624 swapFree=67105356/67108860
[pid=28216] ppid=28213 vsize=26103420 memory=46728 CPUtime=0.43 cores=0-7
/proc/28216/stat : 28216 (java) S 28213 28216 28170 0 -1 1077944320 10853 0 0 0 40 3 0 0 20 0 20 0 252842823 26729902080 11682 33554432000 4194304 4196468 140729550664640 140729550647184 140008707919607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
/proc/28216/statm: 6525855 11682 3370 1 0 6487932 0
[pid=28216/tid=28218] ppid=28213 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28216/task/28218/stat : 28218 (java) R 28213 28216 28170 0 -1 4202560 8563 0 0 0 28 2 0 0 20 0 20 0 252842823 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008712081344 140008688195488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28219] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28219/stat : 28219 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008630500496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28220] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28220/stat : 28220 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008629447696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28221] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28221/stat : 28221 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008628394896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28222] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28222/stat : 28222 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008627342096 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28223] ppid=28213 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/28216/task/28223/stat : 28223 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008626289296 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28224] ppid=28213 vsize=26103420 memory=140273095111599 CPUtime=0 cores=0-7
/proc/28216/task/28224/stat : 28224 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008625236496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28225] ppid=28213 vsize=26103420 memory=140273095113904 CPUtime=0 cores=0-7
/proc/28216/task/28225/stat : 28225 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008624183696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28226] ppid=28213 vsize=26103420 memory=140273095116208 CPUtime=0 cores=0-7
/proc/28216/task/28226/stat : 28226 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842824 26729902080 11682 33554432000 4194304 4196468 140729550664640 140008623130896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28227] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28227/stat : 28227 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842825 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007248378736 140008707930754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28228] ppid=28213 vsize=26103420 memory=280546190239376 CPUtime=0 cores=0-7
/proc/28216/task/28228/stat : 28228 (java) S 28213 28216 28170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007247324704 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28229] ppid=28213 vsize=26103420 memory=280546190246288 CPUtime=0 cores=0-7
/proc/28216/task/28229/stat : 28229 (java) S 28213 28216 28170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252842826 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007246271856 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28230] ppid=28213 vsize=26103420 memory=280546190187568 CPUtime=0 cores=0-7
/proc/28216/task/28230/stat : 28230 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007245220176 140008707938203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28231] ppid=28213 vsize=26103420 memory=280546190260112 CPUtime=0.02 cores=0-7
/proc/28216/task/28231/stat : 28231 (java) S 28213 28216 28170 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 20 0 252842828 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007244167536 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28232] ppid=28213 vsize=26103420 memory=280546190267024 CPUtime=0 cores=0-7
/proc/28216/task/28232/stat : 28232 (java) S 28213 28216 28170 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 252842828 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007243114736 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28233] ppid=28213 vsize=26103420 memory=280546190264720 CPUtime=0.01 cores=0-7
/proc/28216/task/28233/stat : 28233 (java) S 28213 28216 28170 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 252842828 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007242061936 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28234] ppid=28213 vsize=26103420 memory=280546190281328 CPUtime=0.08 cores=0-7
/proc/28216/task/28234/stat : 28234 (java) S 28213 28216 28170 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 20 0 252842828 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007241009136 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28235] ppid=28213 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28235/stat : 28235 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007239957600 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28236] ppid=28213 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28216/task/28236/stat : 28236 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842829 26729902080 11682 33554432000 4194304 4196468 140729550664640 140007238904880 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46728 KiB

[startup+0.700814 s]
/proc/loadavg: 1.28 1.41 1.36 2/200 28236
/proc/meminfo: memFree=23869476/32770624 swapFree=67105356/67108860
[pid=28216] ppid=28213 vsize=26105488 memory=85440 CPUtime=0.99 cores=0-7
/proc/28216/stat : 28216 (java) S 28213 28216 28170 0 -1 1077944320 17834 0 0 0 94 5 0 0 20 0 20 0 252842823 26732019712 21360 33554432000 4194304 4196468 140729550664640 140729550647184 140008707919607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
/proc/28216/statm: 6526372 21360 3497 1 0 6488444 0
[pid=28216/tid=28218] ppid=28213 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/28216/task/28218/stat : 28218 (java) R 28213 28216 28170 0 -1 4202560 15017 0 0 0 64 3 0 0 20 0 20 0 252842823 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008712134720 140008690327726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28219] ppid=28213 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28219/stat : 28219 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008630500496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28220] ppid=28213 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28220/stat : 28220 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008629447696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28221] ppid=28213 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28221/stat : 28221 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008628394896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28222] ppid=28213 vsize=26105488 memory=4632 CPUtime=0 cores=0-7
/proc/28216/task/28222/stat : 28222 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008627342096 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28223] ppid=28213 vsize=26105488 memory=3644 CPUtime=0 cores=0-7
/proc/28216/task/28223/stat : 28223 (java) S 28213 28216 28170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008626289296 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28224] ppid=28213 vsize=26105488 memory=1268 CPUtime=0 cores=0-7
/proc/28216/task/28224/stat : 28224 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008625236496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28225] ppid=28213 vsize=26105488 memory=1124 CPUtime=0 cores=0-7
/proc/28216/task/28225/stat : 28225 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008624183696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28226] ppid=28213 vsize=26105488 memory=14884 CPUtime=0 cores=0-7
/proc/28216/task/28226/stat : 28226 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252842824 26732019712 21360 33554432000 4194304 4196468 140729550664640 140008623130896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28227] ppid=28213 vsize=26105488 memory=3316 CPUtime=0 cores=0-7
/proc/28216/task/28227/stat : 28227 (java) S 28213 28216 28170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252842825 26732019712 21360 33554432000 4194304 4196468 140729550664640 140007248378736 140008707930754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0

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

/proc/28216/task/28240/stat : 28240 (java) R 28213 28216 28170 0 -1 4202560 102202 0 0 0 247850 166 0 0 20 0 45 0 252843263 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007218106448 140008309882873 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28241] ppid=28213 vsize=27786008 memory=1268 CPUtime=2480.84 cores=0-7
/proc/28216/task/28241/stat : 28241 (java) R 28213 28216 28170 0 -1 4202560 105236 0 0 0 247938 146 0 0 20 0 45 0 252843263 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007217052848 140008311697476 0 4 0 16800975 0 0 0 -1 6 0 0 44 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28242] ppid=28213 vsize=27786008 memory=3115404 CPUtime=0.8 cores=0-7
/proc/28216/task/28242/stat : 28242 (java) S 28213 28216 28170 0 -1 1077944384 631 0 0 0 79 1 0 0 20 0 45 0 252843270 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007216005936 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28243] ppid=28213 vsize=27786008 memory=14884 CPUtime=0.77 cores=0-7
/proc/28216/task/28243/stat : 28243 (java) S 28213 28216 28170 0 -1 1077944384 136 0 0 0 75 2 0 0 20 0 45 0 252843270 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007214954160 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28244] ppid=28213 vsize=27786008 memory=3316 CPUtime=2484.24 cores=0-7
/proc/28216/task/28244/stat : 28244 (java) R 28213 28216 28170 0 -1 4202560 106758 0 0 0 248277 147 0 0 20 0 45 0 252843270 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007213893592 140008309882891 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28245] ppid=28213 vsize=27786008 memory=13636 CPUtime=0.79 cores=0-7
/proc/28216/task/28245/stat : 28245 (java) S 28213 28216 28170 0 -1 1077944384 175 0 0 0 77 2 0 0 20 0 45 0 252843270 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007212848560 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28246] ppid=28213 vsize=27786008 memory=38428 CPUtime=2475.51 cores=0-7
/proc/28216/task/28246/stat : 28246 (java) R 28213 28216 28170 0 -1 4202560 97801 0 0 0 247426 125 0 0 20 0 45 0 252843270 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007211788440 140008310945192 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28247] ppid=28213 vsize=27786008 memory=1176 CPUtime=2481.96 cores=0-7
/proc/28216/task/28247/stat : 28247 (java) R 28213 28216 28170 0 -1 4202560 103498 0 0 0 248059 137 0 0 20 0 45 0 252843271 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007210738160 140008310945110 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28248] ppid=28213 vsize=27786008 memory=492 CPUtime=2486.17 cores=0-7
/proc/28216/task/28248/stat : 28248 (java) R 28213 28216 28170 0 -1 4202560 103576 0 0 0 248476 141 0 0 20 0 45 0 252843273 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007142573472 140008309858972 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28249] ppid=28213 vsize=27786008 memory=3115920 CPUtime=0 cores=0-7
/proc/28216/task/28249/stat : 28249 (java) S 28213 28216 28170 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 45 0 252843274 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007141528496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28250] ppid=28213 vsize=27786008 memory=928 CPUtime=2482.25 cores=0-7
/proc/28216/task/28250/stat : 28250 (java) R 28213 28216 28170 0 -1 4202560 103819 0 0 0 248086 139 0 0 20 0 45 0 252843412 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007140469376 140008304633667 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28251] ppid=28213 vsize=27786008 memory=2216 CPUtime=0 cores=0-7
/proc/28216/task/28251/stat : 28251 (java) S 28213 28216 28170 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 45 0 252843413 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007139423920 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28252] ppid=28213 vsize=27786008 memory=928 CPUtime=0 cores=0-7
/proc/28216/task/28252/stat : 28252 (java) S 28213 28216 28170 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 45 0 252843413 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007138371120 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28253] ppid=28213 vsize=27786008 memory=0 CPUtime=0 cores=0-7
/proc/28216/task/28253/stat : 28253 (java) S 28213 28216 28170 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 45 0 252843565 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007133087152 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28254] ppid=28213 vsize=27786008 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/28216/task/28254/stat : 28254 (java) S 28213 28216 28170 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 252843566 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007132034352 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28255] ppid=28213 vsize=27786008 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/28216/task/28255/stat : 28255 (java) S 28213 28216 28170 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 45 0 252843567 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007130981552 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28256] ppid=28213 vsize=27786008 memory=15536314971856400 CPUtime=0 cores=0-7
/proc/28216/task/28256/stat : 28256 (java) S 28213 28216 28170 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 45 0 252843567 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007129928752 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28257] ppid=28213 vsize=27786008 memory=3129256 CPUtime=0 cores=0-7
/proc/28216/task/28257/stat : 28257 (java) S 28213 28216 28170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 252843567 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007128875952 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28258] ppid=28213 vsize=27786008 memory=4100 CPUtime=0 cores=0-7
/proc/28216/task/28258/stat : 28258 (java) S 28213 28216 28170 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 45 0 252843567 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007127823152 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28259] ppid=28213 vsize=27786008 memory=1800 CPUtime=0 cores=0-7
/proc/28216/task/28259/stat : 28259 (java) S 28213 28216 28170 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 45 0 252843567 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007126771376 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28260] ppid=28213 vsize=27786008 memory=916 CPUtime=0 cores=0-7
/proc/28216/task/28260/stat : 28260 (java) S 28213 28216 28170 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 45 0 252843612 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007125718576 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28261] ppid=28213 vsize=27786008 memory=3912 CPUtime=0 cores=0-7
/proc/28216/task/28261/stat : 28261 (java) S 28213 28216 28170 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 45 0 252843614 28452872192 778209 33554432000 4194304 4196468 140729550664640 140007124665776 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
Current children cumulated CPU time: 19999.2 s
Current children cumulated vsize: 27786008 KiB
Current children cumulated memory: 3112836 KiB

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

[startup+2520.31 s]
# the end of solver process 28216 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19983.4 s, system=18.0043 s

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

[startup+2520.2 s]*
/proc/loadavg: 8.52 8.73 8.25 17/225 28320
/proc/meminfo: memFree=20810916/32770624 swapFree=67105356/67108860
[pid=28216] ppid=28213 vsize=27920164 memory=3113620 CPUtime=20000.8 cores=0-7
/proc/28216/stat : 28216 (java) S 28213 28216 28170 0 -1 1077944320 2060772 0 0 0 1998280 1798 0 0 20 0 47 0 252842823 28590247936 778405 33554432000 4194304 4196468 140729550664640 140729550647184 140008707919607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
/proc/28216/statm: 6980041 778405 3635 1 0 6941592 0
[pid=28216/tid=28218] ppid=28213 vsize=27920164 memory=4872558044660077418 CPUtime=4.24 cores=0-7
/proc/28216/task/28218/stat : 28218 (java) S 28213 28216 28170 0 -1 1077944384 23014 0 0 0 412 12 0 0 20 0 47 0 252842823 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008712157072 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28219] ppid=28213 vsize=27920164 memory=4126316290023845779 CPUtime=14.7 cores=0-7
/proc/28216/task/28219/stat : 28219 (java) S 28213 28216 28170 0 -1 1077944384 115592 0 0 0 1399 71 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008630500496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28220] ppid=28213 vsize=27920164 memory=928 CPUtime=14.76 cores=0-7
/proc/28216/task/28220/stat : 28220 (java) S 28213 28216 28170 0 -1 1077944384 134593 0 0 0 1403 73 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008629447696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28221] ppid=28213 vsize=27920164 memory=2216 CPUtime=14.78 cores=0-7
/proc/28216/task/28221/stat : 28221 (java) S 28213 28216 28170 0 -1 1077944384 114255 0 0 0 1407 71 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008628394896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28222] ppid=28213 vsize=27920164 memory=928 CPUtime=14.68 cores=0-7
/proc/28216/task/28222/stat : 28222 (java) S 28213 28216 28170 0 -1 1077944384 127552 0 0 0 1397 71 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008627342096 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28223] ppid=28213 vsize=27920164 memory=1564 CPUtime=14.73 cores=0-7
/proc/28216/task/28223/stat : 28223 (java) S 28213 28216 28170 0 -1 1077944384 118831 0 0 0 1404 69 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008626289296 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28224] ppid=28213 vsize=27920164 memory=2192 CPUtime=14.68 cores=0-7
/proc/28216/task/28224/stat : 28224 (java) S 28213 28216 28170 0 -1 1077944384 126494 0 0 0 1402 66 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008625236496 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28225] ppid=28213 vsize=27920164 memory=3984 CPUtime=14.83 cores=0-7
/proc/28216/task/28225/stat : 28225 (java) S 28213 28216 28170 0 -1 1077944384 134213 0 0 0 1411 72 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008624183696 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28226] ppid=28213 vsize=27920164 memory=280546191208032 CPUtime=14.72 cores=0-7
/proc/28216/task/28226/stat : 28226 (java) S 28213 28216 28170 0 -1 1077944384 124569 0 0 0 1404 68 0 0 20 0 47 0 252842824 28590247936 778405 33554432000 4194304 4196468 140729550664640 140008623130896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28227] ppid=28213 vsize=27920164 memory=7163651863883377008 CPUtime=4.04 cores=0-7
/proc/28216/task/28227/stat : 28227 (java) S 28213 28216 28170 0 -1 1077944384 131564 0 0 0 335 69 0 0 20 0 47 0 252842825 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007248378736 140008707930754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28228] ppid=28213 vsize=27920164 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28216/task/28228/stat : 28228 (java) S 28213 28216 28170 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 47 0 252842826 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007247324768 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28229] ppid=28213 vsize=27920164 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/28216/task/28229/stat : 28229 (java) S 28213 28216 28170 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 47 0 252842826 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007246271872 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28230] ppid=28213 vsize=27920164 memory=3984 CPUtime=0 cores=0-7
/proc/28216/task/28230/stat : 28230 (java) S 28213 28216 28170 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 47 0 252842828 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007245220176 140008707938203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28231] ppid=28213 vsize=27920164 memory=1928 CPUtime=2.24 cores=0-7
/proc/28216/task/28231/stat : 28231 (java) S 28213 28216 28170 0 -1 1077944384 10554 0 0 0 222 2 0 0 20 0 47 0 252842828 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007244160560 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28232] ppid=28213 vsize=27920164 memory=7888 CPUtime=2.11 cores=0-7
/proc/28216/task/28232/stat : 28232 (java) S 28213 28216 28170 0 -1 1077944384 10840 0 0 0 208 3 0 0 20 0 47 0 252842828 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007243114736 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28233] ppid=28213 vsize=27920164 memory=804 CPUtime=2.25 cores=0-7
/proc/28216/task/28233/stat : 28233 (java) S 28213 28216 28170 0 -1 1077944384 11084 0 0 0 222 3 0 0 20 0 47 0 252842828 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007242046128 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28234] ppid=28213 vsize=27920164 memory=4100 CPUtime=1.35 cores=0-7
/proc/28216/task/28234/stat : 28234 (java) S 28213 28216 28170 0 -1 1077944384 21651 0 0 0 131 4 0 0 20 0 47 0 252842828 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007241008896 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28235] ppid=28213 vsize=27920164 memory=1800 CPUtime=0 cores=0-7
/proc/28216/task/28235/stat : 28235 (java) S 28213 28216 28170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 252842829 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007239957600 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28236] ppid=28213 vsize=27920164 memory=916 CPUtime=1.03 cores=0-7
/proc/28216/task/28236/stat : 28236 (java) S 28213 28216 28170 0 -1 1077944384 6772 0 0 0 65 38 0 0 20 0 47 0 252842829 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007238904880 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28237] ppid=28213 vsize=27920164 memory=3912 CPUtime=0 cores=0-7
/proc/28216/task/28237/stat : 28237 (java) S 28213 28216 28170 0 -1 1077944384 577 0 0 0 0 0 0 0 20 0 47 0 252843222 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007225463936 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28238] ppid=28213 vsize=27920164 memory=1408 CPUtime=5.19 cores=0-7
/proc/28216/task/28238/stat : 28238 (java) S 28213 28216 28170 0 -1 1077944384 15017 0 0 0 257 262 0 0 20 0 47 0 252843245 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007222313856 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28239] ppid=28213 vsize=27920164 memory=14884 CPUtime=2485.27 cores=0-7
/proc/28216/task/28239/stat : 28239 (java) R 28213 28216 28170 0 -1 4202560 103900 0 0 0 248384 143 0 0 20 0 47 0 252843262 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007219157008 140008307337360 0 4 0 16800975 0 0 0 -1 3 0 0 44 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28240] ppid=28213 vsize=27920164 memory=3316 CPUtime=2480.36 cores=0-7
/proc/28216/task/28240/stat : 28240 (java) R 28213 28216 28170 0 -1 4202560 102222 0 0 0 247870 166 0 0 20 0 47 0 252843263 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007218103520 140008310501776 0 4 0 16800975 0 0 0 -1 1 0 0 40 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28241] ppid=28213 vsize=27920164 memory=13636 CPUtime=2481 cores=0-7
/proc/28216/task/28241/stat : 28241 (java) R 28213 28216 28170 0 -1 1077944384 105254 0 0 0 247954 146 0 0 20 0 47 0 252843263 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007217051408 140008707929813 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28242] ppid=28213 vsize=27920164 memory=38428 CPUtime=0.8 cores=0-7
/proc/28216/task/28242/stat : 28242 (java) S 28213 28216 28170 0 -1 1077944384 655 0 0 0 79 1 0 0 20 0 47 0 252843270 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007216001232 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28243] ppid=28213 vsize=27920164 memory=1176 CPUtime=0.77 cores=0-7
/proc/28216/task/28243/stat : 28243 (java) S 28213 28216 28170 0 -1 1077944384 136 0 0 0 75 2 0 0 20 0 47 0 252843270 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007214954160 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28244] ppid=28213 vsize=27920164 memory=492 CPUtime=2484.42 cores=0-7
/proc/28216/task/28244/stat : 28244 (java) R 28213 28216 28170 0 -1 4202560 106776 0 0 0 248295 147 0 0 20 0 47 0 252843270 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007213893904 140008309017995 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28245] ppid=28213 vsize=27920164 memory=1616 CPUtime=0.8 cores=0-7
/proc/28216/task/28245/stat : 28245 (java) S 28213 28216 28170 0 -1 1077944384 453 0 0 0 78 2 0 0 20 0 47 0 252843270 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007212843312 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28246] ppid=28213 vsize=27920164 memory=928 CPUtime=2475.71 cores=0-7
/proc/28216/task/28246/stat : 28246 (java) R 28213 28216 28170 0 -1 4202560 97823 0 0 0 247446 125 0 0 20 0 47 0 252843270 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007211788304 140008303615432 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28247] ppid=28213 vsize=27920164 memory=2216 CPUtime=2482.16 cores=0-7
/proc/28216/task/28247/stat : 28247 (java) R 28213 28216 28170 0 -1 4202560 103516 0 0 0 248079 137 0 0 20 0 47 0 252843271 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007210734832 140008310501251 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28248] ppid=28213 vsize=27920164 memory=6791534058613427641 CPUtime=2486.37 cores=0-7
/proc/28216/task/28248/stat : 28248 (java) S 28213 28216 28170 0 -1 1077944384 103596 0 0 0 248496 141 0 0 20 0 47 0 252843273 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007142574976 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28249] ppid=28213 vsize=27920164 memory=1564 CPUtime=0 cores=0-7
/proc/28216/task/28249/stat : 28249 (java) S 28213 28216 28170 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 47 0 252843274 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007141523248 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28250] ppid=28213 vsize=27920164 memory=2192 CPUtime=2482.43 cores=0-7
/proc/28216/task/28250/stat : 28250 (java) R 28213 28216 28170 0 -1 4202560 103837 0 0 0 248104 139 0 0 20 0 47 0 252843412 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007140467792 140008310945127 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28251] ppid=28213 vsize=27920164 memory=3984 CPUtime=0 cores=0-7
/proc/28216/task/28251/stat : 28251 (java) S 28213 28216 28170 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 47 0 252843413 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007139420576 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28252] ppid=28213 vsize=27920164 memory=7888 CPUtime=0 cores=0-7
/proc/28216/task/28252/stat : 28252 (java) S 28213 28216 28170 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 47 0 252843413 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007138371120 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28253] ppid=28213 vsize=27920164 memory=804 CPUtime=0 cores=0-7
/proc/28216/task/28253/stat : 28253 (java) S 28213 28216 28170 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 47 0 252843565 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007133081264 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28254] ppid=28213 vsize=27920164 memory=4100 CPUtime=0 cores=0-7
/proc/28216/task/28254/stat : 28254 (java) S 28213 28216 28170 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 47 0 252843566 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007132034352 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28255] ppid=28213 vsize=27920164 memory=1800 CPUtime=0.01 cores=0-7
/proc/28216/task/28255/stat : 28255 (java) S 28213 28216 28170 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 47 0 252843567 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007130977232 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28256] ppid=28213 vsize=27920164 memory=916 CPUtime=0 cores=0-7
/proc/28216/task/28256/stat : 28256 (java) S 28213 28216 28170 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 47 0 252843567 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007129923472 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28257] ppid=28213 vsize=27920164 memory=3912 CPUtime=0 cores=0-7
/proc/28216/task/28257/stat : 28257 (java) S 28213 28216 28170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 47 0 252843567 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007128875952 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28258] ppid=28213 vsize=27920164 memory=1408 CPUtime=0 cores=0-7
/proc/28216/task/28258/stat : 28258 (java) S 28213 28216 28170 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 47 0 252843567 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007127818832 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28259] ppid=28213 vsize=27920164 memory=4596 CPUtime=0 cores=0-7
/proc/28216/task/28259/stat : 28259 (java) S 28213 28216 28170 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 47 0 252843567 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007126760256 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28260] ppid=28213 vsize=27920164 memory=3114376 CPUtime=0 cores=0-7
/proc/28216/task/28260/stat : 28260 (java) S 28213 28216 28170 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 47 0 252843612 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007125714544 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28261] ppid=28213 vsize=27920164 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28216/task/28261/stat : 28261 (java) S 28213 28216 28170 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 47 0 252843614 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007124660528 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28318] ppid=28213 vsize=27920164 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/28216/task/28318/stat : 28318 (java) S 28213 28216 28170 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 47 0 253094827 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007123612144 140008707929813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
[pid=28216/tid=28320] ppid=28213 vsize=27920164 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/28216/task/28320/stat : 28320 (java) S 28213 28216 28170 0 -1 1077944384 1056 0 0 0 0 0 0 0 20 0 47 0 253094831 28590247936 778405 33554432000 4194304 4196468 140729550664640 140007121506272 140008707930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12931072 140729550672974 140729550673157 140729550673157 140729550675919 0
Current children cumulated CPU time: 20000.8 s
Current children cumulated vsize: 27920164 KiB
Current children cumulated memory: 3113620 KiB

Child status: 143
Real time (s): 2520.31
CPU time (s): 20001.4
CPU user time (s): 19983.4
CPU system time (s): 18.0043
CPU usage (%): 793.608
Max. virtual memory (cumulated for all children) (KiB): 27920164
Max. memory (cumulated for all children) (KiB): 4328668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19983.4
system time used= 18.0043
maximum resident set size= 4328696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2061127
page faults= 0
swaps= 0
block input operations= 3464
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 519983
involuntary context switches= 416711


# summary of solver processes directly reported to runsolver:
#   pid: 28216
#   total CPU time (s): 20001.4
#   total CPU user time (s): 19983.4
#   total CPU system time (s): 18.0043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.3394 second user time and 34.602 second system time

The end

Launcher Data

Begin job on node149 at 2018-08-15 19:06:36
IDJOB=4308723
IDBENCH=141028
IDSOLVER=2793
FILE ID=node149/4308723-1534352796
RUNJOBID= node149-1534352796-28197
PBS_JOBID= 21038255
Free space on /tmp= 44896 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/StillLife/StillLife-wastage-30_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308723-1534352796/watcher-4308723-1534352796 -o /tmp/evaluation-result-4308723-1534352796/solver-4308723-1534352796 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534352796-28197 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 958057101 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308723-1534352796.xml

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

MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481
RANDOM SEED=958057101

node149.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.60
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.60
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.60
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.60
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:        23926900 kB
MemAvailable:   31895516 kB
Buffers:          175572 kB
Cached:          8005372 kB
SwapCached:         1704 kB
Active:          3667700 kB
Inactive:        4566596 kB
Active(anon):       4124 kB
Inactive(anon):   109920 kB
Active(file):    3663576 kB
Inactive(file):  4456676 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35800 kB
Writeback:             0 kB
AnonPages:         59064 kB
Mapped:            55508 kB
Shmem:             57760 kB
Slab:             304944 kB
SReclaimable:     276824 kB
SUnreclaim:        28120 kB
KernelStack:        3088 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 44860 MiB
End job on node149 at 2018-08-15 19:48:37