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)	106	2520.05	2466.9399

3.43/2.21	c Concrete v3.4 running
35.63/20.25	o 146
35.92/20.35	o 145
36.21/20.43	o 144
36.21/20.50	o 143
36.47/20.56	o 142
36.64/20.63	o 141
36.64/20.69	o 140
36.84/20.75	o 139
37.09/20.82	o 138
37.09/20.88	o 137
37.25/20.95	o 136
37.40/21.01	o 135
37.40/21.07	o 134
37.57/21.13	o 133
37.69/21.20	o 132
37.69/21.26	o 131
37.80/21.31	o 130
37.80/21.38	o 129
37.96/21.45	o 128
38.08/21.51	o 127
38.08/21.58	o 126
38.65/21.73	o 125
38.95/21.81	o 124
38.95/21.88	o 123
39.51/22.01	o 122
39.79/22.21	o 121
39.79/22.28	o 120
40.05/22.40	o 119
40.05/22.46	o 118
41.22/23.32	o 117
44.42/25.79	o 116
46.82/27.62	o 115
51.64/31.39	o 114
51.77/31.46	o 113
53.31/32.66	o 112
62.83/39.87	o 111
72.50/47.27	o 110
74.43/48.88	o 109
101.03/73.67	o 108
101.83/74.45	o 107
103.44/76.00	o 106
2520.00/2466.91	java.util.concurrent.TimeoutException
2520.00/2466.91		at concrete.MAC.mac(MAC.scala:74)
2520.00/2466.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.00/2466.91		at scala.util.Try$.apply(Try.scala:209)
2520.00/2466.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2466.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2466.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2466.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2466.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.00/2466.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2466.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2466.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2466.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2466.91		at concrete.MAC.oneRun(MAC.scala:146)
2520.00/2466.91		at concrete.MAC.nextSolution(MAC.scala:166)
2520.00/2466.91		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.00/2466.91		at concrete.ProblemState.map(ProblemState.scala:203)
2520.00/2466.91		at concrete.ProblemState.map(ProblemState.scala:188)
2520.00/2466.91		at concrete.MAC.nextSolution(MAC.scala:195)
2520.00/2466.91		at concrete.Solver.hasNext(Solver.scala:202)
2520.00/2466.91		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.00/2466.91		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.00/2466.91		at concrete.Solver.toStream(Solver.scala:73)
2520.00/2466.91		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.00/2466.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.00/2466.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.00/2466.91		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.00/2466.91		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.00/2466.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2466.91		at scala.util.Success.map(Try.scala:209)
2520.00/2466.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.00/2466.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.00/2466.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.00/2466.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.00/2466.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.00/2466.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2466.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2466.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2466.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2466.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2466.91		at scala.App.main(App.scala:76)
2520.00/2466.91		at scala.App.main$(App.scala:74)
2520.00/2466.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.00/2466.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2466.91	v <instantiation cost="106">
2520.00/2466.91	v       <list>
2520.00/2466.91	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] 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]
2520.00/2466.92	v       </list>
2520.00/2466.92	v       <values>
2520.00/2466.92	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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
2520.00/2466.92	v       </values>
2520.00/2466.92	v     </instantiation>
2520.00/2466.92	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-4261894-1502433645/watcher-4261894-1502433645 -o /tmp/evaluation-result-4261894-1502433645/solver-4261894-1502433645 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4261894-1502433645.xml 

pid=19311
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.53 1.44 1.44 2/198 19314
/proc/meminfo: memFree=30498620/32770624 swapFree=0/459160
[pid=19314] ppid=19311 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19314/stat : 19314 (runsolver) D 19311 19314 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 85275697 24240128 108 18446744073709551615 4194304 4338465 140724456517008 140724456514648 140687038395095 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 23965696 140724456521936 140724456522313 140724456522313 140724456525770 0
/proc/19314/statm: 5918 108 54 36 0 2156 0

