Trace number 4285725

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)117 1951.21 252.166

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t15-3.xml
MD5SUM0b4fb4a315b6bd8f0348750a3d90443f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark102
Best CPU time to get the best result obtained on this benchmark2005.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3066
Number of constraints168
Number of domains13
Minimum domain size2
Maximum domain size18
Distribution of domain sizes[{"size":2,"count":146},{"size":3,"count":292},{"size":4,"count":146},{"size":5,"count":146},{"size":6,"count":146},{"size":8,"count":438},{"size":10,"count":292},{"size":11,"count":146},{"size":14,"count":292},{"size":15,"count":292},{"size":16,"count":146},{"size":17,"count":292},{"size":18,"count":292}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":3066}]
Minimum constraint arity21
Maximum constraint arity2920
Distribution of constraint arities[{"arity":21,"count":146},{"arity":146,"count":21},{"arity":2920,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":166}]
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.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1570998648
0.29/0.25	c timeout: 2016
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
1.12/0.69	c Parsing done, starting search...
27.39/8.83	o 143
27.39/8.86	o 142
29.82/9.18	o 141
29.82/9.19	o 140
29.82/9.20	o 139
30.52/9.20	o 138
32.87/9.52	o 137
32.87/9.59	o 136
33.67/9.64	o 135
33.67/9.65	o 134
33.67/9.69	o 133
33.67/9.70	o 132
34.46/9.71	o 131
34.46/9.71	o 130
34.46/9.71	o 129
34.46/9.71	o 128
34.46/9.72	o 127
34.46/9.72	o 126
34.46/9.72	o 125
34.46/9.72	o 124
34.46/9.73	o 123
34.46/9.73	o 122
34.46/9.73	o 121
34.46/9.73	o 120
34.46/9.75	o 119
34.46/9.77	o 118
72.64/14.51	o 117
1950.14/252.10	s SATISFIABLE
1950.14/252.12	v <instantiation>
1950.14/252.12	v 	<list>
1950.14/252.12	v 		p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19]
1951.04/252.13	v 	</list>
1951.04/252.13	v 	<values>
1951.04/252.13	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 1 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 1 0 0 0 0 1 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 1 0 0 0 0 1 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 1 0 0 0 0 1 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 1 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1951.04/252.13	v 	</values>
1951.04/252.13	v </instantiation>

Verifier Data

OK	117

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285725-1503439807/watcher-4285725-1503439807 -o /tmp/evaluation-result-4285725-1503439807/solver-4285725-1503439807 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1570998648 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285725-1503439807.xml 

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

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

solver pid=10952, runsolver pid=10949

[startup+0.100143 s]*
/proc/loadavg: 1.81 4.38 6.85 2/198 10972
/proc/meminfo: memFree=22501140/32770624 swapFree=67108860/67108860
[pid=10952] ppid=10949 vsize=26000852 memory=32624 CPUtime=0.12 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10952 8714 0 -1 1077944320 8560 0 0 0 10 2 0 0 20 0 20 0 177068497 26624872448 8156 33554432000 4194304 4196468 140723684630512 140723684613056 139734501285623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
/proc/10952/statm: 6500213 8156 3412 1 0 6487932 0
[pid=10952/tid=10954] ppid=10949 vsize=26000852 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) R 10949 10952 8714 0 -1 4202560 6504 0 0 0 7 1 0 0 20 0 20 0 177068498 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734505482576 139734501307549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10955] ppid=10949 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734423866512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10956] ppid=10949 vsize=26000852 memory=140088581629568 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734422813712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10957] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734421760912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10958] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734420708112 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10959] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734419655312 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10960] ppid=10949 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734418602512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10961] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734417549712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10962] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 8156 33554432000 4194304 4196468 140723684630512 139734416496912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10963] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068500 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732774177648 139734501296770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10964] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10952 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177068500 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732773123616 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10965] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10952 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177068501 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732772070768 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10966] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732771019088 139734501304219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10967] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10952 8714 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732769966448 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10968] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732768913648 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10969] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732767860848 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10970] ppid=10949 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) S 10949 10952 8714 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732766808048 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10971] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732765756512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10972] ppid=10949 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10972/stat : 10972 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068504 26624872448 8156 33554432000 4194304 4196468 140723684630512 139732764703792 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32624 KiB

