Trace number 4274446

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 - Hybrid 2017-07-26OPT171 9.5780497 4.36095

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t15-7.xml
MD5SUM2ebe21d5d08c670f23069b27b9adbcc2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark171
Best CPU time to get the best result obtained on this benchmark8.3614998
Satisfiable
(Un)Satisfiability was proved
Number of variables4158
Number of constraints220
Number of domains11
Minimum domain size2
Maximum domain size20
Distribution of domain sizes[{"size":2,"count":792},{"size":3,"count":594},{"size":5,"count":198},{"size":8,"count":198},{"size":11,"count":198},{"size":12,"count":396},{"size":14,"count":396},{"size":17,"count":396},{"size":18,"count":198},{"size":19,"count":594},{"size":20,"count":198}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":4158}]
Minimum constraint arity21
Maximum constraint arity3960
Distribution of constraint arities[{"arity":21,"count":198},{"arity":198,"count":21},{"arity":3960,"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":218}]
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.28/0.37	c version: 2017-07-26
0.28/0.37	c seed: 635166111
0.28/0.37	c timeout: 2520
0.28/0.37	c memlimit: 11000
0.28/0.37	c nbcore: 4
0.28/0.40	c Parsing instance...
2.17/1.13	c Parsing done, starting first complete search...
8.43/3.72	o 198
9.50/4.32	o 197
9.50/4.32	o 196
9.50/4.32	o 195
9.50/4.32	o 194
9.50/4.32	o 193
9.50/4.32	o 192
9.50/4.32	o 191
9.50/4.32	o 190
9.50/4.32	o 189
9.50/4.32	o 188
9.50/4.32	o 187
9.50/4.32	o 186
9.50/4.32	o 185
9.50/4.32	o 184
9.50/4.32	o 183
9.50/4.32	o 182
9.50/4.32	o 181
9.50/4.32	o 180
9.50/4.32	o 179
9.50/4.32	o 178
9.50/4.32	o 177
9.50/4.32	o 176
9.50/4.32	o 175
9.50/4.32	o 174
9.50/4.32	o 173
9.50/4.32	o 172
9.50/4.32	o 171
9.50/4.34	s OPTIMUM FOUND
9.50/4.35	v <instantiation>
9.50/4.35	v 	<list>
9.50/4.35	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] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] 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] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19]
9.50/4.35	v 	</list>
9.50/4.35	v 	<values>
9.50/4.35	v 		1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 
9.50/4.35	v 	</values>
9.50/4.35	v </instantiation>

Verifier Data

OK	171

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274446-1502803046/watcher-4274446-1502803046 -o /tmp/evaluation-result-4274446-1502803046/solver-4274446-1502803046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 635166111 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274446-1502803046.xml 

running on 4 cores: 1,3,5,7

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

solver pid=2903, runsolver pid=2900

[startup+0.100163 s]*
/proc/loadavg: 1.23 1.27 1.31 3/205 2909
/proc/meminfo: memFree=29787592/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13440536 memory=13828 CPUtime=0.01 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 3782 0 0 0 1 0 0 0 20 0 7 0 122216103 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3360134 3457 2004 1 0 3349631 0
[pid=2903/tid=2905] ppid=2900 vsize=13440536 memory=7078086954469309281 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 2514 0 0 0 1 0 0 0 20 0 7 0 122216112 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139815649671952 139815629510012 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13440536 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122216113 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13440536 memory=140255298406016 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122216113 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122216113 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 122216113 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13440536 memory=140255298406016 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 122216114 13763108864 3457 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 13828 KiB

[startup+0.211516 s]*
/proc/loadavg: 1.23 1.27 1.31 3/214 2918
/proc/meminfo: memFree=29773340/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13976944 memory=34280 CPUtime=0.11 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 8746 0 0 0 10 1 0 0 20 0 15 0 122216103 14312390656 8504 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3494236 8570 3386 1 0 3483015 0
[pid=2903/tid=2905] ppid=2900 vsize=13976944 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 7264 0 0 0 7 1 0 0 20 0 15 0 122216112 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139815649636544 139815638109213 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13976944 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13976944 memory=140255298420017 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122216113 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13976944 memory=140255298406016 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122216114 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122216114 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814561326496 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122216115 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814560273904 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 122216117 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13976944 memory=140255298406016 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 122216117 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13976944 memory=140255298406016 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216121 14312390656 8819 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34280 KiB

