Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 122 | 2400.38 | 302.528 |
| 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 |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246181-1500687078.xml" -tl '2400s' -p 8 -x 3 0.00/0.20 c [HOME/instance-4246181-1500687078.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 0.00/0.99 c solve instance... 10.07/1.90 o 171 13.31/2.36 o 170 16.33/2.75 o 169 32.20/4.79 o 168 35.34/5.14 o 167 37.68/5.48 o 166 39.99/5.79 o 165 43.14/6.12 o 164 45.45/6.44 o 163 57.32/7.93 o 162 59.65/8.24 o 161 61.99/8.55 o 160 85.80/11.59 o 159 88.89/11.93 o 158 91.34/12.22 o 157 93.58/12.52 o 156 95.95/12.80 o 155 98.31/13.11 o 154 100.62/13.42 o 153 102.89/13.73 o 152 105.13/14.03 o 151 107.57/14.32 o 150 109.83/14.62 o 149 121.71/16.11 o 148 124.01/16.40 o 147 125.66/16.68 o 146 139.85/18.41 o 145 141.42/18.70 o 144 144.54/19.00 o 143 158.85/20.82 o 142 161.21/21.13 o 141 163.48/21.41 o 140 165.06/21.70 o 139 167.44/21.98 o 138 169.80/22.25 o 137 200.81/26.19 o 136 203.20/26.47 o 135 205.43/26.79 o 134 207.74/27.07 o 133 210.11/27.36 o 132 212.57/27.66 o 131 214.83/27.95 o 130 217.19/28.22 o 129 219.47/28.51 o 128 221.11/28.78 o 127 223.26/29.07 o 126 225.60/29.33 o 125 227.97/29.61 o 124 230.28/29.91 o 123 231.80/30.19 o 122 2400.38/302.56 s SATISFIABLE 2400.38/302.56 v <instantiation> 2400.38/302.56 v <list>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] </list> 2400.38/302.56 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2400.38/302.56 v </instantiation> 2400.38/302.56 c Unexpected resolution interruption!
OK 122
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-4246181-1500687078/watcher-4246181-1500687078 -o /tmp/evaluation-result-4246181-1500687078/solver-4246181-1500687078 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1881105034 HOME/instance-4246181-1500687078.xml pid=4433 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: 14.38 13.18 13.68 10/272 4436 /proc/meminfo: memFree=31360628/32770624 swapFree=5700/252256 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [startup+0.10011 s] /proc/loadavg: 14.38 13.18 13.68 10/272 4436 /proc/meminfo: memFree=31360628/32770624 swapFree=5700/252256 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200363 s] /proc/loadavg: 14.38 13.18 13.68 10/272 4436 /proc/meminfo: memFree=31360628/32770624 swapFree=5700/252256 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300329 s] /proc/loadavg: 14.38 13.18 13.68 10/272 4436 /proc/meminfo: memFree=31360628/32770624 swapFree=5700/252256 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700222 s] /proc/loadavg: 14.38 13.18 13.68 10/272 4436 /proc/meminfo: memFree=31360628/32770624 swapFree=5700/252256 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50151 s] /proc/loadavg: 14.38 13.18 13.68 21/301 4465 /proc/meminfo: memFree=31181912/32770624 swapFree=5700/252324 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [pid=4437] ppid=4436 vsize=13801768 CPUtime=6.9 cores=1,3,5,7,9,11,13,15 /proc/4437/stat : 4437 (java) S 4436 4436 7102 0 -1 1077944320 18037 0 0 0 665 25 0 0 20 0 28 0 3975312 14133010432 58160 33554432000 4194304 4196468 140732378203024 140732378185568 140326640750327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 /proc/4437/statm: 3450442 58160 3245 1 0 3437675 0 [pid=4437/tid=4438] ppid=4436 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4438/stat : 4438 (java) S 4436 4436 7102 0 -1 1077944384 6791 0 0 0 94 4 0 0 20 0 28 0 3975312 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326644991104 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4440] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4440/stat : 4440 (java) S 4436 4436 7102 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326593370640 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4441] ppid=4436 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4441/stat : 4441 (java) S 4436 4436 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326592318096 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4442] ppid=4436 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4442/stat : 4442 (java) S 4436 4436 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326591265040 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4443] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4443/stat : 4443 (java) S 4436 4436 7102 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326590212496 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4444] ppid=4436 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4444/stat : 4444 (java) S 4436 4436 7102 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326589160464 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4445] ppid=4436 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4445/stat : 4445 (java) S 4436 4436 7102 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326588107920 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4446] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4446/stat : 4446 (java) S 4436 4436 7102 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326587054864 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4447] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4447/stat : 4447 (java) S 4436 4436 7102 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 3975313 14133010432 58160 33554432000 4194304 4196468 140732378203024 140326586002320 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4448] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4448/stat : 4448 (java) S 4436 4436 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325767047408 140326640761474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4449] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4449/stat : 4449 (java) S 4436 4436 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325765993632 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4450] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4450/stat : 4450 (java) S 4436 4436 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3975317 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325764940528 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4451] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4451/stat : 4451 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325763889104 140326640768923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4452] ppid=4436 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4452/stat : 4452 (java) R 4436 4436 7102 0 -1 4202560 2342 0 0 0 80 1 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325762823776 140326622278478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4453] ppid=4436 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4453/stat : 4453 (java) R 4436 4436 7102 0 -1 4202560 2078 0 0 0 85 0 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325761770568 140326618900867 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4454] ppid=4436 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4454/stat : 4454 (java) R 4436 4436 7102 0 -1 4202560 2204 0 0 0 83 1 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325760720432 140326621929946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4455] ppid=4436 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4455/stat : 4455 (java) S 4436 4436 7102 0 -1 1077944384 2698 0 0 0 73 0 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325759679088 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4456] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4456/stat : 4456 (java) S 4436 4436 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325758626272 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4457] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4457/stat : 4457 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325757573808 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4458] ppid=4436 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4458/stat : 4458 (java) R 4436 4436 7102 0 -1 4202560 53 0 0 0 31 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325749559624 140326267378916 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4459] ppid=4436 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4459/stat : 4459 (java) R 4436 4436 7102 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325748504880 140326267378969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4460] ppid=4436 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4460/stat : 4460 (java) R 4436 4436 7102 0 -1 4202560 42 0 0 0 24 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325747456664 140326267379019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4461] ppid=4436 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4461/stat : 4461 (java) R 4436 4436 7102 0 -1 4202560 76 0 0 0 27 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325746401224 140326268025064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4462] ppid=4436 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4462/stat : 4462 (java) R 4436 4436 7102 0 -1 4202560 38 0 0 0 22 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325745350600 140326267838002 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4463] ppid=4436 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4463/stat : 4463 (java) R 4436 4436 7102 0 -1 4202560 29 0 0 0 25 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325744298416 140326268093477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4464] ppid=4436 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4464/stat : 4464 (java) R 4436 4436 7102 0 -1 4202560 42 0 0 0 37 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325743243048 140326267378991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4465] ppid=4436 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4465/stat : 4465 (java) R 4436 4436 7102 0 -1 4202560 30 0 0 0 29 0 0 0 20 0 28 0 3975413 14133010432 58160 33554432000 4194304 4196468 140732378203024 140325742189816 140326268092270 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 13811280 [startup+3.10124 s] /proc/loadavg: 14.38 13.18 13.68 17/301 4473 /proc/meminfo: memFree=31136380/32770624 swapFree=5700/252324 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [pid=4437] ppid=4436 vsize=13801768 CPUtime=19.48 cores=1,3,5,7,9,11,13,15 /proc/4437/stat : 4437 (java) S 4436 4436 7102 0 -1 1077944320 19144 0 0 0 1919 29 0 0 20 0 28 0 3975312 14133010432 58935 33554432000 4194304 4196468 140732378203024 140732378185568 140326640750327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 /proc/4437/statm: 3450442 58935 3268 1 0 3437675 0 [pid=4437/tid=4438] ppid=4436 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4438/stat : 4438 (java) S 4436 4436 7102 0 -1 1077944384 6794 0 0 0 96 4 0 0 20 0 28 0 3975312 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326644991104 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4440] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4440/stat : 4440 (java) S 4436 4436 7102 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326593370640 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4441] ppid=4436 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4441/stat : 4441 (java) S 4436 4436 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326592318096 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4442] ppid=4436 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4442/stat : 4442 (java) S 4436 4436 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326591265040 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4443] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4443/stat : 4443 (java) S 4436 4436 7102 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326590212496 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4444] ppid=4436 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4444/stat : 4444 (java) S 4436 4436 7102 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326589160464 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4445] ppid=4436 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4445/stat : 4445 (java) S 4436 4436 7102 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326588107920 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4446] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4446/stat : 4446 (java) S 4436 4436 7102 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326587054864 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4447] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4447/stat : 4447 (java) S 4436 4436 7102 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 3975313 14133010432 58935 33554432000 4194304 4196468 140732378203024 140326586002320 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4448] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4448/stat : 4448 (java) S 4436 4436 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325767047408 140326640761474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4449] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4449/stat : 4449 (java) S 4436 4436 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325765993632 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4450] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4450/stat : 4450 (java) S 4436 4436 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3975317 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325764940528 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4451] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4451/stat : 4451 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325763889104 140326640768923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4452] ppid=4436 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4452/stat : 4452 (java) S 4436 4436 7102 0 -1 1077944384 2423 0 0 0 137 1 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325762837232 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4453] ppid=4436 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4453/stat : 4453 (java) S 4436 4436 7102 0 -1 1077944384 2372 0 0 0 137 0 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325761784688 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4454] ppid=4436 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4454/stat : 4454 (java) R 4436 4436 7102 0 -1 4202560 2307 0 0 0 149 1 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325760717872 140326624250525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4455] ppid=4436 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4455/stat : 4455 (java) S 4436 4436 7102 0 -1 1077944384 2883 0 0 0 92 1 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325759679088 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4456] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4456/stat : 4456 (java) S 4436 4436 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325758626272 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4457] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4457/stat : 4457 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 58935 33554432000 4194304 4196468 140732378203024 140325757573808 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 Current children cumulated CPU time (s) 19.48 Current children cumulated vsize (KiB) 13811280 [startup+6.30135 s] /proc/loadavg: 14.59 13.24 13.69 18/301 4513 /proc/meminfo: memFree=31130092/32770624 swapFree=5700/252332 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [pid=4437] ppid=4436 vsize=13801768 CPUtime=44.65 cores=1,3,5,7,9,11,13,15 /proc/4437/stat : 4437 (java) S 4436 4436 7102 0 -1 1077944320 23104 0 0 0 4433 32 0 0 20 0 28 0 3975312 14133010432 60171 33554432000 4194304 4196468 140732378203024 140732378185568 140326640750327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 /proc/4437/statm: 3450442 60171 3274 1 0 3437675 0 [pid=4437/tid=4438] ppid=4436 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4438/stat : 4438 (java) S 4436 4436 7102 0 -1 1077944384 6804 0 0 0 97 4 0 0 20 0 28 0 3975312 14133010432 60171 33554432000 4194304 4196468 140732378203024 140326644991104 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4440] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4440/stat : 4440 (java) S 4436 4436 7102 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 60171 33554432000 4194304 4196468 140732378203024 140326593370640 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4441] ppid=4436 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4441/stat : 4441 (java) S 4436 4436 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3975313 14133010432 60171 33554432000 4194304 4196468 140732378203024 140326592318096 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4442] ppid=4436 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4442/stat : 4442 (java) S 4436 4436 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3975313 14133010432 60171 33554432000 4194304 4196468 140732378203024 140326591265040 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4443] ppid=4436 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4443/stat : 4443 (java) S 4436 4436 7102 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 28 0 3975313 14133010432 60171 33554432000 4194304 4196468 140732378203024 140326590212496 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 ################ # More data... # ################ /proc/4437/task/4864/stat : 4864 (java) R 4436 4436 7102 0 -1 4202560 642 0 0 0 24978 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325748506456 140326266838663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4865] ppid=4436 vsize=13801768 CPUtime=249.12 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4865/stat : 4865 (java) R 4436 4436 7102 0 -1 4202560 802 0 0 0 24911 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325743243144 140326268041865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 Current children cumulated CPU time (s) 2239.42 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.502 s] /proc/loadavg: 16.17 14.94 14.30 17/300 5077 /proc/meminfo: memFree=31163956/32770624 swapFree=5700/252808 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [pid=4437] ppid=4436 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/4437/stat : 4437 (java) S 4436 4436 7102 0 -1 1077944320 85729 0 0 0 239913 125 0 0 20 0 28 0 3975312 14133010432 157867 33554432000 4194304 4196468 140732378203024 140732378185568 140326640750327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 /proc/4437/statm: 3450442 157867 3288 1 0 3437675 0 [pid=4437/tid=4438] ppid=4436 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4438/stat : 4438 (java) S 4436 4436 7102 0 -1 1077944384 7613 0 0 0 102 5 0 0 20 0 28 0 3975312 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326644991104 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4440] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4440/stat : 4440 (java) S 4436 4436 7102 0 -1 1077944384 941 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326593370640 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4441] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4441/stat : 4441 (java) S 4436 4436 7102 0 -1 1077944384 200 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326592318096 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4442] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4442/stat : 4442 (java) S 4436 4436 7102 0 -1 1077944384 619 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326591265040 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4443] ppid=4436 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4443/stat : 4443 (java) S 4436 4436 7102 0 -1 1077944384 1098 0 0 0 10 9 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326590212496 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4444] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4444/stat : 4444 (java) S 4436 4436 7102 0 -1 1077944384 1917 0 0 0 10 7 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326589160464 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4445] ppid=4436 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4445/stat : 4445 (java) S 4436 4436 7102 0 -1 1077944384 1051 0 0 0 9 6 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326588107920 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4446] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4446/stat : 4446 (java) S 4436 4436 7102 0 -1 1077944384 515 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326587054864 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4447] ppid=4436 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4447/stat : 4447 (java) S 4436 4436 7102 0 -1 1077944384 559 0 0 0 12 7 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326586002320 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4448] ppid=4436 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4448/stat : 4448 (java) S 4436 4436 7102 0 -1 1077944384 2167 0 0 0 4 3 0 0 20 0 28 0 3975316 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325767047408 140326640761474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4449] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4449/stat : 4449 (java) S 4436 4436 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325765993696 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4450] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4450/stat : 4450 (java) S 4436 4436 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3975317 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325764940528 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4451] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4451/stat : 4451 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325763889104 140326640768923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4452] ppid=4436 vsize=13801768 CPUtime=2.95 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4452/stat : 4452 (java) S 4436 4436 7102 0 -1 1077944384 14023 0 0 0 292 3 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325762837232 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4453] ppid=4436 vsize=13801768 CPUtime=3.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4453/stat : 4453 (java) S 4436 4436 7102 0 -1 1077944384 9834 0 0 0 299 2 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325761784688 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4454] ppid=4436 vsize=13801768 CPUtime=3.32 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4454/stat : 4454 (java) S 4436 4436 7102 0 -1 1077944384 11334 0 0 0 329 3 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325760731632 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4455] ppid=4436 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4455/stat : 4455 (java) S 4436 4436 7102 0 -1 1077944384 8631 0 0 0 111 1 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325759679088 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4456] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4456/stat : 4456 (java) S 4436 4436 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325758626272 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4457] ppid=4436 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4457/stat : 4457 (java) S 4436 4436 7102 0 -1 1077944384 704 0 0 0 8 14 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325757573808 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4858] ppid=4436 vsize=13801768 CPUtime=270.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4858/stat : 4858 (java) R 4436 4436 7102 0 -1 4202560 817 0 0 0 27019 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325749558184 140326268232007 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4859] ppid=4436 vsize=13801768 CPUtime=271.3 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4859/stat : 4859 (java) R 4436 4436 7102 0 -1 4202560 778 0 0 0 27129 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325747455944 140326268867042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4860] ppid=4436 vsize=13801768 CPUtime=271.04 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4860/stat : 4860 (java) R 4436 4436 7102 0 -1 4202560 2148 0 0 0 27103 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325742191144 140326265138432 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4861] ppid=4436 vsize=13801768 CPUtime=270.42 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4861/stat : 4861 (java) R 4436 4436 7102 0 -1 4202560 3517 0 0 0 27036 6 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325744296984 140326268045474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4862] ppid=4436 vsize=13801768 CPUtime=271.9 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4862/stat : 4862 (java) R 4436 4436 7102 0 -1 4202560 1017 0 0 0 27190 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325746403576 140326268534692 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4863] ppid=4436 vsize=13801768 CPUtime=271.66 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4863/stat : 4863 (java) R 4436 4436 7102 0 -1 4202560 548 0 0 0 27166 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325745349400 140326262457376 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4864] ppid=4436 vsize=13801768 CPUtime=269.96 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4864/stat : 4864 (java) R 4436 4436 7102 0 -1 4202560 699 0 0 0 26996 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325748506456 140326268984256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4865] ppid=4436 vsize=13801768 CPUtime=269.32 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4865/stat : 4865 (java) R 4436 4436 7102 0 -1 4202560 891 0 0 0 26931 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325743243144 140326268534692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 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 4437 sig 9 ??? kill 4436 sig 9 ??? kill -4436 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.502 s] /proc/loadavg: 16.17 14.94 14.30 17/300 5077 /proc/meminfo: memFree=31163956/32770624 swapFree=5700/252808 [pid=4436] ppid=4433 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3975311 9740288 345 33554432000 4194304 5098028 140728706113568 140728706111672 139717372473980 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24334336 140728706114702 140728706114912 140728706114912 140728706117611 0 /proc/4436/statm: 2378 345 289 221 0 87 0 [pid=4437] ppid=4436 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/4437/stat : 4437 (java) S 4436 4436 7102 0 -1 1077944320 85729 0 0 0 239913 125 0 0 20 0 28 0 3975312 14133010432 157867 33554432000 4194304 4196468 140732378203024 140732378185568 140326640750327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 /proc/4437/statm: 3450442 157867 3288 1 0 3437675 0 [pid=4437/tid=4438] ppid=4436 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4438/stat : 4438 (java) S 4436 4436 7102 0 -1 1077944384 7613 0 0 0 102 5 0 0 20 0 28 0 3975312 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326644991104 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4440] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4440/stat : 4440 (java) S 4436 4436 7102 0 -1 1077944384 941 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326593370640 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4441] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4441/stat : 4441 (java) S 4436 4436 7102 0 -1 1077944384 200 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326592318096 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4442] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4442/stat : 4442 (java) S 4436 4436 7102 0 -1 1077944384 619 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326591265040 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4443] ppid=4436 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4443/stat : 4443 (java) S 4436 4436 7102 0 -1 1077944384 1098 0 0 0 10 9 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326590212496 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4444] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4444/stat : 4444 (java) S 4436 4436 7102 0 -1 1077944384 1917 0 0 0 10 7 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326589160464 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4445] ppid=4436 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4445/stat : 4445 (java) S 4436 4436 7102 0 -1 1077944384 1051 0 0 0 9 6 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326588107920 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4446] ppid=4436 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4446/stat : 4446 (java) S 4436 4436 7102 0 -1 1077944384 515 0 0 0 9 8 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326587054864 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4447] ppid=4436 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4447/stat : 4447 (java) S 4436 4436 7102 0 -1 1077944384 559 0 0 0 12 7 0 0 20 0 28 0 3975313 14133010432 157867 33554432000 4194304 4196468 140732378203024 140326586002320 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4448] ppid=4436 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4448/stat : 4448 (java) S 4436 4436 7102 0 -1 1077944384 2167 0 0 0 4 3 0 0 20 0 28 0 3975316 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325767047408 140326640761474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4449] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4449/stat : 4449 (java) S 4436 4436 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 3975316 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325765993696 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4450] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4450/stat : 4450 (java) S 4436 4436 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3975317 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325764940528 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4451] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4451/stat : 4451 (java) S 4436 4436 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325763889104 140326640768923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4452] ppid=4436 vsize=13801768 CPUtime=2.95 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4452/stat : 4452 (java) S 4436 4436 7102 0 -1 1077944384 14023 0 0 0 292 3 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325762837232 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4453] ppid=4436 vsize=13801768 CPUtime=3.01 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4453/stat : 4453 (java) S 4436 4436 7102 0 -1 1077944384 9834 0 0 0 299 2 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325761784688 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4454] ppid=4436 vsize=13801768 CPUtime=3.32 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4454/stat : 4454 (java) S 4436 4436 7102 0 -1 1077944384 11334 0 0 0 329 3 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325760731632 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4455] ppid=4436 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4455/stat : 4455 (java) S 4436 4436 7102 0 -1 1077944384 8631 0 0 0 111 1 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325759679088 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4456] ppid=4436 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4456/stat : 4456 (java) S 4436 4436 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325758626272 140326640760533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4457] ppid=4436 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4457/stat : 4457 (java) S 4436 4436 7102 0 -1 1077944384 704 0 0 0 8 14 0 0 20 0 28 0 3975321 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325757573808 140326640761474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4858] ppid=4436 vsize=13801768 CPUtime=270.19 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4858/stat : 4858 (java) R 4436 4436 7102 0 -1 4202560 817 0 0 0 27019 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325749558184 140326268232007 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4859] ppid=4436 vsize=13801768 CPUtime=271.3 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4859/stat : 4859 (java) R 4436 4436 7102 0 -1 4202560 778 0 0 0 27129 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325747455944 140326268867042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4860] ppid=4436 vsize=13801768 CPUtime=271.04 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4860/stat : 4860 (java) R 4436 4436 7102 0 -1 4202560 2148 0 0 0 27103 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325742191144 140326265138432 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4861] ppid=4436 vsize=13801768 CPUtime=270.42 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4861/stat : 4861 (java) R 4436 4436 7102 0 -1 4202560 3517 0 0 0 27036 6 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325744296984 140326268045474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4862] ppid=4436 vsize=13801768 CPUtime=271.9 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4862/stat : 4862 (java) R 4436 4436 7102 0 -1 4202560 1017 0 0 0 27190 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325746403576 140326268534692 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4863] ppid=4436 vsize=13801768 CPUtime=271.66 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4863/stat : 4863 (java) R 4436 4436 7102 0 -1 4202560 548 0 0 0 27166 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325745349400 140326262457376 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4864] ppid=4436 vsize=13801768 CPUtime=269.96 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4864/stat : 4864 (java) R 4436 4436 7102 0 -1 4202560 699 0 0 0 26996 0 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325748506456 140326268984256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 [pid=4437/tid=4865] ppid=4436 vsize=13801768 CPUtime=269.32 cores=1,3,5,7,9,11,13,15 /proc/4437/task/4865/stat : 4865 (java) R 4436 4436 7102 0 -1 4202560 891 0 0 0 26931 1 0 0 20 0 28 0 3978331 14133010432 157867 33554432000 4194304 4196468 140732378203024 140325743243144 140326268534692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20324352 140732378207420 140732378207596 140732378207596 140732378210255 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4436 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2159 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1079 # CPU time returned by wait4() is 0.003238 # while last known CPU time is 2400.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.528 CPU time (s): 2400.38 CPU user time (s): 2399.13 CPU system time (s): 1.25 CPU usage (%): 793.44 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002159 system time used= 0.001079 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.08686 second user time and 4.50999 second system time The end
Begin job on node130 at 2017-07-22 03:31:18 IDJOB=4246181 IDBENCH=124212 IDSOLVER=2626 FILE ID=node130/4246181-1500687078 RUNJOBID= node130-1500684118-8560 PBS_JOBID= 20623029 Free space on /tmp= 61952 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246181-1500687078/watcher-4246181-1500687078 -o /tmp/evaluation-result-4246181-1500687078/solver-4246181-1500687078 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1881105034 HOME/instance-4246181-1500687078.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=1881105034 node130.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.34 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 : 2668.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.34 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 : 1733.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 : 2668.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.34 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 : 2400.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 : 2668.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.34 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 : 2400.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 : 2668.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.34 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 : 2668.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.34 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 : 2668.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.34 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 : 1600.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 : 2668.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.34 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: 31360304 kB MemAvailable: 31420596 kB Buffers: 55556 kB Cached: 315016 kB SwapCached: 0 kB Active: 776448 kB Inactive: 261112 kB Active(anon): 669544 kB Inactive(anon): 8856 kB Active(file): 106904 kB Inactive(file): 252256 kB Unevictable: 5700 kB Mlocked: 5700 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 672628 kB Mapped: 42444 kB Shmem: 8876 kB Slab: 67880 kB SReclaimable: 33932 kB SUnreclaim: 33948 kB KernelStack: 4768 kB PageTables: 6672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1653348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61944 MiB End job on node130 at 2017-07-22 03:36:21