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

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.4	SAT (TO)	122	2520.0901	2466.8401

3.51/2.70	c Concrete v3.4 running
1360.67/1323.26	o 171
1360.97/1323.36	o 170
1361.25/1323.45	o 169
1361.50/1323.53	o 168
1361.76/1323.60	o 167
1361.76/1323.67	o 166
1361.96/1323.75	o 165
1362.09/1323.82	o 164
1362.09/1323.89	o 163
1362.20/1323.97	o 162
1362.31/1324.04	o 161
1362.42/1324.11	o 160
1362.42/1324.18	o 159
1362.52/1324.26	o 158
1362.63/1324.32	o 157
1362.63/1324.40	o 156
1362.76/1324.46	o 155
1362.86/1324.54	o 154
1363.12/1324.61	o 153
1363.12/1324.68	o 152
1363.34/1324.75	o 151
1363.45/1324.82	o 150
1363.45/1324.88	o 149
1363.55/1324.94	o 148
1363.67/1325.02	o 147
1363.67/1325.08	o 146
1363.77/1325.14	o 145
1363.87/1325.22	o 144
1363.87/1325.28	o 143
1363.99/1325.35	o 142
1364.09/1325.42	o 141
1364.09/1325.49	o 140
1364.21/1325.56	o 139
1364.31/1325.62	o 138
1364.31/1325.69	o 137
1364.41/1325.76	o 136
1364.52/1325.82	o 135
1364.52/1325.89	o 134
1364.64/1325.96	o 133
1364.73/1326.03	o 132
1364.83/1326.10	o 131
1364.83/1326.17	o 130
1365.06/1326.36	o 129
1365.51/1326.65	o 128
1366.83/1327.76	o 127
1366.93/1327.82	o 126
1366.93/1327.88	o 125
1367.03/1327.95	o 124
1367.13/1328.01	o 123
1367.13/1328.08	o 122
2520.04/2466.81	java.util.concurrent.TimeoutException
2520.04/2466.81		at concrete.MAC.mac(MAC.scala:74)
2520.04/2466.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.04/2466.81		at scala.util.Try$.apply(Try.scala:209)
2520.04/2466.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2466.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2466.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2466.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2466.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.04/2466.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2466.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2466.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2466.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2466.81		at concrete.MAC.oneRun(MAC.scala:146)
2520.04/2466.81		at concrete.MAC.nextSolution(MAC.scala:166)
2520.04/2466.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.04/2466.81		at concrete.ProblemState.map(ProblemState.scala:203)
2520.04/2466.81		at concrete.ProblemState.map(ProblemState.scala:188)
2520.04/2466.81		at concrete.MAC.nextSolution(MAC.scala:195)
2520.04/2466.81		at concrete.Solver.hasNext(Solver.scala:202)
2520.04/2466.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.04/2466.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.04/2466.81		at concrete.Solver.toStream(Solver.scala:73)
2520.04/2466.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.04/2466.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.04/2466.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.04/2466.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.04/2466.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.04/2466.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2466.81		at scala.util.Success.map(Try.scala:209)
2520.04/2466.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.04/2466.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.04/2466.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2466.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.04/2466.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2466.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2466.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2466.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2466.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2466.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2466.81		at scala.App.main(App.scala:76)
2520.04/2466.81		at scala.App.main$(App.scala:74)
2520.04/2466.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2466.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2466.82	v <instantiation cost="122">
2520.04/2466.82	v       <list>
2520.04/2466.82	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] 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]
2520.04/2466.82	v       </list>
2520.04/2466.82	v       <values>
2520.04/2466.82	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 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 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 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 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 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 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.04/2466.82	v       </values>
2520.04/2466.82	v     </instantiation>
2520.04/2466.82	s SATISFIABLE

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261893-1502435139/watcher-4261893-1502435139 -o /tmp/evaluation-result-4261893-1502435139/solver-4261893-1502435139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4261893-1502435139.xml 

pid=7167
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.51 1.64 1.76 2/198 7170
/proc/meminfo: memFree=30688508/32770624 swapFree=0/502564
[pid=7170] ppid=7167 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7170/stat : 7170 (runsolver) D 7167 7170 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45734677 24240128 107 18446744073709551615 4194304 4338465 140721758831584 140721758829224 140255601283799 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 14528512 140721758838993 140721758839369 140721758839369 140721758842826 0
/proc/7170/statm: 5918 107 54 36 0 2156 0

