Trace number 4285055

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 2017-08-22SAT (TO)1048 19912.4 2520.1399

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n31-k5.xml
MD5SUM72502af2971f560ebaea982d6c1ff669
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark684
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables992
Number of constraints960
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}]
Minimum variable degree0
Maximum variable degree59
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}]
Number of extensional constraints0
Number of intensional constraints30
Distribution of constraint types[{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}]
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.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1646142012
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
1.59/0.76	c Parsing done, starting search...
8.46/4.14	o 1658
8.46/4.14	o 1290
8.46/4.21	o 1282
9.26/4.22	o 1259
9.26/4.24	o 1252
9.26/4.25	o 1247
9.26/4.27	o 1223
9.26/4.28	o 1219
12.25/4.64	o 1182
13.03/4.70	o 1163
13.03/4.71	o 1156
13.03/4.73	o 1154
13.03/4.77	o 1153
13.03/4.77	o 1149
13.03/4.78	o 1147
14.58/4.91	o 1146
14.58/4.91	o 1090
14.58/4.92	o 1079
14.58/4.94	o 1074
37.64/7.87	o 1073
44.83/8.73	o 1070
607.76/79.57	o 1069
967.22/125.03	o 1065
1912.12/244.34	o 1064
1912.12/244.36	o 1061
2019.78/257.95	o 1056
2432.74/310.12	o 1055
2437.51/310.72	o 1048
19911.35/2520.10	s SATISFIABLE
19911.35/2520.10	v <instantiation>
19911.35/2520.10	v 	<list>
19911.35/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30]
19911.35/2520.10	v 	</list>
19911.35/2520.10	v 	<values>
19911.35/2520.10	v 		0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 29 83 61 100 32 100 86 44 69 100 48 52 36 100 53 57 20 100 45 77 16 75 64 90 40 91 92 41 65 80 
19911.35/2520.10	v 	</values>
19911.35/2520.10	v </instantiation>

Verifier Data

OK	1048

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285055-1503428964/watcher-4285055-1503428964 -o /tmp/evaluation-result-4285055-1503428964/solver-4285055-1503428964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503424483-30705 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1646142012 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285055-1503428964.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
Current StackSize limit: 8192 KiB

solver pid=31014, runsolver pid=31011

[startup+0.100143 s]*
/proc/loadavg: 0.71 0.71 1.08 2/198 31034
/proc/meminfo: memFree=24042968/32770624 swapFree=67108860/67108860
[pid=31014] ppid=31011 vsize=26000852 memory=31540 CPUtime=0.12 cores=0-7
/proc/31014/stat : 31014 (java) S 31011 31014 30678 0 -1 1077944320 8324 0 0 0 10 2 0 0 20 0 20 0 175977091 26624872448 7885 33554432000 4194304 4196468 140733583320432 140733583302976 140631030685431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
/proc/31014/statm: 6500213 7885 3412 1 0 6487932 0
[pid=31014/tid=31016] ppid=31011 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31014/task/31016/stat : 31016 (java) R 31011 31014 30678 0 -1 4202560 6253 0 0 0 8 1 0 0 20 0 20 0 175977091 26624872448 7885 33554432000 4194304 4196468 140733583320432 140631034902112 140631014765918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31017] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31017/stat : 31017 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630588782992 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31018] ppid=31011 vsize=26000852 memory=139852027147904 CPUtime=0 cores=0-7
/proc/31014/task/31018/stat : 31018 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630587730192 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31019] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31019/stat : 31019 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630586677904 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31020] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31020/stat : 31020 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630585625104 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31021] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31021/stat : 31021 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630584572816 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31022] ppid=31011 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31022/stat : 31022 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630583520016 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31023] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31023/stat : 31023 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630582467728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31024] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31024/stat : 31024 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630581414928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31025] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31025/stat : 31025 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977093 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630293387376 140631030696578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31026] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31026/stat : 31026 (java) S 31011 31014 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175977094 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630292333344 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31027] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31027/stat : 31027 (java) S 31011 31014 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175977094 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630291281008 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31028] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31028/stat : 31028 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630290229328 140631030704027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31029] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31029/stat : 31029 (java) S 31011 31014 30678 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630289177200 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31030] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31030/stat : 31030 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630288124400 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31031] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31031/stat : 31031 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630287072112 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31032] ppid=31011 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/31014/task/31032/stat : 31032 (java) S 31011 31014 30678 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630286019312 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31033] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31033/stat : 31033 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630284966240 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31034] ppid=31011 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31034/stat : 31034 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977097 26624872448 7885 33554432000 4194304 4196468 140733583320432 140630283913520 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31540 KiB

