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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Concrete 3.4	SAT (TO)	122	2400.13	2319.24

3.70/2.15	c Concrete v3.4 running
1371.11/1315.07	o 171
1371.50/1315.16	o 170
1371.89/1315.24	o 169
1372.14/1315.32	o 168
1372.14/1315.39	o 167
1372.32/1315.46	o 166
1372.42/1315.53	o 165
1372.42/1315.60	o 164
1372.55/1315.67	o 163
1372.65/1315.74	o 162
1372.75/1315.81	o 161
1372.75/1315.88	o 160
1372.88/1315.95	o 159
1372.98/1316.02	o 158
1372.98/1316.09	o 157
1373.08/1316.16	o 156
1373.25/1316.24	o 155
1373.36/1316.31	o 154
1373.36/1316.37	o 153
1373.46/1316.44	o 152
1373.65/1316.51	o 151
1373.65/1316.58	o 150
1374.03/1316.65	o 149
1374.43/1316.71	o 148
1374.43/1316.78	o 147
1374.67/1316.84	o 146
1374.77/1316.91	o 145
1374.77/1316.97	o 144
1374.87/1317.04	o 143
1374.99/1317.11	o 142
1374.99/1317.17	o 141
1375.09/1317.24	o 140
1375.19/1317.30	o 139
1375.19/1317.37	o 138
1375.29/1317.43	o 137
1375.41/1317.50	o 136
1375.41/1317.56	o 135
1375.51/1317.63	o 134
1375.51/1317.69	o 133
1375.61/1317.76	o 132
1375.72/1317.83	o 131
1375.72/1317.89	o 130
1375.93/1318.08	o 129
1376.51/1318.36	o 128
1377.93/1319.44	o 127
1378.05/1319.51	o 126
1378.05/1319.57	o 125
1378.15/1319.63	o 124
1378.15/1319.69	o 123
1378.25/1319.75	o 122
2400.07/2319.20	java.util.concurrent.TimeoutException
2400.07/2319.21		at concrete.MAC.mac(MAC.scala:74)
2400.07/2319.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2319.21		at scala.util.Try$.apply(Try.scala:209)
2400.07/2319.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2319.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2319.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2319.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2319.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2319.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2319.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2319.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2319.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2319.21		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2319.21		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2319.21		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2319.21		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2319.21		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2319.21		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2319.21		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2319.21		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2319.21		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2319.21		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2319.21		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2319.21		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2319.21		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2319.21		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2319.21		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2319.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2319.21		at scala.util.Success.map(Try.scala:209)
2400.07/2319.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2319.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2319.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2319.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2319.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2319.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2319.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2319.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2319.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2319.21		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2319.21		at scala.App.main(App.scala:76)
2400.07/2319.21		at scala.App.main$(App.scala:74)
2400.07/2319.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2319.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2319.22	v <instantiation cost="122">
2400.07/2319.22	v       <list>
2400.07/2319.22	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19]
2400.07/2319.22	v       </list>
2400.07/2319.22	v       <values>
2400.07/2319.22	v         1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2400.07/2319.22	v       </values>
2400.07/2319.22	v     </instantiation>
2400.07/2319.22	s SATISFIABLE

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246185-1500710972/watcher-4246185-1500710972 -o /tmp/evaluation-result-4246185-1500710972/solver-4246185-1500710972 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12414 --watchdog 2560 bin/concrete HOME/instance-4246185-1500710972.xml 

pid=17572
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.12 1.84 1.74 3/261 17575
/proc/meminfo: memFree=31050184/32770624 swapFree=5720/286136
[pid=17575] ppid=17572 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (bash) S 17572 17575 16473 0 -1 4202496 687 1532 0 0 0 0 0 0 20 0 1 0 6366408 9736192 351 33554432000 4194304 5098028 140735480915504 140735480913144 139829632535552 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 30498816 140735480923406 140735480923491 140735480923491 140735480926190 0
/proc/17575/statm: 2377 351 278 221 0 86 0

