Trace number 4255576

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 - ALNS 2017-07-26SAT (TO)183 251.032 240.02299

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-038.xml
MD5SUM5c46c59146557e02d06c9ff3e1746190
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark1921.35
Satisfiable
(Un)Satisfiability was proved
Number of variables1481
Number of constraints777
Number of domains75
Minimum domain size2
Maximum domain size75
Distribution of domain sizes[{"size":2,"count":742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}]
Minimum variable degree0
Maximum variable degree37
Distribution of variable degrees[{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}]
Minimum constraint arity2
Maximum constraint arity38
Distribution of constraint arities[{"arity":2,"count":38},{"arity":3,"count":704},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}]
Number of extensional constraints0
Number of intensional constraints740
Distribution of constraint types[{"type":"intension","count":740},{"type":"sum","count":37}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.25/0.36	c version: 2017-07-26
0.25/0.37	c seed: 1011133341
0.25/0.37	c timeout: 264
0.25/0.37	c memlimit: 11000
0.25/0.37	c nbcore: 4
0.25/0.39	c Parsing instance...
2.57/1.29	c Parsing done, starting search...
2.87/1.35	o 17575
3.76/1.63	o 1047
5.61/2.25	o 447
12.61/7.62	o 367
14.57/9.55	o 343
14.67/9.70	o 335
14.87/9.88	o 327
15.67/10.64	o 263
17.90/12.57	o 247
23.42/17.96	o 207
42.41/36.79	o 183
250.99/240.00	s SATISFIABLE
250.99/240.01	v <instantiation>
250.99/240.01	v 	<list>
250.99/240.01	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[33][0] y[33][1] y[33][2] y[33][3] y[34][0] y[34][1] y[34][2] y[35][0] y[35][1] y[36][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36]
250.99/240.01	v 	</list>
250.99/240.01	v 	<values>
250.99/240.01	v 		1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 4 -3 -6 -1 -2 1 0 -3 0 -1 2 1 0 -3 0 1 0 1 2 1 -2 1 -2 1 0 3 2 1 -6 1 -4 -1 0 1 -2 1 1 16 9 36 1 4 1 0 9 0 1 4 1 0 9 0 1 0 1 4 1 4 1 4 1 0 9 4 1 36 1 16 1 0 1 4 1 
250.99/240.01	v 	</values>
250.99/240.01	v </instantiation>

Verifier Data 

OK	183

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255576-1501633874/watcher-4255576-1501633874 -o /tmp/evaluation-result-4255576-1501633874/solver-4255576-1501633874 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24765 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1011133341 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255576-1501633874.xml 

pid=31769
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.54 1.50 2/198 31772
/proc/meminfo: memFree=29932472/32770624 swapFree=0/305016
[pid=31772] ppid=31769 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31772/stat : 31772 (runsolver) D 31769 31772 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10893139 24240128 108 18446744073709551615 4194304 4338465 140733036343408 140733036341048 140086838997719 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 38166528 140733036347500 140733036347974 140733036347974 140733036351434 0
/proc/31772/statm: 5918 108 54 36 0 2156 0

[startup+0.110018 s]
/proc/loadavg: 1.91 1.54 1.50 2/198 31772
/proc/meminfo: memFree=29932472/32770624 swapFree=0/305016
[pid=31772] ppid=31769 vsize=13573664 CPUtime=0.02 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 4121 0 0 0 2 0 0 0 20 0 9 0 10893139 13899431936 4744 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3393416 4744 2098 1 0 3382921 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13573664

[startup+0.200223 s]
/proc/loadavg: 1.91 1.54 1.50 2/198 31772
/proc/meminfo: memFree=29932472/32770624 swapFree=0/305016
[pid=31772] ppid=31769 vsize=13975920 CPUtime=0.09 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 6824 0 0 0 8 1 0 0 20 0 15 0 10893139 14311342080 7502 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3493980 7502 3343 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920

[startup+0.300292 s]
/proc/loadavg: 1.91 1.54 1.50 2/198 31772
/proc/meminfo: memFree=29932472/32770624 swapFree=0/305016
[pid=31772] ppid=31769 vsize=13975920 CPUtime=0.25 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 10634 0 0 0 22 3 0 0 20 0 15 0 10893139 14311342080 9938 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3493980 9938 3529 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920

[startup+0.700154 s]
/proc/loadavg: 1.91 1.54 1.50 2/198 31772
/proc/meminfo: memFree=29932472/32770624 swapFree=0/305016
[pid=31772] ppid=31769 vsize=13977988 CPUtime=1.14 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 14026 0 0 0 109 5 0 0 20 0 15 0 10893139 14313459712 17869 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3494497 17869 3728 1 0 3483279 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13977988

[startup+1.50102 s]
/proc/loadavg: 1.92 1.55 1.51 6/213 31787
/proc/meminfo: memFree=29818516/32770624 swapFree=0/305020
[pid=31772] ppid=31769 vsize=13982084 CPUtime=3.44 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 30098 0 0 0 334 10 0 0 20 0 15 0 10893139 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 45278 3759 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 15756 0 0 0 130 6 0 0 20 0 15 0 10893147 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070872667272 140070518880320 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10893147 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10893147 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10893147 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10893147 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070346499616 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070345446768 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=0.68 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) R 31769 31772 5234 0 -1 4202560 3289 0 0 0 67 1 0 0 20 0 15 0 10893152 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070343331248 140070852820657 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=0.6 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) R 31769 31772 5234 0 -1 4202560 3330 0 0 0 60 0 0 0 20 0 15 0 10893152 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070342278448 140070868442518 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) R 31769 31772 5234 0 -1 4202560 5811 0 0 0 75 1 0 0 20 0 15 0 10893152 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070341230512 140070860765528 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 10893156 14317654016 45278 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13982084