[startup+0.209774 s]*
/proc/loadavg: 0.71 0.71 1.08 3/198 31034
/proc/meminfo: memFree=24034592/32770624 swapFree=67108860/67108860
[pid=31014] ppid=31011 vsize=26000852 memory=41140 CPUtime=0.3 cores=0-7
/proc/31014/stat : 31014 (java) S 31011 31014 30678 0 -1 1077944320 9383 0 0 0 27 3 0 0 20 0 20 0 175977091 26624872448 10285 33554432000 4194304 4196468 140733583320432 140733583302976 140631030685431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
/proc/31014/statm: 6500213 10285 3647 1 0 6487932 0
[pid=31014/tid=31016] ppid=31011 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/31014/task/31016/stat : 31016 (java) R 31011 31014 30678 0 -1 4202560 6926 0 0 0 18 2 0 0 20 0 20 0 175977091 26624872448 10285 33554432000 4194304 4196468 140733583320432 140631034890736 140631014765918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31017] ppid=31011 vsize=26000852 memory=3221 CPUtime=0 cores=0-7
/proc/31014/task/31017/stat : 31017 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630588782992 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31018] ppid=31011 vsize=26000852 memory=139852028010993 CPUtime=0 cores=0-7
/proc/31014/task/31018/stat : 31018 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630587730192 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31019] ppid=31011 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31019/stat : 31019 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630586677904 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31020] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31020/stat : 31020 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630585625104 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31021] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31021/stat : 31021 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630584572816 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31022] ppid=31011 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31022/stat : 31022 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630583520016 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31023] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31023/stat : 31023 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630582467728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31024] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31024/stat : 31024 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630581414928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31025] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31025/stat : 31025 (java) S 31011 31014 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175977093 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630293387376 140631030696578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31026] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31026/stat : 31026 (java) S 31011 31014 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175977094 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630292333344 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31027] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31027/stat : 31027 (java) S 31011 31014 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175977094 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630291281008 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31028] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31028/stat : 31028 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630290229328 140631030704027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31029] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31029/stat : 31029 (java) S 31011 31014 30678 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630289177200 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31030] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31030/stat : 31030 (java) S 31011 31014 30678 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630288124400 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31031] ppid=31011 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/31014/task/31031/stat : 31031 (java) S 31011 31014 30678 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630287072112 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31032] ppid=31011 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/31014/task/31032/stat : 31032 (java) R 31011 31014 30678 0 -1 4202560 430 0 0 0 5 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630286019312 140631009612271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31033] ppid=31011 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31033/stat : 31033 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977096 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630284966240 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31034] ppid=31011 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31034/stat : 31034 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977097 26624872448 10285 33554432000 4194304 4196468 140733583320432 140630283913520 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41140 KiB