[startup+0.100059 s]
/proc/loadavg: 2.12 1.84 1.74 3/261 17575
/proc/meminfo: memFree=31050184/32770624 swapFree=5720/286136
[pid=17575] ppid=17572 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (bash) S 17572 17575 16473 0 -1 4202496 885 6414 0 0 0 0 0 1 20 0 1 0 6366408 9871360 378 33554432000 4194304 5098028 140735480915504 140735480909512 139829632535552 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 30498816 140735480923406 140735480923491 140735480923491 140735480926190 0
/proc/17575/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200255 s]
/proc/loadavg: 2.12 1.84 1.74 3/261 17575
/proc/meminfo: memFree=31050184/32770624 swapFree=5720/286136
[pid=17575] ppid=17572 vsize=10768680 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 5501 12561 0 0 7 1 6 4 20 0 18 0 6366408 11027128320 5808 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2692170 5808 2466 1 0 2680608 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10768680

[startup+0.300228 s]
/proc/loadavg: 2.12 1.84 1.74 3/261 17575
/proc/meminfo: memFree=31050184/32770624 swapFree=5720/286136
[pid=17575] ppid=17572 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 9176 12561 0 0 23 2 6 4 20 0 20 0 6366408 11163947008 10247 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2725573 10247 2920 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700141 s]
/proc/loadavg: 2.12 1.84 1.74 3/261 17575
/proc/meminfo: memFree=31050184/32770624 swapFree=5720/286136
[pid=17575] ppid=17572 vsize=10902720 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 13020 12561 0 0 85 4 6 4 20 0 20 0 6366408 11164385280 16351 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2725680 16351 3232 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720

[startup+1.50109 s]
/proc/loadavg: 2.12 1.84 1.74 3/281 17649
/proc/meminfo: memFree=30940156/32770624 swapFree=5720/286260
[pid=17575] ppid=17572 vsize=10913344 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 28134 12561 0 0 203 13 6 4 20 0 20 0 6366408 11175264256 44682 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2728336 44682 3407 1 0 2716450 0
[pid=17575/tid=17631] ppid=17572 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 19988 12561 0 0 127 5 6 4 20 0 20 0 6366420 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285850592808 140285459901576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 33 12561 0 0 0 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 30 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 16 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 133 12561 0 0 0 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 15 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 47 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 19 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 38 12561 0 0 1 0 6 4 20 0 20 0 6366421 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 1439 12561 0 0 1 0 6 4 20 0 20 0 6366423 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 56 12561 0 0 0 0 6 4 20 0 20 0 6366424 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285319799776 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 44 12561 0 0 0 0 6 4 20 0 20 0 6366424 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) S 17572 17575 16473 0 -1 1077944384 890 12561 0 0 13 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285316643312 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10913344 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) R 17572 17575 16473 0 -1 4202560 528 12561 0 0 9 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285315576736 140285825619328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 1382 12561 0 0 14 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) R 17572 17575 16473 0 -1 4202560 1336 12561 0 0 26 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375830 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366429 11175264256 44682 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344

[startup+3.10124 s]
/proc/loadavg: 2.12 1.84 1.74 6/281 17649
/proc/meminfo: memFree=30869816/32770624 swapFree=5720/286184
[pid=17575] ppid=17572 vsize=10925820 CPUtime=7.23 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 44972 12561 0 0 695 18 6 4 20 0 20 0 6366408 11188039680 57733 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2731455 57733 3478 1 0 2719010 0
[pid=17575/tid=17631] ppid=17572 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 26887 12561 0 0 283 8 6 4 20 0 20 0 6366420 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285850594640 140285830407525 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 33 12561 0 0 0 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 30 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 16 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 133 12561 0 0 0 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 15 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 47 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 19 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 38 12561 0 0 1 0 6 4 20 0 20 0 6366421 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 1866 12561 0 0 1 0 6 4 20 0 20 0 6366423 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 56 12561 0 0 0 0 6 4 20 0 20 0 6366424 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285319799776 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 44 12561 0 0 0 0 6 4 20 0 20 0 6366424 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10925820 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) R 17572 17575 16473 0 -1 4202560 4849 12561 0 0 113 1 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285316634640 140285829856335 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10925820 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) R 17572 17575 16473 0 -1 4202560 1380 12561 0 0 78 0 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285315578320 140285846385242 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10925820 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) R 17572 17575 16473 0 -1 4202560 2214 12561 0 0 85 0 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285314538144 140285846385242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10925820 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 5203 12561 0 0 122 1 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 5 12561 0 0 0 0 6 4 20 0 20 0 6366429 11188039680 57733 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 10925820

