2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

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

0.79/0.56	c Concrete v3.12.2.1568380929293 running
2338.09/2306.71	o 193
2338.09/2306.74	o 192
2338.09/2306.78	o 191
2338.40/2306.81	o 190
2338.40/2306.86	o 189
2338.40/2306.88	o 188
2338.60/2306.92	o 187
2338.60/2306.96	o 186
2338.60/2306.98	o 185
2338.71/2307.02	o 184
2338.71/2307.05	o 183
2338.71/2307.07	o 182
2338.83/2307.15	o 181
2338.83/2307.17	o 180
2338.94/2307.21	o 179
2338.94/2307.23	o 178
2338.94/2307.28	o 177
2339.06/2307.30	o 176
2339.06/2307.34	o 175
2339.06/2307.36	o 174
2339.17/2307.41	o 173
2339.17/2307.43	o 172
2339.17/2307.47	o 171
2339.17/2307.49	o 170
2339.27/2307.57	o 169
2340.12/2308.30	o 168
2341.35/2309.52	o 167
2343.08/2311.28	o 166
2343.59/2311.79	o 165
2345.02/2313.12	o 164
2345.52/2313.61	o 163
2345.72/2313.87	o 162
2346.73/2314.69	o 161
2520.05/2486.51	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2486.51		at concrete.MAC.mac(MAC.scala:192)
2520.05/2486.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.05/2486.51		at scala.util.Try$.apply(Try.scala:212)
2520.05/2486.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.05/2486.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.05/2486.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.05/2486.51		at concrete.MAC.oneRun(MAC.scala:265)
2520.05/2486.51		at concrete.MAC.nextSolution(MAC.scala:284)
2520.05/2486.51		at concrete.MAC.nextSolution(MAC.scala:369)
2520.05/2486.51		at concrete.Solver.hasNext(Solver.scala:160)
2520.05/2486.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2486.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2486.51		at concrete.Solver.foreach(Solver.scala:67)
2520.05/2486.51		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.05/2486.51		at scala.util.Success.map(Try.scala:264)
2520.05/2486.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2486.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.05/2486.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2486.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2486.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2486.51		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.05/2486.51		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.05/2486.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.05/2486.51		at scala.App.$anonfun$main$1(App.scala:75)
2520.05/2486.51		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.05/2486.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2486.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2486.51		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.05/2486.51		at scala.App.main(App.scala:75)
2520.05/2486.51		at scala.App.main$(App.scala:73)
2520.05/2486.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2486.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2486.51	v <instantiation
2520.05/2486.51	v         cost = '161'>
2520.05/2486.51	v       <list>
2520.05/2486.51	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]
2520.05/2486.52	v       </list>
2520.05/2486.52	v       <values>
2520.05/2486.52	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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.05/2486.52	v       </values>
2520.05/2486.52	v     </instantiation>
2520.05/2486.52	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 (15251 MiB free)
  memory of node 1: 16384 MiB (13263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396256-1568397416/watcher-4396256-1568397416 -o /tmp/evaluation-result-4396256-1568397416/solver-4396256-1568397416 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568388801-30330 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1468284714 HOME/instance-4396256-1568397416.xml 

running on 4 cores: 0,2,4,6

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

solver pid=31536, runsolver pid=31533

[startup+0.100219 s]*
/proc/loadavg: 1.68 1.72 1.77 3/217 31593
/proc/meminfo: memFree=29191076/32770624 swapFree=66936552/67108860
[pid=31536] ppid=31533 vsize=9972712 memory=18856 CPUtime=0.09 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 4417 13064 0 0 1 0 5 3 20 0 6 0 416000000 10212057088 4649 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2493178 4649 1933 1 0 2481616 0
[pid=31536/tid=31589] ppid=31533 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 2224 13064 0 0 1 0 5 3 20 0 6 0 416000009 10212057088 4714 33554432000 4194304 4196468 140722456604320 140540106416720 140540119702896 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 6 0 416000009 10212057088 4714 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=9972712 memory=139816375068288 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 6 0 416000009 10212057088 4714 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 6 0 416000009 10212057088 4714 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 6 0 416000009 10212057088 4714 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.21016 s]*
/proc/loadavg: 1.68 1.72 1.77 4/226 31602
/proc/meminfo: memFree=29174280/32770624 swapFree=66936552/67108860
[pid=31536] ppid=31533 vsize=10819664 memory=40652 CPUtime=0.27 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 7062 13064 0 0 18 1 5 3 20 0 15 0 416000000 11079335936 10163 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2704916 10163 3148 1 0 2667149 0
[pid=31536/tid=31589] ppid=31533 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 3541 13064 0 0 11 0 5 3 20 0 15 0 416000009 11079335936 10163 33554432000 4194304 4196468 140722456604320 140540106367952 140540116143515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10819664 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079335936 10163 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10819664 memory=139816377985359 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079335936 10163 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079335936 10163 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079335936 10163 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10819664 memory=139816375068288 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 13 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539584308256 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079335936 10163 33554432000 4194304 4196468 140722456604320 140538980328304 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11079335936 10163 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 453 13064 0 0 1 0 5 3 20 0 15 0 416000014 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 181 13064 0 0 0 0 5 3 20 0 15 0 416000014 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10819664 memory=139816375068288 CPUtime=0.11 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 654 13064 0 0 3 0 5 3 20 0 15 0 416000014 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11079335936 10163 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10819664 memory=139816375068288 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000015 11079335936 10163 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40652 KiB