[startup+0.310656 s]*
/proc/loadavg: 1.23 1.27 1.31 3/214 2918
/proc/meminfo: memFree=29763948/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13975920 memory=41020 CPUtime=0.28 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 11004 0 0 0 25 3 0 0 20 0 15 0 122216103 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3493980 10255 3572 1 0 3482759 0
[pid=2903/tid=2905] ppid=2900 vsize=13975920 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 8642 0 0 0 16 2 0 0 20 0 15 0 122216112 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139815649648976 139815629509982 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122216113 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122216114 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122216114 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814561326496 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122216115 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814560273904 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13975920 memory=140255177224064 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 122216117 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13975920 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 122216117 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 388 0 0 0 5 0 0 0 20 0 15 0 122216117 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216121 14311342080 10255 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 41020 KiB

[startup+0.700762 s]
/proc/loadavg: 1.23 1.27 1.31 3/214 2918
/proc/meminfo: memFree=29749580/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13977988 memory=70604 CPUtime=1.08 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 13827 0 0 0 103 5 0 0 20 0 15 0 122216103 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3494497 17651 3736 1 0 3483271 0
[pid=2903/tid=2905] ppid=2900 vsize=13977988 memory=140255176994287 CPUtime=0.56 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 10407 0 0 0 53 3 0 0 20 0 15 0 122216112 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139815649665008 139815629509982 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13977988 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13977988 memory=7229491607711535185 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13977988 memory=-7098080424032564416 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13977988 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122216113 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13977988 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122216114 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122216114 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814561326496 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122216115 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814560273904 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13977988 memory=280510354120608 CPUtime=0.11 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 706 0 0 0 11 0 0 0 20 0 15 0 122216117 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13977988 memory=288230583166042426 CPUtime=0.15 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 579 0 0 0 15 0 0 0 20 0 15 0 122216117 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13977988 memory=13850776430708521 CPUtime=0.22 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 752 0 0 0 22 0 0 0 20 0 15 0 122216117 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13977988 memory=34920 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13977988 memory=18468 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216121 14313459712 17651 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70604 KiB

[startup+1.5015 s]
/proc/loadavg: 1.23 1.27 1.31 5/214 2918
/proc/meminfo: memFree=29707404/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13980036 memory=208216 CPUtime=3.37 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 32486 0 0 0 325 12 0 0 20 0 15 0 122216103 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3495009 52054 3770 1 0 3483783 0
[pid=2903/tid=2905] ppid=2900 vsize=13980036 memory=280510354390272 CPUtime=1.36 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 14532 0 0 0 129 7 0 0 20 0 15 0 122216112 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139815649667312 139815292775199 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13980036 memory=13951 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13980036 memory=22221 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13980036 memory=14689699507734195 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122216113 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122216113 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122216114 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13980036 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122216114 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814561326496 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13980036 memory=-7666414585839465563 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122216115 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814560273904 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13980036 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13980036 memory=8328453600958622283 CPUtime=0.71 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) R 2900 2903 12395 0 -1 4202560 4971 0 0 0 70 1 0 0 20 0 15 0 122216117 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814558155408 139815623282784 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13980036 memory=7100839852926015589 CPUtime=0.72 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) R 2900 2903 12395 0 -1 4202560 5952 0 0 0 71 1 0 0 20 0 15 0 122216117 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814557101776 139815631459483 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13980036 memory=7897517683652307531 CPUtime=0.55 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 5646 0 0 0 53 2 0 0 20 0 15 0 122216117 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13980036 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216121 14315556864 52054 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0

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

[startup+4.3609 s]
# the end of solver process 2903 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.41071 s, system=0.167346 s

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