[startup+6.30079 s]
/proc/loadavg: 2.35 1.89 1.76 6/281 17649
/proc/meminfo: memFree=30681624/32770624 swapFree=5720/286184
[pid=17575] ppid=17572 vsize=10997500 CPUtime=18.32 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 75283 12561 0 0 1788 34 6 4 20 0 20 0 6366408 11261440000 104458 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2749375 104458 3512 1 0 2736930 0
[pid=17575/tid=17631] ppid=17572 vsize=10997500 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 39951 12561 0 0 589 11 6 4 20 0 20 0 6366420 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285850597464 140285463986094 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 57 12561 0 0 5 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 77 12561 0 0 7 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 28 12561 0 0 5 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 178 12561 0 0 6 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 774 12561 0 0 6 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 144 12561 0 0 7 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 82 12561 0 0 6 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 81 12561 0 0 5 1 6 4 20 0 20 0 6366421 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10997500 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 2585 12561 0 0 4 0 6 4 20 0 20 0 6366423 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 57 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285319799840 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 44 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10997500 CPUtime=3.45 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) S 17572 17575 16473 0 -1 1077944384 10830 12561 0 0 333 2 6 4 20 0 20 0 6366428 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285316643312 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10997500 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) S 17572 17575 16473 0 -1 1077944384 4060 12561 0 0 277 1 6 4 20 0 20 0 6366428 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285315590768 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10997500 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 7321 12561 0 0 314 2 6 4 20 0 20 0 6366428 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10997500 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 6869 12561 0 0 217 2 6 4 20 0 20 0 6366428 11261440000 104458 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15

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