[startup+0.100162 s]
/proc/loadavg: 1.53 1.44 1.44 2/198 19314
/proc/meminfo: memFree=30498620/32770624 swapFree=0/459160
[pid=19314] ppid=19311 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/19314/stat : 19314 (bash) S 19311 19314 13007 0 -1 4202496 683 1540 0 0 0 0 0 0 20 0 1 0 85275697 9736192 352 18446744073709551615 4194304 5098028 140725452232800 140725452230440 139875328125952 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 11554816 140725452235284 140725452235369 140725452235369 140725452238826 0
/proc/19314/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200554 s]
/proc/loadavg: 1.53 1.44 1.44 2/198 19314
/proc/meminfo: memFree=30498620/32770624 swapFree=0/459160
[pid=19314] ppid=19311 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/19314/stat : 19314 (bash) S 19311 19314 13007 0 -1 4202496 901 6472 0 0 0 0 0 1 20 0 1 0 85275697 9867264 377 18446744073709551615 4194304 5098028 140725452232800 140725452226808 139875328125952 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 11554816 140725452235284 140725452235369 140725452235369 140725452238826 0
/proc/19314/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300298 s]
/proc/loadavg: 1.53 1.44 1.44 2/198 19314
/proc/meminfo: memFree=30498620/32770624 swapFree=0/459160
[pid=19314] ppid=19311 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 5553 12478 0 0 5 1 5 3 20 0 14 0 85275697 14241083392 5223 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3476827 5223 2555 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700998 s]
/proc/loadavg: 1.53 1.44 1.44 2/198 19314
/proc/meminfo: memFree=30498620/32770624 swapFree=0/459160
[pid=19314] ppid=19311 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 13622 12478 0 0 57 5 5 3 20 0 15 0 85275697 14310178816 14579 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3493696 14579 3125 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50291 s]
/proc/loadavg: 1.53 1.44 1.44 3/213 19377
/proc/meminfo: memFree=30406436/32770624 swapFree=0/459452
[pid=19314] ppid=19311 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 28362 12478 0 0 172 9 5 3 20 0 15 0 85275697 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3496352 40077 3366 1 0 3485525 0
[pid=19314/tid=19364] ppid=19311 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) S 19311 19314 13007 0 -1 1077944384 21567 12478 0 0 115 7 5 3 20 0 15 0 85275717 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698877030736 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) R 19311 19314 13007 0 -1 4202560 194 12478 0 0 0 0 5 3 20 0 15 0 85275718 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872819094 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) R 19311 19314 13007 0 -1 1077944384 35 12478 0 0 0 0 5 3 20 0 15 0 85275718 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) R 19311 19314 13007 0 -1 4202560 48 12478 0 0 0 0 5 3 20 0 15 0 85275718 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698865910806 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) R 19311 19314 13007 0 -1 4202560 63 12478 0 0 0 0 5 3 20 0 15 0 85275718 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698857795559 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 1291 12478 0 0 1 0 5 3 20 0 15 0 85275719 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698351436448 139698872817365 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 33 12478 0 0 0 0 5 3 20 0 15 0 85275720 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698350383904 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 21 12478 0 0 0 0 5 3 20 0 15 0 85275720 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698349331568 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 1012 12478 0 0 14 0 5 3 20 0 15 0 85275723 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698347227520 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 680 12478 0 0 15 0 5 3 20 0 15 0 85275723 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 1251 12478 0 0 23 0 5 3 20 0 15 0 85275723 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698345119328 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 10 12478 0 0 0 0 5 3 20 0 15 0 85275727 14321057792 40077 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10057 s]
/proc/loadavg: 1.53 1.44 1.44 3/213 19377
/proc/meminfo: memFree=30329080/32770624 swapFree=0/459452
[pid=19314] ppid=19311 vsize=13997884 CPUtime=5.82 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 39517 12478 0 0 558 16 5 3 20 0 15 0 85275697 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3499471 55358 3445 1 0 3488085 0
[pid=19314/tid=19364] ppid=19311 vsize=13997884 CPUtime=2.88 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 28158 12478 0 0 270 10 5 3 20 0 15 0 85275717 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698877030480 139698872819094 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 199 12478 0 0 0 0 5 3 20 0 15 0 85275718 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 35 12478 0 0 0 0 5 3 20 0 15 0 85275718 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 48 12478 0 0 1 0 5 3 20 0 15 0 85275718 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 65 12478 0 0 1 0 5 3 20 0 15 0 85275718 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 1480 12478 0 0 1 0 5 3 20 0 15 0 85275719 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 55 12478 0 0 0 0 5 3 20 0 15 0 85275720 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698350383904 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 45 12478 0 0 0 0 5 3 20 0 15 0 85275720 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698349331568 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=13997884 CPUtime=0.93 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 2026 12478 0 0 84 1 5 3 20 0 15 0 85275723 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=13997884 CPUtime=0.99 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) R 19311 19314 13007 0 -1 1077944384 1640 12478 0 0 91 0 5 3 20 0 15 0 85275723 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=13997884 CPUtime=1.15 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) R 19311 19314 13007 0 -1 4202560 3593 12478 0 0 106 1 5 3 20 0 15 0 85275723 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698857066545 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 13 12478 0 0 0 0 5 3 20 0 15 0 85275727 14333833216 55358 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13997884

