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

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	130	2520.16	2488.7

0.78/0.55	c Concrete v3.12.2.1568380929293 running
126.23/111.41	o 177
126.23/111.45	o 176
126.52/111.50	o 175
126.52/111.53	o 174
126.52/111.55	o 173
126.80/111.61	o 172
126.80/111.64	o 171
126.80/111.65	o 170
126.90/111.70	o 169
126.90/111.72	o 168
126.90/111.76	o 167
126.90/111.78	o 166
127.03/111.80	o 165
127.03/111.83	o 164
127.03/111.85	o 163
127.15/111.91	o 161
127.15/111.94	o 160
127.15/111.96	o 159
127.26/112.01	o 158
127.26/112.03	o 157
127.26/112.07	o 156
127.26/112.09	o 155
127.36/112.12	o 154
127.36/112.14	o 153
127.36/112.19	o 151
127.46/112.22	o 150
127.46/112.24	o 149
127.46/112.27	o 146
127.46/112.29	o 145
127.56/112.32	o 144
127.56/112.34	o 143
128.00/112.72	o 142
128.31/113.05	o 141
131.59/116.22	o 140
134.67/119.24	o 139
135.77/120.30	o 138
141.39/125.91	o 137
142.09/126.65	o 136
142.69/127.27	o 135
144.20/128.71	o 134
149.62/134.19	o 133
151.01/135.58	o 132
152.22/136.75	o 131
185.30/169.64	o 130
2520.05/2488.67	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2488.67		at concrete.MAC.mac(MAC.scala:192)
2520.05/2488.67		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.05/2488.67		at scala.util.Try$.apply(Try.scala:212)
2520.05/2488.67		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.05/2488.67		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.05/2488.67		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.05/2488.67		at concrete.MAC.oneRun(MAC.scala:265)
2520.05/2488.67		at concrete.MAC.nextSolution(MAC.scala:284)
2520.05/2488.67		at concrete.MAC.nextSolution(MAC.scala:369)
2520.05/2488.67		at concrete.Solver.hasNext(Solver.scala:160)
2520.05/2488.67		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2488.67		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2488.67		at concrete.Solver.foreach(Solver.scala:67)
2520.05/2488.67		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.05/2488.67		at scala.util.Success.map(Try.scala:264)
2520.05/2488.67		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2488.67		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.05/2488.67		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2488.67		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2488.67		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2488.67		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.05/2488.67		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.05/2488.67		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.05/2488.67		at scala.App.$anonfun$main$1(App.scala:75)
2520.05/2488.67		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.05/2488.67		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2488.67		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2488.67		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.05/2488.67		at scala.App.main(App.scala:75)
2520.05/2488.67		at scala.App.main$(App.scala:73)
2520.05/2488.67		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2488.67		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2488.68	v <instantiation
2520.05/2488.68	v         cost = '130'>
2520.05/2488.68	v       <list>
2520.05/2488.68	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] 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]
2520.05/2488.68	v       </list>
2520.05/2488.68	v       <values>
2520.05/2488.68	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.05/2488.68	v       </values>
2520.05/2488.68	v     </instantiation>
2520.05/2488.68	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13874 MiB free)
  memory of node 1: 16384 MiB (11795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396174-1568397270/watcher-4396174-1568397270 -o /tmp/evaluation-result-4396174-1568397270/solver-4396174-1568397270 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568393313-9342 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=970108373 HOME/instance-4396174-1568397270.xml 

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

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


[startup+0.100094 s]*
/proc/loadavg: 1.84 1.71 1.66 3/219 11415
/proc/meminfo: memFree=26279540/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=9972712 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 4340 13092 0 0 1 0 5 3 20 0 6 0 415667147 10212057088 4583 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2493178 4583 1931 1 0 2481616 0
[pid=11358/tid=11411] ppid=11355 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 2134 13092 0 0 1 0 5 3 20 0 6 0 415667156 10212057088 4583 33554432000 4194304 4196468 140735500178736 140131379028560 140131388585533 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=9972712 memory=5793855719093189049 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 415667157 10212057088 4583 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=9972712 memory=140468083295872 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 415667157 10212057088 4583 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 415667157 10212057088 4583 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 6 0 415667157 10212057088 4583 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB

[startup+0.210664 s]*
/proc/loadavg: 1.84 1.71 1.66 3/228 11424
/proc/meminfo: memFree=26260372/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10819664 memory=38236 CPUtime=0.27 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 6911 13092 0 0 18 1 5 3 20 0 15 0 415667147 11079335936 9559 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2704916 9559 3155 1 0 2667149 0
[pid=11358/tid=11411] ppid=11355 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 3391 13092 0 0 11 0 5 3 20 0 15 0 415667156 11079335936 9559 33554432000 4194304 4196468 140735500178736 140131379006640 140131407203734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10819664 memory=4211974194288086410 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079335936 9559 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10819664 memory=140468083295872 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079335936 9559 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079335936 9559 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079335936 9559 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10819664 memory=140468083295872 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 415667158 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 33 13092 0 0 0 0 5 3 20 0 15 0 415667159 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130865210656 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667159 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130287347312 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11079335936 9559 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 348 13092 0 0 1 0 5 3 20 0 15 0 415667161 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 320 13092 0 0 1 0 5 3 20 0 15 0 415667162 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10819664 memory=140468083295872 CPUtime=0.11 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) R 11355 11358 6698 0 -1 4202560 599 13092 0 0 3 0 5 3 20 0 15 0 415667162 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130829547888 140131391505397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11079335936 9559 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10819664 memory=140468083295872 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667162 11079335936 9559 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38236 KiB