[startup+0.310771 s]*
/proc/loadavg: 1.68 1.72 1.77 3/226 31602
/proc/meminfo: memFree=29161808/32770624 swapFree=66936552/67108860
[pid=31536] ppid=31533 vsize=10820148 memory=49828 CPUtime=0.41 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 10730 13064 0 0 30 3 5 3 20 0 15 0 416000000 11079831552 12457 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2705037 12457 3285 1 0 2667149 0
[pid=31536/tid=31589] ppid=31533 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 7181 13064 0 0 19 2 5 3 20 0 15 0 416000009 11079831552 12457 33554432000 4194304 4196468 140722456604320 140540106379872 140540120795940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079831552 12457 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079831552 12457 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079831552 12457 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000009 11079831552 12457 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 13 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539584308256 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000011 11079831552 12457 33554432000 4194304 4196468 140722456604320 140538980328304 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11079831552 12457 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 454 13064 0 0 2 0 5 3 20 0 15 0 416000014 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 190 13064 0 0 1 0 5 3 20 0 15 0 416000014 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10820148 memory=139816375068288 CPUtime=0.13 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 672 13064 0 0 5 0 5 3 20 0 15 0 416000014 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11079831552 12457 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10820148 memory=139816375068288 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000015 11079831552 12457 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49828 KiB

[startup+0.700657 s]
/proc/loadavg: 1.68 1.72 1.77 3/226 31602
/proc/meminfo: memFree=29146652/32770624 swapFree=66936552/67108860
[pid=31536] ppid=31533 vsize=10824360 memory=83720 CPUtime=1.15 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 15113 13064 0 0 102 5 5 3 20 0 15 0 416000000 11084144640 20930 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2706090 20930 3511 1 0 2668173 0
[pid=31536/tid=31589] ppid=31533 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 10312 13064 0 0 55 3 5 3 20 0 15 0 416000009 11084144640 20930 33554432000 4194304 4196468 140722456604320 140540106409504 140540134601885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11084144640 20930 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11084144640 20930 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10824360 memory=279632436011968 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000009 11084144640 20930 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10824360 memory=137621489584617 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000009 11084144640 20930 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10824360 memory=11495950345 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 5 13064 0 0 0 0 5 3 20 0 15 0 416000011 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10824360 memory=68 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 13 13064 0 0 0 0 5 3 20 0 15 0 416000011 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539584308256 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000011 11084144640 20930 33554432000 4194304 4196468 140722456604320 140538980328304 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11084144640 20930 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 1088 13064 0 0 16 0 5 3 20 0 15 0 416000014 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 554 13064 0 0 12 0 5 3 20 0 15 0 416000014 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 923 13064 0 0 17 0 5 3 20 0 15 0 416000014 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11084144640 20930 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000015 11084144640 20930 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83720 KiB