[startup+6.30075 s]
/proc/loadavg: 1.72 1.48 1.45 5/213 19377
/proc/meminfo: memFree=30143724/32770624 swapFree=0/459452
[pid=19314] ppid=19311 vsize=14069564 CPUtime=14.89 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 81868 12478 0 0 1456 25 5 3 20 0 15 0 85275697 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 104065 3479 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=5.97 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 44302 12478 0 0 576 13 5 3 20 0 15 0 85275717 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698877038032 139698532275884 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 268 12478 0 0 6 1 5 3 20 0 15 0 85275718 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 689 12478 0 0 6 1 5 3 20 0 15 0 85275718 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 131 12478 0 0 7 0 5 3 20 0 15 0 85275718 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 447 12478 0 0 7 0 5 3 20 0 15 0 85275718 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 2332 12478 0 0 4 0 5 3 20 0 15 0 85275719 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 55 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 45 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=14069564 CPUtime=3.4 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) R 19311 19314 13007 0 -1 4202560 11542 12478 0 0 330 2 5 3 20 0 15 0 85275723 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698851223467 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=14069564 CPUtime=3.39 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 10466 12478 0 0 330 1 5 3 20 0 15 0 85275723 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=14069564 CPUtime=1.95 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 8718 12478 0 0 184 3 5 3 20 0 15 0 85275723 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 713 12478 0 0 0 0 5 3 20 0 15 0 85275727 14407233536 104065 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 14.89
Current children cumulated vsize (KiB) 14069564

[startup+12.7008 s]
/proc/loadavg: 1.75 1.49 1.46 3/213 19377
/proc/meminfo: memFree=29838488/32770624 swapFree=0/459452
[pid=19314] ppid=19311 vsize=14069564 CPUtime=24.4 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 86106 12478 0 0 2399 33 5 3 20 0 15 0 85275697 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 184356 3482 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=12.33 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 44665 12478 0 0 1208 17 5 3 20 0 15 0 85275717 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698877039776 139698534228404 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 281 12478 0 0 7 1 5 3 20 0 15 0 85275718 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 700 12478 0 0 7 1 5 3 20 0 15 0 85275718 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 407 12478 0 0 8 1 5 3 20 0 15 0 85275718 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 455 12478 0 0 8 0 5 3 20 0 15 0 85275718 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 2510 12478 0 0 5 0 5 3 20 0 15 0 85275719 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 55 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 45 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 184356 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0

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