[pid=17575/tid=17645] ppid=17572 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) S 17572 17575 16473 0 -1 1077944384 16523 12561 0 0 717 4 6 4 20 0 20 0 6366428 11261440000 110089 33554432000 4194304 4196468 140737349538480 140285315590768 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10997500 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 17036 12561 0 0 764 5 6 4 20 0 20 0 6366428 11261440000 110089 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10997500 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 16889 12561 0 0 363 5 6 4 20 0 20 0 6366428 11261440000 110089 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 110089 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10997500 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 1421 12561 0 0 53 57 6 4 20 0 20 0 6366429 11261440000 110089 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 2218.89
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 1.29 1.39 1.46 3/281 17997
/proc/meminfo: memFree=30260688/32770624 swapFree=5720/288364
[pid=17575] ppid=17572 vsize=10997500 CPUtime=2280.21 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 210313 12561 0 0 227566 445 6 4 20 0 20 0 6366408 11261440000 113689 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2749375 113689 3517 1 0 2736930 0
[pid=17575/tid=17631] ppid=17572 vsize=10997500 CPUtime=2184.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 80726 12561 0 0 218431 38 6 4 20 0 20 0 6366420 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285850597680 140285468214412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10997500 CPUtime=7.81 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 4545 12561 0 0 735 36 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10997500 CPUtime=7.73 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 4859 12561 0 0 725 38 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10997500 CPUtime=7.84 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 4418 12561 0 0 735 39 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10997500 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 4469 12561 0 0 727 39 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10997500 CPUtime=7.77 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 8332 12561 0 0 727 40 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10997500 CPUtime=7.82 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 6390 12561 0 0 733 39 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10997500 CPUtime=7.86 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 7573 12561 0 0 734 42 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10997500 CPUtime=7.8 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 3290 12561 0 0 730 40 6 4 20 0 20 0 6366421 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10997500 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 14707 12561 0 0 567 51 6 4 20 0 20 0 6366423 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 59 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285319799840 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 46 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10997500 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) S 17572 17575 16473 0 -1 1077944384 16624 12561 0 0 774 4 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285316643312 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) S 17572 17575 16473 0 -1 1077944384 16523 12561 0 0 717 4 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285315590768 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10997500 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 17036 12561 0 0 764 5 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10997500 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 17152 12561 0 0 363 5 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10997500 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 1427 12561 0 0 54 59 6 4 20 0 20 0 6366429 11261440000 113689 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 2280.21
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.65 1.47 1.48 3/281 17998
/proc/meminfo: memFree=30272336/32770624 swapFree=5720/288432
[pid=17575] ppid=17572 vsize=10997500 CPUtime=2341.64 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 214805 12561 0 0 233700 454 6 4 20 0 20 0 6366408 11261440000 110831 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2749375 110831 3517 1 0 2736930 0
[pid=17575/tid=17631] ppid=17572 vsize=10997500 CPUtime=2244.31 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 84144 12561 0 0 224382 39 6 4 20 0 20 0 6366420 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285850597952 140285479111093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10997500 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 4600 12561 0 0 755 37 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10997500 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 4960 12561 0 0 743 39 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10997500 CPUtime=8.05 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 4707 12561 0 0 756 39 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10997500 CPUtime=7.99 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 4608 12561 0 0 750 39 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10997500 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 8372 12561 0 0 749 41 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10997500 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 6447 12561 0 0 753 40 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10997500 CPUtime=8.08 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 7645 12561 0 0 754 44 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10997500 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 3357 12561 0 0 751 41 6 4 20 0 20 0 6366421 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10997500 CPUtime=6.44 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 14936 12561 0 0 582 52 6 4 20 0 20 0 6366423 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 59 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285319799840 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 46 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10997500 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) S 17572 17575 16473 0 -1 1077944384 16626 12561 0 0 774 4 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285316643312 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) S 17572 17575 16473 0 -1 1077944384 16525 12561 0 0 717 4 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285315590768 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10997500 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 17038 12561 0 0 764 5 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10997500 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 17154 12561 0 0 363 5 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10997500 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 1444 12561 0 0 56 60 6 4 20 0 20 0 6366429 11261440000 110831 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 2341.64
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2319.2 s]
/proc/loadavg: 1.60 1.49 1.49 3/281 17999
/proc/meminfo: memFree=30288080/32770624 swapFree=5720/288488
[pid=17575] ppid=17572 vsize=10997500 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/17575/stat : 17575 (java) S 17572 17575 16473 0 -1 1077944320 218702 12561 0 0 239533 464 6 4 20 0 20 0 6366408 11261440000 106849 33554432000 4194304 4196468 140737349538480 140737349521024 140285846363895 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
/proc/17575/statm: 2749375 106849 3517 1 0 2736930 0
[pid=17575/tid=17631] ppid=17572 vsize=10997500 CPUtime=2300.72 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17631/stat : 17631 (java) R 17572 17575 16473 0 -1 4202560 85794 12561 0 0 230022 40 6 4 20 0 20 0 6366420 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285850598160 140285479111412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17632] ppid=17572 vsize=10997500 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17632/stat : 17632 (java) S 17572 17575 16473 0 -1 1077944384 4934 12561 0 0 776 38 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285783054608 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17633] ppid=17572 vsize=10997500 CPUtime=8.13 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17633/stat : 17633 (java) S 17572 17575 16473 0 -1 1077944384 5051 12561 0 0 763 40 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285782002064 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17634] ppid=17572 vsize=10997500 CPUtime=8.27 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17634/stat : 17634 (java) S 17572 17575 16473 0 -1 1077944384 4797 12561 0 0 777 40 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285780949520 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17635] ppid=17572 vsize=10997500 CPUtime=8.21 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17635/stat : 17635 (java) S 17572 17575 16473 0 -1 1077944384 4775 12561 0 0 771 40 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285779896976 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17636] ppid=17572 vsize=10997500 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17636/stat : 17636 (java) S 17572 17575 16473 0 -1 1077944384 8527 12561 0 0 771 41 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285449202448 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17637] ppid=17572 vsize=10997500 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17637/stat : 17637 (java) S 17572 17575 16473 0 -1 1077944384 6532 12561 0 0 773 41 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285448149904 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17638] ppid=17572 vsize=10997500 CPUtime=8.32 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17638/stat : 17638 (java) S 17572 17575 16473 0 -1 1077944384 7761 12561 0 0 778 44 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285447097360 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17639] ppid=17572 vsize=10997500 CPUtime=8.26 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17639/stat : 17639 (java) S 17572 17575 16473 0 -1 1077944384 3538 12561 0 0 774 42 6 4 20 0 20 0 6366421 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285446044816 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17640] ppid=17572 vsize=10997500 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17640/stat : 17640 (java) S 17572 17575 16473 0 -1 1077944384 14981 12561 0 0 599 54 6 4 20 0 20 0 6366423 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285320853488 140285846375042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17641] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17641/stat : 17641 (java) S 17572 17575 16473 0 -1 1077944384 59 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285319799840 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17642] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17642/stat : 17642 (java) S 17572 17575 16473 0 -1 1077944384 46 12561 0 0 0 0 6 4 20 0 20 0 6366424 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285318747136 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17643] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17643/stat : 17643 (java) S 17572 17575 16473 0 -1 1077944384 1 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285317695696 140285846382491 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17644] ppid=17572 vsize=10997500 CPUtime=7.89 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17644/stat : 17644 (java) S 17572 17575 16473 0 -1 1077944384 16830 12561 0 0 775 4 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285316643312 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17645] ppid=17572 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17645/stat : 17645 (java) S 17572 17575 16473 0 -1 1077944384 16527 12561 0 0 717 4 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285315590768 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17646] ppid=17572 vsize=10997500 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17646/stat : 17646 (java) S 17572 17575 16473 0 -1 1077944384 17283 12561 0 0 764 5 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285314538224 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17647] ppid=17572 vsize=10997500 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17647/stat : 17647 (java) S 17572 17575 16473 0 -1 1077944384 17676 12561 0 0 364 5 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285313485680 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17648] ppid=17572 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17648/stat : 17648 (java) S 17572 17575 16473 0 -1 1077944384 3 12561 0 0 0 0 6 4 20 0 20 0 6366428 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285312432352 140285846374101 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
[pid=17575/tid=17649] ppid=17572 vsize=10997500 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/17575/task/17649/stat : 17649 (java) S 17572 17575 16473 0 -1 1077944384 1454 12561 0 0 58 61 6 4 20 0 20 0 6366429 11261440000 106849 33554432000 4194304 4196468 140737349538480 140285311379888 140285846375042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 23113728 140737349544641 140737349547415 140737349547415 140737349550031 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500

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

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