[startup+1.50082 s]
/proc/loadavg: 1.68 1.72 1.77 4/226 31602
/proc/meminfo: memFree=29103524/32770624 swapFree=66936552/67108860
[pid=31536] ppid=31533 vsize=10834676 memory=185248 CPUtime=2.63 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 21522 13064 0 0 244 11 5 3 20 0 15 0 416000000 11094708224 46312 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2708669 46312 3587 1 0 2670733 0
[pid=31536/tid=31589] ppid=31533 vsize=10834676 memory=-5153189914156491630 CPUtime=1.43 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 15020 13064 0 0 129 6 5 3 20 0 15 0 416000009 11094708224 46312 33554432000 4194304 4196468 140722456604320 140540106395360 140539736938309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10834676 memory=-7335451862672905621 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 75 13064 0 0 1 0 5 3 20 0 15 0 416000009 11094708224 46312 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10834676 memory=6720696446780543624 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 67 13064 0 0 1 0 5 3 20 0 15 0 416000009 11094708224 46312 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10834676 memory=-5153075247754915967 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 338 13064 0 0 1 0 5 3 20 0 15 0 416000009 11094708224 46312 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10834676 memory=126656 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 41 13064 0 0 1 0 5 3 20 0 15 0 416000009 11094708224 46312 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 145 13064 0 0 1 0 5 3 20 0 15 0 416000011 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 13 13064 0 0 0 0 5 3 20 0 15 0 416000011 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539584308320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10834676 memory=279632435806304 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 416000011 11094708224 46312 33554432000 4194304 4196468 140722456604320 140538980328320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10834676 memory=279632436221344 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11094708224 46312 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10834676 memory=139816217912864 CPUtime=0.42 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 1345 13064 0 0 34 0 5 3 20 0 15 0 416000014 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10834676 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) R 31533 31536 28159 0 -1 1077944384 708 13064 0 0 30 0 5 3 20 0 15 0 416000014 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10834676 memory=1060 CPUtime=0.48 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 1558 13064 0 0 40 0 5 3 20 0 15 0 416000014 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10834676 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11094708224 46312 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10834676 memory=10680 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 416000015 11094708224 46312 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834676 KiB

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

/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 68951 13064 0 0 237057 41 5 3 20 0 15 0 416000009 11107311616 85419 33554432000 4194304 4196468 140722456604320 140540106415840 140539754091488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10846984 memory=341676 CPUtime=5.73 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 13619 13064 0 0 541 24 5 3 20 0 15 0 416000009 11107311616 85419 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10846984 memory=341676 CPUtime=5.75 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 11173 13064 0 0 542 25 5 3 20 0 15 0 416000009 11107311616 85419 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10846984 memory=341676 CPUtime=5.71 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 19098 13064 0 0 540 23 5 3 20 0 15 0 416000009 11107311616 85419 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10846984 memory=341676 CPUtime=5.7 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 13557 13064 0 0 539 23 5 3 20 0 15 0 416000009 11107311616 85419 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10846984 memory=342700 CPUtime=4.17 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 16302 13064 0 0 369 40 5 3 20 0 15 0 416000011 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10846984 memory=341676 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 25 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539584308320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10846984 memory=341676 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 18 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85419 33554432000 4194304 4196468 140722456604320 140538980328320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10846984 memory=341676 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85419 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10846984 memory=341676 CPUtime=6.69 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 40053 13064 0 0 658 3 5 3 20 0 15 0 416000014 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10846984 memory=341676 CPUtime=7.07 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 36363 13064 0 0 696 3 5 3 20 0 15 0 416000014 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10846984 memory=341676 CPUtime=2.36 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 37525 13064 0 0 222 6 5 3 20 0 15 0 416000014 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10846984 memory=1976 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85419 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10846984 memory=920 CPUtime=1.35 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1433 13064 0 0 66 61 5 3 20 0 15 0 416000015 11107311616 85419 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 2414.96 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 341676 KiB

