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
R1: Concrete 3.4	SAT (TO)	171	2400.15	2311.05

3.75/2.15	c Concrete v3.4 running
55.47/31.05	o 198
55.87/31.14	o 197
56.22/31.21	o 196
56.22/31.28	o 195
56.36/31.35	o 194
56.49/31.42	o 193
56.49/31.49	o 192
56.68/31.56	o 191
56.83/31.63	o 190
56.83/31.69	o 189
56.96/31.76	o 188
57.10/31.83	o 187
57.10/31.89	o 186
57.23/31.96	o 185
57.37/32.03	o 184
57.37/32.10	o 183
57.50/32.17	o 182
57.60/32.23	o 181
57.77/32.31	o 180
57.77/32.37	o 179
57.87/32.44	o 178
58.00/32.51	o 177
58.00/32.57	o 176
58.10/32.64	o 175
58.23/32.71	o 174
58.23/32.77	o 173
59.94/33.84	o 172
60.05/33.93	o 171
2400.08/2311.01	java.util.concurrent.TimeoutException
2400.08/2311.01		at concrete.MAC.mac(MAC.scala:74)
2400.08/2311.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2311.01		at scala.util.Try$.apply(Try.scala:209)
2400.08/2311.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2311.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2311.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2311.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2311.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2311.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2311.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2311.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2311.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2311.01		at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2311.01		at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2311.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2311.01		at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2311.01		at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2311.01		at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2311.01		at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2311.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2311.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2311.01		at concrete.Solver.toStream(Solver.scala:73)
2400.08/2311.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2311.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2311.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2311.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2311.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2311.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2311.01		at scala.util.Success.map(Try.scala:209)
2400.08/2311.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2311.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2311.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2311.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2311.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2311.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2311.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2311.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2311.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2311.01		at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2311.01		at scala.App.main(App.scala:76)
2400.08/2311.01		at scala.App.main$(App.scala:74)
2400.08/2311.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2311.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2311.02	v <instantiation cost="171">
2400.08/2311.02	v       <list>
2400.08/2311.02	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]
2400.08/2311.02	v       </list>
2400.08/2311.02	v       <values>
2400.08/2311.02	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
2400.08/2311.02	v       </values>
2400.08/2311.02	v     </instantiation>
2400.08/2311.02	s SATISFIABLE

Verifier Data

Watcher Data

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-4246129-1500708963/watcher-4246129-1500708963 -o /tmp/evaluation-result-4246129-1500708963/solver-4246129-1500708963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560 bin/concrete HOME/instance-4246129-1500708963.xml 

pid=19934
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 2.46 2.22 1.92 3/261 19937
/proc/meminfo: memFree=27970112/32770624 swapFree=5828/263764
[pid=19937] ppid=19934 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (bash) S 19934 19937 13605 0 -1 4202496 685 1535 0 0 0 0 0 0 20 0 1 0 6163115 9736192 350 33554432000 4194304 5098028 140736161972016 140736161969656 139693839223808 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 15237120 140736161973518 140736161973603 140736161973603 140736161976302 0
/proc/19937/statm: 2377 350 278 221 0 86 0

[startup+0.100094 s]
/proc/loadavg: 2.46 2.22 1.92 3/261 19937
/proc/meminfo: memFree=27970112/32770624 swapFree=5828/263764
[pid=19937] ppid=19934 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (bash) S 19934 19937 13605 0 -1 4202496 879 6425 0 0 0 0 0 1 20 0 1 0 6163115 9871360 377 33554432000 4194304 5098028 140736161972016 140736161966024 139693839223808 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 15237120 140736161973518 140736161973603 140736161973603 140736161976302 0
/proc/19937/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200392 s]
/proc/loadavg: 2.46 2.22 1.92 3/261 19937
/proc/meminfo: memFree=27970112/32770624 swapFree=5828/263764
[pid=19937] ppid=19934 vsize=10901872 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 5730 12473 0 0 9 1 7 3 20 0 20 0 6163115 11163516928 6507 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2725468 6507 2728 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872

[startup+0.300287 s]
/proc/loadavg: 2.46 2.22 1.92 3/261 19937
/proc/meminfo: memFree=27970112/32770624 swapFree=5828/263764
[pid=19937] ppid=19934 vsize=10902292 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 9013 12473 0 0 25 2 7 3 20 0 20 0 6163115 11163947008 10049 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2725573 10049 2969 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292