[startup+0.30959 s]*
/proc/loadavg: 0.71 0.71 1.08 3/198 31034
/proc/meminfo: memFree=24026776/32770624 swapFree=67108860/67108860
[pid=31014] ppid=31011 vsize=26000872 memory=49488 CPUtime=0.48 cores=0-7
/proc/31014/stat : 31014 (java) S 31011 31014 30678 0 -1 1077944320 10669 0 0 0 45 3 0 0 20 0 20 0 175977091 26624892928 12372 33554432000 4194304 4196468 140733583320432 140733583302976 140631030685431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
/proc/31014/statm: 6500218 12372 3717 1 0 6487932 0
[pid=31014/tid=31016] ppid=31011 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31014/task/31016/stat : 31016 (java) R 31011 31014 30678 0 -1 4202560 7695 0 0 0 27 2 0 0 20 0 20 0 175977091 26624892928 12372 33554432000 4194304 4196468 140733583320432 140631034914720 140631030697366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31017] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31017/stat : 31017 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630588782992 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31018] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31018/stat : 31018 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630587730192 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31019] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31019/stat : 31019 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630586677904 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31020] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31020/stat : 31020 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630585625104 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31021] ppid=31011 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/31014/task/31021/stat : 31021 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630584572816 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31022] ppid=31011 vsize=26000872 memory=139851919881135 CPUtime=0 cores=0-7
/proc/31014/task/31022/stat : 31022 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630583520016 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31023] ppid=31011 vsize=26000872 memory=139851919883440 CPUtime=0 cores=0-7
/proc/31014/task/31023/stat : 31023 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630582467728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31024] ppid=31011 vsize=26000872 memory=139851919885744 CPUtime=0 cores=0-7
/proc/31014/task/31024/stat : 31024 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630581414928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31025] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31025/stat : 31025 (java) S 31011 31014 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175977093 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630293387376 140631030696578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31026] ppid=31011 vsize=26000872 memory=279703839778448 CPUtime=0 cores=0-7
/proc/31014/task/31026/stat : 31026 (java) S 31011 31014 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175977094 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630292333344 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31027] ppid=31011 vsize=26000872 memory=279703839785360 CPUtime=0 cores=0-7
/proc/31014/task/31027/stat : 31027 (java) S 31011 31014 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175977094 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630291281008 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31028] ppid=31011 vsize=26000872 memory=279703839726640 CPUtime=0 cores=0-7
/proc/31014/task/31028/stat : 31028 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630290229328 140631030704027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31029] ppid=31011 vsize=26000872 memory=279703839799184 CPUtime=0.02 cores=0-7
/proc/31014/task/31029/stat : 31029 (java) S 31011 31014 30678 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630289177200 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31030] ppid=31011 vsize=26000872 memory=279703839806096 CPUtime=0.02 cores=0-7
/proc/31014/task/31030/stat : 31030 (java) S 31011 31014 30678 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630288124400 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31031] ppid=31011 vsize=26000872 memory=279703839803792 CPUtime=0.04 cores=0-7
/proc/31014/task/31031/stat : 31031 (java) S 31011 31014 30678 0 -1 1077944384 299 0 0 0 4 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630287072112 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31032] ppid=31011 vsize=26000872 memory=279703839820400 CPUtime=0.08 cores=0-7
/proc/31014/task/31032/stat : 31032 (java) R 31011 31014 30678 0 -1 4202560 575 0 0 0 8 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630286019312 140631014765948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31033] ppid=31011 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31033/stat : 31033 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977096 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630284966240 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31034] ppid=31011 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/31014/task/31034/stat : 31034 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977097 26624892928 12372 33554432000 4194304 4196468 140733583320432 140630283913520 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49488 KiB

[startup+0.700798 s]
/proc/loadavg: 0.71 0.71 1.08 2/198 31034
/proc/meminfo: memFree=24012508/32770624 swapFree=67108860/67108860
[pid=31014] ppid=31011 vsize=26002920 memory=85792 CPUtime=1.59 cores=0-7
/proc/31014/stat : 31014 (java) S 31011 31014 30678 0 -1 1077944320 15019 0 0 0 154 5 0 0 20 0 20 0 175977091 26626990080 21448 33554432000 4194304 4196468 140733583320432 140733583302976 140631030685431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
/proc/31014/statm: 6500730 21448 3774 1 0 6488444 0
[pid=31014/tid=31016] ppid=31011 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/31014/task/31016/stat : 31016 (java) R 31011 31014 30678 0 -1 4202560 8690 0 0 0 64 3 0 0 20 0 20 0 175977091 26626990080 21448 33554432000 4194304 4196468 140733583320432 140631034913280 140631030697366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31017] ppid=31011 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31017/stat : 31017 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630588782992 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31018] ppid=31011 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31018/stat : 31018 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630587730192 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31019] ppid=31011 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31019/stat : 31019 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630586677904 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31020] ppid=31011 vsize=26002920 memory=1944 CPUtime=0 cores=0-7
/proc/31014/task/31020/stat : 31020 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630585625104 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31021] ppid=31011 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/31014/task/31021/stat : 31021 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630584572816 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31022] ppid=31011 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/31014/task/31022/stat : 31022 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630583520016 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31023] ppid=31011 vsize=26002920 memory=8748 CPUtime=0 cores=0-7
/proc/31014/task/31023/stat : 31023 (java) S 31011 31014 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630582467728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31024] ppid=31011 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/31014/task/31024/stat : 31024 (java) S 31011 31014 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175977092 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630581414928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31025] ppid=31011 vsize=26002920 memory=4052 CPUtime=0 cores=0-7
/proc/31014/task/31025/stat : 31025 (java) S 31011 31014 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175977093 26626990080 21448 33554432000 4194304 4196468 140733583320432 140630293387376 140631030696578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0

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