[startup+2442.3 s]
/proc/loadavg: 1.26 1.29 1.38 3/226 31977
/proc/meminfo: memFree=30709752/32770624 swapFree=66936568/67108860
[pid=31536] ppid=31533 vsize=10846984 memory=341140 CPUtime=2475.46 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 261627 13064 0 0 247315 223 5 3 20 0 15 0 416000000 11107311616 85285 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2711746 85285 3629 1 0 2673805 0
[pid=31536/tid=31589] ppid=31533 vsize=10846984 memory=341160 CPUtime=2430.77 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 69384 13064 0 0 243028 41 5 3 20 0 15 0 416000009 11107311616 85285 33554432000 4194304 4196468 140722456604320 140540106415712 140539754092590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10846984 memory=0 CPUtime=5.89 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 13644 13064 0 0 557 24 5 3 20 0 15 0 416000009 11107311616 85285 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10846984 memory=341160 CPUtime=5.9 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 11269 13064 0 0 557 25 5 3 20 0 15 0 416000009 11107311616 85285 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10846984 memory=341160 CPUtime=5.86 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 19156 13064 0 0 555 23 5 3 20 0 15 0 416000009 11107311616 85285 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10846984 memory=341140 CPUtime=5.86 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 13827 13064 0 0 555 23 5 3 20 0 15 0 416000009 11107311616 85285 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10846984 memory=341140 CPUtime=4.28 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 16511 13064 0 0 380 40 5 3 20 0 15 0 416000011 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10846984 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 25 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539584308320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10846984 memory=24560 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 18 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85285 33554432000 4194304 4196468 140722456604320 140538980328320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10846984 memory=341140 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85285 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10846984 memory=904 CPUtime=6.69 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 40055 13064 0 0 658 3 5 3 20 0 15 0 416000014 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10846984 memory=341140 CPUtime=7.07 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 36365 13064 0 0 696 3 5 3 20 0 15 0 416000014 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10846984 memory=341140 CPUtime=2.36 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 37711 13064 0 0 222 6 5 3 20 0 15 0 416000014 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85285 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10846984 memory=14012 CPUtime=1.38 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1451 13064 0 0 67 63 5 3 20 0 15 0 416000015 11107311616 85285 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 2475.46 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 341140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.5 s]
/proc/loadavg: 1.39 1.32 1.38 3/226 31980
/proc/meminfo: memFree=30708956/32770624 swapFree=66936568/67108860
[pid=31536] ppid=31533 vsize=10846984 memory=343168 CPUtime=2520.05 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 263107 13064 0 0 251771 226 5 3 20 0 15 0 416000000 11107311616 85792 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2711746 85792 3629 1 0 2673805 0
[pid=31536/tid=31589] ppid=31533 vsize=10846984 memory=343168 CPUtime=2474.74 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 69765 13064 0 0 247424 42 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540106415824 140539736428328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.03 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 13863 13064 0 0 570 25 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.04 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 11437 13064 0 0 571 25 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10846984 memory=343168 CPUtime=5.99 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 19293 13064 0 0 567 24 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10846984 memory=342824 CPUtime=5.99 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 14224 13064 0 0 567 24 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10846984 memory=344780 CPUtime=4.37 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 16677 13064 0 0 388 41 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10846984 memory=344780 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 25 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539584308320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10846984 memory=341284 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 18 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538980328320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10846984 memory=343168 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.69 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 40057 13064 0 0 658 3 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10846984 memory=342824 CPUtime=7.07 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 36367 13064 0 0 696 3 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10846984 memory=343168 CPUtime=2.36 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 37713 13064 0 0 222 6 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10846984 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10846984 memory=343168 CPUtime=1.4 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1457 13064 0 0 68 64 5 3 20 0 15 0 416000015 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 343168 KiB

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

[startup+2486.54 s]
# the end of solver process 31536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.79 s, system=2.30614 s

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

