2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	161	2400.06	2351.24

0.74/0.54	c Concrete v3.12.2.1568631193530 running
18.05/8.29	o 174
18.26/8.31	o 173
18.26/8.33	o 172
20.89/10.60	o 171
21.14/10.61	o 170
21.14/10.62	o 169
21.93/11.19	o 168
21.93/11.19	o 167
22.04/11.20	o 166
22.04/11.21	o 165
22.04/11.22	o 164
22.04/11.23	o 163
22.15/11.37	o 162
22.15/11.38	o 161
2400.01/2351.21	Exception in thread "main" java.util.concurrent.TimeoutException
2400.01/2351.21		at concrete.MAC.mac(MAC.scala:192)
2400.01/2351.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.01/2351.21		at scala.util.Try$.apply(Try.scala:212)
2400.01/2351.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.01/2351.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.01/2351.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.01/2351.21		at concrete.MAC.oneRun(MAC.scala:265)
2400.01/2351.21		at concrete.MAC.nextSolution(MAC.scala:284)
2400.01/2351.21		at concrete.MAC.nextSolution(MAC.scala:369)
2400.01/2351.21		at concrete.Solver.hasNext(Solver.scala:160)
2400.01/2351.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.01/2351.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.01/2351.21		at concrete.Solver.foreach(Solver.scala:67)
2400.01/2351.21		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.01/2351.21		at scala.util.Success.map(Try.scala:264)
2400.01/2351.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.01/2351.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.01/2351.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2351.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.01/2351.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2351.21		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.01/2351.21		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.01/2351.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.01/2351.21		at scala.App.$anonfun$main$1(App.scala:75)
2400.01/2351.21		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.01/2351.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.01/2351.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.01/2351.21		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.01/2351.21		at scala.App.main(App.scala:75)
2400.01/2351.21		at scala.App.main$(App.scala:73)
2400.01/2351.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2351.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2351.21	v <instantiation
2400.01/2351.21	v         cost = '161'>
2400.01/2351.21	v       <list>
2400.01/2351.21	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] 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]
2400.01/2351.22	v       </list>
2400.01/2351.22	v       <values>
2400.01/2351.22	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 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 2 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2400.01/2351.22	v       </values>
2400.01/2351.22	v     </instantiation>
2400.01/2351.22	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401436-1568678109/watcher-4401436-1568678109 -o /tmp/evaluation-result-4401436-1568678109/solver-4401436-1568678109 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17352 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1790479423 HOME/instance-4401436-1568678109.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=18809, runsolver pid=18806

[startup+0.100166 s]*
/proc/loadavg: 1.64 1.48 1.49 3/218 18866
/proc/meminfo: memFree=28098528/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=9972712 memory=21296 CPUtime=0.08 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 4552 13044 0 0 1 0 5 2 20 0 6 0 443751090 10212057088 5324 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2493178 5324 1935 1 0 2481616 0
[pid=18809/tid=18862] ppid=18806 vsize=9989820 memory=4351193298052022152 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 2395 13044 0 0 1 0 5 2 20 0 6 0 443751099 10229575680 5390 33554432000 4194304 4196468 140733985660896 140580564750928 140580592912644 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=9989820 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 7 0 443751100 10229575680 5390 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=9989820 memory=139707716138624 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 7 0 443751100 10229575680 5390 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 7 0 443751100 10229575680 5390 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 7 0 443751100 10296684544 5390 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10055356 memory=139707716138624 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 7 0 443751101 10296684544 5390 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 21296 KiB

[startup+0.209886 s]*
/proc/loadavg: 1.64 1.48 1.49 3/227 18875
/proc/meminfo: memFree=28078768/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10820196 memory=43644 CPUtime=0.27 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 7261 13044 0 0 18 2 5 2 20 0 15 0 443751090 11079880704 10911 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2705049 10911 3294 1 0 2667149 0
[pid=18809/tid=18862] ppid=18806 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 3764 13044 0 0 10 1 5 2 20 0 15 0 443751099 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580564728352 140580592936093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10820196 memory=139707716156227 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10820196 memory=139707716138624 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 15 0 443751101 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 13 13044 0 0 0 0 5 2 20 0 15 0 443751102 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580050953376 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751102 11079880704 10911 33554432000 4194304 4196468 140733985660896 140579446973168 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11079880704 10911 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 350 13044 0 0 1 0 5 2 20 0 15 0 443751104 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 319 13044 0 0 1 0 5 2 20 0 15 0 443751104 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10820196 memory=139707716138624 CPUtime=0.1 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 591 13044 0 0 3 0 5 2 20 0 15 0 443751104 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11079880704 10911 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10820196 memory=139707716138624 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751105 11079880704 10911 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43644 KiB

