Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 105 | 19958.9 | 2520.14 |
Name | PeacableArmies/ PeacableArmies-m1-30_c18.xml |
MD5SUM | 643e62d73285ca0df01da7486f80c5bf |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 105 |
Best CPU time to get the best result obtained on this benchmark | 19958.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1800 |
Number of constraints | 87321 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1800}] |
Minimum variable degree | 89 |
Maximum variable degree | 118 |
Distribution of variable degrees | [{"degree":89,"count":116},{"degree":90,"count":116},{"degree":91,"count":108},{"degree":92,"count":108},{"degree":93,"count":100},{"degree":94,"count":100},{"degree":95,"count":92},{"degree":96,"count":92},{"degree":97,"count":84},{"degree":98,"count":84},{"degree":99,"count":76},{"degree":100,"count":76},{"degree":101,"count":68},{"degree":102,"count":68},{"degree":103,"count":60},{"degree":104,"count":60},{"degree":105,"count":52},{"degree":106,"count":52},{"degree":107,"count":44},{"degree":108,"count":44},{"degree":109,"count":36},{"degree":110,"count":36},{"degree":111,"count":28},{"degree":112,"count":28},{"degree":113,"count":20},{"degree":114,"count":20},{"degree":115,"count":12},{"degree":116,"count":12},{"degree":117,"count":4},{"degree":118,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 1800 |
Distribution of constraint arities | [{"arity":2,"count":87320},{"arity":1800,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 87320 |
Distribution of constraint types | [{"type":"intension","count":87320},{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297411-1532723020.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297411-1532723020.xml, -tl, 20160s, -p, 8] 0.12/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 40.91/22.58 c solve instance... 43.93/23.08 o 25 44.65/23.14 o 46 58.06/24.82 o 47 67.53/26.02 o 48 75.43/27.08 o 49 82.31/28.00 o 52 88.56/28.72 o 53 101.24/30.30 o 54 105.98/30.92 o 60 110.71/31.54 o 61 114.61/32.08 o 62 120.05/32.78 o 63 124.84/33.32 o 64 130.38/34.07 o 65 147.78/36.23 o 66 154.18/37.04 o 67 166.00/38.59 o 68 182.53/40.98 o 69 216.57/45.21 o 70 222.03/45.90 o 71 247.53/49.12 o 72 251.39/49.68 o 73 264.85/51.39 o 74 290.34/54.52 o 75 296.68/55.37 o 76 306.21/56.53 o 77 315.77/57.74 o 78 320.56/58.33 o 79 326.91/59.16 o 80 337.17/60.45 o 81 353.85/62.52 o 82 359.39/63.28 o 83 380.91/65.91 o 84 395.19/67.75 o 86 423.05/71.20 o 87 427.80/71.84 o 88 432.53/72.49 o 89 439.67/73.34 o 90 452.38/74.99 o 91 458.61/75.72 o 92 469.01/77.07 o 93 474.48/77.77 o 94 479.96/78.40 o 95 484.79/79.08 o 96 490.26/79.77 o 97 495.81/80.49 o 98 547.60/86.91 o 99 686.28/104.36 o 100 3279.64/429.46 o 101 3393.66/443.72 o 102 3807.58/495.67 o 103 4944.38/638.18 o 104 4973.75/641.87 o 105 19958.11/2520.10 s SATISFIABLE 19958.11/2520.10 v <instantiation> 19958.11/2520.10 v <list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] </list> 19958.11/2520.10 v <values>1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 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 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 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 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 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 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 </values> 19958.11/2520.10 v </instantiation> 19958.11/2520.10 c Unexpected resolution interruption!
OK 105
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 (13149 MiB free) memory of node 1: 16384 MiB (13706 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297411-1532723020/watcher-4297411-1532723020 -o /tmp/evaluation-result-4297411-1532723020/solver-4297411-1532723020 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532723020-21326 --watchdog 2580 HOME/xcsp3-exec -seed 1705553626 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297411-1532723020.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21343, runsolver pid=21340 Current StackSize limit: 8192 KiB [startup+0.100148 s]* /proc/loadavg: 8.23 8.49 8.47 2/204 21364 /proc/meminfo: memFree=27485196/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26104152 memory=26964 CPUtime=0.12 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 5661 0 0 0 11 1 0 0 20 0 20 0 89865140 26730651648 6741 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6526038 6741 2999 1 0 6488315 0 [pid=21345/tid=21346] ppid=21343 vsize=26104152 memory=7896388429291626139 CPUtime=0.08 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) R 21343 21343 21299 0 -1 4202560 3664 0 0 0 8 0 0 0 20 0 20 0 89865140 26730651648 6741 33554432000 4194304 4196468 140728084277904 139653062829872 139653058608534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26104152 memory=732370101826010085 CPUtime=0 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26104152 memory=139963488556672 CPUtime=0 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21350] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21350/stat : 21350 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652614187920 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21351] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21351/stat : 21351 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652613134864 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21352] ppid=21343 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21345/task/21352/stat : 21352 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652612082320 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21353] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21353/stat : 21353 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652611029264 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21354] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21354/stat : 21354 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 6741 33554432000 4194304 4196468 140728084277904 139652609976720 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21355] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21355/stat : 21355 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651531660016 139653058607746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21356] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21356/stat : 21356 (java) S 21343 21343 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651530606240 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21357] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21357/stat : 21357 (java) S 21343 21343 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651529553136 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21358] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21358/stat : 21358 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651528501712 139653058615195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21359] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21359/stat : 21359 (java) S 21343 21343 21299 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651527448816 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21360] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21360/stat : 21360 (java) S 21343 21343 21299 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651526396272 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21361] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21361/stat : 21361 (java) S 21343 21343 21299 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651525343216 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21362] ppid=21343 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21345/task/21362/stat : 21362 (java) R 21343 21343 21299 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651524290672 139653042350833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21363] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21363/stat : 21363 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651523238880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21364] ppid=21343 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21345/task/21364/stat : 21364 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 6741 33554432000 4194304 4196468 140728084277904 139651522186416 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28420 KiB [startup+0.210769 s]* /proc/loadavg: 8.23 8.49 8.47 3/204 21364 /proc/meminfo: memFree=27473784/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26104152 memory=39300 CPUtime=0.33 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 8525 0 0 0 31 2 0 0 20 0 20 0 89865140 26730651648 9825 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6526038 9825 3161 1 0 6488315 0 [pid=21345/tid=21346] ppid=21343 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) R 21343 21343 21299 0 -1 4202560 5616 0 0 0 18 1 0 0 20 0 20 0 89865140 26730651648 9825 33554432000 4194304 4196468 140728084277904 139653062834544 139653042677086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26104152 memory=279926876165880 CPUtime=0 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26104152 memory=139963488556672 CPUtime=0 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21350] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21350/stat : 21350 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652614187920 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21351] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21351/stat : 21351 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652613134864 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21352] ppid=21343 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21345/task/21352/stat : 21352 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652612082320 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21353] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21353/stat : 21353 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652611029264 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21354] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21354/stat : 21354 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26730651648 9825 33554432000 4194304 4196468 140728084277904 139652609976720 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21355] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21355/stat : 21355 (java) S 21343 21343 21299 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651531660016 139653058607746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21356] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21356/stat : 21356 (java) S 21343 21343 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651530606240 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21357] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21357/stat : 21357 (java) S 21343 21343 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89865143 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651529553136 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21358] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21358/stat : 21358 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651528501712 139653058615195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21359] ppid=21343 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21345/task/21359/stat : 21359 (java) S 21343 21343 21299 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 89865146 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651527448816 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21360] ppid=21343 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21345/task/21360/stat : 21360 (java) S 21343 21343 21299 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 89865146 26730651648 9825 33554432000 4194304 4196468 140728084277904 139651526396272 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21361] ppid=21343 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21345/task/21361/stat : 21361 (java) S 21343 21343 21299 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 20 0 89865146 26730651648 9889 33554432000 4194304 4196468 140728084277904 139651525343216 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21362] ppid=21343 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/21345/task/21362/stat : 21362 (java) S 21343 21343 21299 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 20 0 89865146 26730651648 9889 33554432000 4194304 4196468 140728084277904 139651524290672 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21363] ppid=21343 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21363/stat : 21363 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 9889 33554432000 4194304 4196468 140728084277904 139651523238880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21364] ppid=21343 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21345/task/21364/stat : 21364 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26730651648 9889 33554432000 4194304 4196468 140728084277904 139651522186416 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40756 KiB [startup+0.310494 s]* /proc/loadavg: 8.23 8.49 8.47 3/204 21364 /proc/meminfo: memFree=27468112/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26108408 memory=46632 CPUtime=0.52 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 9421 0 0 0 49 3 0 0 20 0 20 0 89865140 26735009792 11658 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6527102 11658 3229 1 0 6488315 0 [pid=21345/tid=21346] ppid=21343 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) R 21343 21343 21299 0 -1 4202560 6325 0 0 0 27 2 0 0 20 0 20 0 89865140 26735009792 11658 33554432000 4194304 4196468 140728084277904 139653062826272 139653042677086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21350] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21350/stat : 21350 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652614187920 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21351] ppid=21343 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/21345/task/21351/stat : 21351 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652613134864 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21352] ppid=21343 vsize=26108408 memory=139963387704239 CPUtime=0 cores=0-7 /proc/21345/task/21352/stat : 21352 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652612082320 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21353] ppid=21343 vsize=26108408 memory=139963387706544 CPUtime=0 cores=0-7 /proc/21345/task/21353/stat : 21353 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652611029264 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21354] ppid=21343 vsize=26108408 memory=139963387708848 CPUtime=0 cores=0-7 /proc/21345/task/21354/stat : 21354 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26735009792 11658 33554432000 4194304 4196468 140728084277904 139652609976720 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21355] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21355/stat : 21355 (java) S 21343 21343 21299 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89865143 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651531660016 139653058607746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21356] ppid=21343 vsize=26108408 memory=279926775424656 CPUtime=0 cores=0-7 /proc/21345/task/21356/stat : 21356 (java) S 21343 21343 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89865143 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651530606240 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21357] ppid=21343 vsize=26108408 memory=279926775431568 CPUtime=0 cores=0-7 /proc/21345/task/21357/stat : 21357 (java) S 21343 21343 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89865143 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651529553136 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21358] ppid=21343 vsize=26108408 memory=279926775372848 CPUtime=0 cores=0-7 /proc/21345/task/21358/stat : 21358 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651528501712 139653058615195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21359] ppid=21343 vsize=26108408 memory=279926775445392 CPUtime=0.04 cores=0-7 /proc/21345/task/21359/stat : 21359 (java) S 21343 21343 21299 0 -1 1077944384 484 0 0 0 4 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651527448816 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21360] ppid=21343 vsize=26108408 memory=279926775452304 CPUtime=0.02 cores=0-7 /proc/21345/task/21360/stat : 21360 (java) S 21343 21343 21299 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651526396272 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21361] ppid=21343 vsize=26108408 memory=279926775450000 CPUtime=0.01 cores=0-7 /proc/21345/task/21361/stat : 21361 (java) S 21343 21343 21299 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651525343216 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21362] ppid=21343 vsize=26108408 memory=279926775466160 CPUtime=0.12 cores=0-7 /proc/21345/task/21362/stat : 21362 (java) S 21343 21343 21299 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651524290672 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21363] ppid=21343 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21363/stat : 21363 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651523238880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21364] ppid=21343 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/21345/task/21364/stat : 21364 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865146 26735009792 11658 33554432000 4194304 4196468 140728084277904 139651522186416 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48088 KiB [startup+0.700951 s] /proc/loadavg: 8.23 8.49 8.47 3/204 21364 /proc/meminfo: memFree=27419468/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26110532 memory=129240 CPUtime=1.79 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 13680 0 0 0 173 6 0 0 20 0 20 0 89865140 26737184768 32310 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6527633 32310 3346 1 0 6488827 0 [pid=21345/tid=21346] ppid=21343 vsize=26110532 memory=279926775761024 CPUtime=0.67 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) R 21343 21343 21299 0 -1 4202560 6751 0 0 0 64 3 0 0 20 0 20 0 89865140 26737184768 32310 33554432000 4194304 4196468 140728084277904 139653062830696 139652693843425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26110532 memory=5089536246935 CPUtime=0 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89865141 26737184768 32310 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89865141 26737184768 32310 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89865141 26737184768 32310 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 ################ # More data... # ################ /proc/meminfo: memFree=19697436/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26645092 memory=7803356 CPUtime=19816.8 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 476650 0 0 0 1980654 1028 0 0 20 0 28 0 89865140 27284574208 1950839 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6661273 1950839 3464 1 0 6622467 0 [pid=21345/tid=21346] ppid=21343 vsize=26645092 memory=7803356 CPUtime=20.88 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) S 21343 21343 21299 0 -1 1077944384 20216 0 0 0 2019 69 0 0 20 0 28 0 89865140 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653062837376 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.13 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 2604 0 0 0 172 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.09 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 4030 0 0 0 170 39 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.13 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 3690 0 0 0 173 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21350] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.12 cores=0-7 /proc/21345/task/21350/stat : 21350 (java) S 21343 21343 21299 0 -1 1077944384 5355 0 0 0 172 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652614187920 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21351] ppid=21343 vsize=26645092 memory=1456 CPUtime=2.13 cores=0-7 /proc/21345/task/21351/stat : 21351 (java) S 21343 21343 21299 0 -1 1077944384 2730 0 0 0 172 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652613134864 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21352] ppid=21343 vsize=26645092 memory=0 CPUtime=2.12 cores=0-7 /proc/21345/task/21352/stat : 21352 (java) S 21343 21343 21299 0 -1 1077944384 2470 0 0 0 172 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652612082320 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21353] ppid=21343 vsize=26645092 memory=279926778777568 CPUtime=2.1 cores=0-7 /proc/21345/task/21353/stat : 21353 (java) S 21343 21343 21299 0 -1 1077944384 7293 0 0 0 169 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652611029264 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21354] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.12 cores=0-7 /proc/21345/task/21354/stat : 21354 (java) S 21343 21343 21299 0 -1 1077944384 3038 0 0 0 170 42 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652609976720 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21355] ppid=21343 vsize=26645092 memory=1456 CPUtime=0.63 cores=0-7 /proc/21345/task/21355/stat : 21355 (java) S 21343 21343 21299 0 -1 1077944384 12560 0 0 0 60 3 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651531660016 139653058607746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21356] ppid=21343 vsize=26645092 memory=11860 CPUtime=0 cores=0-7 /proc/21345/task/21356/stat : 21356 (java) S 21343 21343 21299 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651530606304 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21357] ppid=21343 vsize=26645092 memory=5772 CPUtime=0 cores=0-7 /proc/21345/task/21357/stat : 21357 (java) S 21343 21343 21299 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651529553152 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21358] ppid=21343 vsize=26645092 memory=7803356 CPUtime=0 cores=0-7 /proc/21345/task/21358/stat : 21358 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651528501712 139653058615195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21359] ppid=21343 vsize=26645092 memory=1456 CPUtime=5.36 cores=0-7 /proc/21345/task/21359/stat : 21359 (java) S 21343 21343 21299 0 -1 1077944384 30951 0 0 0 530 6 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651527448816 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21360] ppid=21343 vsize=26645092 memory=1456 CPUtime=5.33 cores=0-7 /proc/21345/task/21360/stat : 21360 (java) S 21343 21343 21299 0 -1 1077944384 29845 0 0 0 527 6 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651526396272 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21361] ppid=21343 vsize=26645092 memory=7803356 CPUtime=5.56 cores=0-7 /proc/21345/task/21361/stat : 21361 (java) S 21343 21343 21299 0 -1 1077944384 29690 0 0 0 549 7 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651525343216 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21362] ppid=21343 vsize=26645092 memory=1456 CPUtime=1.13 cores=0-7 /proc/21345/task/21362/stat : 21362 (java) S 21343 21343 21299 0 -1 1077944384 22905 0 0 0 108 5 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651524290672 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21363] ppid=21343 vsize=26645092 memory=7803356 CPUtime=0 cores=0-7 /proc/21345/task/21363/stat : 21363 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651523238880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21364] ppid=21343 vsize=26645092 memory=7803356 CPUtime=1.07 cores=0-7 /proc/21345/task/21364/stat : 21364 (java) S 21343 21343 21299 0 -1 1077944384 4606 0 0 0 19 88 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651522186416 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21799] ppid=21343 vsize=26645092 memory=1456 CPUtime=1850.22 cores=0-7 /proc/21345/task/21799/stat : 21799 (java) R 21343 21343 21299 0 -1 4202560 5252 0 0 0 185018 4 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651507272952 139652699182615 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21800] ppid=21343 vsize=26645092 memory=1456 CPUtime=1859.99 cores=0-7 /proc/21345/task/21800/stat : 21800 (java) R 21343 21343 21299 0 -1 4202560 5340 0 0 0 185997 2 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651511484904 139652693429643 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21801] ppid=21343 vsize=26645092 memory=7803356 CPUtime=1853.28 cores=0-7 /proc/21345/task/21801/stat : 21801 (java) R 21343 21343 21299 0 -1 4202560 9851 0 0 0 185317 11 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651512537096 139652692661215 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21802] ppid=21343 vsize=26645092 memory=6791534058613427641 CPUtime=1845.47 cores=0-7 /proc/21345/task/21802/stat : 21802 (java) R 21343 21343 21299 0 -1 4202560 8064 0 0 0 184526 21 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651509379448 139652699182826 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21803] ppid=21343 vsize=26645092 memory=1456 CPUtime=1859.89 cores=0-7 /proc/21345/task/21803/stat : 21803 (java) R 21343 21343 21299 0 -1 4202560 50867 0 0 0 185812 177 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651510434320 139652699182615 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21804] ppid=21343 vsize=26645092 memory=4036 CPUtime=1851.96 cores=0-7 /proc/21345/task/21804/stat : 21804 (java) R 21343 21343 21299 0 -1 4202560 4322 0 0 0 185192 4 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651506221032 139652695940980 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21805] ppid=21343 vsize=26645092 memory=1456 CPUtime=1860.1 cores=0-7 /proc/21345/task/21805/stat : 21805 (java) R 21343 21343 21299 0 -1 4202560 7843 0 0 0 186001 9 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651508326688 139652695489708 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21806] ppid=21343 vsize=26645092 memory=7803356 CPUtime=1860.11 cores=0-7 /proc/21345/task/21806/stat : 21806 (java) R 21343 21343 21299 0 -1 4202560 4330 0 0 0 186011 0 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651513590504 139652699182615 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 Current children cumulated CPU time: 19816.8 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 7804812 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.17 8.34 8.39 9/212 21858 /proc/meminfo: memFree=19697452/32770624 swapFree=67108856/67108860 [pid=21343] ppid=21340 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21343/stat : 21343 (xcsp3-exec) S 21340 21343 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89865140 115843072 364 33554432000 4194304 5098028 140732706347120 140732706345224 139900930503292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140732706354229 140732706354432 140732706354432 140732706357194 0 /proc/21343/statm: 28282 364 306 221 0 87 0 [pid=21345] ppid=21343 vsize=26645092 memory=7803356 CPUtime=19958.1 cores=0-7 /proc/21345/stat : 21345 (java) S 21343 21343 21299 0 -1 1077944320 477095 0 0 0 1994782 1029 0 0 20 0 28 0 89865140 27284574208 1950839 33554432000 4194304 4196468 140728084277904 140728084260448 139653058596599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 /proc/21345/statm: 6661273 1950839 3464 1 0 6622467 0 [pid=21345/tid=21346] ppid=21343 vsize=26645092 memory=1398720917958146503 CPUtime=20.88 cores=0-7 /proc/21345/task/21346/stat : 21346 (java) S 21343 21343 21299 0 -1 1077944384 20216 0 0 0 2019 69 0 0 20 0 28 0 89865140 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653062837376 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21347] ppid=21343 vsize=26645092 memory=-7003737579269690708 CPUtime=2.13 cores=0-7 /proc/21345/task/21347/stat : 21347 (java) S 21343 21343 21299 0 -1 1077944384 2604 0 0 0 172 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653011217424 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21348] ppid=21343 vsize=26645092 memory=7803356 CPUtime=2.09 cores=0-7 /proc/21345/task/21348/stat : 21348 (java) S 21343 21343 21299 0 -1 1077944384 4030 0 0 0 170 39 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139653010164880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21349] ppid=21343 vsize=26645092 memory=5772 CPUtime=2.13 cores=0-7 /proc/21345/task/21349/stat : 21349 (java) S 21343 21343 21299 0 -1 1077944384 3690 0 0 0 173 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652615240464 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21350] ppid=21343 vsize=26645092 memory=4616 CPUtime=2.12 cores=0-7 /proc/21345/task/21350/stat : 21350 (java) S 21343 21343 21299 0 -1 1077944384 5355 0 0 0 172 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652614187920 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21351] ppid=21343 vsize=26645092 memory=1388 CPUtime=2.13 cores=0-7 /proc/21345/task/21351/stat : 21351 (java) S 21343 21343 21299 0 -1 1077944384 2730 0 0 0 172 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652613134864 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21352] ppid=21343 vsize=26645092 memory=303430223234596890 CPUtime=2.12 cores=0-7 /proc/21345/task/21352/stat : 21352 (java) S 21343 21343 21299 0 -1 1077944384 2470 0 0 0 172 40 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652612082320 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21353] ppid=21343 vsize=26645092 memory=288230583166042425 CPUtime=2.1 cores=0-7 /proc/21345/task/21353/stat : 21353 (java) S 21343 21343 21299 0 -1 1077944384 7293 0 0 0 169 41 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652611029264 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21354] ppid=21343 vsize=26645092 memory=13855174477220093 CPUtime=2.12 cores=0-7 /proc/21345/task/21354/stat : 21354 (java) S 21343 21343 21299 0 -1 1077944384 3038 0 0 0 170 42 0 0 20 0 28 0 89865141 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139652609976720 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21355] ppid=21343 vsize=26645092 memory=1796 CPUtime=0.63 cores=0-7 /proc/21345/task/21355/stat : 21355 (java) S 21343 21343 21299 0 -1 1077944384 12560 0 0 0 60 3 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651531660016 139653058607746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21356] ppid=21343 vsize=26645092 memory=916 CPUtime=0 cores=0-7 /proc/21345/task/21356/stat : 21356 (java) S 21343 21343 21299 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651530606304 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21357] ppid=21343 vsize=26645092 memory=3908 CPUtime=0 cores=0-7 /proc/21345/task/21357/stat : 21357 (java) S 21343 21343 21299 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 89865143 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651529553152 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21358] ppid=21343 vsize=26645092 memory=1408 CPUtime=0 cores=0-7 /proc/21345/task/21358/stat : 21358 (java) S 21343 21343 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651528501712 139653058615195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21359] ppid=21343 vsize=26645092 memory=4528 CPUtime=5.36 cores=0-7 /proc/21345/task/21359/stat : 21359 (java) S 21343 21343 21299 0 -1 1077944384 30951 0 0 0 530 6 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651527448816 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21360] ppid=21343 vsize=26645092 memory=6791534058613427641 CPUtime=5.33 cores=0-7 /proc/21345/task/21360/stat : 21360 (java) S 21343 21343 21299 0 -1 1077944384 29845 0 0 0 527 6 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651526396272 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21361] ppid=21343 vsize=26645092 memory=4616 CPUtime=5.56 cores=0-7 /proc/21345/task/21361/stat : 21361 (java) S 21343 21343 21299 0 -1 1077944384 29690 0 0 0 549 7 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651525343216 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21362] ppid=21343 vsize=26645092 memory=7803356 CPUtime=1.13 cores=0-7 /proc/21345/task/21362/stat : 21362 (java) S 21343 21343 21299 0 -1 1077944384 22905 0 0 0 108 5 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651524290672 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21363] ppid=21343 vsize=26645092 memory=7803356 CPUtime=0 cores=0-7 /proc/21345/task/21363/stat : 21363 (java) S 21343 21343 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651523238880 139653058606805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21364] ppid=21343 vsize=26645092 memory=1012 CPUtime=1.08 cores=0-7 /proc/21345/task/21364/stat : 21364 (java) S 21343 21343 21299 0 -1 1077944384 4608 0 0 0 19 89 0 0 20 0 28 0 89865146 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651522186416 139653058607746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21799] ppid=21343 vsize=26645092 memory=1948 CPUtime=1867.55 cores=0-7 /proc/21345/task/21799/stat : 21799 (java) R 21343 21343 21299 0 -1 4202560 5252 0 0 0 186751 4 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651507272952 139652699182615 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21800] ppid=21343 vsize=26645092 memory=6791534058613427641 CPUtime=1877.7 cores=0-7 /proc/21345/task/21800/stat : 21800 (java) R 21343 21343 21299 0 -1 4202560 5340 0 0 0 187768 2 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651511484904 139652699182604 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21801] ppid=21343 vsize=26645092 memory=8440 CPUtime=1870.99 cores=0-7 /proc/21345/task/21801/stat : 21801 (java) R 21343 21343 21299 0 -1 4202560 9858 0 0 0 187088 11 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651512537096 139652695941016 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21802] ppid=21343 vsize=26645092 memory=4036 CPUtime=1863.17 cores=0-7 /proc/21345/task/21802/stat : 21802 (java) R 21343 21343 21299 0 -1 4202560 8088 0 0 0 186296 21 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651509379448 139652695940993 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21803] ppid=21343 vsize=26645092 memory=26236 CPUtime=1877.59 cores=0-7 /proc/21345/task/21803/stat : 21803 (java) R 21343 21343 21299 0 -1 4202560 51237 0 0 0 187582 177 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651510434320 139652697522936 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21804] ppid=21343 vsize=26645092 memory=1804 CPUtime=1869.67 cores=0-7 /proc/21345/task/21804/stat : 21804 (java) R 21343 21343 21299 0 -1 4202560 4322 0 0 0 186963 4 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651506221032 139652695940976 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21805] ppid=21343 vsize=26645092 memory=796 CPUtime=1877.8 cores=0-7 /proc/21345/task/21805/stat : 21805 (java) R 21343 21343 21299 0 -1 4202560 7883 0 0 0 187771 9 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651508326688 139652695489708 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 [pid=21345/tid=21806] ppid=21343 vsize=26645092 memory=1712 CPUtime=1877.82 cores=0-7 /proc/21345/task/21806/stat : 21806 (java) R 21343 21343 21299 0 -1 4202560 4332 0 0 0 187782 0 0 0 20 0 28 0 89929327 27284574208 1950839 33554432000 4194304 4196468 140728084277904 139651513590504 139652693661845 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14983168 140728084280449 140728084280621 140728084280621 140728084283343 0 Current children cumulated CPU time: 19958.1 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 7804812 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 21343 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001573 s, system=0.000786 s [startup+2520.14 s] # the end of solver process 21345 was just reported to runsolver # cumulated CPU time of all completed processes: user=19948.6 s, system=10.335 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+2520.13 s]* /proc/loadavg: 8.17 8.34 8.39 2/185 21860 /proc/meminfo: memFree=25464620/32770624 swapFree=67108856/67108860 Current cumulated CPU time of completed processes: 0.002359 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 19958.9 CPU user time (s): 19948.6 CPU system time (s): 10.335 CPU usage (%): 791.975 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 7805936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19948.6 system time used= 10.335 maximum resident set size= 7805160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 478977 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2272 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68553 involuntary context switches= 238956 # summary of solver processes directly reported to runsolver: # pid: 21343,21345 # total CPU time (s): 19958.9 # total CPU user time (s): 19948.6 # total CPU system time (s): 10.335 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.7617 second user time and 31.7394 second system time The end
Begin job on node133 at 2018-07-27 22:23:40 IDJOB=4297411 IDBENCH=141483 IDSOLVER=2760 FILE ID=node133/4297411-1532723020 RUNJOBID= node133-1532723020-21326 PBS_JOBID= 21022334 Free space on /tmp= 48248 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-30_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297411-1532723020/watcher-4297411-1532723020 -o /tmp/evaluation-result-4297411-1532723020/solver-4297411-1532723020 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532723020-21326 --watchdog 2580 HOME/xcsp3-exec -seed 1705553626 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297411-1532723020.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 643e62d73285ca0df01da7486f80c5bf RANDOM SEED=1705553626 node133.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.24 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.24 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.24 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.24 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: 27501460 kB MemAvailable: 31946312 kB Buffers: 160392 kB Cached: 4533016 kB SwapCached: 0 kB Active: 2142952 kB Inactive: 2602916 kB Active(anon): 3852 kB Inactive(anon): 76692 kB Active(file): 2139100 kB Inactive(file): 2526224 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 25452 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 39868 kB Shmem: 25244 kB Slab: 217788 kB SReclaimable: 190724 kB SUnreclaim: 27064 kB KernelStack: 3168 kB PageTables: 4596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48224 MiB End job on node133 at 2018-07-27 23:05:40