[startup+0.210209 s]*
/proc/loadavg: 1.81 4.38 6.85 3/198 10972
/proc/meminfo: memFree=22492640/32770624 swapFree=67108860/67108860
[pid=10952] ppid=10949 vsize=26000852 memory=41240 CPUtime=0.29 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10952 8714 0 -1 1077944320 9550 0 0 0 26 3 0 0 20 0 20 0 177068497 26624872448 10310 33554432000 4194304 4196468 140723684630512 140723684613056 139734501285623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
/proc/10952/statm: 6500213 10310 3576 1 0 6487932 0
[pid=10952/tid=10954] ppid=10949 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) R 10949 10952 8714 0 -1 4202560 7136 0 0 0 17 2 0 0 20 0 20 0 177068498 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734505516832 139734501307549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10955] ppid=10949 vsize=26000852 memory=12768 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734423866512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10956] ppid=10949 vsize=26000852 memory=140088581638996 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734422813712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10957] ppid=10949 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734421760912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10958] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734420708112 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10959] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734419655312 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10960] ppid=10949 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734418602512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10961] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734417549712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10962] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624872448 10310 33554432000 4194304 4196468 140723684630512 139734416496912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10963] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10952 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177068500 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732774177648 139734501296770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10964] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10952 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177068500 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732773123616 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10965] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10952 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177068501 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732772070768 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10966] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732771019088 139734501304219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10967] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10952 8714 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732769966448 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10968] ppid=10949 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10952 8714 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732768913648 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10969] ppid=10949 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10952 8714 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732767860848 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10970] ppid=10949 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) R 10949 10952 8714 0 -1 4202560 384 0 0 0 5 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732766808048 139734479834448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10971] ppid=10949 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068503 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732765756512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10972] ppid=10949 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10972/stat : 10972 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068504 26624872448 10310 33554432000 4194304 4196468 140723684630512 139732764703792 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41240 KiB

[startup+0.309561 s]*
/proc/loadavg: 1.81 4.38 6.85 2/198 10972
/proc/meminfo: memFree=22485320/32770624 swapFree=67108860/67108860
[pid=10952] ppid=10949 vsize=26000872 memory=49684 CPUtime=0.48 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10952 8714 0 -1 1077944320 10622 0 0 0 44 4 0 0 20 0 20 0 177068497 26624892928 12421 33554432000 4194304 4196468 140723684630512 140723684613056 139734501285623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
/proc/10952/statm: 6500218 12421 3718 1 0 6487932 0
[pid=10952/tid=10954] ppid=10949 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) R 10949 10952 8714 0 -1 4202560 7725 0 0 0 27 2 0 0 20 0 20 0 177068498 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734505509680 139734485505856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10955] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734423866512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10956] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734422813712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10957] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734421760912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10958] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734420708112 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10959] ppid=10949 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734419655312 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10960] ppid=10949 vsize=26000872 memory=140088478626735 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734418602512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10961] ppid=10949 vsize=26000872 memory=140088478629040 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734417549712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10962] ppid=10949 vsize=26000872 memory=140088478631344 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26624892928 12421 33554432000 4194304 4196468 140723684630512 139734416496912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10963] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10952 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177068500 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732774177648 139734501296770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10964] ppid=10949 vsize=26000872 memory=280176957269648 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10952 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177068500 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732773123616 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10965] ppid=10949 vsize=26000872 memory=280176957276560 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10952 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177068501 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732772070768 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10966] ppid=10949 vsize=26000872 memory=280176957217840 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732771019088 139734501304219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10967] ppid=10949 vsize=26000872 memory=280176957290384 CPUtime=0.03 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10952 8714 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732769966448 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10968] ppid=10949 vsize=26000872 memory=280176957297296 CPUtime=0.03 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10952 8714 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732768913648 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10969] ppid=10949 vsize=26000872 memory=280176957294992 CPUtime=0.02 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10952 8714 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732767860848 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10970] ppid=10949 vsize=26000872 memory=280176957311600 CPUtime=0.07 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) R 10949 10952 8714 0 -1 4202560 411 0 0 0 7 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732766808048 139734485366110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10971] ppid=10949 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068503 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732765756512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10972] ppid=10949 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10972/stat : 10972 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068504 26624892928 12421 33554432000 4194304 4196468 140723684630512 139732764703792 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49684 KiB