[startup+0.700198 s]
/proc/loadavg: 2.46 2.22 1.92 3/261 19937
/proc/meminfo: memFree=27970112/32770624 swapFree=5828/263764
[pid=19937] ppid=19934 vsize=10902720 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 12579 12473 0 0 79 4 7 3 20 0 20 0 6163115 11164385280 15805 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2725680 15805 3207 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720

[startup+1.50115 s]
/proc/loadavg: 2.46 2.22 1.92 3/281 20010
/proc/meminfo: memFree=27865064/32770624 swapFree=5828/263804
[pid=19937] ppid=19934 vsize=10913344 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 27906 12473 0 0 207 14 7 3 20 0 20 0 6163115 11175264256 44763 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2728336 44763 3419 1 0 2716450 0
[pid=19937/tid=19992] ppid=19934 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 19745 12473 0 0 126 6 7 3 20 0 20 0 6163126 11175264256 44763 33554432000 4194304 4196468 140725025801744 140485288697376 140485268526437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 74 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 15 12473 0 0 0 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 137 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 33 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 16 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 17 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 13 12473 0 0 1 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 18 12473 0 0 0 0 7 3 20 0 20 0 6163127 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 1372 12473 0 0 1 0 7 3 20 0 20 0 6163128 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 55 12473 0 0 0 0 7 3 20 0 20 0 6163129 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484825212576 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 44 12473 0 0 0 0 7 3 20 0 20 0 6163129 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484756366576 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) S 19934 19937 13605 0 -1 1077944384 1415 12473 0 0 15 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484754262256 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10913344 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) R 19934 19937 13605 0 -1 4202560 428 12473 0 0 9 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484753198864 140485269405808 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 1057 12473 0 0 14 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) R 19934 19937 13605 0 -1 4202560 1333 12473 0 0 27 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484751104112 140485277586449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11175264256 44763 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344

[startup+3.10115 s]
/proc/loadavg: 2.50 2.23 1.93 4/281 20010
/proc/meminfo: memFree=27790552/32770624 swapFree=5828/263804
[pid=19937] ppid=19934 vsize=10925820 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 44297 12473 0 0 711 19 7 3 20 0 20 0 6163115 11188039680 58512 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2731455 58512 3489 1 0 2719010 0
[pid=19937/tid=19992] ppid=19934 vsize=10925820 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 27215 12473 0 0 283 9 7 3 20 0 20 0 6163126 11188039680 58512 33554432000 4194304 4196468 140725025801744 140485288714328 140485284504733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 74 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 15 12473 0 0 0 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 137 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 33 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 16 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 17 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 13 12473 0 0 1 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 18 12473 0 0 0 0 7 3 20 0 20 0 6163127 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 1767 12473 0 0 1 0 7 3 20 0 20 0 6163128 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 55 12473 0 0 0 0 7 3 20 0 20 0 6163129 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484825212576 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 44 12473 0 0 0 0 7 3 20 0 20 0 6163129 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484756366576 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10925820 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) R 19934 19937 13605 0 -1 4202560 2536 12473 0 0 87 1 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484754248280 140485262077969 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10925820 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) R 19934 19937 13605 0 -1 4202560 4238 12473 0 0 116 1 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484753192384 140485267860648 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10925820 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) R 19934 19937 13605 0 -1 4202560 1895 12473 0 0 88 1 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484752143392 140485269606374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10925820 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) R 19934 19937 13605 0 -1 4202560 4086 12473 0 0 123 1 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484751103920 140485284504154 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 5 12473 0 0 0 0 7 3 20 0 20 0 6163133 11188039680 58512 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 10925820

