2017 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.4	SAT (TO)	171	2520.0901	2462.52

3.30/2.21	c Concrete v3.4 running
50.71/31.98	o 198
51.00/32.08	o 197
51.29/32.15	o 196
51.48/32.22	o 195
51.48/32.29	o 194
51.62/32.35	o 193
51.75/32.42	o 192
51.75/32.49	o 191
51.85/32.56	o 190
51.98/32.63	o 189
51.98/32.70	o 188
52.08/32.76	o 187
52.22/32.83	o 186
52.41/32.90	o 185
52.41/32.97	o 184
52.61/33.04	o 183
52.84/33.11	o 182
52.84/33.19	o 181
53.02/33.26	o 180
53.16/33.32	o 179
53.16/33.39	o 178
53.28/33.46	o 177
53.40/33.52	o 176
53.40/33.59	o 175
53.50/33.66	o 174
53.63/33.72	o 173
55.35/34.82	o 172
55.45/34.90	o 171
2520.04/2462.50	java.util.concurrent.TimeoutException
2520.04/2462.50		at concrete.MAC.mac(MAC.scala:74)
2520.04/2462.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.04/2462.50		at scala.util.Try$.apply(Try.scala:209)
2520.04/2462.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2462.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2462.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2462.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2462.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.04/2462.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2462.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2462.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2462.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2462.50		at concrete.MAC.oneRun(MAC.scala:146)
2520.04/2462.50		at concrete.MAC.nextSolution(MAC.scala:166)
2520.04/2462.50		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.04/2462.50		at concrete.ProblemState.map(ProblemState.scala:203)
2520.04/2462.50		at concrete.ProblemState.map(ProblemState.scala:188)
2520.04/2462.50		at concrete.MAC.nextSolution(MAC.scala:195)
2520.04/2462.50		at concrete.Solver.hasNext(Solver.scala:202)
2520.04/2462.50		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.04/2462.50		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.04/2462.50		at concrete.Solver.toStream(Solver.scala:73)
2520.04/2462.50		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.04/2462.50		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.04/2462.50		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.04/2462.50		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.04/2462.50		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.04/2462.50		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2462.50		at scala.util.Success.map(Try.scala:209)
2520.04/2462.50		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.04/2462.50		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.04/2462.50		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2462.50		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.04/2462.50		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2462.50		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2462.50		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2462.50		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2462.50		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2462.50		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2462.50		at scala.App.main(App.scala:76)
2520.04/2462.50		at scala.App.main$(App.scala:74)
2520.04/2462.50		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2462.50		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2462.51	v <instantiation cost="171">
2520.04/2462.51	v       <list>
2520.04/2462.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] p[194] p[195] p[196] p[197] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19]
2520.04/2462.51	v       </list>
2520.04/2462.51	v       <values>
2520.04/2462.51	v         1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 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 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.04/2462.51	v       </values>
2520.04/2462.51	v     </instantiation>
2520.04/2462.51	s SATISFIABLE

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261895-1502434264/watcher-4261895-1502434264 -o /tmp/evaluation-result-4261895-1502434264/solver-4261895-1502434264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580 bin/concrete HOME/instance-4261895-1502434264.xml 

pid=21566
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.51 1.66 1.59 2/195 21569
/proc/meminfo: memFree=30429940/32770624 swapFree=0/301680
[pid=21569] ppid=21566 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21569/stat : 21569 (runsolver) D 21566 21569 16548 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45621921 24240128 106 18446744073709551615 4194304 4338465 140735700805328 140735700802968 140686857265879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 33341440 140735700807888 140735700808265 140735700808265 140735700811722 0
/proc/21569/statm: 5918 106 53 36 0 2156 0