[startup+0.700932 s]
/proc/loadavg: 1.81 4.38 6.85 5/198 10972
/proc/meminfo: memFree=22472044/32770624 swapFree=67108860/67108860
[pid=10952] ppid=10949 vsize=26002920 memory=77320 CPUtime=1.39 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10952 8714 0 -1 1077944320 12944 0 0 0 133 6 0 0 20 0 20 0 177068497 26626990080 19330 33554432000 4194304 4196468 140723684630512 140723684613056 139734501285623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
/proc/10952/statm: 6500730 19330 3776 1 0 6488444 0
[pid=10952/tid=10954] ppid=10949 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) R 10949 10952 8714 0 -1 4202560 8774 0 0 0 63 4 0 0 20 0 20 0 177068498 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734505523792 139734485366110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10955] ppid=10949 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734423866512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10956] ppid=10949 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734422813712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10957] ppid=10949 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734421760912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10958] ppid=10949 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734420708112 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10959] ppid=10949 vsize=26002920 memory=5788 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734419655312 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10960] ppid=10949 vsize=26002920 memory=1196 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734418602512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10961] ppid=10949 vsize=26002920 memory=4612 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10952 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734417549712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10962] ppid=10949 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10952 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177068499 26626990080 19330 33554432000 4194304 4196468 140723684630512 139734416496912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10963] ppid=10949 vsize=26002920 memory=18448 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10952 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177068500 26626990080 19330 33554432000 4194304 4196468 140723684630512 139732774177648 139734501296770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0

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