[startup+0.310493 s]*
/proc/loadavg: 1.84 1.71 1.66 3/228 11424
/proc/meminfo: memFree=26247296/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10820148 memory=50656 CPUtime=0.41 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 10350 13092 0 0 30 3 5 3 20 0 15 0 415667147 11079831552 12664 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2705037 12664 3322 1 0 2667149 0
[pid=11358/tid=11411] ppid=11355 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 6806 13092 0 0 19 2 5 3 20 0 15 0 415667156 11079831552 12664 33554432000 4194304 4196468 140735500178736 140131378991712 140131393436567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079831552 12664 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079831552 12664 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079831552 12664 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 415667157 11079831552 12664 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10820148 memory=140468083295871 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 415667158 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 33 13092 0 0 0 0 5 3 20 0 15 0 415667159 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130865210656 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10820148 memory=140468083295872 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667159 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130287347312 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11079831552 12664 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 348 13092 0 0 1 0 5 3 20 0 15 0 415667161 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 330 13092 0 0 2 0 5 3 20 0 15 0 415667162 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 608 13092 0 0 5 0 5 3 20 0 15 0 415667162 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11079831552 12664 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667162 11079831552 12664 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50656 KiB

[startup+0.70114 s]
/proc/loadavg: 1.84 1.71 1.66 3/228 11424
/proc/meminfo: memFree=26233008/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10824360 memory=82436 CPUtime=1.15 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 14332 13092 0 0 102 5 5 3 20 0 15 0 415667147 11084144640 20609 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2706090 20609 3505 1 0 2668173 0
[pid=11358/tid=11411] ppid=11355 vsize=10824360 memory=1660 CPUtime=0.67 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 9615 13092 0 0 55 4 5 3 20 0 15 0 415667156 11084144640 20609 33554432000 4194304 4196468 140735500178736 140131379000192 140131390384515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10824360 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11084144640 20609 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10824360 memory=140467979461121 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11084144640 20609 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10824360 memory=140471200383893 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667157 11084144640 20609 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10824360 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 415667157 11084144640 20609 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10824360 memory=5794559664533100645 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 5 13092 0 0 0 0 5 3 20 0 15 0 415667158 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10824360 memory=7739276948477931367 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 33 13092 0 0 0 0 5 3 20 0 15 0 415667159 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130865210656 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10824360 memory=5787219428069434709 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667159 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130287347312 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10824360 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11084144640 20609 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10824360 memory=8326441112149131693 CPUtime=0.21 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) R 11355 11358 6698 0 -1 4202560 767 13092 0 0 13 0 5 3 20 0 15 0 415667161 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130831652976 140131386407728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10824360 memory=7679937539659563834 CPUtime=0.22 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 864 13092 0 0 14 0 5 3 20 0 15 0 415667162 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10824360 memory=6944656425123485561 CPUtime=0.25 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 825 13092 0 0 17 0 5 3 20 0 15 0 415667162 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10824360 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11084144640 20609 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667162 11084144640 20609 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82436 KiB