Child status: 143
Real time (s): 2319.24
CPU time (s): 2400.13
CPU user time (s): 2395.43
CPU system time (s): 4.69963
CPU usage (%): 103.488
Max. virtual memory (cumulated for all children) (KiB): 10997568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.43
system time used= 4.69963
maximum resident set size= 1168940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276428
involuntary context switches= 171593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1237 second user time and 20.1842 second system time

The end

Launcher Data

Begin job on node114 at 2017-07-22 10:09:32
IDJOB=4246185
IDBENCH=124212
IDSOLVER=2630
FILE ID=node114/4246185-1500710972
RUNJOBID= node114-1500696853-12414
PBS_JOBID= 20623324
Free space on /tmp= 61988 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246185-1500710972/watcher-4246185-1500710972 -o /tmp/evaluation-result-4246185-1500710972/solver-4246185-1500710972 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12414 --watchdog 2560  bin/concrete HOME/instance-4246185-1500710972.xml

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

MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933
RANDOM SEED=259704446

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31050188 kB
MemAvailable:   31312348 kB
Buffers:          137616 kB
Cached:           403008 kB
SwapCached:            0 kB
Active:           981460 kB
Inactive:         294964 kB
Active(anon):     738236 kB
Inactive(anon):     8828 kB
Active(file):     243224 kB
Inactive(file):   286136 kB
Unevictable:        5720 kB
Mlocked:            5720 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24304 kB
Writeback:            16 kB
AnonPages:        740508 kB
Mapped:            44308 kB
Shmem:              8848 kB
Slab:             131232 kB
SReclaimable:      97268 kB
SUnreclaim:        33964 kB
KernelStack:        4496 kB
PageTables:         7704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1462476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61964 MiB
End job on node114 at 2017-07-22 10:48:12

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

Trace number 4246185

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