[startup+0.310552 s]*
/proc/loadavg: 1.64 1.48 1.49 4/227 18875
/proc/meminfo: memFree=28068516/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10820196 memory=52312 CPUtime=0.39 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 10758 13044 0 0 29 3 5 2 20 0 15 0 443751090 11079880704 13078 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2705049 13078 3311 1 0 2667149 0
[pid=18809/tid=18862] ppid=18806 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 7241 13044 0 0 19 3 5 2 20 0 15 0 443751099 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580564735200 140580571358938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 15 0 443751100 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 15 0 443751101 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 13 13044 0 0 0 0 5 2 20 0 15 0 443751102 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580050953376 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751102 11079880704 13078 33554432000 4194304 4196468 140733985660896 140579446973168 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11079880704 13078 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 351 13044 0 0 2 0 5 2 20 0 15 0 443751104 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 319 13044 0 0 1 0 5 2 20 0 15 0 443751104 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10820196 memory=139707716138624 CPUtime=0.12 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) R 18806 18809 17320 0 -1 4202560 610 13044 0 0 5 0 5 2 20 0 15 0 443751104 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580015290864 140580592926102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11079880704 13078 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10820196 memory=139707716138624 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751105 11079880704 13078 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52312 KiB

[startup+0.7015 s]
/proc/loadavg: 1.64 1.48 1.49 3/227 18875
/proc/meminfo: memFree=28053112/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10825388 memory=85548 CPUtime=1.13 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 15057 13044 0 0 101 5 5 2 20 0 15 0 443751090 11085197312 21387 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2706347 21387 3512 1 0 2668429 0
[pid=18809/tid=18862] ppid=18806 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 10622 13044 0 0 56 4 5 2 20 0 15 0 443751099 11084148736 21425 33554432000 4194304 4196468 140733985660896 140580564732096 140580585593389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10825388 memory=139707568767600 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751100 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10824364 memory=139710991172181 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 2 13044 0 0 0 0 5 2 20 0 15 0 443751100 11084148736 21425 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10825388 memory=1216 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 5 13044 0 0 0 0 5 2 20 0 15 0 443751101 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10825388 memory=4639098309541126757 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 13 13044 0 0 0 0 5 2 20 0 15 0 443751102 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580050953376 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10825388 memory=14004 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751102 11085197312 21425 33554432000 4194304 4196468 140733985660896 140579446973168 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10824364 memory=25548 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11084148736 21425 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10825388 memory=14048 CPUtime=0.19 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) R 18806 18809 17320 0 -1 4202560 738 13044 0 0 12 0 5 2 20 0 15 0 443751104 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580017383776 140580578029264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10825388 memory=2124 CPUtime=0.2 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) R 18806 18809 17320 0 -1 4202560 728 13044 0 0 13 0 5 2 20 0 15 0 443751104 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580016343920 140580577577382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10825388 memory=500 CPUtime=0.25 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 757 13044 0 0 18 0 5 2 20 0 15 0 443751104 11085197312 21425 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10824364 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11084148736 21425 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751105 11084148736 21425 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 85548 KiB