[startup+0.100109 s]
/proc/loadavg: 1.51 1.66 1.59 2/195 21569
/proc/meminfo: memFree=30429940/32770624 swapFree=0/301680
[pid=21569] ppid=21566 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/21569/stat : 21569 (bash) R 21566 21569 16548 0 -1 4202496 621 0 0 0 0 0 0 0 20 0 1 0 45621921 9736192 285 18446744073709551615 4194304 5098028 140731326299200 140731326299200 139915172805605 0 0 5 65536 0 0 0 17 3 0 0 9 0 0 7196144 7232144 15241216 140731326300692 140731326300777 140731326300777 140731326304234 0
/proc/21569/statm: 2377 285 237 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200214 s]
/proc/loadavg: 1.51 1.66 1.59 2/195 21569
/proc/meminfo: memFree=30429940/32770624 swapFree=0/301680
[pid=21569] ppid=21566 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21569/stat : 21569 (bash) S 21566 21569 16548 0 -1 4202496 890 6476 0 0 0 0 0 1 20 0 1 0 45621921 9867264 376 18446744073709551615 4194304 5098028 140731326299200 140731326293208 139915173243904 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 15241216 140731326300692 140731326300777 140731326300777 140731326304234 0
/proc/21569/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300301 s]
/proc/loadavg: 1.51 1.66 1.59 2/195 21569
/proc/meminfo: memFree=30429940/32770624 swapFree=0/301680
[pid=21569] ppid=21566 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 5805 12853 0 0 5 0 5 3 20 0 14 0 45621921 14241083392 5486 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3476827 5486 2570 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700228 s]
/proc/loadavg: 1.51 1.66 1.59 2/195 21569
/proc/meminfo: memFree=30429940/32770624 swapFree=0/301680
[pid=21569] ppid=21566 vsize=13974784 CPUtime=0.64 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 13863 12853 0 0 53 3 5 3 20 0 15 0 45621921 14310178816 14326 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3493696 14326 3119 1 0 3482965 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784

[startup+1.50187 s]
/proc/loadavg: 1.51 1.66 1.59 3/210 21632
/proc/meminfo: memFree=30337292/32770624 swapFree=0/301716
[pid=21569] ppid=21566 vsize=13985408 CPUtime=1.85 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 26685 12853 0 0 170 7 5 3 20 0 15 0 45621921 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3496352 36045 3344 1 0 3485525 0
[pid=21569/tid=21619] ppid=21566 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) S 21566 21569 16548 0 -1 1077944384 21237 12853 0 0 115 5 5 3 20 0 15 0 45621944 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140112652144496 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 26 12853 0 0 0 0 5 3 20 0 15 0 45621945 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140112582360144 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 28 12853 0 0 0 0 5 3 20 0 15 0 45621945 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 35 12853 0 0 0 0 5 3 20 0 15 0 45621945 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) R 21566 21569 16548 0 -1 1077944384 177 12853 0 0 0 0 5 3 20 0 15 0 45621945 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140112579202016 140112647935701 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 24 12853 0 0 0 0 5 3 20 0 15 0 45621946 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111564735232 140112647935701 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 33 12853 0 0 0 0 5 3 20 0 15 0 45621947 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111563682976 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 21 12853 0 0 0 0 5 3 20 0 15 0 45621947 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111562629872 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 831 12853 0 0 14 0 5 3 20 0 15 0 45621950 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 840 12853 0 0 16 0 5 3 20 0 15 0 45621950 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 1274 12853 0 0 22 0 5 3 20 0 15 0 45621950 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111558416848 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621954 14321057792 36045 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13985408

[startup+3.1028 s]
/proc/loadavg: 1.71 1.70 1.60 3/210 21632
/proc/meminfo: memFree=30260480/32770624 swapFree=0/301716
[pid=21569] ppid=21566 vsize=13997884 CPUtime=5.81 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 34841 12853 0 0 561 12 5 3 20 0 15 0 45621921 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3499471 56588 3447 1 0 3488085 0
[pid=21569/tid=21619] ppid=21566 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 24602 12853 0 0 270 7 5 3 20 0 15 0 45621944 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140112652156192 140112632005982 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 38 12853 0 0 0 0 5 3 20 0 15 0 45621945 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 43 12853 0 0 1 0 5 3 20 0 15 0 45621945 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 54 12853 0 0 1 0 5 3 20 0 15 0 45621945 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 187 12853 0 0 1 0 5 3 20 0 15 0 45621945 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 1255 12853 0 0 1 0 5 3 20 0 15 0 45621946 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 55 12853 0 0 0 0 5 3 20 0 15 0 45621947 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140111563682976 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 43 12853 0 0 0 0 5 3 20 0 15 0 45621947 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140111562629872 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=13997884 CPUtime=0.94 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) R 21566 21569 16548 0 -1 4202560 1547 12853 0 0 86 0 5 3 20 0 15 0 45621950 14333833216 56588 18446744073709551615 4194304 4196468 140729063052720 140111560514192 140112626091976 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=13997820 CPUtime=0.97 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 1533 12853 0 0 89 0 5 3 20 0 15 0 45621950 14333767680 56603 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) R 21566 21569 16548 0 -1 4202560 3327 12853 0 0 107 1 5 3 20 0 15 0 45621950 14333833216 56603 18446744073709551615 4194304 4196468 140729063052720 140111558415328 140112626943724 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14333833216 56603 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621954 14333833216 56603 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 13997884