[startup+3.1011 s]
/proc/loadavg: 1.92 1.55 1.51 3/213 31787
/proc/meminfo: memFree=29687984/32770624 swapFree=0/305020
[pid=31772] ppid=31769 vsize=13982084 CPUtime=7.07 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 35789 0 0 0 688 19 0 0 20 0 15 0 10893139 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 93154 3804 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=2.91 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 16242 0 0 0 282 9 0 0 20 0 15 0 10893147 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070872668352 140070519052336 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 15 0 10893147 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 228 0 0 0 2 1 0 0 20 0 15 0 10893147 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 15 0 10893147 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 10893147 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 842 0 0 0 1 0 0 0 20 0 15 0 10893149 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=1.6 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 4764 0 0 0 159 1 0 0 20 0 15 0 10893152 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=1.48 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) R 31769 31772 5234 0 -1 4202560 5248 0 0 0 147 1 0 0 20 0 15 0 10893152 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070342289944 140070849955697 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=0.89 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) R 31769 31772 5234 0 -1 1077944384 6658 0 0 0 87 2 0 0 20 0 15 0 10893152 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10893156 14317654016 93154 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 13982084

[startup+6.30078 s]
/proc/loadavg: 1.92 1.56 1.51 3/213 31787
/proc/meminfo: memFree=29287348/32770624 swapFree=0/305032
[pid=31772] ppid=31769 vsize=13982084 CPUtime=11.16 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 37205 0 0 0 1088 28 0 0 20 0 15 0 10893139 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 162606 3806 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=6.06 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 16487 0 0 0 594 12 0 0 20 0 15 0 10893147 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070872668288 140070519029401 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 15 0 10893147 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 248 0 0 0 4 2 0 0 20 0 15 0 10893147 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 15 0 10893147 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 262 0 0 0 4 2 0 0 20 0 15 0 10893147 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 1095 0 0 0 2 0 0 0 20 0 15 0 10893149 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=2.09 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 5262 0 0 0 208 1 0 0 20 0 15 0 10893152 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=1.7 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) S 31769 31772 5234 0 -1 1077944384 5353 0 0 0 169 1 0 0 20 0 15 0 10893152 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070342289648 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=0.97 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) S 31769 31772 5234 0 -1 1077944384 6869 0 0 0 95 2 0 0 20 0 15 0 10893152 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 10893156 14317654016 162606 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 13982084

[startup+12.7008 s]
/proc/loadavg: 1.77 1.53 1.50 4/214 31788
/proc/meminfo: memFree=27871368/32770624 swapFree=0/305036
[pid=31772] ppid=31769 vsize=13982084 CPUtime=18.1 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 39568 0 0 0 1757 53 0 0 20 0 15 0 10893139 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 533005 3806 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=12.43 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 17571 0 0 0 1210 33 0 0 20 0 15 0 10893147 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070872668336 140070519028133 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 119 0 0 0 5 3 0 0 20 0 15 0 10893147 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 268 0 0 0 6 3 0 0 20 0 15 0 10893147 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 127 0 0 0 4 3 0 0 20 0 15 0 10893147 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 295 0 0 0 6 3 0 0 20 0 15 0 10893147 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 1602 0 0 0 2 0 0 0 20 0 15 0 10893149 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 533005 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0

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