[startup+2486.5 s]
/proc/loadavg: 1.39 1.32 1.38 3/226 31980
/proc/meminfo: memFree=30708956/32770624 swapFree=66936568/67108860
[pid=31536] ppid=31533 vsize=10846984 memory=343168 CPUtime=2520.05 cores=0,2,4,6
/proc/31536/stat : 31536 (java) S 31533 31536 28159 0 -1 1077944320 263107 13064 0 0 251771 226 5 3 20 0 15 0 416000000 11107311616 85792 33554432000 4194304 4196468 140722456604320 140722456586864 140540134579959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
/proc/31536/statm: 2711746 85792 3629 1 0 2673805 0
[pid=31536/tid=31589] ppid=31533 vsize=10846984 memory=343168 CPUtime=2474.74 cores=0,2,4,6
/proc/31536/task/31589/stat : 31589 (java) R 31533 31536 28159 0 -1 4202560 69765 13064 0 0 247424 42 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540106415824 140539736428328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31590] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.03 cores=0,2,4,6
/proc/31536/task/31590/stat : 31590 (java) S 31533 31536 28159 0 -1 1077944384 13863 13064 0 0 570 25 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540138822800 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31591] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.04 cores=0,2,4,6
/proc/31536/task/31591/stat : 31591 (java) S 31533 31536 28159 0 -1 1077944384 11437 13064 0 0 571 25 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540057574416 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31592] ppid=31533 vsize=10846984 memory=343168 CPUtime=5.99 cores=0,2,4,6
/proc/31536/task/31592/stat : 31592 (java) S 31533 31536 28159 0 -1 1077944384 19293 13064 0 0 567 24 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540056521616 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31593] ppid=31533 vsize=10846984 memory=342824 CPUtime=5.99 cores=0,2,4,6
/proc/31536/task/31593/stat : 31593 (java) S 31533 31536 28159 0 -1 1077944384 14224 13064 0 0 567 24 5 3 20 0 15 0 416000009 11107311616 85792 33554432000 4194304 4196468 140722456604320 140540055468816 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31594] ppid=31533 vsize=10846984 memory=344780 CPUtime=4.37 cores=0,2,4,6
/proc/31536/task/31594/stat : 31594 (java) S 31533 31536 28159 0 -1 1077944384 16677 13064 0 0 388 41 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539661252976 140540134591106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31595] ppid=31533 vsize=10846984 memory=344780 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31595/stat : 31595 (java) S 31533 31536 28159 0 -1 1077944384 25 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539584308320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31596] ppid=31533 vsize=10846984 memory=341284 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31596/stat : 31596 (java) S 31533 31536 28159 0 -1 1077944384 18 13064 0 0 0 0 5 3 20 0 15 0 416000011 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538980328320 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31597] ppid=31533 vsize=10846984 memory=343168 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31597/stat : 31597 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538672928592 140540134598555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31598] ppid=31533 vsize=10846984 memory=343168 CPUtime=6.69 cores=0,2,4,6
/proc/31536/task/31598/stat : 31598 (java) S 31533 31536 28159 0 -1 1077944384 40057 13064 0 0 658 3 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539660200816 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31599] ppid=31533 vsize=10846984 memory=342824 CPUtime=7.07 cores=0,2,4,6
/proc/31536/task/31599/stat : 31599 (java) S 31533 31536 28159 0 -1 1077944384 36367 13064 0 0 696 3 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539659148016 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31600] ppid=31533 vsize=10846984 memory=343168 CPUtime=2.36 cores=0,2,4,6
/proc/31536/task/31600/stat : 31600 (java) S 31533 31536 28159 0 -1 1077944384 37713 13064 0 0 222 6 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539658095216 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31601] ppid=31533 vsize=10846984 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/31536/task/31601/stat : 31601 (java) S 31533 31536 28159 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 416000014 11107311616 85792 33554432000 4194304 4196468 140722456604320 140538639370976 140540134590165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
[pid=31536/tid=31602] ppid=31533 vsize=10846984 memory=343168 CPUtime=1.4 cores=0,2,4,6
/proc/31536/task/31602/stat : 31602 (java) S 31533 31536 28159 0 -1 1077944384 1457 13064 0 0 68 64 5 3 20 0 15 0 416000015 11107311616 85792 33554432000 4194304 4196468 140722456604320 140539657042608 140540134591106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30912512 140722456607471 140722456609989 140722456609989 140722456612815 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 343168 KiB

Child status: 143
Real time (s): 2486.54
CPU time (s): 2520.1
CPU user time (s): 2517.79
CPU system time (s): 2.30614
CPU usage (%): 101.35
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1791828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.79
system time used= 2.30614
maximum resident set size= 1793876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145932
involuntary context switches= 8083


# summary of solver processes directly reported to runsolver:
#   pid: 31536
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.79
#   total CPU system time (s): 2.30614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.43 second user time and 23.9251 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.75422
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 4396256

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