[startup+0.100164 s]
/proc/loadavg: 1.51 1.64 1.76 2/198 7170
/proc/meminfo: memFree=30688508/32770624 swapFree=0/502564
[pid=7170] ppid=7167 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/7170/stat : 7170 (bash) S 7167 7170 1330 0 -1 4202496 683 1542 0 0 0 0 0 0 20 0 1 0 45734677 9736192 351 18446744073709551615 4194304 5098028 140733929595024 140733929592664 140101405740032 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 29335552 140733929599508 140733929599593 140733929599593 140733929603050 0
/proc/7170/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200294 s]
/proc/loadavg: 1.51 1.64 1.76 2/198 7170
/proc/meminfo: memFree=30688508/32770624 swapFree=0/502564
[pid=7170] ppid=7167 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/7170/stat : 7170 (bash) S 7167 7170 1330 0 -1 4202496 892 6486 0 0 0 0 0 1 20 0 1 0 45734677 9867264 377 18446744073709551615 4194304 5098028 140733929595024 140733929589032 140101405740032 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 29335552 140733929599508 140733929599593 140733929599593 140733929603050 0
/proc/7170/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300352 s]
/proc/loadavg: 1.51 1.64 1.76 2/198 7170
/proc/meminfo: memFree=30688508/32770624 swapFree=0/502564
[pid=7170] ppid=7167 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/7170/stat : 7170 (bash) S 7167 7170 1330 0 -1 4202496 892 6486 0 0 0 0 0 1 20 0 1 0 45734677 9867264 377 18446744073709551615 4194304 5098028 140733929595024 140733929589032 140101405740032 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 29335552 140733929599508 140733929599593 140733929599593 140733929603050 0
/proc/7170/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.805034 s]
/proc/loadavg: 1.51 1.64 1.76 2/198 7170
/proc/meminfo: memFree=30688508/32770624 swapFree=0/502564
[pid=7170] ppid=7167 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 5823 12424 0 0 5 0 5 3 20 0 14 0 45734677 14241083392 5501 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3476827 5501 2564 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+1.50044 s]
/proc/loadavg: 1.51 1.64 1.76 3/213 7233
/proc/meminfo: memFree=30612624/32770624 swapFree=0/502184
[pid=7170] ppid=7167 vsize=13977216 CPUtime=1.26 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 20508 12424 0 0 113 5 5 3 20 0 15 0 45734677 14312669184 23571 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3494304 23571 3326 1 0 3483477 0
[pid=7170/tid=7220] ppid=7167 vsize=13977216 CPUtime=0.82 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 15588 12424 0 0 70 4 5 3 20 0 15 0 45734748 14312669184 23571 18446744073709551615 4194304 4196468 140736530374256 139646219053088 139646198928734 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=13977216 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 2 12424 0 0 0 0 5 3 20 0 15 0 45734749 14312669184 23571 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=13977216 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 1 12424 0 0 0 0 5 3 20 0 15 0 45734749 14312669184 23571 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 2 12424 0 0 0 0 5 3 20 0 15 0 45734749 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 2 12424 0 0 0 0 5 3 20 0 15 0 45734749 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 5 12424 0 0 0 0 5 3 20 0 15 0 45734750 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 33 12424 0 0 0 0 5 3 20 0 15 0 45734751 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645692134176 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 21 12424 0 0 0 0 5 3 20 0 15 0 45734751 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645691081840 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=13979264 CPUtime=0.21 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) S 7167 7170 1330 0 -1 1077944384 1422 12424 0 0 13 0 5 3 20 0 15 0 45734754 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645688978032 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=13979264 CPUtime=0.19 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 561 12424 0 0 11 0 5 3 20 0 15 0 45734754 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=13979264 CPUtime=0.25 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 724 12424 0 0 17 0 5 3 20 0 15 0 45734754 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=13979264 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1 12424 0 0 0 0 5 3 20 0 15 0 45734758 14314766336 23571 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13977216