/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 196223 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=1.36 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 1694 12478 0 0 68 60 5 3 20 0 15 0 85275727 14407233536 196223 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 2373.26
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.44 1.33 1.39 3/213 19676
/proc/meminfo: memFree=29793440/32770624 swapFree=0/459988
[pid=19314] ppid=19311 vsize=14069564 CPUtime=2434.14 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 215416 12478 0 0 243133 273 5 3 20 0 15 0 85275697 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 196511 3486 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=2364.64 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 85868 12478 0 0 236415 41 5 3 20 0 15 0 85275717 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698877041104 139698533406173 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=8.65 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 7921 12478 0 0 815 42 5 3 20 0 15 0 85275718 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=8.66 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 8807 12478 0 0 820 38 5 3 20 0 15 0 85275718 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=8.67 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 15120 12478 0 0 823 36 5 3 20 0 15 0 85275718 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=8.71 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 9408 12478 0 0 825 38 5 3 20 0 15 0 85275718 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=7.25 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 18722 12478 0 0 677 40 5 3 20 0 15 0 85275719 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 64 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 47 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=14069564 CPUtime=11.41 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 24375 12478 0 0 1128 5 5 3 20 0 15 0 85275723 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=14069564 CPUtime=11.52 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 23557 12478 0 0 1140 4 5 3 20 0 15 0 85275723 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=14069564 CPUtime=3.85 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 17657 12478 0 0 370 7 5 3 20 0 15 0 85275723 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=1.39 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 1710 12478 0 0 69 62 5 3 20 0 15 0 85275727 14407233536 196511 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 2434.14
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.30 1.30 1.38 3/213 19678
/proc/meminfo: memFree=29791000/32770624 swapFree=0/459988
[pid=19314] ppid=19311 vsize=14069564 CPUtime=2495.02 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 216396 12478 0 0 249215 279 5 3 20 0 15 0 85275697 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 195870 3486 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=2424.09 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 86423 12478 0 0 242359 42 5 3 20 0 15 0 85275717 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698877040944 139698525805316 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=8.95 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 8175 12478 0 0 843 44 5 3 20 0 15 0 85275718 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=8.96 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 8867 12478 0 0 849 39 5 3 20 0 15 0 85275718 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=8.97 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 15161 12478 0 0 852 37 5 3 20 0 15 0 85275718 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=8.99 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 9455 12478 0 0 852 39 5 3 20 0 15 0 85275718 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=7.48 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 18741 12478 0 0 699 41 5 3 20 0 15 0 85275719 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 64 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 47 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=14069564 CPUtime=11.41 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 24375 12478 0 0 1128 5 5 3 20 0 15 0 85275723 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=14069564 CPUtime=11.53 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 23557 12478 0 0 1141 4 5 3 20 0 15 0 85275723 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=14069564 CPUtime=3.85 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 17657 12478 0 0 370 7 5 3 20 0 15 0 85275723 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=1.42 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 1714 12478 0 0 71 63 5 3 20 0 15 0 85275727 14407233536 195870 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 2495.02
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.9 s]
/proc/loadavg: 1.33 1.31 1.38 3/214 19681
/proc/meminfo: memFree=29789740/32770624 swapFree=0/460008
[pid=19314] ppid=19311 vsize=14069564 CPUtime=2520 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 217080 12478 0 0 251709 283 5 3 20 0 15 0 85275697 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 195613 3486 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=2448.45 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 86698 12478 0 0 244795 42 5 3 20 0 15 0 85275717 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698877040864 139698532816424 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=9.07 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 8236 12478 0 0 855 44 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=9.08 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 8908 12478 0 0 861 39 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=9.09 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 15261 12478 0 0 864 37 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=9.11 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 9470 12478 0 0 864 39 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=7.58 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 18912 12478 0 0 708 42 5 3 20 0 15 0 85275719 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 64 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 47 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=14069564 CPUtime=11.41 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 24377 12478 0 0 1128 5 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=14069564 CPUtime=11.53 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 23559 12478 0 0 1141 4 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=14069564 CPUtime=3.85 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 17659 12478 0 0 370 7 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 1729 12478 0 0 71 64 5 3 20 0 15 0 85275727 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 2520
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 19314 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2466.9 s]
/proc/loadavg: 1.33 1.31 1.38 3/214 19681
/proc/meminfo: memFree=29789740/32770624 swapFree=0/460008
[pid=19314] ppid=19311 vsize=14069564 CPUtime=2520 cores=0,2,4,6
/proc/19314/stat : 19314 (java) S 19311 19314 13007 0 -1 1077944320 217080 12478 0 0 251709 283 5 3 20 0 15 0 85275697 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 140734049520608 139698872807159 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
/proc/19314/statm: 3517391 195613 3486 1 0 3506005 0
[pid=19314/tid=19364] ppid=19311 vsize=14069564 CPUtime=2448.45 cores=0,2,4,6
/proc/19314/task/19364/stat : 19364 (java) R 19311 19314 13007 0 -1 4202560 86698 12478 0 0 244795 42 5 3 20 0 15 0 85275717 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698877040864 139698532816424 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19365] ppid=19311 vsize=14069564 CPUtime=9.07 cores=0,2,4,6
/proc/19314/task/19365/stat : 19365 (java) S 19311 19314 13007 0 -1 1077944384 8236 12478 0 0 855 44 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698473266064 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19366] ppid=19311 vsize=14069564 CPUtime=9.08 cores=0,2,4,6
/proc/19314/task/19366/stat : 19366 (java) S 19311 19314 13007 0 -1 1077944384 8908 12478 0 0 861 39 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698472213264 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19367] ppid=19311 vsize=14069564 CPUtime=9.09 cores=0,2,4,6
/proc/19314/task/19367/stat : 19367 (java) S 19311 19314 13007 0 -1 1077944384 15261 12478 0 0 864 37 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698471160976 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19368] ppid=19311 vsize=14069564 CPUtime=9.11 cores=0,2,4,6
/proc/19314/task/19368/stat : 19368 (java) S 19311 19314 13007 0 -1 1077944384 9470 12478 0 0 864 39 5 3 20 0 15 0 85275718 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698470108176 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19369] ppid=19311 vsize=14069564 CPUtime=7.58 cores=0,2,4,6
/proc/19314/task/19369/stat : 19369 (java) S 19311 19314 13007 0 -1 1077944384 18912 12478 0 0 708 42 5 3 20 0 15 0 85275719 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698351437936 139698872818306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19370] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19370/stat : 19370 (java) S 19311 19314 13007 0 -1 1077944384 64 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698350383968 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19371] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19371/stat : 19371 (java) S 19311 19314 13007 0 -1 1077944384 47 12478 0 0 0 0 5 3 20 0 15 0 85275720 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698349331584 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19372] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19372/stat : 19372 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698348279888 139698872825755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19373] ppid=19311 vsize=14069564 CPUtime=11.41 cores=0,2,4,6
/proc/19314/task/19373/stat : 19373 (java) S 19311 19314 13007 0 -1 1077944384 24377 12478 0 0 1128 5 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698347227760 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19374] ppid=19311 vsize=14069564 CPUtime=11.53 cores=0,2,4,6
/proc/19314/task/19374/stat : 19374 (java) S 19311 19314 13007 0 -1 1077944384 23559 12478 0 0 1141 4 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698346174960 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19375] ppid=19311 vsize=14069564 CPUtime=3.85 cores=0,2,4,6
/proc/19314/task/19375/stat : 19375 (java) S 19311 19314 13007 0 -1 1077944384 17659 12478 0 0 370 7 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698345122672 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19376] ppid=19311 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19314/task/19376/stat : 19376 (java) S 19311 19314 13007 0 -1 1077944384 3 12478 0 0 0 0 5 3 20 0 15 0 85275723 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698344070112 139698872817365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
[pid=19314/tid=19377] ppid=19311 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/19314/task/19377/stat : 19377 (java) S 19311 19314 13007 0 -1 1077944384 1729 12478 0 0 71 64 5 3 20 0 15 0 85275727 14407233536 195613 18446744073709551615 4194304 4196468 140734049538064 139698343016880 139698872818306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15454208 140734049544144 140734049546929 140734049546929 140734049550287 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2466.94
CPU time (s): 2520.05
CPU user time (s): 2517.17
CPU system time (s): 2.87385
CPU usage (%): 102.153
Max. virtual memory (cumulated for all children) (KiB): 14069616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.17
system time used= 2.87385
maximum resident set size= 1088520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220431
involuntary context switches= 6646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2417 second user time and 16.3303 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml
MD5SUM	0b4fb4a315b6bd8f0348750a3d90443f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	102
Best CPU time to get the best result obtained on this benchmark	2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	3066
Number of constraints	168
Number of domains	13
Minimum domain size	2
Maximum domain size	18
Distribution of domain sizes	[{"size":2,"count":146},{"size":3,"count":292},{"size":4,"count":146},{"size":5,"count":146},{"size":6,"count":146},{"size":8,"count":438},{"size":10,"count":292},{"size":11,"count":146},{"size":14,"count":292},{"size":15,"count":292},{"size":16,"count":146},{"size":17,"count":292},{"size":18,"count":292}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":3066}]
Minimum constraint arity	21
Maximum constraint arity	2920
Distribution of constraint arities	[{"arity":21,"count":146},{"arity":146,"count":21},{"arity":2920,"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":166}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4261894

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