[startup+6.30113 s]
/proc/loadavg: 2.50 2.23 1.93 7/281 20010
/proc/meminfo: memFree=27608656/32770624 swapFree=5828/263808
[pid=19937] ppid=19934 vsize=10997500 CPUtime=18.77 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 86456 12473 0 0 1833 34 7 3 20 0 20 0 6163115 11261440000 97832 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2749375 97832 3508 1 0 2736930 0
[pid=19937/tid=19992] ppid=19934 vsize=10997500 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 41158 12473 0 0 587 12 7 3 20 0 20 0 6163126 11261440000 97832 33554432000 4194304 4196468 140725025801744 140485288715368 140484926925866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10997500 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 125 12473 0 0 8 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 31 12473 0 0 4 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10997500 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 185 12473 0 0 7 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 46 12473 0 0 5 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 355 12473 0 0 6 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 47 12473 0 0 6 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10997500 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 282 12473 0 0 7 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 59 12473 0 0 6 1 7 3 20 0 20 0 6163127 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 2687 12473 0 0 5 0 7 3 20 0 20 0 6163128 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 60 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484825212704 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 51 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484756366592 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10997500 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) S 19934 19937 13605 0 -1 1077944384 8206 12473 0 0 314 1 7 3 20 0 20 0 6163133 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484754262256 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10997500 CPUtime=3.51 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) R 19934 19937 13605 0 -1 4202560 11166 12473 0 0 339 2 7 3 20 0 20 0 6163133 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484753210008 140485266005809 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10997500 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 8110 12473 0 0 302 2 7 3 20 0 20 0 6163133 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10997500 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) S 19934 19937 13605 0 -1 1077944384 11739 12473 0 0 228 2 7 3 20 0 20 0 6163133 11261440000 97832 33554432000 4194304 4196468 140725025801744 140484751104112 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14

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

[pid=19937/tid=20006] ppid=19934 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) S 19934 19937 13605 0 -1 1077944384 19205 12473 0 0 832 6 7 3 20 0 20 0 6163133 11261440000 118123 33554432000 4194304 4196468 140725025801744 140484753209712 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10997500 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 17101 12473 0 0 781 5 7 3 20 0 20 0 6163133 11261440000 118123 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) S 19934 19937 13605 0 -1 1077944384 25516 12473 0 0 397 7 7 3 20 0 20 0 6163133 11261440000 118123 33554432000 4194304 4196468 140725025801744 140484751104112 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 118123 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10997500 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 829 12473 0 0 59 55 7 3 20 0 20 0 6163133 11261440000 118123 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 2226.54
Current children cumulated vsize (KiB) 10997500