[startup+3.1007 s]
/proc/loadavg: 1.51 1.64 1.76 4/213 7233
/proc/meminfo: memFree=30531696/32770624 swapFree=0/502184
[pid=7170] ppid=7167 vsize=13995836 CPUtime=4.65 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 42383 12424 0 0 444 13 5 3 20 0 15 0 45734677 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3498959 47839 3443 1 0 3487573 0
[pid=7170/tid=7220] ppid=7167 vsize=13995836 CPUtime=2.38 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 28751 12424 0 0 223 7 5 3 20 0 15 0 45734748 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139646219078256 139645853245676 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 52 12424 0 0 0 0 5 3 20 0 15 0 45734749 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 49 12424 0 0 1 0 5 3 20 0 15 0 45734749 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 45 12424 0 0 1 0 5 3 20 0 15 0 45734749 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 214 12424 0 0 0 0 5 3 20 0 15 0 45734749 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 1733 12424 0 0 1 0 5 3 20 0 15 0 45734750 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 56 12424 0 0 0 0 5 3 20 0 15 0 45734751 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 44 12424 0 0 0 0 5 3 20 0 15 0 45734751 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645691081840 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=13995836 CPUtime=0.88 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) R 7167 7170 1330 0 -1 4202560 4761 12424 0 0 79 1 5 3 20 0 15 0 45734754 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645688966832 139646198744178 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=13995836 CPUtime=0.63 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 1368 12424 0 0 54 1 5 3 20 0 15 0 45734754 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=13995836 CPUtime=0.89 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 3144 12424 0 0 80 1 5 3 20 0 15 0 45734754 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 8 12424 0 0 0 0 5 3 20 0 15 0 45734758 14331736064 47839 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 13995836

[startup+6.30062 s]
/proc/loadavg: 1.47 1.63 1.76 5/213 7233
/proc/meminfo: memFree=30320164/32770624 swapFree=0/502184
[pid=7170] ppid=7167 vsize=14069564 CPUtime=14.71 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 84526 12424 0 0 1440 23 5 3 20 0 15 0 45734677 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 92304 3480 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=5.47 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 45279 12424 0 0 529 10 5 3 20 0 15 0 45734748 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139646219081056 139645864528299 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 194 12424 0 0 6 0 5 3 20 0 15 0 45734749 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 274 12424 0 0 6 0 5 3 20 0 15 0 45734749 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 95 12424 0 0 5 0 5 3 20 0 15 0 45734749 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=0.14 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 724 12424 0 0 6 0 5 3 20 0 15 0 45734749 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 2925 12424 0 0 4 0 5 3 20 0 15 0 45734750 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 66 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 55 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=14069564 CPUtime=3.82 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) R 7167 7170 1330 0 -1 4202560 16108 12424 0 0 371 3 5 3 20 0 15 0 45734754 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645688965584 139646192443031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=14069564 CPUtime=3.33 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) R 7167 7170 1330 0 -1 4202560 7458 12424 0 0 323 2 5 3 20 0 15 0 45734754 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645687924416 139646192443308 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=14069564 CPUtime=1.95 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 8223 12424 0 0 184 3 5 3 20 0 15 0 45734754 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 967 12424 0 0 0 0 5 3 20 0 15 0 45734758 14407233536 92304 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.43 1.62 1.76 3/210 7233
/proc/meminfo: memFree=29942924/32770624 swapFree=0/502184
[pid=7170] ppid=7167 vsize=14069564 CPUtime=24.05 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 91999 12424 0 0 2364 33 5 3 20 0 15 0 45734677 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 169142 3484 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=11.81 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 45924 12424 0 0 1159 14 5 3 20 0 15 0 45734748 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139646219078608 139645864009183 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 264 12424 0 0 8 1 5 3 20 0 15 0 45734749 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 1039 12424 0 0 9 1 5 3 20 0 15 0 45734749 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 178 12424 0 0 7 1 5 3 20 0 15 0 45734749 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 782 12424 0 0 9 1 5 3 20 0 15 0 45734749 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 3103 12424 0 0 5 0 5 3 20 0 15 0 45734750 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 66 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 55 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 169142 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0

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