[startup+1.5018 s]
/proc/loadavg: 1.84 1.71 1.66 4/228 11424
/proc/meminfo: memFree=26190692/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10834676 memory=180800 CPUtime=2.64 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 20946 13092 0 0 246 10 5 3 20 0 15 0 415667147 11094708224 45200 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2708669 45200 3588 1 0 2670733 0
[pid=11358/tid=11411] ppid=11355 vsize=10834676 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 14382 13092 0 0 129 6 5 3 20 0 15 0 415667156 11094708224 45200 33554432000 4194304 4196468 140735500178736 140131379016208 140131407203734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10834676 memory=104332 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 37 13092 0 0 1 0 5 3 20 0 15 0 415667157 11094708224 45200 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10834676 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 327 13092 0 0 1 0 5 3 20 0 15 0 415667157 11094708224 45200 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 54 13092 0 0 1 0 5 3 20 0 15 0 415667157 11094708224 45200 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 73 13092 0 0 1 0 5 3 20 0 15 0 415667157 11094708224 45200 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 124 13092 0 0 1 0 5 3 20 0 15 0 415667158 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10834676 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 34 13092 0 0 0 0 5 3 20 0 15 0 415667159 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130865210720 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10834676 memory=2580 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667159 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130287347328 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10834676 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11094708224 45200 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10834676 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 880 13092 0 0 32 0 5 3 20 0 15 0 415667161 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10834676 memory=189499325866679 CPUtime=0.42 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 1314 13092 0 0 34 0 5 3 20 0 15 0 415667162 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10834676 memory=3093419 CPUtime=0.49 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) R 11355 11358 6698 0 -1 4202560 1504 13092 0 0 41 0 5 3 20 0 15 0 415667162 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130829547888 140131391272286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10834676 memory=6935649255759568985 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11094708224 45200 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10834676 memory=7007706849797498708 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 415667162 11094708224 45200 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10834676 KiB

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

/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 56163 13092 0 0 231048 31 5 3 20 0 15 0 415667156 11107311616 85283 33554432000 4194304 4196468 140735500178736 140131379028032 140130994416231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10846984 memory=341132 CPUtime=5.28 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 13903 13092 0 0 498 22 5 3 20 0 15 0 415667157 11107311616 85283 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10846984 memory=341132 CPUtime=5.26 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 12406 13092 0 0 497 21 5 3 20 0 15 0 415667157 11107311616 85283 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10846984 memory=3620 CPUtime=5.26 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 7843 13092 0 0 495 23 5 3 20 0 15 0 415667157 11107311616 85283 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10846984 memory=341460 CPUtime=5.26 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 17551 13092 0 0 495 23 5 3 20 0 15 0 415667157 11107311616 85283 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10846984 memory=341644 CPUtime=4.39 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 13920 13092 0 0 402 29 5 3 20 0 15 0 415667158 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10846984 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 46 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130865210784 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10846984 memory=280935959122328 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 7 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130287347328 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11107311616 85283 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10846984 memory=341132 CPUtime=6.55 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 32083 13092 0 0 642 5 5 3 20 0 15 0 415667161 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10846984 memory=341132 CPUtime=6.58 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 40409 13092 0 0 645 5 5 3 20 0 15 0 415667162 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10846984 memory=341132 CPUtime=2.39 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 27278 13092 0 0 225 6 5 3 20 0 15 0 415667162 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10846984 memory=341132 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11107311616 85283 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10846984 memory=341132 CPUtime=1.29 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 2601 13092 0 0 69 52 5 3 20 0 15 0 415667162 11107311616 85283 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 2352.5 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 341132 KiB

[startup+2382.3 s]
/proc/loadavg: 0.80 0.82 1.08 2/206 11966
/proc/meminfo: memFree=28538920/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10846984 memory=342888 CPUtime=2412.96 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 227430 13092 0 0 241094 194 5 3 20 0 15 0 415667147 11107311616 85722 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2711746 85722 3630 1 0 2673805 0
[pid=11358/tid=11411] ppid=11355 vsize=10846984 memory=342888 CPUtime=2370.56 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 56534 13092 0 0 237017 31 5 3 20 0 15 0 415667156 11107311616 85722 33554432000 4194304 4196468 140735500178736 140131379027520 140130993793516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10846984 memory=342888 CPUtime=5.43 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 14016 13092 0 0 513 22 5 3 20 0 15 0 415667157 11107311616 85722 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10846984 memory=342888 CPUtime=5.41 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 12621 13092 0 0 511 22 5 3 20 0 15 0 415667157 11107311616 85722 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10846984 memory=342888 CPUtime=5.41 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 7939 13092 0 0 510 23 5 3 20 0 15 0 415667157 11107311616 85722 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10846984 memory=1436 CPUtime=5.4 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 17686 13092 0 0 509 23 5 3 20 0 15 0 415667157 11107311616 85722 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10846984 memory=342888 CPUtime=4.52 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 13969 13092 0 0 415 29 5 3 20 0 15 0 415667158 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10846984 memory=342888 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 46 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130865210784 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10846984 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 7 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130287347328 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10846984 memory=342888 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11107311616 85722 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10846984 memory=3620 CPUtime=6.55 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 32085 13092 0 0 642 5 5 3 20 0 15 0 415667161 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10846984 memory=6791534058613427641 CPUtime=6.58 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 40411 13092 0 0 645 5 5 3 20 0 15 0 415667162 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10846984 memory=580 CPUtime=2.39 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 27280 13092 0 0 225 6 5 3 20 0 15 0 415667162 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10846984 memory=1660 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11107311616 85722 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10846984 memory=40072 CPUtime=1.32 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 2620 13092 0 0 71 53 5 3 20 0 15 0 415667162 11107311616 85722 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 2412.96 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 342888 KiB