[startup+1.50075 s]
/proc/loadavg: 1.64 1.48 1.49 3/227 18875
/proc/meminfo: memFree=28008168/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10834680 memory=186800 CPUtime=2.57 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 22020 13044 0 0 241 9 5 2 20 0 15 0 443751090 11094712320 46700 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2708670 46700 3584 1 0 2670733 0
[pid=18809/tid=18862] ppid=18806 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 15764 13044 0 0 130 6 5 2 20 0 15 0 443751099 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580564738496 140580576994654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10834680 memory=279415137583552 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 68 13044 0 0 1 0 5 2 20 0 15 0 443751100 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10834680 memory=279415137592864 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 320 13044 0 0 1 0 5 2 20 0 15 0 443751100 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10834680 memory=139707568802288 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 30 13044 0 0 1 0 5 2 20 0 15 0 443751100 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 64 13044 0 0 1 0 5 2 20 0 15 0 443751100 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 252 13044 0 0 1 0 5 2 20 0 15 0 443751101 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10834680 memory=14310831032874 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 14 13044 0 0 0 0 5 2 20 0 15 0 443751102 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580050953440 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10834680 memory=7811047586285238329 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751102 11094712320 46700 33554432000 4194304 4196468 140733985660896 140579446973184 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10834680 memory=7666623449672674151 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11094712320 46700 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10834680 memory=7666623449672674151 CPUtime=0.36 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 1012 13044 0 0 29 0 5 2 20 0 15 0 443751104 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10834680 memory=7590366833529086826 CPUtime=0.37 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 859 13044 0 0 30 0 5 2 20 0 15 0 443751104 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10834680 memory=6655300316396806240 CPUtime=0.48 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 1426 13044 0 0 41 0 5 2 20 0 15 0 443751104 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10834680 memory=8028060387533677164 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11094712320 46700 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10834680 memory=7086815788135049067 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 1 13044 0 0 0 0 5 2 20 0 15 0 443751105 11094712320 46700 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0

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

/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 198067 13044 0 0 217991 72 5 2 20 0 15 0 443751099 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580564750016 140580213838294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10846988 memory=506556 CPUtime=12.06 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 26637 13044 0 0 1127 72 5 2 20 0 15 0 443751100 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10846988 memory=506108 CPUtime=12.05 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 24629 13044 0 0 1128 70 5 2 20 0 15 0 443751100 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10846988 memory=6791534058613427641 CPUtime=12.04 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 22649 13044 0 0 1126 71 5 2 20 0 15 0 443751100 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10846988 memory=507140 CPUtime=12.05 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 21634 13044 0 0 1126 72 5 2 20 0 15 0 443751100 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10846988 memory=0 CPUtime=6.84 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 13182 13044 0 0 595 82 5 2 20 0 15 0 443751101 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10846988 memory=82958165740266 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 17 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580050953504 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10846988 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 126399 33554432000 4194304 4196468 140733985660896 140579446973184 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10846988 memory=1660 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11107315712 126399 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10846988 memory=14004 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 29310 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10846988 memory=25588 CPUtime=4.8 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 20062 13044 0 0 470 3 5 2 20 0 15 0 443751104 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10846988 memory=508096 CPUtime=2.24 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 19983 13044 0 0 213 4 5 2 20 0 15 0 443751104 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10846988 memory=508096 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11107315712 126399 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10846988 memory=514764 CPUtime=1.24 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 748 13044 0 0 49 68 5 2 20 0 15 0 443751105 11107315712 126399 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 2248.31 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 505596 KiB

[startup+2262.3 s]
/proc/loadavg: 1.25 1.50 1.47 3/228 19371
/proc/meminfo: memFree=27124976/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10846988 memory=540904 CPUtime=2309.44 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 392750 13044 0 0 230459 478 5 2 20 0 15 0 443751090 11107315712 135226 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2711747 135226 3631 1 0 2673805 0
[pid=18809/tid=18862] ppid=18806 vsize=10846988 memory=558344 CPUtime=2240.05 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 207362 13044 0 0 223924 74 5 2 20 0 15 0 443751099 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580564749104 140580215461462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10846988 memory=553728 CPUtime=12.45 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 27563 13044 0 0 1164 74 5 2 20 0 15 0 443751100 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10846988 memory=550652 CPUtime=12.44 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 25480 13044 0 0 1164 73 5 2 20 0 15 0 443751100 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10846988 memory=543980 CPUtime=12.44 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 23674 13044 0 0 1164 73 5 2 20 0 15 0 443751100 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10846988 memory=541416 CPUtime=12.45 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 22443 13044 0 0 1163 75 5 2 20 0 15 0 443751100 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10846988 memory=547572 CPUtime=7.02 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 13469 13044 0 0 611 84 5 2 20 0 15 0 443751101 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10846988 memory=493232 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 17 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580050953504 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10846988 memory=549112 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 135226 33554432000 4194304 4196468 140733985660896 140579446973184 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10846988 memory=473 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11107315712 135226 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10846988 memory=6791534058613427641 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 29708 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10846988 memory=580 CPUtime=4.8 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 20064 13044 0 0 470 3 5 2 20 0 15 0 443751104 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10846988 memory=541416 CPUtime=2.24 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 19985 13044 0 0 213 4 5 2 20 0 15 0 443751104 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10846988 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11107315712 135226 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10846988 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 767 13044 0 0 51 69 5 2 20 0 15 0 443751105 11107315712 135226 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 2309.44 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 540904 KiB