/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 86200 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=1.39 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1694 12424 0 0 62 69 5 3 20 0 15 0 45734758 14407233536 86200 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 2312.91
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.35 1.34 1.41 3/213 7522
/proc/meminfo: memFree=30142388/32770624 swapFree=0/502916
[pid=7170] ppid=7167 vsize=14069564 CPUtime=2373.61 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 249801 12424 0 0 237008 345 5 3 20 0 15 0 45734677 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 86004 3491 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=2300.6 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 103998 12424 0 0 230004 48 5 3 20 0 15 0 45734748 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139646219082656 139645848648808 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=10.4 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 10963 12424 0 0 982 50 5 3 20 0 15 0 45734749 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=10.4 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 12117 12424 0 0 983 49 5 3 20 0 15 0 45734749 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=10.41 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 14142 12424 0 0 978 55 5 3 20 0 15 0 45734749 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=10.45 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 14639 12424 0 0 986 51 5 3 20 0 15 0 45734749 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=8.87 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 17188 12424 0 0 819 60 5 3 20 0 15 0 45734750 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 68 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 58 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=14069564 CPUtime=9.44 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) S 7167 7170 1330 0 -1 1077944384 29442 12424 0 0 930 6 5 3 20 0 15 0 45734754 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645688978032 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=14069564 CPUtime=8.89 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 20504 12424 0 0 876 5 5 3 20 0 15 0 45734754 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=14069564 CPUtime=3.33 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 22815 12424 0 0 319 6 5 3 20 0 15 0 45734754 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1709 12424 0 0 65 70 5 3 20 0 15 0 45734758 14407233536 86004 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 2373.61
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.28 1.31 1.40 3/213 7524
/proc/meminfo: memFree=30143012/32770624 swapFree=0/502956
[pid=7170] ppid=7167 vsize=14069564 CPUtime=2434.42 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 252408 12424 0 0 243081 353 5 3 20 0 15 0 45734677 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 85937 3491 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=2360.06 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 104680 12424 0 0 235949 49 5 3 20 0 15 0 45734748 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139646219082416 139645864485288 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=10.67 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 11168 12424 0 0 1008 51 5 3 20 0 15 0 45734749 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=10.67 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 12290 12424 0 0 1009 50 5 3 20 0 15 0 45734749 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=10.67 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 14463 12424 0 0 1003 56 5 3 20 0 15 0 45734749 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=10.72 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 14752 12424 0 0 1011 53 5 3 20 0 15 0 45734749 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=9.09 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 17389 12424 0 0 840 61 5 3 20 0 15 0 45734750 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 68 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 58 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=14069564 CPUtime=9.45 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) S 7167 7170 1330 0 -1 1077944384 29551 12424 0 0 931 6 5 3 20 0 15 0 45734754 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645688978032 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=14069564 CPUtime=8.89 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 20561 12424 0 0 876 5 5 3 20 0 15 0 45734754 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=14069564 CPUtime=3.34 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 23544 12424 0 0 319 7 5 3 20 0 15 0 45734754 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=1.46 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1726 12424 0 0 66 72 5 3 20 0 15 0 45734758 14407233536 85937 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 2434.42
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.75 1.44 1.43 3/210 7526
/proc/meminfo: memFree=30142396/32770624 swapFree=0/502956
[pid=7170] ppid=7167 vsize=14069564 CPUtime=2495.2 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 255252 12424 0 0 249151 361 5 3 20 0 15 0 45734677 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 87482 3491 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=2419.57 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 106525 12424 0 0 241899 50 5 3 20 0 15 0 45734748 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139646219082304 139645864485294 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=10.93 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 11329 12424 0 0 1033 52 5 3 20 0 15 0 45734749 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=10.94 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 12591 12424 0 0 1034 52 5 3 20 0 15 0 45734749 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=10.94 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 14846 12424 0 0 1028 58 5 3 20 0 15 0 45734749 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=10.98 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 14850 12424 0 0 1036 54 5 3 20 0 15 0 45734749 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=9.3 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 17433 12424 0 0 860 62 5 3 20 0 15 0 45734750 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 68 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 58 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=14069564 CPUtime=9.45 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) S 7167 7170 1330 0 -1 1077944384 29553 12424 0 0 931 6 5 3 20 0 15 0 45734754 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645688978032 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=14069564 CPUtime=8.89 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 20563 12424 0 0 876 5 5 3 20 0 15 0 45734754 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=14069564 CPUtime=3.34 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 23546 12424 0 0 319 7 5 3 20 0 15 0 45734754 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=1.48 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1732 12424 0 0 67 73 5 3 20 0 15 0 45734758 14407233536 87482 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 2495.2
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.8 s]
/proc/loadavg: 1.63 1.44 1.43 3/210 7526
/proc/meminfo: memFree=30148560/32770624 swapFree=0/502952
[pid=7170] ppid=7167 vsize=14069564 CPUtime=2520.04 cores=0,2,4,6
/proc/7170/stat : 7170 (java) S 7167 7170 1330 0 -1 1077944320 256193 12424 0 0 251632 364 5 3 20 0 15 0 45734677 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 140736530356800 139646214848247 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
/proc/7170/statm: 3517391 86072 3491 1 0 3506005 0
[pid=7170/tid=7220] ppid=7167 vsize=14069564 CPUtime=2443.84 cores=0,2,4,6
/proc/7170/task/7220/stat : 7220 (java) R 7167 7170 1330 0 -1 4202560 106693 12424 0 0 244326 50 5 3 20 0 15 0 45734748 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139646219082752 139645863495900 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7221] ppid=7167 vsize=14069564 CPUtime=11.03 cores=0,2,4,6
/proc/7170/task/7221/stat : 7221 (java) S 7167 7170 1330 0 -1 1077944384 11464 12424 0 0 1043 52 5 3 20 0 15 0 45734749 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139646171814800 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7222] ppid=7167 vsize=14069564 CPUtime=11.05 cores=0,2,4,6
/proc/7170/task/7222/stat : 7222 (java) S 7167 7170 1330 0 -1 1077944384 12720 12424 0 0 1045 52 5 3 20 0 15 0 45734749 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139646170762000 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7223] ppid=7167 vsize=14069564 CPUtime=11.04 cores=0,2,4,6
/proc/7170/task/7223/stat : 7223 (java) S 7167 7170 1330 0 -1 1077944384 15032 12424 0 0 1038 58 5 3 20 0 15 0 45734749 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139646169709712 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7224] ppid=7167 vsize=14069564 CPUtime=11.09 cores=0,2,4,6
/proc/7170/task/7224/stat : 7224 (java) S 7167 7170 1330 0 -1 1077944384 14981 12424 0 0 1046 55 5 3 20 0 15 0 45734749 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139646168656912 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7225] ppid=7167 vsize=14069564 CPUtime=9.4 cores=0,2,4,6
/proc/7170/task/7225/stat : 7225 (java) S 7167 7170 1330 0 -1 1077944384 17612 12424 0 0 869 63 5 3 20 0 15 0 45734750 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645693188208 139646214859394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7226] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7226/stat : 7226 (java) S 7167 7170 1330 0 -1 1077944384 68 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645692134240 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7227] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7227/stat : 7227 (java) S 7167 7170 1330 0 -1 1077944384 58 12424 0 0 0 0 5 3 20 0 15 0 45734751 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645691081856 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7228] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7228/stat : 7228 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645690030160 139646214866843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7229] ppid=7167 vsize=14069564 CPUtime=9.45 cores=0,2,4,6
/proc/7170/task/7229/stat : 7229 (java) S 7167 7170 1330 0 -1 1077944384 29553 12424 0 0 931 6 5 3 20 0 15 0 45734754 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645688978032 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7230] ppid=7167 vsize=14069564 CPUtime=8.89 cores=0,2,4,6
/proc/7170/task/7230/stat : 7230 (java) S 7167 7170 1330 0 -1 1077944384 20563 12424 0 0 876 5 5 3 20 0 15 0 45734754 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645687925232 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7231] ppid=7167 vsize=14069564 CPUtime=3.34 cores=0,2,4,6
/proc/7170/task/7231/stat : 7231 (java) S 7167 7170 1330 0 -1 1077944384 23546 12424 0 0 319 7 5 3 20 0 15 0 45734754 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645686872944 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7232] ppid=7167 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/7170/task/7232/stat : 7232 (java) S 7167 7170 1330 0 -1 1077944384 3 12424 0 0 0 0 5 3 20 0 15 0 45734754 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645685820384 139646214858453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
[pid=7170/tid=7233] ppid=7167 vsize=14069564 CPUtime=1.5 cores=0,2,4,6
/proc/7170/task/7233/stat : 7233 (java) S 7167 7170 1330 0 -1 1077944384 1745 12424 0 0 68 74 5 3 20 0 15 0 45734758 14407233536 86072 18446744073709551615 4194304 4196468 140736530374256 139645684767152 139646214859394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7221248 140736530376656 140736530379441 140736530379441 140736530382799 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 2466.84
CPU time (s): 2520.09
CPU user time (s): 2516.41
CPU system time (s): 3.67802
CPU usage (%): 102.159
Max. virtual memory (cumulated for all children) (KiB): 14070228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.41
system time used= 3.67802
maximum resident set size= 993120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256960
involuntary context switches= 6766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1458 second user time and 14.4334 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml
MD5SUM	e28ebc68094c3335bce51ae11fa43933
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	122
Best CPU time to get the best result obtained on this benchmark	340.91699
Satisfiable
(Un)Satisfiability was proved
Number of variables	3591
Number of constraints	193
Number of domains	15
Minimum domain size	2
Maximum domain size	21
Distribution of domain sizes	[{"size":2,"count":342},{"size":3,"count":342},{"size":4,"count":171},{"size":5,"count":171},{"size":6,"count":171},{"size":8,"count":171},{"size":9,"count":171},{"size":10,"count":171},{"size":12,"count":684},{"size":14,"count":171},{"size":15,"count":171},{"size":16,"count":171},{"size":17,"count":171},{"size":18,"count":171},{"size":21,"count":342}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":3591}]
Minimum constraint arity	21
Maximum constraint arity	3420
Distribution of constraint arities	[{"arity":21,"count":171},{"arity":171,"count":21},{"arity":3420,"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":191}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4261893

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