/proc/31014/task/31037/stat : 31037 (java) S 31011 31014 30678 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 46 0 175977477 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630267323824 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31038] ppid=31011 vsize=27743860 memory=27924 CPUtime=0.07 cores=0-7
/proc/31014/task/31038/stat : 31038 (java) S 31011 31014 30678 0 -1 1077944384 74 0 0 0 7 0 0 0 20 0 46 0 175977478 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630266270880 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31039] ppid=31011 vsize=27743860 memory=18472 CPUtime=2469.78 cores=0-7
/proc/31014/task/31039/stat : 31039 (java) R 31011 31014 30678 0 -1 4202560 82435 0 0 0 246920 58 0 0 20 0 46 0 175977478 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630265212144 140630673928746 0 4 0 16800975 0 0 0 -1 4 0 0 58 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31040] ppid=31011 vsize=27743860 memory=640 CPUtime=2472.08 cores=0-7
/proc/31014/task/31040/stat : 31040 (java) R 31011 31014 30678 0 -1 4202560 88339 0 0 0 247142 66 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630264159912 140630679574073 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31041] ppid=31011 vsize=27743860 memory=1796 CPUtime=0.08 cores=0-7
/proc/31014/task/31041/stat : 31041 (java) S 31011 31014 30678 0 -1 1077944384 75 0 0 0 8 0 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630263112624 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31042] ppid=31011 vsize=27743860 memory=960 CPUtime=2470.13 cores=0-7
/proc/31014/task/31042/stat : 31042 (java) R 31011 31014 30678 0 -1 4202560 79575 0 0 0 246954 59 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630262053664 140630675735091 0 4 0 16800975 0 0 0 -1 1 0 0 51 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31043] ppid=31011 vsize=27743860 memory=1232 CPUtime=0.07 cores=0-7
/proc/31014/task/31043/stat : 31043 (java) S 31011 31014 30678 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630261007536 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31044] ppid=31011 vsize=27743860 memory=847220 CPUtime=2470.73 cores=0-7
/proc/31014/task/31044/stat : 31044 (java) R 31011 31014 30678 0 -1 4202560 80985 0 0 0 247010 63 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630259950928 140630679574557 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31045] ppid=31011 vsize=27743860 memory=932 CPUtime=2473.34 cores=0-7
/proc/31014/task/31045/stat : 31045 (java) R 31011 31014 30678 0 -1 4202560 84858 0 0 0 247269 65 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630258896480 140630679745441 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31046] ppid=31011 vsize=27743860 memory=1580 CPUtime=2470.7 cores=0-7
/proc/31014/task/31046/stat : 31046 (java) R 31011 31014 30678 0 -1 4202560 85854 0 0 0 247006 64 0 0 20 0 46 0 175977480 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630257843488 140630679745516 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31047] ppid=31011 vsize=27743860 memory=2244 CPUtime=2470.34 cores=0-7
/proc/31014/task/31047/stat : 31047 (java) R 31011 31014 30678 0 -1 4202560 80894 0 0 0 246972 62 0 0 20 0 46 0 175977481 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630256790768 140630673928563 0 4 0 16800975 0 0 0 -1 0 0 0 58 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31048] ppid=31011 vsize=27743860 memory=4132 CPUtime=2473.08 cores=0-7
/proc/31014/task/31048/stat : 31048 (java) R 31011 31014 30678 0 -1 4202560 81808 0 0 0 247242 66 0 0 20 0 46 0 175977498 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630255738400 140630672828992 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31049] ppid=31011 vsize=27743860 memory=2204 CPUtime=0 cores=0-7
/proc/31014/task/31049/stat : 31049 (java) S 31011 31014 30678 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 175977505 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630252557232 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31050] ppid=31011 vsize=27743860 memory=846708 CPUtime=0 cores=0-7
/proc/31014/task/31050/stat : 31050 (java) S 31011 31014 30678 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 175977505 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630251504288 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31051] ppid=31011 vsize=27743860 memory=844 CPUtime=0 cores=0-7
/proc/31014/task/31051/stat : 31051 (java) S 31011 31014 30678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 175977507 28409712640 209368 33554432000 4194304 4196468 140733583320432 140630250452144 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31052] ppid=31011 vsize=27743860 memory=279703842389760 CPUtime=0 cores=0-7
/proc/31014/task/31052/stat : 31052 (java) S 31011 31014 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 46 0 175977507 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629191943216 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31053] ppid=31011 vsize=27743860 memory=6948886461116934464 CPUtime=0 cores=0-7
/proc/31014/task/31053/stat : 31053 (java) S 31011 31014 30678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175977508 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629190890928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31054] ppid=31011 vsize=27743860 memory=6948886461116934464 CPUtime=0 cores=0-7
/proc/31014/task/31054/stat : 31054 (java) S 31011 31014 30678 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 46 0 175977508 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629189838128 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31055] ppid=31011 vsize=27743860 memory=847220 CPUtime=0 cores=0-7
/proc/31014/task/31055/stat : 31055 (java) S 31011 31014 30678 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 46 0 175977508 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629188785840 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31056] ppid=31011 vsize=27743860 memory=1696 CPUtime=0 cores=0-7
/proc/31014/task/31056/stat : 31056 (java) S 31011 31014 30678 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 46 0 175977509 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629187733040 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31057] ppid=31011 vsize=27743860 memory=920 CPUtime=0 cores=0-7
/proc/31014/task/31057/stat : 31057 (java) S 31011 31014 30678 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 46 0 175977512 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629186679728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31058] ppid=31011 vsize=27743860 memory=4472 CPUtime=0 cores=0-7
/proc/31014/task/31058/stat : 31058 (java) S 31011 31014 30678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 175977512 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629185626928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31059] ppid=31011 vsize=27743860 memory=4104 CPUtime=0 cores=0-7
/proc/31014/task/31059/stat : 31059 (java) S 31011 31014 30678 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 175977513 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629184574640 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31060] ppid=31011 vsize=27743860 memory=1152 CPUtime=0 cores=0-7
/proc/31014/task/31060/stat : 31060 (java) S 31011 31014 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175977513 28409712640 209368 33554432000 4194304 4196468 140733583320432 140629183521840 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
Current children cumulated CPU time: 19911.4 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 837472 KiB

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