/proc/10952/task/10976/stat : 10976 (java) S 10949 10952 8714 0 -1 1077944384 199 0 0 0 44 0 0 0 20 0 46 0 177069168 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732747060368 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10977] ppid=10949 vsize=27743860 memory=4140 CPUtime=0.46 cores=0-7
/proc/10952/task/10977/stat : 10977 (java) S 10949 10952 8714 0 -1 1077944384 179 0 0 0 45 1 0 0 20 0 46 0 177069169 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732746007568 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10978] ppid=10949 vsize=27743860 memory=48968 CPUtime=0.36 cores=0-7
/proc/10952/task/10978/stat : 10978 (java) S 10949 10952 8714 0 -1 1077944384 79 0 0 0 36 0 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732744954768 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10979] ppid=10949 vsize=27743860 memory=288230574492221466 CPUtime=0.25 cores=0-7
/proc/10952/task/10979/stat : 10979 (java) S 10949 10952 8714 0 -1 1077944384 74 0 0 0 25 0 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732743902992 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10980] ppid=10949 vsize=27743860 memory=288230621803970871 CPUtime=239.88 cores=0-7
/proc/10952/task/10980/stat : 10980 (java) R 10949 10952 8714 0 -1 4202560 16996 0 0 0 23965 23 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732742844056 139734099961682 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10981] ppid=10949 vsize=27743860 memory=15260333174426010 CPUtime=0.64 cores=0-7
/proc/10952/task/10981/stat : 10981 (java) S 10949 10952 8714 0 -1 1077944384 141 0 0 0 63 1 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732741797392 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10982] ppid=10949 vsize=27743860 memory=6791534058613427641 CPUtime=0.38 cores=0-7
/proc/10952/task/10982/stat : 10982 (java) S 10949 10952 8714 0 -1 1077944384 103 0 0 0 38 0 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732740744592 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10983] ppid=10949 vsize=27743860 memory=4612 CPUtime=0.47 cores=0-7
/proc/10952/task/10983/stat : 10983 (java) S 10949 10952 8714 0 -1 1077944384 52 0 0 0 47 0 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732739691792 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10984] ppid=10949 vsize=27743860 memory=15876 CPUtime=0.75 cores=0-7
/proc/10952/task/10984/stat : 10984 (java) S 10949 10952 8714 0 -1 1077944384 57 0 0 0 75 0 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732738638992 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10985] ppid=10949 vsize=27743860 memory=18448 CPUtime=239.97 cores=0-7
/proc/10952/task/10985/stat : 10985 (java) R 10949 10952 8714 0 -1 4202560 17076 0 0 0 23979 18 0 0 20 0 46 0 177069171 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732737579848 139734098370122 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10986] ppid=10949 vsize=27743860 memory=6791534058613427641 CPUtime=0.33 cores=0-7
/proc/10952/task/10986/stat : 10986 (java) S 10949 10952 8714 0 -1 1077944384 44 0 0 0 33 0 0 0 20 0 46 0 177069184 28409712640 989486 33554432000 4194304 4196468 140723684630512 139732736533392 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10987] ppid=10949 vsize=27743860 memory=4044 CPUtime=0.25 cores=0-7
/proc/10952/task/10987/stat : 10987 (java) S 10949 10952 8714 0 -1 1077944384 193 0 0 0 25 0 0 0 20 0 46 0 177069185 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731123824400 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10988] ppid=10949 vsize=27743860 memory=1792 CPUtime=239.8 cores=0-7
/proc/10952/task/10988/stat : 10988 (java) R 10949 10952 8714 0 -1 4202560 21058 0 0 0 23955 25 0 0 20 0 46 0 177069196 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731120631448 139734098370025 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10989] ppid=10949 vsize=27743860 memory=3957844 CPUtime=0.25 cores=0-7
/proc/10952/task/10989/stat : 10989 (java) S 10949 10952 8714 0 -1 1077944384 287 0 0 0 25 0 0 0 20 0 46 0 177069198 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731119584784 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10990] ppid=10949 vsize=27743860 memory=956 CPUtime=240.21 cores=0-7
/proc/10952/task/10990/stat : 10990 (java) R 10949 10952 8714 0 -1 4202560 19832 0 0 0 23997 24 0 0 20 0 46 0 177069201 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731118527648 139734100682308 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10991] ppid=10949 vsize=27743860 memory=2464 CPUtime=239.64 cores=0-7
/proc/10952/task/10991/stat : 10991 (java) R 10949 10952 8714 0 -1 4202560 19711 0 0 0 23944 20 0 0 20 0 46 0 177069203 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731117471920 139734098370104 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10992] ppid=10949 vsize=27743860 memory=1232 CPUtime=0.47 cores=0-7
/proc/10952/task/10992/stat : 10992 (java) S 10949 10952 8714 0 -1 1077944384 74 0 0 0 47 0 0 0 20 0 46 0 177069205 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731116426384 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10993] ppid=10949 vsize=27743860 memory=2240 CPUtime=239.44 cores=0-7
/proc/10952/task/10993/stat : 10993 (java) R 10949 10952 8714 0 -1 4202560 20491 0 0 0 23921 23 0 0 20 0 46 0 177069227 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731115367320 139734098370104 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10994] ppid=10949 vsize=27743860 memory=-7175204567652784766 CPUtime=0.52 cores=0-7
/proc/10952/task/10994/stat : 10994 (java) S 10949 10952 8714 0 -1 1077944384 55 0 0 0 52 0 0 0 20 0 46 0 177069227 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731114320784 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10995] ppid=10949 vsize=27743860 memory=3054156605268465310 CPUtime=238.93 cores=0-7
/proc/10952/task/10995/stat : 10995 (java) R 10949 10952 8714 0 -1 4202560 19573 0 0 0 23870 23 0 0 20 0 46 0 177069257 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731113262664 139734104379858 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10996] ppid=10949 vsize=27743860 memory=3963812 CPUtime=239 cores=0-7
/proc/10952/task/10996/stat : 10996 (java) R 10949 10952 8714 0 -1 4202560 15836 0 0 0 23880 20 0 0 20 0 46 0 177069258 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731112210048 139734102847897 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10997] ppid=10949 vsize=27743860 memory=912 CPUtime=0.07 cores=0-7
/proc/10952/task/10997/stat : 10997 (java) S 10949 10952 8714 0 -1 1077944384 50 0 0 0 7 0 0 0 20 0 46 0 177069259 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731111163408 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10998] ppid=10949 vsize=27743860 memory=3957412 CPUtime=0.1 cores=0-7
/proc/10952/task/10998/stat : 10998 (java) S 10949 10952 8714 0 -1 1077944384 79 0 0 0 10 0 0 0 20 0 46 0 177069261 28409712640 989486 33554432000 4194304 4196468 140723684630512 139731110110608 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
Current children cumulated CPU time: 1950.14 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 3957944 KiB

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