[startup+3.20089 s]
/proc/loadavg: 1.23 1.27 1.31 3/214 2918
/proc/meminfo: memFree=29563588/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13980036 memory=244524 CPUtime=7.85 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 38427 0 0 0 771 14 0 0 20 0 15 0 122216103 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3495009 61131 3807 1 0 3483783 0
[pid=2903/tid=2905] ppid=2900 vsize=13980036 memory=16813521897716 CPUtime=3.02 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 15020 0 0 0 295 7 0 0 20 0 15 0 122216112 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139815649665368 139815292925924 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13980036 memory=280510354302016 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 657 0 0 0 1 0 0 0 20 0 15 0 122216113 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13980036 memory=1854150805249 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 122216113 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13980036 memory=1922870281985 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 15 0 122216113 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13980036 memory=1931460216577 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 122216113 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13980036 memory=2408201586433 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 122216114 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13980036 memory=2494100932097 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 122216114 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814561326560 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13980036 memory=2498395899393 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 122216115 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814560273920 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13980036 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13980036 memory=-5153075247754915967 CPUtime=2.04 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 7383 0 0 0 203 1 0 0 20 0 15 0 122216117 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13980036 memory=4134606225630022328 CPUtime=2.06 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 6757 0 0 0 205 1 0 0 20 0 15 0 122216117 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13980036 memory=4134606225630022328 CPUtime=0.6 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 6435 0 0 0 58 2 0 0 20 0 15 0 122216117 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13980036 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13980036 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 122216121 14315556864 61131 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 7.85 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 244524 KiB

[startup+4.0007 s]*
/proc/loadavg: 1.13 1.24 1.30 4/214 2918
/proc/meminfo: memFree=29541640/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13982084 memory=255172 CPUtime=9.03 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 38948 0 0 0 887 16 0 0 20 0 15 0 122216103 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3495521 63793 3807 1 0 3484295 0
[pid=2903/tid=2905] ppid=2900 vsize=13982084 memory=6933928925625698159 CPUtime=3.82 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 15330 0 0 0 375 7 0 0 20 0 15 0 122216112 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139815649666640 139815292925969 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13982084 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13982084 memory=849 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13982084 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13982084 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 122216113 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13982084 memory=-1807685287725067907 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 122216114 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 122216114 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814561326560 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13982084 memory=-1161699032756215646 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 122216115 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814560273920 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13982084 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13982084 memory=0 CPUtime=2.16 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) R 2900 2903 12395 0 -1 4202560 7432 0 0 0 215 1 0 0 20 0 15 0 122216117 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815626129038 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13982084 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 6808 0 0 0 224 1 0 0 20 0 15 0 122216117 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13982084 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 6521 0 0 0 60 2 0 0 20 0 15 0 122216117 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13982084 memory=8097827316059615279 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 122216121 14317654016 63793 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 255172 KiB

[startup+4.20073 s]
/proc/loadavg: 1.13 1.24 1.30 4/214 2918
/proc/meminfo: memFree=29541640/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13982084 memory=255268 CPUtime=9.4 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 38987 0 0 0 924 16 0 0 20 0 15 0 122216103 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3495521 63817 3807 1 0 3484295 0
[pid=2903/tid=2905] ppid=2900 vsize=13982084 memory=304556131882382748 CPUtime=4.01 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 15331 0 0 0 394 7 0 0 20 0 15 0 122216112 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139815649664880 139815293024335 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13982084 memory=15537440170602831 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13982084 memory=-7301003955954079840 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13982084 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13982084 memory=6154239673245264489 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 122216113 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13982084 memory=7593466331088186704 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 122216114 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13982084 memory=7451322584440330596 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 122216114 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814561326560 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13982084 memory=7373637685529569642 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 122216115 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814560273920 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13982084 memory=7878573003178600041 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13982084 memory=280510353899760 CPUtime=2.26 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 7454 0 0 0 225 1 0 0 20 0 15 0 122216117 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13982084 memory=6298379080910334822 CPUtime=2.33 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 6816 0 0 0 232 1 0 0 20 0 15 0 122216117 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13982084 memory=6441643405629559206 CPUtime=0.62 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 6528 0 0 0 60 2 0 0 20 0 15 0 122216117 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13982084 memory=7450192260347744609 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13982084 memory=3472328296227680264 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 122216121 14317654016 63817 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 255268 KiB