[startup+2520.14 s]
# the end of solver process 31014 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19901.5 s, system=10.8934 s

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

[startup+2520.11 s]
/proc/loadavg: 8.45 8.71 8.25 10/224 31117
/proc/meminfo: memFree=23227756/32770624 swapFree=67108860/67108860
[pid=31014] ppid=31011 vsize=27876988 memory=837692 CPUtime=19912.2 cores=0-7
/proc/31014/stat : 31014 (java) S 31011 31014 30678 0 -1 1077944320 1816279 0 0 0 1990137 1088 0 0 20 0 46 0 175977091 28546035712 209423 33554432000 4194304 4196468 140733583320432 140733583302976 140631030685431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
/proc/31014/statm: 6969247 209423 3868 1 0 6956440 0
[pid=31014/tid=31016] ppid=31011 vsize=27876988 memory=837472 CPUtime=3.6 cores=0-7
/proc/31014/task/31016/stat : 31016 (java) S 31011 31014 30678 0 -1 1077944384 14256 0 0 0 352 8 0 0 20 0 46 0 175977091 28546035712 209423 33554432000 4194304 4196468 140733583320432 140631034923136 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31017] ppid=31011 vsize=27876988 memory=279703840392512 CPUtime=14.67 cores=0-7
/proc/31014/task/31017/stat : 31017 (java) S 31011 31014 30678 0 -1 1077944384 101902 0 0 0 1417 50 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630588782992 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31018] ppid=31011 vsize=27876988 memory=2204 CPUtime=14.58 cores=0-7
/proc/31014/task/31018/stat : 31018 (java) S 31011 31014 30678 0 -1 1077944384 106235 0 0 0 1406 52 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630587730192 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31019] ppid=31011 vsize=27876988 memory=845168 CPUtime=14.64 cores=0-7
/proc/31014/task/31019/stat : 31019 (java) S 31011 31014 30678 0 -1 1077944384 99625 0 0 0 1413 51 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630586677904 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31020] ppid=31011 vsize=27876988 memory=837472 CPUtime=14.65 cores=0-7
/proc/31014/task/31020/stat : 31020 (java) S 31011 31014 30678 0 -1 1077944384 102488 0 0 0 1411 54 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630585625104 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31021] ppid=31011 vsize=27876988 memory=882612 CPUtime=14.59 cores=0-7
/proc/31014/task/31021/stat : 31021 (java) S 31011 31014 30678 0 -1 1077944384 99159 0 0 0 1410 49 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630584572816 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31022] ppid=31011 vsize=27876988 memory=1437 CPUtime=14.58 cores=0-7
/proc/31014/task/31022/stat : 31022 (java) S 31011 31014 30678 0 -1 1077944384 102138 0 0 0 1408 50 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630583520016 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31023] ppid=31011 vsize=27876988 memory=279703844378176 CPUtime=14.56 cores=0-7
/proc/31014/task/31023/stat : 31023 (java) S 31011 31014 30678 0 -1 1077944384 106047 0 0 0 1406 50 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630582467728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31024] ppid=31011 vsize=27876988 memory=-9178176117148050014 CPUtime=14.56 cores=0-7
/proc/31014/task/31024/stat : 31024 (java) S 31011 31014 30678 0 -1 1077944384 108946 0 0 0 1405 51 0 0 20 0 46 0 175977092 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630581414928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31025] ppid=31011 vsize=27876988 memory=0 CPUtime=9.22 cores=0-7
/proc/31014/task/31025/stat : 31025 (java) S 31011 31014 30678 0 -1 1077944384 233905 0 0 0 752 170 0 0 20 0 46 0 175977093 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630293387376 140631030696578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31026] ppid=31011 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31026/stat : 31026 (java) S 31011 31014 30678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 175977094 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630292333408 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31027] ppid=31011 vsize=27876988 memory=878512 CPUtime=0 cores=0-7
/proc/31014/task/31027/stat : 31027 (java) S 31011 31014 30678 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 175977094 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630291281024 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31028] ppid=31011 vsize=27876988 memory=4144 CPUtime=0 cores=0-7
/proc/31014/task/31028/stat : 31028 (java) S 31011 31014 30678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630290229328 140631030704027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31029] ppid=31011 vsize=27876988 memory=48964 CPUtime=1.29 cores=0-7
/proc/31014/task/31029/stat : 31029 (java) S 31011 31014 30678 0 -1 1077944384 7472 0 0 0 127 2 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630289177200 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31030] ppid=31011 vsize=27876988 memory=1720 CPUtime=1.33 cores=0-7
/proc/31014/task/31030/stat : 31030 (java) S 31011 31014 30678 0 -1 1077944384 7380 0 0 0 132 1 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630288124528 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31031] ppid=31011 vsize=27876988 memory=4612 CPUtime=1.63 cores=0-7
/proc/31014/task/31031/stat : 31031 (java) R 31011 31014 30678 0 -1 1077944384 6394 0 0 0 162 1 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630287072112 140631030696578 0 4 0 16800975 0 0 0 -1 6 0 0 57 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31032] ppid=31011 vsize=27876988 memory=4144 CPUtime=1.02 cores=0-7
/proc/31014/task/31032/stat : 31032 (java) R 31011 31014 30678 0 -1 1077944384 19418 0 0 0 99 3 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630286016848 140631030695637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31033] ppid=31011 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31014/task/31033/stat : 31033 (java) S 31011 31014 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175977096 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630284966240 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31035] ppid=31011 vsize=27876988 memory=1008 CPUtime=0 cores=0-7
/proc/31014/task/31035/stat : 31035 (java) S 31011 31014 30678 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 46 0 175977456 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630273622912 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31036] ppid=31011 vsize=27876988 memory=845680 CPUtime=4.81 cores=0-7
/proc/31014/task/31036/stat : 31036 (java) S 31011 31014 30678 0 -1 1077944384 22479 0 0 0 264 217 0 0 20 0 46 0 175977467 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630270473248 140631030696578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31037] ppid=31011 vsize=27876988 memory=792 CPUtime=0.01 cores=0-7
/proc/31014/task/31037/stat : 31037 (java) S 31011 31014 30678 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 46 0 175977477 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630267323824 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31038] ppid=31011 vsize=27876988 memory=4144 CPUtime=0.07 cores=0-7
/proc/31014/task/31038/stat : 31038 (java) S 31011 31014 30678 0 -1 1077944384 74 0 0 0 7 0 0 0 20 0 46 0 175977478 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630266270880 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31039] ppid=31011 vsize=27876988 memory=0 CPUtime=2469.9 cores=0-7
/proc/31014/task/31039/stat : 31039 (java) R 31011 31014 30678 0 -1 4202560 82435 0 0 0 246932 58 0 0 20 0 46 0 175977478 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630265212144 140630679574073 0 4 0 16800975 0 0 0 -1 4 0 0 58 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31040] ppid=31011 vsize=27876988 memory=279703840694496 CPUtime=2472.18 cores=0-7
/proc/31014/task/31040/stat : 31040 (java) R 31011 31014 30678 0 -1 4202560 88339 0 0 0 247152 66 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630264159912 140630679575317 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31041] ppid=31011 vsize=27876988 memory=279703844048032 CPUtime=0.08 cores=0-7
/proc/31014/task/31041/stat : 31041 (java) S 31011 31014 30678 0 -1 1077944384 75 0 0 0 8 0 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630263112624 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31042] ppid=31011 vsize=27876988 memory=848248 CPUtime=2470.24 cores=0-7
/proc/31014/task/31042/stat : 31042 (java) R 31011 31014 30678 0 -1 4202560 79575 0 0 0 246965 59 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630262053800 140630675734968 0 4 0 16800975 0 0 0 -1 1 0 0 51 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31043] ppid=31011 vsize=27876988 memory=848248 CPUtime=0.07 cores=0-7
/proc/31014/task/31043/stat : 31043 (java) S 31011 31014 30678 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630261007536 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31044] ppid=31011 vsize=27876988 memory=1224 CPUtime=2470.84 cores=0-7
/proc/31014/task/31044/stat : 31044 (java) R 31011 31014 30678 0 -1 4202560 80985 0 0 0 247021 63 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630259950928 140630679574082 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31045] ppid=31011 vsize=27876988 memory=5788 CPUtime=2473.45 cores=0-7
/proc/31014/task/31045/stat : 31045 (java) R 31011 31014 30678 0 -1 4202560 84858 0 0 0 247280 65 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630258896616 140630669012425 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31046] ppid=31011 vsize=27876988 memory=841064 CPUtime=2470.82 cores=0-7
/proc/31014/task/31046/stat : 31046 (java) R 31011 31014 30678 0 -1 4202560 85854 0 0 0 247018 64 0 0 20 0 46 0 175977480 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630257843624 140630679499170 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31047] ppid=31011 vsize=27876988 memory=841064 CPUtime=2470.44 cores=0-7
/proc/31014/task/31047/stat : 31047 (java) R 31011 31014 30678 0 -1 4202560 80894 0 0 0 246982 62 0 0 20 0 46 0 175977481 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630256790656 140630679131119 0 4 0 16800975 0 0 0 -1 0 0 0 58 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31048] ppid=31011 vsize=27876988 memory=2428 CPUtime=2473.19 cores=0-7
/proc/31014/task/31048/stat : 31048 (java) R 31011 31014 30678 0 -1 4202560 81808 0 0 0 247253 66 0 0 20 0 46 0 175977498 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630255738536 140630679192567 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31049] ppid=31011 vsize=27876988 memory=1840 CPUtime=0 cores=0-7
/proc/31014/task/31049/stat : 31049 (java) S 31011 31014 30678 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 175977505 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630252557232 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31050] ppid=31011 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31050/stat : 31050 (java) S 31011 31014 30678 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 175977505 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630251504288 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31051] ppid=31011 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31051/stat : 31051 (java) S 31011 31014 30678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 175977507 28546035712 209423 33554432000 4194304 4196468 140733583320432 140630250452144 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31052] ppid=31011 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/31014/task/31052/stat : 31052 (java) S 31011 31014 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 46 0 175977507 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629191943216 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31053] ppid=31011 vsize=27876988 memory=837988 CPUtime=0 cores=0-7
/proc/31014/task/31053/stat : 31053 (java) S 31011 31014 30678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175977508 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629190890928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31054] ppid=31011 vsize=27876988 memory=837988 CPUtime=0 cores=0-7
/proc/31014/task/31054/stat : 31054 (java) S 31011 31014 30678 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 46 0 175977508 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629189838128 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31055] ppid=31011 vsize=27876988 memory=842604 CPUtime=0 cores=0-7
/proc/31014/task/31055/stat : 31055 (java) S 31011 31014 30678 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 46 0 175977508 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629188785840 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31056] ppid=31011 vsize=27876988 memory=48964 CPUtime=0 cores=0-7
/proc/31014/task/31056/stat : 31056 (java) S 31011 31014 30678 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 46 0 175977509 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629187733040 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31057] ppid=31011 vsize=27876988 memory=1292 CPUtime=0 cores=0-7
/proc/31014/task/31057/stat : 31057 (java) S 31011 31014 30678 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 46 0 175977512 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629186679728 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31058] ppid=31011 vsize=27876988 memory=2428 CPUtime=0 cores=0-7
/proc/31014/task/31058/stat : 31058 (java) S 31011 31014 30678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 175977512 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629185626928 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31059] ppid=31011 vsize=27876988 memory=1840 CPUtime=0 cores=0-7
/proc/31014/task/31059/stat : 31059 (java) S 31011 31014 30678 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 175977513 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629184574640 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
[pid=31014/tid=31060] ppid=31011 vsize=27876988 memory=837472 CPUtime=0 cores=0-7
/proc/31014/task/31060/stat : 31060 (java) S 31011 31014 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175977513 28546035712 209423 33554432000 4194304 4196468 140733583320432 140629183521840 140631030695637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33275904 140733583324257 140733583324443 140733583324443 140733583327183 0
Current children cumulated CPU time: 19912.2 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 837692 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19912.4
CPU user time (s): 19901.5
CPU system time (s): 10.8934
CPU usage (%): 790.131
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 2275904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19901.5
system time used= 10.8934
maximum resident set size= 2277512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1816354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 843697
involuntary context switches= 424481