[startup+252.166 s]
# the end of solver process 10952 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1948.13 s, system=3.08309 s

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

[startup+252.124 s]
/proc/loadavg: 8.79 6.86 7.28 9/224 10999
/proc/meminfo: memFree=18567652/32770624 swapFree=67108860/67108860
[pid=10952] ppid=10949 vsize=27876988 memory=3958212 CPUtime=1951.04 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10952 8714 0 -1 1077944320 373769 0 0 0 194799 305 0 0 20 0 48 0 177068497 28546035712 989553 33554432000 4194304 4196468 140723684630512 140723684613056 139734501285623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
/proc/10952/statm: 6969247 989553 3845 1 0 6956440 0
[pid=10952/tid=10954] ppid=10949 vsize=27876988 memory=3958864 CPUtime=6.6 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) S 10949 10952 8714 0 -1 1077944384 14146 0 0 0 652 8 0 0 20 0 48 0 177068498 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734505523328 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10955] ppid=10949 vsize=27876988 memory=3957412 CPUtime=1.17 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10952 8714 0 -1 1077944384 13756 0 0 0 108 9 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734423866512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10956] ppid=10949 vsize=27876988 memory=3956900 CPUtime=1.19 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10952 8714 0 -1 1077944384 13772 0 0 0 109 10 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734422813712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10957] ppid=10949 vsize=27876988 memory=3957940 CPUtime=1.21 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10952 8714 0 -1 1077944384 18288 0 0 0 110 11 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734421760912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10958] ppid=10949 vsize=27876988 memory=3957940 CPUtime=1.17 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10952 8714 0 -1 1077944384 18238 0 0 0 107 10 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734420708112 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10959] ppid=10949 vsize=27876988 memory=3957940 CPUtime=1.2 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10952 8714 0 -1 1077944384 16203 0 0 0 108 12 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734419655312 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10960] ppid=10949 vsize=27876988 memory=3959860 CPUtime=1.21 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10952 8714 0 -1 1077944384 15716 0 0 0 111 10 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734418602512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10961] ppid=10949 vsize=27876988 memory=1292 CPUtime=1.19 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10952 8714 0 -1 1077944384 15352 0 0 0 110 9 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734417549712 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10962] ppid=10949 vsize=27876988 memory=2428 CPUtime=1.2 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10952 8714 0 -1 1077944384 12638 0 0 0 109 11 0 0 20 0 48 0 177068499 28546035712 989553 33554432000 4194304 4196468 140723684630512 139734416496912 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10963] ppid=10949 vsize=27876988 memory=6791534058613427641 CPUtime=0.99 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10952 8714 0 -1 1077944384 39177 0 0 0 84 15 0 0 20 0 48 0 177068500 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732774177648 139734501296770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10964] ppid=10949 vsize=27876988 memory=7666631141824752739 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10952 8714 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 177068500 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732773123680 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10965] ppid=10949 vsize=27876988 memory=3966196 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10952 8714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 48 0 177068501 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732772070784 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10966] ppid=10949 vsize=27876988 memory=3966708 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10952 8714 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732771019088 139734501304219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10967] ppid=10949 vsize=27876988 memory=3958356 CPUtime=2.15 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10952 8714 0 -1 1077944384 9250 0 0 0 213 2 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732769966448 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10968] ppid=10949 vsize=27876988 memory=7666631141824752739 CPUtime=3.03 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10952 8714 0 -1 1077944384 6824 0 0 0 301 2 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732768913648 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10969] ppid=10949 vsize=27876988 memory=3957332 CPUtime=2.43 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10952 8714 0 -1 1077944384 6788 0 0 0 241 2 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732767860848 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10970] ppid=10949 vsize=27876988 memory=4140 CPUtime=1 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) S 10949 10952 8714 0 -1 1077944384 10819 0 0 0 98 2 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732766808048 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10971] ppid=10949 vsize=27876988 memory=48968 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10952 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 177068503 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732765756512 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10972] ppid=10949 vsize=27876988 memory=1292 CPUtime=0.09 cores=0-7
/proc/10952/task/10972/stat : 10972 (java) S 10949 10952 8714 0 -1 1077944384 2242 0 0 0 6 3 0 0 20 0 48 0 177068504 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732764703792 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10973] ppid=10949 vsize=27876988 memory=3959884 CPUtime=0.02 cores=0-7
/proc/10952/task/10973/stat : 10973 (java) S 10949 10952 8714 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 48 0 177069146 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732754412592 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10974] ppid=10949 vsize=27876988 memory=912 CPUtime=0.67 cores=0-7
/proc/10952/task/10974/stat : 10974 (java) S 10949 10952 8714 0 -1 1077944384 5929 0 0 0 37 30 0 0 20 0 48 0 177069158 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732751262896 139734501296770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10975] ppid=10949 vsize=27876988 memory=6948 CPUtime=0.6 cores=0-7
/proc/10952/task/10975/stat : 10975 (java) S 10949 10952 8714 0 -1 1077944384 170 0 0 0 60 0 0 0 20 0 48 0 177069167 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732750210320 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10976] ppid=10949 vsize=27876988 memory=4104 CPUtime=0.44 cores=0-7
/proc/10952/task/10976/stat : 10976 (java) S 10949 10952 8714 0 -1 1077944384 199 0 0 0 44 0 0 0 20 0 48 0 177069168 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732747060368 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10977] ppid=10949 vsize=27876988 memory=1292 CPUtime=0.46 cores=0-7
/proc/10952/task/10977/stat : 10977 (java) S 10949 10952 8714 0 -1 1077944384 179 0 0 0 45 1 0 0 20 0 48 0 177069169 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732746007568 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10978] ppid=10949 vsize=27876988 memory=2428 CPUtime=0.36 cores=0-7
/proc/10952/task/10978/stat : 10978 (java) S 10949 10952 8714 0 -1 1077944384 79 0 0 0 36 0 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732744954768 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10979] ppid=10949 vsize=27876988 memory=3959860 CPUtime=0.25 cores=0-7
/proc/10952/task/10979/stat : 10979 (java) S 10949 10952 8714 0 -1 1077944384 74 0 0 0 25 0 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732743902992 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10980] ppid=10949 vsize=27876988 memory=1420 CPUtime=239.99 cores=0-7
/proc/10952/task/10980/stat : 10980 (java) R 10949 10952 8714 0 -1 4202560 16996 0 0 0 23976 23 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732742844056 139734100683205 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10981] ppid=10949 vsize=27876988 memory=11108 CPUtime=0.64 cores=0-7
/proc/10952/task/10981/stat : 10981 (java) S 10949 10952 8714 0 -1 1077944384 141 0 0 0 63 1 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732741797392 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10982] ppid=10949 vsize=27876988 memory=27064 CPUtime=0.38 cores=0-7
/proc/10952/task/10982/stat : 10982 (java) S 10949 10952 8714 0 -1 1077944384 103 0 0 0 38 0 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732740744592 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10983] ppid=10949 vsize=27876988 memory=4044 CPUtime=0.47 cores=0-7
/proc/10952/task/10983/stat : 10983 (java) S 10949 10952 8714 0 -1 1077944384 52 0 0 0 47 0 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732739691792 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10984] ppid=10949 vsize=27876988 memory=792 CPUtime=0.75 cores=0-7
/proc/10952/task/10984/stat : 10984 (java) S 10949 10952 8714 0 -1 1077944384 57 0 0 0 75 0 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732738638992 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10985] ppid=10949 vsize=27876988 memory=1004 CPUtime=240.08 cores=0-7
/proc/10952/task/10985/stat : 10985 (java) R 10949 10952 8714 0 -1 4202560 17076 0 0 0 23990 18 0 0 20 0 48 0 177069171 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732737579848 139734098370104 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10986] ppid=10949 vsize=27876988 memory=5788 CPUtime=0.33 cores=0-7
/proc/10952/task/10986/stat : 10986 (java) S 10949 10952 8714 0 -1 1077944384 44 0 0 0 33 0 0 0 20 0 48 0 177069184 28546035712 989553 33554432000 4194304 4196468 140723684630512 139732736533392 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10987] ppid=10949 vsize=27876988 memory=6791534058613427641 CPUtime=0.25 cores=0-7
/proc/10952/task/10987/stat : 10987 (java) S 10949 10952 8714 0 -1 1077944384 193 0 0 0 25 0 0 0 20 0 48 0 177069185 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731123824400 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10988] ppid=10949 vsize=27876988 memory=60 CPUtime=239.92 cores=0-7
/proc/10952/task/10988/stat : 10988 (java) R 10949 10952 8714 0 -1 4202560 21058 0 0 0 23967 25 0 0 20 0 48 0 177069196 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731120631448 139734099961687 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10989] ppid=10949 vsize=27876988 memory=3958452 CPUtime=0.25 cores=0-7
/proc/10952/task/10989/stat : 10989 (java) S 10949 10952 8714 0 -1 1077944384 287 0 0 0 25 0 0 0 20 0 48 0 177069198 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731119584784 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10990] ppid=10949 vsize=27876988 memory=22244 CPUtime=240.31 cores=0-7
/proc/10952/task/10990/stat : 10990 (java) R 10949 10952 8714 0 -1 4202560 19832 0 0 0 24007 24 0 0 20 0 48 0 177069201 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731118527648 139734482691922 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10991] ppid=10949 vsize=27876988 memory=3956392 CPUtime=239.75 cores=0-7
/proc/10952/task/10991/stat : 10991 (java) R 10949 10952 8714 0 -1 4202560 19711 0 0 0 23955 20 0 0 20 0 48 0 177069203 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731117471920 139734100682462 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10992] ppid=10949 vsize=27876988 memory=-4059589565078923626 CPUtime=0.47 cores=0-7
/proc/10952/task/10992/stat : 10992 (java) S 10949 10952 8714 0 -1 1077944384 74 0 0 0 47 0 0 0 20 0 48 0 177069205 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731116426384 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10993] ppid=10949 vsize=27876988 memory=3957912 CPUtime=239.56 cores=0-7
/proc/10952/task/10993/stat : 10993 (java) R 10949 10952 8714 0 -1 4202560 20491 0 0 0 23933 23 0 0 20 0 48 0 177069227 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731115367320 139734101461742 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10994] ppid=10949 vsize=27876988 memory=4140 CPUtime=0.52 cores=0-7
/proc/10952/task/10994/stat : 10994 (java) S 10949 10952 8714 0 -1 1077944384 55 0 0 0 52 0 0 0 20 0 48 0 177069227 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731114320784 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10995] ppid=10949 vsize=27876988 memory=48968 CPUtime=239.04 cores=0-7
/proc/10952/task/10995/stat : 10995 (java) R 10949 10952 8714 0 -1 4202560 19573 0 0 0 23881 23 0 0 20 0 48 0 177069257 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731113262664 139734099440711 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10996] ppid=10949 vsize=27876988 memory=1292 CPUtime=239.11 cores=0-7
/proc/10952/task/10996/stat : 10996 (java) R 10949 10952 8714 0 -1 4202560 15836 0 0 0 23891 20 0 0 20 0 48 0 177069258 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731112210184 139734100233771 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10997] ppid=10949 vsize=27876988 memory=2428 CPUtime=0.07 cores=0-7
/proc/10952/task/10997/stat : 10997 (java) S 10949 10952 8714 0 -1 1077944384 50 0 0 0 7 0 0 0 20 0 48 0 177069259 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731111163408 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
[pid=10952/tid=10998] ppid=10949 vsize=27876988 memory=1728 CPUtime=0.1 cores=0-7
/proc/10952/task/10998/stat : 10998 (java) S 10949 10952 8714 0 -1 1077944384 79 0 0 0 10 0 0 0 20 0 48 0 177069261 28546035712 989553 33554432000 4194304 4196468 140723684630512 139731110110608 139734501295829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34414592 140723684635751 140723684635936 140723684635936 140723684638671 0
Current children cumulated CPU time: 1951.04 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 3958212 KiB