[startup+4.30074 s]
/proc/loadavg: 1.13 1.24 1.30 4/214 2918
/proc/meminfo: memFree=29541640/32770624 swapFree=67108860/67108860
[pid=2903] ppid=2900 vsize=13982084 memory=257332 CPUtime=9.5 cores=1,3,5,7
/proc/2903/stat : 2903 (java) S 2900 2903 12395 0 -1 1077944320 38992 0 0 0 934 16 0 0 20 0 15 0 122216103 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 140733558704336 139815645429495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
/proc/2903/statm: 3495521 64333 3807 1 0 3484295 0
[pid=2903/tid=2905] ppid=2900 vsize=13982084 memory=-5345911753256963030 CPUtime=4.11 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (java) R 2900 2903 12395 0 -1 4202560 15336 0 0 0 404 7 0 0 20 0 15 0 122216112 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139815649664880 139815293937466 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2906] ppid=2900 vsize=13982084 memory=2 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (java) S 2900 2903 12395 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139815615142160 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2907] ppid=2900 vsize=13982084 memory=2 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2907/stat : 2907 (java) S 2900 2903 12395 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139815244818832 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2908] ppid=2900 vsize=13982084 memory=2 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2908/stat : 2908 (java) S 2900 2903 12395 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 122216113 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139815243766288 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2909] ppid=2900 vsize=13982084 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2909/stat : 2909 (java) S 2900 2903 12395 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 122216113 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139815242713744 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2910] ppid=2900 vsize=13982084 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/2903/task/2910/stat : 2910 (java) S 2900 2903 12395 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 122216114 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814562380272 139815645440642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2911] ppid=2900 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2911/stat : 2911 (java) S 2900 2903 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 122216114 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814561326560 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2912] ppid=2900 vsize=13982084 memory=34920 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2912/stat : 2912 (java) S 2900 2903 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 122216115 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814560273920 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2913] ppid=2900 vsize=13982084 memory=18468 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2913/stat : 2913 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814559222480 139815645448091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2914] ppid=2900 vsize=13982084 memory=1788 CPUtime=2.26 cores=1,3,5,7
/proc/2903/task/2914/stat : 2914 (java) S 2900 2903 12395 0 -1 1077944384 7454 0 0 0 225 1 0 0 20 0 15 0 122216117 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814558169072 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2915] ppid=2900 vsize=13982084 memory=644 CPUtime=2.33 cores=1,3,5,7
/proc/2903/task/2915/stat : 2915 (java) S 2900 2903 12395 0 -1 1077944384 6816 0 0 0 232 1 0 0 20 0 15 0 122216117 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814557116528 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2916] ppid=2900 vsize=13982084 memory=956 CPUtime=0.62 cores=1,3,5,7
/proc/2903/task/2916/stat : 2916 (java) S 2900 2903 12395 0 -1 1077944384 6528 0 0 0 60 2 0 0 20 0 15 0 122216117 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814556063984 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2917] ppid=2900 vsize=13982084 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2917/stat : 2917 (java) S 2900 2903 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122216117 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814555011680 139815645439701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
[pid=2903/tid=2918] ppid=2900 vsize=13982084 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2918/stat : 2918 (java) S 2900 2903 12395 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 122216121 14317654016 64333 18446744073709551615 4194304 4196468 140733558721792 139814553959216 139815645440642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18624512 140733558722931 140733558723113 140733558723113 140733558726607 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 257332 KiB

Child status: 0
Real time (s): 4.36095
CPU time (s): 9.57805
CPU user time (s): 9.41071
CPU system time (s): 0.167346
CPU usage (%): 219.632
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 257332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.41071
system time used= 0.167346
maximum resident set size= 261908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2861
involuntary context switches= 38


# summary of solver processes directly reported to runsolver:
#   pid: 2903
#   total CPU time (s): 9.57805
#   total CPU user time (s): 9.41071
#   total CPU system time (s): 0.167346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049997 second user time and 0.088603 second system time

The end

Launcher Data

Begin job on node135 at 2017-08-15 15:03:34
IDJOB=4274446
IDBENCH=124179
IDSOLVER=2667
FILE ID=node135/4274446-1502803046
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274446-1502803046/watcher-4274446-1502803046 -o /tmp/evaluation-result-4274446-1502803046/solver-4274446-1502803046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 635166111 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274446-1502803046.xml

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

MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2
RANDOM SEED=635166111

node135.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.21
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.21
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.21
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.21
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:        29802484 kB
MemAvailable:   30853232 kB
Buffers:          325504 kB
Cached:          1020124 kB
SwapCached:            0 kB
Active:          1926456 kB
Inactive:         588788 kB
Active(anon):    1170112 kB
Inactive(anon):    41324 kB
Active(file):     756344 kB
Inactive(file):   547464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42344 kB
Writeback:             4 kB
AnonPages:       1169528 kB
Mapped:            74320 kB
Shmem:             41656 kB
Slab:             153968 kB
SReclaimable:     125552 kB
SUnreclaim:        28416 kB
KernelStack:        3472 kB
PageTables:         7280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2026492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 15:03:39