[startup+2322.3 s]
/proc/loadavg: 1.46 1.51 1.48 3/228 19375
/proc/meminfo: memFree=27126416/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10846988 memory=545088 CPUtime=2370.57 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 405390 13044 0 0 236557 493 5 2 20 0 15 0 443751090 11107315712 136272 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2711747 136272 3631 1 0 2673805 0
[pid=18809/tid=18862] ppid=18806 vsize=10846988 memory=546112 CPUtime=2299.44 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 217088 13044 0 0 229862 75 5 2 20 0 15 0 443751099 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580564750480 140580214043602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10846988 memory=553256 CPUtime=12.83 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 28256 13044 0 0 1199 77 5 2 20 0 15 0 443751100 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10846988 memory=581044 CPUtime=12.82 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 26398 13044 0 0 1199 76 5 2 20 0 15 0 443751100 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10846988 memory=528768 CPUtime=12.81 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 24308 13044 0 0 1199 75 5 2 20 0 15 0 443751100 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10846988 memory=525512 CPUtime=12.83 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 23018 13044 0 0 1198 78 5 2 20 0 15 0 443751100 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10846988 memory=525084 CPUtime=7.19 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 13550 13044 0 0 626 86 5 2 20 0 15 0 443751101 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10846988 memory=560436 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 17 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580050953504 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10846988 memory=554796 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 136272 33554432000 4194304 4196468 140733985660896 140579446973184 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10846988 memory=539444 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11107315712 136272 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10846988 memory=548164 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 29711 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10846988 memory=552228 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 20066 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10846988 memory=551204 CPUtime=2.24 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 19987 13044 0 0 213 4 5 2 20 0 15 0 443751104 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10846988 memory=545600 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11107315712 136272 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10846988 memory=3620 CPUtime=1.3 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 773 13044 0 0 52 71 5 2 20 0 15 0 443751105 11107315712 136272 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 2370.57 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 545088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2351.2 s]
/proc/loadavg: 1.50 1.52 1.48 3/228 19378
/proc/meminfo: memFree=27143792/32770624 swapFree=66959728/67108860
[pid=18809] ppid=18806 vsize=10846988 memory=529104 CPUtime=2400.01 cores=1,3,5,7
/proc/18809/stat : 18809 (java) S 18806 18809 17320 0 -1 1077944320 408962 13044 0 0 239496 498 5 2 20 0 15 0 443751090 11107315712 132276 33554432000 4194304 4196468 140733985660896 140733985643440 140580592914167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
/proc/18809/statm: 2711747 132276 3631 1 0 2673805 0
[pid=18809/tid=18862] ppid=18806 vsize=10846988 memory=6791534058613427641 CPUtime=2328.02 cores=1,3,5,7
/proc/18809/task/18862/stat : 18862 (java) R 18806 18809 17320 0 -1 4202560 219599 13044 0 0 232719 76 5 2 20 0 15 0 443751099 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580564750352 140580214050342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18863] ppid=18806 vsize=10846988 memory=851396 CPUtime=13.02 cores=1,3,5,7
/proc/18809/task/18863/stat : 18863 (java) S 18806 18809 17320 0 -1 1077944384 28418 13044 0 0 1217 78 5 2 20 0 15 0 443751100 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580597156880 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18864] ppid=18806 vsize=10846988 memory=512760 CPUtime=13.01 cores=1,3,5,7
/proc/18809/task/18864/stat : 18864 (java) S 18806 18809 17320 0 -1 1077944384 26645 13044 0 0 1218 76 5 2 20 0 15 0 443751100 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580522462352 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18865] ppid=18806 vsize=10846988 memory=6791534058613427641 CPUtime=13 cores=1,3,5,7
/proc/18809/task/18865/stat : 18865 (java) S 18806 18809 17320 0 -1 1077944384 24544 13044 0 0 1217 76 5 2 20 0 15 0 443751100 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580164918032 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18866] ppid=18806 vsize=10846988 memory=10604 CPUtime=13.02 cores=1,3,5,7
/proc/18809/task/18866/stat : 18866 (java) S 18806 18809 17320 0 -1 1077944384 23210 13044 0 0 1216 79 5 2 20 0 15 0 443751100 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580163865488 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18867] ppid=18806 vsize=10846988 memory=4160 CPUtime=7.28 cores=1,3,5,7
/proc/18809/task/18867/stat : 18867 (java) S 18806 18809 17320 0 -1 1077944384 13759 13044 0 0 634 87 5 2 20 0 15 0 443751101 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580119558384 140580592925314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18868] ppid=18806 vsize=10846988 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18868/stat : 18868 (java) S 18806 18809 17320 0 -1 1077944384 17 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580050953504 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18869] ppid=18806 vsize=10846988 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18869/stat : 18869 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751102 11107315712 132276 33554432000 4194304 4196468 140733985660896 140579446973184 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18870] ppid=18806 vsize=10846988 memory=6060 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18870/stat : 18870 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751104 11107315712 132276 33554432000 4194304 4196468 140733985660896 140579139573712 140580592932763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18871] ppid=18806 vsize=10846988 memory=1060 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18871/stat : 18871 (java) S 18806 18809 17320 0 -1 1077944384 29711 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580017396464 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18872] ppid=18806 vsize=10846988 memory=2828 CPUtime=4.81 cores=1,3,5,7
/proc/18809/task/18872/stat : 18872 (java) S 18806 18809 17320 0 -1 1077944384 20066 13044 0 0 471 3 5 2 20 0 15 0 443751104 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580016343920 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18873] ppid=18806 vsize=10846988 memory=529620 CPUtime=2.24 cores=1,3,5,7
/proc/18809/task/18873/stat : 18873 (java) S 18806 18809 17320 0 -1 1077944384 19988 13044 0 0 213 4 5 2 20 0 15 0 443751104 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580015290864 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18874] ppid=18806 vsize=10846988 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/18809/task/18874/stat : 18874 (java) S 18806 18809 17320 0 -1 1077944384 3 13044 0 0 0 0 5 2 20 0 15 0 443751105 11107315712 132276 33554432000 4194304 4196468 140733985660896 140579106016096 140580592924373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
[pid=18809/tid=18875] ppid=18806 vsize=10846988 memory=1772 CPUtime=1.32 cores=1,3,5,7
/proc/18809/task/18875/stat : 18875 (java) S 18806 18809 17320 0 -1 1077944384 787 13044 0 0 53 72 5 2 20 0 15 0 443751105 11107315712 132276 33554432000 4194304 4196468 140733985660896 140580014238256 140580592925314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140733985667823 140733985670341 140733985670341 140733985673167 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 529104 KiB

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

[startup+2351.24 s]
# the end of solver process 18809 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.04 s, system=5.01862 s

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

Child status: 143
Real time (s): 2351.24
CPU time (s): 2400.06
CPU user time (s): 2395.04
CPU system time (s): 5.01862
CPU usage (%): 102.076
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 1528712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.04
system time used= 5.01862
maximum resident set size= 1530292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201299
involuntary context switches= 5378


# summary of solver processes directly reported to runsolver:
#   pid: 18809
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2395.04
#   total CPU system time (s): 5.01862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0266 second user time and 22.4146 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml
MD5SUM	2318da7117aad88e4beeaec86ff9c63e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	161
Best CPU time to get the best result obtained on this benchmark	9.91727
Satisfiable
(Un)Satisfiability was proved
Number of variables	4074
Number of constraints	216
Number of domains	11
Minimum domain size	2
Maximum domain size	20
Distribution of domain sizes	[{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":4074}]
Minimum constraint arity	21
Maximum constraint arity	3880
Distribution of constraint arities	[{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4401436

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data