Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 89 | 2400.03 | 2394.52 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml |
| MD5SUM | 21aab71f6f536658a77b49f0e4f1f876 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 89 |
| Best CPU time to get the best result obtained on this benchmark | 7.90115 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2772 |
| Number of constraints | 154 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 17 |
| Distribution of domain sizes | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2772}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2640 |
| Distribution of constraint arities | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"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":152}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406537-1569397367.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406537-1569397367.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 1.01/0.58 c solve instance... 91.32/88.39 o 129 91.44/88.41 o 128 91.44/88.43 o 127 91.72/88.63 o 126 93.32/89.82 o 125 94.20/90.55 o 124 94.31/90.61 o 123 94.31/90.66 o 122 94.43/90.74 o 121 100.76/96.97 o 120 100.76/97.00 o 119 100.87/97.04 o 118 100.97/97.11 o 117 102.29/98.44 o 116 103.74/99.84 o 115 103.96/100.08 o 114 107.16/103.23 o 113 108.26/104.35 o 112 117.97/113.96 o 111 221.05/216.82 o 110 223.38/219.15 o 109 229.38/225.11 o 108 315.61/311.23 o 107 541.80/537.37 o 106 541.90/537.48 o 105 562.71/558.28 o 104 568.82/564.37 o 103 569.02/564.56 o 102 582.93/578.49 o 101 628.76/624.25 o 100 629.57/625.06 o 99 629.76/625.24 o 98 631.56/627.02 o 97 634.67/630.14 o 96 642.36/637.86 o 95 647.06/642.56 o 94 699.69/695.18 o 93 700.11/695.55 o 92 700.91/696.38 o 91 702.91/698.36 o 90 703.62/699.07 o 89 2400.00/2394.50 s SATISFIABLE 2400.00/2394.50 v <instantiation> 2400.00/2394.50 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] 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] </list> 2400.00/2394.50 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 2 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.00/2394.50 v </instantiation> 2400.00/2394.50 c Unexpected resolution interruption!
OK 89
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12965 MiB free)
memory of node 1: 16384 MiB (11260 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406537-1569397367/watcher-4406537-1569397367 -o /tmp/evaluation-result-4406537-1569397367/solver-4406537-1569397367 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4099 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406537-1569397367.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4590, runsolver pid=4587
Current StackSize limit: 8192 KiB
[startup+0.100559 s]*
/proc/loadavg: 1.84 1.62 0.98 4/230 4608
/proc/meminfo: memFree=24783444/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15144776 memory=29032 CPUtime=0.13 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 5659 0 0 0 12 1 0 0 20 0 15 0 516005565 15508250624 7258 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3786194 7258 3152 1 0 3748377 0
[pid=4592/tid=4593] ppid=4590 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 3561 0 0 0 9 0 0 0 20 0 15 0 516005565 15508250624 7258 33554432000 4194304 4196468 140728337793120 140117891605376 140117865398433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 7258 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15144776 memory=288370866148587136 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 7258 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 7258 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 7258 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116760204320 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116759151472 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15144776 memory=140489996875392 CPUtime=0.02 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) R 4590 4590 4066 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116754942576 140117866326041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 7258 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30480 KiB
[startup+0.211321 s]*
/proc/loadavg: 1.84 1.62 0.98 6/230 4608
/proc/meminfo: memFree=24772252/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15144776 memory=41004 CPUtime=0.34 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 9475 0 0 0 32 2 0 0 20 0 15 0 516005565 15508250624 10251 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3786194 10251 3302 1 0 3748377 0
[pid=4592/tid=4593] ppid=4590 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 516005565 15508250624 10251 33554432000 4194304 4196468 140728337793120 140117891603904 140117871449438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15144776 memory=1946936 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 10251 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15144776 memory=140489996888554 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 10251 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 10251 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15508250624 10251 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15144776 memory=140489996875392 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116760204320 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516005568 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116759151472 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) R 4590 4590 4066 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) R 4590 4590 4066 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15144776 memory=140489996875392 CPUtime=0.08 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) R 4590 4590 4066 0 -1 4202560 800 0 0 0 8 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116754942576 140117887390298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005571 15508250624 10251 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42452 KiB
[startup+0.318323 s]*
/proc/loadavg: 1.84 1.62 0.98 4/230 4608
/proc/meminfo: memFree=24742880/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15149032 memory=50584 CPUtime=0.54 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 10965 0 0 0 50 4 0 0 20 0 15 0 516005565 15512608768 12646 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3787258 12646 3364 1 0 3748377 0
[pid=4592/tid=4593] ppid=4590 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 7876 0 0 0 28 2 0 0 20 0 15 0 516005565 15512608768 12646 33554432000 4194304 4196468 140728337793120 140117891603968 140117887390877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15512608768 12646 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15512608768 12646 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15512608768 12646 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15512608768 12646 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516005568 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516005568 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116760204320 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516005568 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116759151472 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15149032 memory=-8412660965215072671 CPUtime=0.05 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 813 0 0 0 5 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 108 0 0 0 4 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005571 15512608768 12646 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52032 KiB
[startup+0.701348 s]
/proc/loadavg: 1.84 1.62 0.98 5/230 4608
/proc/meminfo: memFree=24729592/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15151156 memory=75504 CPUtime=1.61 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 14152 0 0 0 156 5 0 0 20 0 15 0 516005565 15514783744 18876 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3787789 18876 3460 1 0 3748889 0
[pid=4592/tid=4593] ppid=4590 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 9144 0 0 0 64 3 0 0 20 0 15 0 516005565 15514783744 18876 33554432000 4194304 4196468 140728337793120 140117891607120 140117486633152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15514783744 18876 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15514783744 18876 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005566 15514783744 18876 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516005566 15514783744 18876 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116760204320 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116759151472 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15151156 memory=620 CPUtime=0.28 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) R 4590 4590 4066 0 -1 4202560 1257 0 0 0 28 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116757034744 140117864963982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15151156 memory=1496 CPUtime=0.28 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) R 4590 4590 4066 0 -1 4202560 953 0 0 0 28 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116755986704 140117872493712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15151156 memory=1016 CPUtime=0.35 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 1491 0 0 0 35 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15151156 memory=6072 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 18876 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76952 KiB
[startup+1.50084 s]
/proc/loadavg: 1.84 1.62 0.98 3/230 4608
/proc/meminfo: memFree=25252056/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116759151488 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15151156 memory=780 CPUtime=1.96 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 17444 0 0 0 194 2 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15151156 memory=1448 CPUtime=2.01 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 15193 0 0 0 199 2 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15151156 memory=1448 CPUtime=0.57 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 8380 0 0 0 56 1 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15151156 memory=780 CPUtime=0.47 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1375 0 0 0 22 25 0 0 20 0 15 0 516005571 15514783744 41096 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 2327.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 165832 KiB
[startup+2382.3 s]
/proc/loadavg: 1.83 1.83 1.78 3/229 5398
/proc/meminfo: memFree=25088600/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15151156 memory=166432 CPUtime=2387.8 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 80241 0 0 0 238736 44 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3787789 41608 3515 1 0 3748889 0
[pid=4592/tid=4593] ppid=4590 vsize=15151156 memory=166432 CPUtime=2381.68 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 21041 0 0 0 238159 9 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117891608288 140117490358549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2976 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 3092 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.2 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 3077 0 0 0 18 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2150 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.17 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 4069 0 0 0 15 2 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116760204384 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15151156 memory=164384 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116759151488 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15151156 memory=1448 CPUtime=1.96 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 17446 0 0 0 194 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15151156 memory=166432 CPUtime=2.01 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 15195 0 0 0 199 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15151156 memory=916 CPUtime=0.57 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 8382 0 0 0 56 1 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.49 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1396 0 0 0 23 26 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 2387.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 167880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2394.5 s]
/proc/loadavg: 1.85 1.84 1.78 3/229 5400
/proc/meminfo: memFree=25088500/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15151156 memory=166432 CPUtime=2400 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 80259 0 0 0 239956 44 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3787789 41608 3515 1 0 3748889 0
[pid=4592/tid=4593] ppid=4590 vsize=15151156 memory=166432 CPUtime=2393.88 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 21057 0 0 0 239379 9 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117891608288 140117487489996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2976 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 3092 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.2 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 3077 0 0 0 18 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2150 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.17 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 4069 0 0 0 15 2 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15151156 memory=166432 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116760204384 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116759151488 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15151156 memory=3656 CPUtime=1.96 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 17446 0 0 0 194 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15151156 memory=164384 CPUtime=2.01 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 15195 0 0 0 199 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15151156 memory=8112282956445269571 CPUtime=0.57 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 8382 0 0 0 56 1 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15151156 memory=1448 CPUtime=0.49 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1398 0 0 0 23 26 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 167880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2394.51 s]
# the end of solver process 4590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002594 s, system=0 s
[startup+2394.52 s]
# the end of solver process 4592 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.58 s, system=0.451054 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2394.5 s]
/proc/loadavg: 1.85 1.84 1.78 3/229 5400
/proc/meminfo: memFree=25088500/32770624 swapFree=66959728/67108860
[pid=4590] ppid=4587 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4590/stat : 4590 (xcsp3-exec) S 4587 4590 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516005565 115843072 362 33554432000 4194304 5098028 140733396058192 140733396056296 139902894371452 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14262272 140733396067196 140733396067437 140733396067437 140733396070346 0
/proc/4590/statm: 28282 362 304 221 0 87 0
[pid=4592] ppid=4590 vsize=15151156 memory=166432 CPUtime=2400 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4590 4590 4066 0 -1 1077944320 80259 0 0 0 239956 44 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140728337775664 140117887368951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
/proc/4592/statm: 3787789 41608 3515 1 0 3748889 0
[pid=4592/tid=4593] ppid=4590 vsize=15151156 memory=166432 CPUtime=2393.88 cores=1,3,5,7
/proc/4592/task/4593/stat : 4593 (java) R 4590 4590 4066 0 -1 4202560 21057 0 0 0 239379 9 0 0 20 0 15 0 516005565 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117891608288 140117487489996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4594] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4590 4590 4066 0 -1 1077944384 2976 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117815409808 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4595] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4590 4590 4066 0 -1 1077944384 3092 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117814357008 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4596] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.2 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4590 4590 4066 0 -1 1077944384 3077 0 0 0 18 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117813304208 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4597] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.21 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4590 4590 4066 0 -1 1077944384 2150 0 0 0 19 2 0 0 20 0 15 0 516005566 15514783744 41608 33554432000 4194304 4196468 140728337793120 140117812251408 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4598] ppid=4590 vsize=15151156 memory=166432 CPUtime=0.17 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4590 4590 4066 0 -1 1077944384 4069 0 0 0 15 2 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116761258352 140117887380098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4599] ppid=4590 vsize=15151156 memory=166432 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4590 4590 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116760204384 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4600] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4590 4590 4066 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 516005568 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116759151488 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4601] ppid=4590 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116758099792 140117887387547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4602] ppid=4590 vsize=15151156 memory=3656 CPUtime=1.96 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4590 4590 4066 0 -1 1077944384 17446 0 0 0 194 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116757048176 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4603] ppid=4590 vsize=15151156 memory=164384 CPUtime=2.01 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4590 4590 4066 0 -1 1077944384 15195 0 0 0 199 2 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116755995376 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4604] ppid=4590 vsize=15151156 memory=8112282956445269571 CPUtime=0.57 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4590 4590 4066 0 -1 1077944384 8382 0 0 0 56 1 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116754942576 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4605] ppid=4590 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4590 4590 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116753890016 140117887379157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
[pid=4592/tid=4606] ppid=4590 vsize=15151156 memory=1448 CPUtime=0.49 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4590 4590 4066 0 -1 1077944384 1398 0 0 0 23 26 0 0 20 0 15 0 516005571 15514783744 41608 33554432000 4194304 4196468 140728337793120 140116752837296 140117887380098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140728337798127 140728337798298 140728337798298 140728337801167 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 167880 KiB
Child status: 143
Real time (s): 2394.52
CPU time (s): 2400.03
CPU user time (s): 2399.58
CPU system time (s): 0.451054
CPU usage (%): 100.23
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 222200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.451054
maximum resident set size= 220752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58544
involuntary context switches= 3271
# summary of solver processes directly reported to runsolver:
# pid: 4590,4592
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.58
# total CPU system time (s): 0.451054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5382 second user time and 21.1564 second system time
The end
Begin job on node127 at 2019-09-25 09:42:07 IDJOB=4406537 IDBENCH=124140 IDSOLVER=2870 FILE ID=node127/4406537-1569397367 RUNJOBID= node127-1569396629-4099 PBS_JOBID= 21705686 Free space on /tmp= 35896 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406537-1569397367/watcher-4406537-1569397367 -o /tmp/evaluation-result-4406537-1569397367/solver-4406537-1569397367 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4099 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406537-1569397367.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=13758179 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24807524 kB MemAvailable: 30968096 kB Buffers: 107888 kB Cached: 6252868 kB SwapCached: 44656 kB Active: 3924300 kB Inactive: 3318240 kB Active(anon): 835160 kB Inactive(anon): 104540 kB Active(file): 3089140 kB Inactive(file): 3213700 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66959728 kB Dirty: 26032 kB Writeback: 0 kB AnonPages: 789036 kB Mapped: 71496 kB Shmem: 49032 kB Slab: 315656 kB SReclaimable: 286192 kB SUnreclaim: 29464 kB KernelStack: 4032 kB PageTables: 7300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1764972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 718848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35872 MiB End job on node127 at 2019-09-25 10:22:02