/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 498909 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 164 0 0 0 1 1 0 0 20 0 15 0 10893156 14317654016 498909 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 57.01
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.61 1.52 1.50 3/214 31791
/proc/meminfo: memFree=27985796/32770624 swapFree=0/305128
[pid=31772] ppid=31769 vsize=13982084 CPUtime=109.72 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 67467 0 0 0 10908 64 0 0 20 0 15 0 10893139 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 467202 3808 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=101.51 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 24132 0 0 0 10117 34 0 0 20 0 15 0 10893147 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070872667968 140070519184171 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 502 0 0 0 41 5 0 0 20 0 15 0 10893147 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 948 0 0 0 42 4 0 0 20 0 15 0 10893147 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 1472 0 0 0 41 5 0 0 20 0 15 0 10893147 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 515 0 0 0 42 4 0 0 20 0 15 0 10893147 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 2321 0 0 0 11 2 0 0 20 0 15 0 10893149 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=2.61 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 13113 0 0 0 259 2 0 0 20 0 15 0 10893152 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=2.42 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) S 31769 31772 5234 0 -1 1077944384 13567 0 0 0 240 2 0 0 20 0 15 0 10893152 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070342289648 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) S 31769 31772 5234 0 -1 1077944384 9152 0 0 0 106 2 0 0 20 0 15 0 10893152 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 322 0 0 0 2 3 0 0 20 0 15 0 10893156 14317654016 467202 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 109.72
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.55 1.51 1.50 3/213 31793
/proc/meminfo: memFree=28016608/32770624 swapFree=0/305164
[pid=31772] ppid=31769 vsize=13982084 CPUtime=171.3 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 81475 0 0 0 17054 76 0 0 20 0 15 0 10893139 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 448134 3809 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=160.86 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 26857 0 0 0 16051 35 0 0 20 0 15 0 10893147 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070872668640 140070519034325 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=0.93 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 688 0 0 0 87 6 0 0 20 0 15 0 10893147 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 1875 0 0 0 88 6 0 0 20 0 15 0 10893147 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=0.92 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 2345 0 0 0 85 7 0 0 20 0 15 0 10893147 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=0.93 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 749 0 0 0 88 5 0 0 20 0 15 0 10893147 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.25 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 2846 0 0 0 21 4 0 0 20 0 15 0 10893149 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=2.68 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 16137 0 0 0 266 2 0 0 20 0 15 0 10893152 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=2.51 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) S 31769 31772 5234 0 -1 1077944384 17186 0 0 0 249 2 0 0 20 0 15 0 10893152 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070342289648 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) S 31769 31772 5234 0 -1 1077944384 10922 0 0 0 106 2 0 0 20 0 15 0 10893152 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 447 0 0 0 3 5 0 0 20 0 15 0 10893156 14317654016 448134 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 171.3
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.61 1.53 1.51 3/215 31880
/proc/meminfo: memFree=29564940/32770624 swapFree=0/305240
[pid=31772] ppid=31769 vsize=13982084 CPUtime=232.91 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 90779 0 0 0 23203 88 0 0 20 0 15 0 10893139 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 429098 3811 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=220.25 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 28727 0 0 0 21990 35 0 0 20 0 15 0 10893147 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070872669104 140070519184199 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=1.37 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 904 0 0 0 129 8 0 0 20 0 15 0 10893147 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 2472 0 0 0 130 8 0 0 20 0 15 0 10893147 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 2700 0 0 0 127 9 0 0 20 0 15 0 10893147 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 982 0 0 0 131 7 0 0 20 0 15 0 10893147 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 3109 0 0 0 29 6 0 0 20 0 15 0 10893149 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=2.9 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 19989 0 0 0 288 2 0 0 20 0 15 0 10893152 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=2.58 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) S 31769 31772 5234 0 -1 1077944384 18722 0 0 0 256 2 0 0 20 0 15 0 10893152 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070342289648 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=1.09 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) S 31769 31772 5234 0 -1 1077944384 11254 0 0 0 107 2 0 0 20 0 15 0 10893152 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 497 0 0 0 5 8 0 0 20 0 15 0 10893156 14317654016 429098 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 232.91
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.46 1.50 1.50 3/215 31880
/proc/meminfo: memFree=28796216/32770624 swapFree=0/305260
[pid=31772] ppid=31769 vsize=13982084 CPUtime=250.99 cores=0,2,4,6
/proc/31772/stat : 31772 (java) S 31769 31772 5234 0 -1 1077944320 94321 0 0 0 25008 91 0 0 20 0 15 0 10893139 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140737052465248 140070868430583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
/proc/31772/statm: 3495521 423517 3811 1 0 3484303 0
[pid=31772/tid=31774] ppid=31769 vsize=13982084 CPUtime=237.79 cores=0,2,4,6
/proc/31772/task/31774/stat : 31774 (java) R 31769 31772 5234 0 -1 4202560 29532 0 0 0 23744 35 0 0 20 0 15 0 10893147 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070872668864 140070521943459 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31775] ppid=31769 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/31772/task/31775/stat : 31775 (java) S 31769 31772 5234 0 -1 1077944384 1410 0 0 0 141 8 0 0 20 0 15 0 10893147 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070468643472 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31776] ppid=31769 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/31772/task/31776/stat : 31776 (java) S 31769 31772 5234 0 -1 1077944384 2545 0 0 0 141 8 0 0 20 0 15 0 10893147 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070467590672 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31777] ppid=31769 vsize=13982084 CPUtime=1.48 cores=0,2,4,6
/proc/31772/task/31777/stat : 31777 (java) S 31769 31772 5234 0 -1 1077944384 2859 0 0 0 138 10 0 0 20 0 15 0 10893147 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070466537872 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31778] ppid=31769 vsize=13982084 CPUtime=1.5 cores=0,2,4,6
/proc/31772/task/31778/stat : 31778 (java) S 31769 31772 5234 0 -1 1077944384 1190 0 0 0 142 8 0 0 20 0 15 0 10893147 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070465485072 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31779] ppid=31769 vsize=13982084 CPUtime=0.39 cores=0,2,4,6
/proc/31772/task/31779/stat : 31779 (java) S 31769 31772 5234 0 -1 1077944384 3266 0 0 0 32 7 0 0 20 0 15 0 10893149 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070347553648 140070868441730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31780] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31780/stat : 31780 (java) S 31769 31772 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070346499680 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31781] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31781/stat : 31781 (java) S 31769 31772 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10893149 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070345446784 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31782] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31782/stat : 31782 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070344395088 140070868449179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31783] ppid=31769 vsize=13982084 CPUtime=2.91 cores=0,2,4,6
/proc/31772/task/31783/stat : 31783 (java) S 31769 31772 5234 0 -1 1077944384 20692 0 0 0 289 2 0 0 20 0 15 0 10893152 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070343342448 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31784] ppid=31769 vsize=13982084 CPUtime=2.61 cores=0,2,4,6
/proc/31772/task/31784/stat : 31784 (java) S 31769 31772 5234 0 -1 1077944384 19626 0 0 0 259 2 0 0 20 0 15 0 10893152 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070342289648 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31785] ppid=31769 vsize=13982084 CPUtime=1.09 cores=0,2,4,6
/proc/31772/task/31785/stat : 31785 (java) S 31769 31772 5234 0 -1 1077944384 11256 0 0 0 107 2 0 0 20 0 15 0 10893152 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070341236848 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31786] ppid=31769 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31772/task/31786/stat : 31786 (java) S 31769 31772 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10893152 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070340184288 140070868440789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
[pid=31772/tid=31787] ppid=31769 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/31772/task/31787/stat : 31787 (java) S 31769 31772 5234 0 -1 1077944384 522 0 0 0 5 9 0 0 20 0 15 0 10893156 14317654016 423517 18446744073709551615 4194304 4196468 140737052482704 140070339132592 140070868441730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140737052483991 140737052484171 140737052484171 140737052487631 0
Current children cumulated CPU time (s) 250.99
Current children cumulated vsize (KiB) 13982084

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31772 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.023
CPU time (s): 251.032
CPU user time (s): 250.108
CPU system time (s): 0.923822
CPU usage (%): 104.587
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.108
system time used= 0.923822
maximum resident set size= 2175100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18094
involuntary context switches= 699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07132 second user time and 1.52685 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-02 02:17:13
IDJOB=4255576
IDBENCH=127025
IDSOLVER=2638
FILE ID=node134/4255576-1501633874
RUNJOBID= node134-1501623099-24765
PBS_JOBID= 
Free space on /tmp= 61856 MiB

SOLVER NAME= OscaR - ALNS 2017-07-26
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255576-1501633874/watcher-4255576-1501633874 -o /tmp/evaluation-result-4255576-1501633874/solver-4255576-1501633874 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24765 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1011133341 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255576-1501633874.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190
RANDOM SEED=1011133341

node134.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.43
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.43
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.43
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.43
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:        29944760 kB
MemAvailable:   30262748 kB
Buffers:          108636 kB
Cached:           489636 kB
SwapCached:            0 kB
Active:          2100392 kB
Inactive:         311668 kB
Active(anon):    1816504 kB
Inactive(anon):     6652 kB
Active(file):     283888 kB
Inactive(file):   305016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42284 kB
Writeback:             0 kB
AnonPages:       1699684 kB
Mapped:            44436 kB
Shmem:              8892 kB
Slab:             115588 kB
SReclaimable:      89840 kB
SUnreclaim:        25748 kB
KernelStack:        3504 kB
PageTables:         8204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2812028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1572864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61816 MiB
End job on node134 at 2017-08-02 02:21:13