[startup+2442.3 s]
/proc/loadavg: 0.93 0.85 1.07 2/206 11970
/proc/meminfo: memFree=28537724/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10846984 memory=343068 CPUtime=2473.41 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 228344 13092 0 0 247136 197 5 3 20 0 15 0 415667147 11107311616 85767 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2711746 85767 3630 1 0 2673805 0
[pid=11358/tid=11411] ppid=11355 vsize=10846984 memory=343580 CPUtime=2430.24 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 56814 13092 0 0 242984 32 5 3 20 0 15 0 415667156 11107311616 85767 33554432000 4194304 4196468 140735500178736 140131379028224 140130980332366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10846984 memory=343068 CPUtime=5.59 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 14116 13092 0 0 528 23 5 3 20 0 15 0 415667157 11107311616 85767 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10846984 memory=343068 CPUtime=5.57 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 12703 13092 0 0 527 22 5 3 20 0 15 0 415667157 11107311616 85767 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10846984 memory=344280 CPUtime=5.56 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 7995 13092 0 0 524 24 5 3 20 0 15 0 415667157 11107311616 85767 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10846984 memory=344280 CPUtime=5.56 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 17860 13092 0 0 524 24 5 3 20 0 15 0 415667157 11107311616 85767 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10846984 memory=343580 CPUtime=4.65 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 14165 13092 0 0 427 30 5 3 20 0 15 0 415667158 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10846984 memory=343580 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 46 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130865210784 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10846984 memory=343068 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 7 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130287347328 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10846984 memory=343068 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11107311616 85767 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10846984 memory=343068 CPUtime=6.55 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 32085 13092 0 0 642 5 5 3 20 0 15 0 415667161 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10846984 memory=342888 CPUtime=6.58 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 40411 13092 0 0 645 5 5 3 20 0 15 0 415667162 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10846984 memory=343068 CPUtime=2.39 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 27280 13092 0 0 225 6 5 3 20 0 15 0 415667162 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10846984 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11107311616 85767 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10846984 memory=1564 CPUtime=1.35 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 2646 13092 0 0 73 54 5 3 20 0 15 0 415667162 11107311616 85767 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 2473.41 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 343068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2488.6 s]
/proc/loadavg: 0.89 0.85 1.06 2/206 11974
/proc/meminfo: memFree=28537708/32770624 swapFree=66959224/67108860
[pid=11358] ppid=11355 vsize=10846984 memory=343364 CPUtime=2520.05 cores=0,2,4,6
/proc/11358/stat : 11358 (java) S 11355 11358 6698 0 -1 1077944320 229086 13092 0 0 251796 201 5 3 20 0 15 0 415667147 11107311616 85841 33554432000 4194304 4196468 140735500178736 140735500161280 140131407191799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
/proc/11358/statm: 2711746 85841 3630 1 0 2673805 0
[pid=11358/tid=11411] ppid=11355 vsize=10846984 memory=111636 CPUtime=2476.28 cores=0,2,4,6
/proc/11358/task/11411/stat : 11411 (java) R 11355 11358 6698 0 -1 4202560 57137 13092 0 0 247588 32 5 3 20 0 15 0 415667156 11107311616 85841 33554432000 4194304 4196468 140735500178736 140131379027536 140130994218078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11412] ppid=11355 vsize=10846984 memory=800 CPUtime=5.7 cores=0,2,4,6
/proc/11358/task/11412/stat : 11412 (java) S 11355 11358 6698 0 -1 1077944384 14173 13092 0 0 539 23 5 3 20 0 15 0 415667157 11107311616 85841 33554432000 4194304 4196468 140735500178736 140131411433872 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11413] ppid=11355 vsize=10846984 memory=1808 CPUtime=5.69 cores=0,2,4,6
/proc/11358/task/11413/stat : 11413 (java) S 11355 11358 6698 0 -1 1077944384 12754 13092 0 0 538 23 5 3 20 0 15 0 415667157 11107311616 85841 33554432000 4194304 4196468 140735500178736 140131299707152 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11414] ppid=11355 vsize=10846984 memory=924 CPUtime=5.67 cores=0,2,4,6
/proc/11358/task/11414/stat : 11414 (java) S 11355 11358 6698 0 -1 1077944384 8042 13092 0 0 535 24 5 3 20 0 15 0 415667157 11107311616 85841 33554432000 4194304 4196468 140735500178736 140131298654864 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11415] ppid=11355 vsize=10846984 memory=3848 CPUtime=5.67 cores=0,2,4,6
/proc/11358/task/11415/stat : 11415 (java) S 11355 11358 6698 0 -1 1077944384 18048 13092 0 0 535 24 5 3 20 0 15 0 415667157 11107311616 85841 33554432000 4194304 4196468 140735500178736 140131297602064 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11416] ppid=11355 vsize=10846984 memory=2928 CPUtime=4.75 cores=0,2,4,6
/proc/11358/task/11416/stat : 11416 (java) S 11355 11358 6698 0 -1 1077944384 14213 13092 0 0 436 31 5 3 20 0 15 0 415667158 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130866264688 140131407202946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11417] ppid=11355 vsize=10846984 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11417/stat : 11417 (java) S 11355 11358 6698 0 -1 1077944384 46 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130865210784 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11418] ppid=11355 vsize=10846984 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11418/stat : 11418 (java) S 11355 11358 6698 0 -1 1077944384 7 13092 0 0 0 0 5 3 20 0 15 0 415667159 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130287347328 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11419] ppid=11355 vsize=10846984 memory=3188 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11419/stat : 11419 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667161 11107311616 85841 33554432000 4194304 4196468 140735500178736 140129979947600 140131407210395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11420] ppid=11355 vsize=10846984 memory=832 CPUtime=6.55 cores=0,2,4,6
/proc/11358/task/11420/stat : 11420 (java) S 11355 11358 6698 0 -1 1077944384 32087 13092 0 0 642 5 5 3 20 0 15 0 415667161 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130831652976 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11421] ppid=11355 vsize=10846984 memory=1436 CPUtime=6.58 cores=0,2,4,6
/proc/11358/task/11421/stat : 11421 (java) S 11355 11358 6698 0 -1 1077944384 40413 13092 0 0 645 5 5 3 20 0 15 0 415667162 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130830600176 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11422] ppid=11355 vsize=10846984 memory=1984 CPUtime=2.39 cores=0,2,4,6
/proc/11358/task/11422/stat : 11422 (java) S 11355 11358 6698 0 -1 1077944384 27282 13092 0 0 225 6 5 3 20 0 15 0 415667162 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130829547888 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11423] ppid=11355 vsize=10846984 memory=2580 CPUtime=0.08 cores=0,2,4,6
/proc/11358/task/11423/stat : 11423 (java) S 11355 11358 6698 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 415667162 11107311616 85841 33554432000 4194304 4196468 140735500178736 140129946388960 140131407202005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
[pid=11358/tid=11424] ppid=11355 vsize=10846984 memory=1760 CPUtime=1.38 cores=0,2,4,6
/proc/11358/task/11424/stat : 11424 (java) S 11355 11358 6698 0 -1 1077944384 2668 13092 0 0 74 56 5 3 20 0 15 0 415667162 11107311616 85841 33554432000 4194304 4196468 140735500178736 140130828495792 140131407202946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13496320 140735500184304 140735500186821 140735500186821 140735500189647 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 343364 KiB

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

[startup+2488.7 s]
# the end of solver process 11358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.11 s, system=2.04907 s

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

Child status: 143
Real time (s): 2488.7
CPU time (s): 2520.16
CPU user time (s): 2518.11
CPU system time (s): 2.04907
CPU usage (%): 101.264
Max. virtual memory (cumulated for all children) (KiB): 10849676
Max. memory (cumulated for all children) (KiB): 1166140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.11
system time used= 2.04907
maximum resident set size= 1168188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147201
involuntary context switches= 9694


# summary of solver processes directly reported to runsolver:
#   pid: 11358
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2518.11
#   total CPU system time (s): 2.04907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.956 second user time and 23.4217 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml
MD5SUM	c061694c4fbf3df02ed1b2618516c596
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	130
Best CPU time to get the best result obtained on this benchmark	9.1685
Satisfiable
(Un)Satisfiability was proved
Number of variables	3738
Number of constraints	200
Number of domains	14
Minimum domain size	2
Maximum domain size	22
Distribution of domain sizes	[{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":3738}]
Minimum constraint arity	21
Maximum constraint arity	3560
Distribution of constraint arities	[{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"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":198}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4396174

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