[startup+6.30072 s]
/proc/loadavg: 1.71 1.70 1.60 5/210 21633
/proc/meminfo: memFree=30057600/32770624 swapFree=0/301720
[pid=21569] ppid=21566 vsize=14069564 CPUtime=15.45 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 73653 12853 0 0 1515 22 5 3 20 0 15 0 45621921 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 102362 3479 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=5.92 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 43219 12853 0 0 573 11 5 3 20 0 15 0 45621944 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140112652156160 140112271158151 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 93 12853 0 0 7 1 5 3 20 0 15 0 45621945 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 509 12853 0 0 7 0 5 3 20 0 15 0 45621945 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 102 12853 0 0 7 0 5 3 20 0 15 0 45621945 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 316 12853 0 0 8 0 5 3 20 0 15 0 45621945 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 2852 12853 0 0 4 0 5 3 20 0 15 0 45621946 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 59 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 45 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=14069564 CPUtime=3.63 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 8886 12853 0 0 354 1 5 3 20 0 15 0 45621950 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=14069564 CPUtime=3.66 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 7509 12853 0 0 357 1 5 3 20 0 15 0 45621950 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 7894 12853 0 0 194 3 5 3 20 0 15 0 45621950 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111558420976 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 13 12853 0 0 0 0 5 3 20 0 15 0 45621954 14407233536 102362 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 15.45
Current children cumulated vsize (KiB) 14069564

[startup+12.7008 s]
/proc/loadavg: 1.60 1.68 1.60 3/210 21633
/proc/meminfo: memFree=29843088/32770624 swapFree=0/301728
[pid=21569] ppid=21566 vsize=14069564 CPUtime=24.75 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 84861 12853 0 0 2435 32 5 3 20 0 15 0 45621921 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 149904 3483 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=12.28 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 44655 12853 0 0 1205 15 5 3 20 0 15 0 45621944 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140112652157432 140112270550033 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 165 12853 0 0 8 2 5 3 20 0 15 0 45621945 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 575 12853 0 0 8 2 5 3 20 0 15 0 45621945 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 152 12853 0 0 9 1 5 3 20 0 15 0 45621945 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 1086 12853 0 0 9 1 5 3 20 0 15 0 45621945 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 2964 12853 0 0 5 0 5 3 20 0 15 0 45621946 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 59 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 45 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 149904 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0

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