[startup+2202.32 s]
/proc/loadavg: 1.81 1.66 1.67 3/282 20240
/proc/meminfo: memFree=29875924/32770624 swapFree=5828/266296
[pid=19937] ppid=19934 vsize=10997500 CPUtime=2288.16 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 335650 12473 0 0 228239 567 7 3 20 0 20 0 6163115 11261440000 113598 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2749375 113598 3519 1 0 2736930 0
[pid=19937/tid=19992] ppid=19934 vsize=10997500 CPUtime=2184.28 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 142864 12473 0 0 218374 44 7 3 20 0 20 0 6163126 11261440000 113598 33554432000 4194304 4196468 140725025801744 140485288716448 140484927038713 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10997500 CPUtime=8.62 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 6896 12473 0 0 797 55 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10997500 CPUtime=8.71 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 12762 12473 0 0 805 56 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10997500 CPUtime=8.6 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 10177 12473 0 0 800 50 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10997500 CPUtime=8.58 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 9704 12473 0 0 795 53 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10997500 CPUtime=8.67 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 13158 12473 0 0 800 57 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10997500 CPUtime=8.67 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 13265 12473 0 0 808 49 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10997500 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 9239 12473 0 0 798 53 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10997500 CPUtime=8.62 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 8791 12473 0 0 799 53 7 3 20 0 20 0 6163127 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10997500 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 20515 12473 0 0 531 61 7 3 20 0 20 0 6163128 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 64 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484825212704 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 53 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484756366592 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10997500 CPUtime=8.16 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) S 19934 19937 13605 0 -1 1077944384 23366 12473 0 0 801 5 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484754262256 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) S 19934 19937 13605 0 -1 1077944384 19207 12473 0 0 832 6 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484753209712 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10997500 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 17103 12473 0 0 781 5 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) S 19934 19937 13605 0 -1 1077944384 25518 12473 0 0 397 7 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484751104112 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10997500 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 835 12473 0 0 61 57 7 3 20 0 20 0 6163133 11261440000 113598 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 2288.16
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.79 1.69 1.68 3/282 20241
/proc/meminfo: memFree=29918144/32770624 swapFree=5828/266340
[pid=19937] ppid=19934 vsize=10997500 CPUtime=2349.97 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 339512 12473 0 0 234404 583 7 3 20 0 20 0 6163115 11261440000 119552 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2749375 119552 3519 1 0 2736930 0
[pid=19937/tid=19992] ppid=19934 vsize=10997500 CPUtime=2243.73 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 144311 12473 0 0 224318 45 7 3 20 0 20 0 6163126 11261440000 119552 33554432000 4194304 4196468 140725025801744 140485288716256 140484926622652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10997500 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 7709 12473 0 0 822 56 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10997500 CPUtime=8.96 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 12958 12473 0 0 829 57 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10997500 CPUtime=8.86 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 10411 12473 0 0 824 52 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10997500 CPUtime=8.86 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 9882 12473 0 0 821 55 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10997500 CPUtime=8.95 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 13306 12473 0 0 826 59 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10997500 CPUtime=8.93 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 13479 12473 0 0 832 51 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10997500 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 9390 12473 0 0 824 55 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10997500 CPUtime=8.9 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 8990 12473 0 0 826 54 7 3 20 0 20 0 6163127 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10997500 CPUtime=6.19 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 20775 12473 0 0 547 62 7 3 20 0 20 0 6163128 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 64 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484825212704 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 53 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484756366592 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10997500 CPUtime=8.16 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) S 19934 19937 13605 0 -1 1077944384 23367 12473 0 0 801 5 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484754262256 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) S 19934 19937 13605 0 -1 1077944384 19207 12473 0 0 832 6 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484753209712 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10997500 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 17103 12473 0 0 781 5 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) S 19934 19937 13605 0 -1 1077944384 25518 12473 0 0 397 7 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484751104112 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10997500 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 856 12473 0 0 63 58 7 3 20 0 20 0 6163133 11261440000 119552 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 2349.97
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2311 s]
/proc/loadavg: 1.66 1.67 1.68 3/282 20242
/proc/meminfo: memFree=29970372/32770624 swapFree=5828/266388
[pid=19937] ppid=19934 vsize=10997500 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/19937/stat : 19937 (java) S 19934 19937 13605 0 -1 1077944320 348887 12473 0 0 239404 594 7 3 20 0 20 0 6163115 11261440000 116141 33554432000 4194304 4196468 140725025801744 140725025784288 140485284482807 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
/proc/19937/statm: 2749375 116141 3519 1 0 2736930 0
[pid=19937/tid=19992] ppid=19934 vsize=10997500 CPUtime=2291.99 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19992/stat : 19992 (java) R 19934 19937 13605 0 -1 4202560 149096 12473 0 0 229143 46 7 3 20 0 20 0 6163126 11261440000 116141 33554432000 4194304 4196468 140725025801744 140485288716768 140484927177319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19993] ppid=19934 vsize=10997500 CPUtime=9.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19993/stat : 19993 (java) S 19934 19937 13605 0 -1 1077944384 8413 12473 0 0 843 57 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484891434000 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19994] ppid=19934 vsize=10997500 CPUtime=9.17 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19994/stat : 19994 (java) S 19934 19937 13605 0 -1 1077944384 13077 12473 0 0 848 59 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484890381456 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19995] ppid=19934 vsize=10997500 CPUtime=9.06 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19995/stat : 19995 (java) S 19934 19937 13605 0 -1 1077944384 10567 12473 0 0 843 53 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484889328400 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19996] ppid=19934 vsize=10997500 CPUtime=9.06 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19996/stat : 19996 (java) S 19934 19937 13605 0 -1 1077944384 10095 12473 0 0 840 56 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484888275856 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19997] ppid=19934 vsize=10997500 CPUtime=9.16 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19997/stat : 19997 (java) S 19934 19937 13605 0 -1 1077944384 13506 12473 0 0 846 60 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484887222800 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19998] ppid=19934 vsize=10997500 CPUtime=9.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19998/stat : 19998 (java) S 19934 19937 13605 0 -1 1077944384 14694 12473 0 0 852 52 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484886170256 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=19999] ppid=19934 vsize=10997500 CPUtime=9.08 cores=0,2,4,6,8,10,12,14
/proc/19937/task/19999/stat : 19999 (java) S 19934 19937 13605 0 -1 1077944384 9510 12473 0 0 842 56 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484885117200 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20000] ppid=19934 vsize=10997500 CPUtime=9.12 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20000/stat : 20000 (java) S 19934 19937 13605 0 -1 1077944384 9138 12473 0 0 847 55 7 3 20 0 20 0 6163127 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484884064656 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20001] ppid=19934 vsize=10997500 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20001/stat : 20001 (java) S 19934 19937 13605 0 -1 1077944384 21174 12473 0 0 561 63 7 3 20 0 20 0 6163128 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484826266352 140485284493954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20002] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20002/stat : 20002 (java) S 19934 19937 13605 0 -1 1077944384 64 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484825212704 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20003] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20003/stat : 20003 (java) S 19934 19937 13605 0 -1 1077944384 53 12473 0 0 0 0 7 3 20 0 20 0 6163129 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484756366592 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20004] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20004/stat : 20004 (java) S 19934 19937 13605 0 -1 1077944384 1 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484755315152 140485284501403 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20005] ppid=19934 vsize=10997500 CPUtime=8.16 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20005/stat : 20005 (java) S 19934 19937 13605 0 -1 1077944384 23369 12473 0 0 801 5 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484754262256 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20006] ppid=19934 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20006/stat : 20006 (java) S 19934 19937 13605 0 -1 1077944384 19209 12473 0 0 832 6 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484753209712 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20007] ppid=19934 vsize=10997500 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20007/stat : 20007 (java) S 19934 19937 13605 0 -1 1077944384 17105 12473 0 0 781 5 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484752156656 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20008] ppid=19934 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20008/stat : 20008 (java) S 19934 19937 13605 0 -1 1077944384 26818 12473 0 0 397 7 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484751104112 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20009] ppid=19934 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20009/stat : 20009 (java) S 19934 19937 13605 0 -1 1077944384 3 12473 0 0 0 0 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484750052320 140485284493013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
[pid=19937/tid=20010] ppid=19934 vsize=10997500 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/19937/task/20010/stat : 20010 (java) S 19934 19937 13605 0 -1 1077944384 866 12473 0 0 64 60 7 3 20 0 20 0 6163133 11261440000 116141 33554432000 4194304 4196468 140725025801744 140484748999856 140485284493954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12689408 140725025807041 140725025809815 140725025809815 140725025812431 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10997500

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 19937 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2311.05
CPU time (s): 2400.15
CPU user time (s): 2394.15
CPU system time (s): 6.00395
CPU usage (%): 103.856
Max. virtual memory (cumulated for all children) (KiB): 10999620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.15
system time used= 6.00395
maximum resident set size= 1155196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274102
involuntary context switches= 179226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1043 second user time and 17.465 second system time