# summary of solver processes directly reported to runsolver:
#   pid: 31014
#   total CPU time (s): 19912.4
#   total CPU user time (s): 19901.5
#   total CPU system time (s): 10.8934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.09 second user time and 36.5749 second system time

The end

Launcher Data

Begin job on node151 at 2017-08-22 20:55:03
IDJOB=4285055
IDBENCH=124448
IDSOLVER=2681
FILE ID=node151/4285055-1503428964
RUNJOBID= node151-1503424483-30705
PBS_JOBID= 20632133
Free space on /tmp= 61680 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285055-1503428964/watcher-4285055-1503428964 -o /tmp/evaluation-result-4285055-1503428964/solver-4285055-1503428964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503424483-30705 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1646142012 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285055-1503428964.xml

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

MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669
RANDOM SEED=1646142012

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
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:        24060812 kB
MemAvailable:   31960252 kB
Buffers:          334248 kB
Cached:          7860576 kB
SwapCached:            0 kB
Active:          2008796 kB
Inactive:        6238400 kB
Active(anon):      44132 kB
Inactive(anon):    52440 kB
Active(file):    1964664 kB
Inactive(file):  6185960 kB
Unevictable:        7580 kB
Mlocked:            7580 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41968 kB
Writeback:             0 kB
AnonPages:         59980 kB
Mapped:            55232 kB
Shmem:             41608 kB
Slab:             156036 kB
SReclaimable:     129304 kB
SUnreclaim:        26732 kB
KernelStack:        3168 kB
PageTables:         4700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341312 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61640 MiB
End job on node151 at 2017-08-22 21:37:04