/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 102119 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=1.32 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 877 12853 0 0 57 67 5 3 20 0 15 0 45621954 14407233536 102119 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 2377.73
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.78 1.50 1.45 5/209 21922
/proc/meminfo: memFree=30324396/32770624 swapFree=0/302408
[pid=21569] ppid=21566 vsize=14069564 CPUtime=2438.69 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 258865 12853 0 0 243500 361 5 3 20 0 15 0 45621921 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 103308 3483 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=2359.78 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 108203 12853 0 0 235922 48 5 3 20 0 15 0 45621944 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140112652159392 140112270730104 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=11.22 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 14103 12853 0 0 1059 55 5 3 20 0 15 0 45621945 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=11.2 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 11587 12853 0 0 1059 53 5 3 20 0 15 0 45621945 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=11.2 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 15056 12853 0 0 1059 53 5 3 20 0 15 0 45621945 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=11.19 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 14691 12853 0 0 1058 53 5 3 20 0 15 0 45621945 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=8.7 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 18237 12853 0 0 799 63 5 3 20 0 15 0 45621946 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 61 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 47 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=14069564 CPUtime=10.38 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 27766 12853 0 0 1025 5 5 3 20 0 15 0 45621950 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=14069564 CPUtime=10.55 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 24532 12853 0 0 1042 5 5 3 20 0 15 0 45621950 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=14069564 CPUtime=3.73 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 21543 12853 0 0 358 7 5 3 20 0 15 0 45621950 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111558420976 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=1.34 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 883 12853 0 0 58 68 5 3 20 0 15 0 45621954 14407233536 103308 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 2438.69
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.70 1.54 1.47 4/209 21924
/proc/meminfo: memFree=30334264/32770624 swapFree=0/302424
[pid=21569] ppid=21566 vsize=14069564 CPUtime=2499.55 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 260113 12853 0 0 249578 369 5 3 20 0 15 0 45621921 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 103646 3483 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=2419.12 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 108611 12853 0 0 241855 49 5 3 20 0 15 0 45621944 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140112652158448 140112270549634 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=11.53 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 14243 12853 0 0 1088 57 5 3 20 0 15 0 45621945 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=11.52 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 11775 12853 0 0 1089 55 5 3 20 0 15 0 45621945 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=11.52 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 15231 12853 0 0 1090 54 5 3 20 0 15 0 45621945 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=11.5 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 14826 12853 0 0 1088 54 5 3 20 0 15 0 45621945 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=8.93 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 18424 12853 0 0 820 65 5 3 20 0 15 0 45621946 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 61 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 47 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=14069564 CPUtime=10.38 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 27766 12853 0 0 1025 5 5 3 20 0 15 0 45621950 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=14069564 CPUtime=10.55 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 24532 12853 0 0 1042 5 5 3 20 0 15 0 45621950 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=14069564 CPUtime=3.73 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 21543 12853 0 0 358 7 5 3 20 0 15 0 45621950 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111558420976 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=1.38 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 898 12853 0 0 60 70 5 3 20 0 15 0 45621954 14407233536 103646 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 2499.55
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.5 s]
/proc/loadavg: 1.72 1.56 1.47 4/209 21924
/proc/meminfo: memFree=30334136/32770624 swapFree=0/302424
[pid=21569] ppid=21566 vsize=14069564 CPUtime=2520.04 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 261196 12853 0 0 251626 370 5 3 20 0 15 0 45621921 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 103820 3483 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=2439.09 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 108967 12853 0 0 243852 49 5 3 20 0 15 0 45621944 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112652159696 140112270431172 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=11.64 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 14368 12853 0 0 1099 57 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=11.63 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 11895 12853 0 0 1100 55 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=11.62 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 15523 12853 0 0 1100 54 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=11.6 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 14985 12853 0 0 1098 54 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=9.01 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 18445 12853 0 0 828 65 5 3 20 0 15 0 45621946 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 61 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 47 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=14069564 CPUtime=10.38 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 27768 12853 0 0 1025 5 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=14069564 CPUtime=10.55 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 24534 12853 0 0 1042 5 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=14069564 CPUtime=3.73 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 21545 12853 0 0 358 7 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111558420976 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 902 12853 0 0 61 71 5 3 20 0 15 0 45621954 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21569 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2462.5 s]
/proc/loadavg: 1.72 1.56 1.47 4/209 21924
/proc/meminfo: memFree=30334136/32770624 swapFree=0/302424
[pid=21569] ppid=21566 vsize=14069564 CPUtime=2520.04 cores=1,3,5,7
/proc/21569/stat : 21569 (java) S 21566 21569 16548 0 -1 1077944320 261196 12853 0 0 251626 370 5 3 20 0 15 0 45621921 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140729063035264 140112647925495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
/proc/21569/statm: 3517391 103820 3483 1 0 3506005 0
[pid=21569/tid=21619] ppid=21566 vsize=14069564 CPUtime=2439.09 cores=1,3,5,7
/proc/21569/task/21619/stat : 21619 (java) R 21566 21569 16548 0 -1 4202560 108967 12853 0 0 243852 49 5 3 20 0 15 0 45621944 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112652159696 140112270431172 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21620] ppid=21566 vsize=14069564 CPUtime=11.64 cores=1,3,5,7
/proc/21569/task/21620/stat : 21620 (java) S 21566 21569 16548 0 -1 1077944384 14368 12853 0 0 1099 57 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112582360080 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21621] ppid=21566 vsize=14069564 CPUtime=11.63 cores=1,3,5,7
/proc/21569/task/21621/stat : 21621 (java) S 21566 21569 16548 0 -1 1077944384 11895 12853 0 0 1100 55 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112581307536 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21622] ppid=21566 vsize=14069564 CPUtime=11.62 cores=1,3,5,7
/proc/21569/task/21622/stat : 21622 (java) S 21566 21569 16548 0 -1 1077944384 15523 12853 0 0 1100 54 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112580254480 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21623] ppid=21566 vsize=14069564 CPUtime=11.6 cores=1,3,5,7
/proc/21569/task/21623/stat : 21623 (java) S 21566 21569 16548 0 -1 1077944384 14985 12853 0 0 1098 54 5 3 20 0 15 0 45621945 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140112579201936 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21624] ppid=21566 vsize=14069564 CPUtime=9.01 cores=1,3,5,7
/proc/21569/task/21624/stat : 21624 (java) S 21566 21569 16548 0 -1 1077944384 18445 12853 0 0 828 65 5 3 20 0 15 0 45621946 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111564736752 140112647936642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21625] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21625/stat : 21625 (java) S 21566 21569 16548 0 -1 1077944384 61 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111563683040 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21626] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21626/stat : 21626 (java) S 21566 21569 16548 0 -1 1077944384 47 12853 0 0 0 0 5 3 20 0 15 0 45621947 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111562629888 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21627] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21627/stat : 21627 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111561578448 140112647944091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21628] ppid=21566 vsize=14069564 CPUtime=10.38 cores=1,3,5,7
/proc/21569/task/21628/stat : 21628 (java) S 21566 21569 16548 0 -1 1077944384 27768 12853 0 0 1025 5 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111560526576 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21629] ppid=21566 vsize=14069564 CPUtime=10.55 cores=1,3,5,7
/proc/21569/task/21629/stat : 21629 (java) S 21566 21569 16548 0 -1 1077944384 24534 12853 0 0 1042 5 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111559474032 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21630] ppid=21566 vsize=14069564 CPUtime=3.73 cores=1,3,5,7
/proc/21569/task/21630/stat : 21630 (java) S 21566 21569 16548 0 -1 1077944384 21545 12853 0 0 358 7 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111558420976 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21631] ppid=21566 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21569/task/21631/stat : 21631 (java) S 21566 21569 16548 0 -1 1077944384 3 12853 0 0 0 0 5 3 20 0 15 0 45621950 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111557368672 140112647935701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
[pid=21569/tid=21632] ppid=21566 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/21569/task/21632/stat : 21632 (java) S 21566 21569 16548 0 -1 1077944384 902 12853 0 0 61 71 5 3 20 0 15 0 45621954 14407233536 103820 18446744073709551615 4194304 4196468 140729063052720 140111556315696 140112647936642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140729063057360 140729063060145 140729063060145 140729063063503 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2462.52
CPU time (s): 2520.09
CPU user time (s): 2516.34
CPU system time (s): 3.75005
CPU usage (%): 102.338
Max. virtual memory (cumulated for all children) (KiB): 14071684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.75005
maximum resident set size= 1066492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250045
involuntary context switches= 8186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30614 second user time and 17.1024 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml
MD5SUM	2ebe21d5d08c670f23069b27b9adbcc2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	171
Best CPU time to get the best result obtained on this benchmark	8.3614998
Satisfiable
(Un)Satisfiability was proved
Number of variables	4158
Number of constraints	220
Number of domains	11
Minimum domain size	2
Maximum domain size	20
Distribution of domain sizes	[{"size":2,"count":792},{"size":3,"count":594},{"size":5,"count":198},{"size":8,"count":198},{"size":11,"count":198},{"size":12,"count":396},{"size":14,"count":396},{"size":17,"count":396},{"size":18,"count":198},{"size":19,"count":594},{"size":20,"count":198}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":4158}]
Minimum constraint arity	21
Maximum constraint arity	3960
Distribution of constraint arities	[{"arity":21,"count":198},{"arity":198,"count":21},{"arity":3960,"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":218}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4261895

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