Child status: 143
Real time (s): 252.166
CPU time (s): 1951.21
CPU user time (s): 1948.13
CPU system time (s): 3.08309
CPU usage (%): 773.781
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 4220828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1948.13
system time used= 3.08309
maximum resident set size= 4222876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92456
involuntary context switches= 43548


# summary of solver processes directly reported to runsolver:
#   pid: 10952
#   total CPU time (s): 1951.21
#   total CPU user time (s): 1948.13
#   total CPU system time (s): 3.08309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17032 second user time and 4.05976 second system time

The end

Launcher Data

Begin job on node107 at 2017-08-22 23:55:46
IDJOB=4285725
IDBENCH=124142
IDSOLVER=2682
FILE ID=node107/4285725-1503439807
RUNJOBID= node107-1503425971-8741
PBS_JOBID= 20632137
Free space on /tmp= 61252 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.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-4285725-1503439807/watcher-4285725-1503439807 -o /tmp/evaluation-result-4285725-1503439807/solver-4285725-1503439807 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1570998648 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285725-1503439807.xml

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

MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f
RANDOM SEED=1570998648

node107.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.84
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.84
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.84
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.84
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:        22519800 kB
MemAvailable:   31947496 kB
Buffers:          266096 kB
Cached:          9448232 kB
SwapCached:            0 kB
Active:          1784660 kB
Inactive:        7985104 kB
Active(anon):      45620 kB
Inactive(anon):    54376 kB
Active(file):    1739040 kB
Inactive(file):  7930728 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42452 kB
Writeback:             0 kB
AnonPages:        118640 kB
Mapped:            55224 kB
Shmem:             41612 kB
Slab:             174092 kB
SReclaimable:     147524 kB
SUnreclaim:        26568 kB
KernelStack:        3248 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61212 MiB
End job on node107 at 2017-08-22 23:59:58