The end

Launcher Data

Begin job on node136 at 2017-07-22 09:36:03
IDJOB=4246129
IDBENCH=124179
IDSOLVER=2630
FILE ID=node136/4246129-1500708963
RUNJOBID= node136-1500683313-13636
PBS_JOBID= 20623338
Free space on /tmp= 61972 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246129-1500708963/watcher-4246129-1500708963 -o /tmp/evaluation-result-4246129-1500708963/solver-4246129-1500708963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560  bin/concrete HOME/instance-4246129-1500708963.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2
RANDOM SEED=846039888

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27970208 kB
MemAvailable:   28186868 kB
Buffers:          121548 kB
Cached:           375964 kB
SwapCached:            0 kB
Active:          4086624 kB
Inactive:         272544 kB
Active(anon):    3864508 kB
Inactive(anon):     8780 kB
Active(file):     222116 kB
Inactive(file):   263764 kB
Unevictable:        5828 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24332 kB
Writeback:            20 kB
AnonPages:       3868156 kB
Mapped:            44228 kB
Shmem:              8852 kB
Slab:             127112 kB
SReclaimable:      93228 kB
SUnreclaim:        33884 kB
KernelStack:        4512 kB
PageTables:        12936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4899488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3567616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61948 MiB
End job on node136 at 2017-07-22 10:14:34

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 4246129

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