Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 778 | 1920.04 | 244.436 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 684 |
Best CPU time to get the best result obtained on this benchmark | 251.92799 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 992 |
Number of constraints | 960 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
Minimum variable degree | 0 |
Maximum variable degree | 59 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.04 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254875-1501684204.xml" -tl '1920s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4254875-1501684204.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.28 c 8 solvers in parallel 0.00/0.35 c parse instance... 0.00/1.07 c solve instance... 3.27/1.17 o 3518 3.27/1.19 o 3425 3.27/1.20 o 3419 3.27/1.20 o 3418 3.98/1.22 o 1468 8.66/1.88 o 1216 9.39/1.90 o 1207 9.39/1.91 o 1191 9.39/1.95 o 1188 10.13/2.01 o 1186 10.13/2.03 o 1136 25.15/3.95 o 1134 92.06/12.39 o 1123 93.63/12.51 o 1117 93.63/12.54 o 1116 93.63/12.57 o 1093 94.26/12.63 o 1039 95.03/12.77 o 1034 97.23/13.00 o 1025 97.92/13.18 o 1011 98.98/13.33 o 1010 98.98/13.35 o 978 98.98/13.37 o 967 99.60/13.45 o 949 100.34/13.50 o 937 100.34/13.57 o 936 105.59/14.30 o 934 107.07/14.49 o 932 108.11/14.68 o 927 108.36/14.70 o 925 113.59/15.46 o 899 117.71/16.14 o 893 139.69/18.90 o 892 173.88/23.28 o 887 238.76/31.47 o 878 308.89/40.42 o 877 308.89/40.49 o 874 437.19/56.51 o 873 441.16/57.08 o 872 453.15/58.86 o 871 463.05/60.43 o 868 742.75/95.69 o 854 883.02/113.43 o 851 979.79/125.97 o 848 1084.56/139.28 o 847 1150.87/147.62 o 846 1254.03/160.86 o 843 1399.55/179.13 o 842 1480.18/189.22 o 826 1485.71/189.96 o 789 1549.56/197.97 o 788 1623.75/207.24 o 787 1722.64/219.60 o 786 1781.67/227.09 o 785 1783.94/227.36 o 783 1833.16/233.57 o 779 1898.52/241.75 o 778 1920.04/244.46 s SATISFIABLE 1920.04/244.46 v <instantiation> 1920.04/244.46 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] </list> 1920.04/244.46 v <values>0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 50 36 41 61 32 26 29 97 66 44 90 98 62 87 74 16 18 16 23 12 2 72 82 77 44 100 29 100 85 53 </values> 1920.04/244.46 v </instantiation> 1920.04/244.46 c Unexpected resolution interruption!
OK 778
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254875-1501684204/watcher-4254875-1501684204 -o /tmp/evaluation-result-4254875-1501684204/solver-4254875-1501684204 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1296273682 HOME/instance-4254875-1501684204.xml pid=13495 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 7.91 7.94 7.25 2/177 13498 /proc/meminfo: memFree=31698380/32770624 swapFree=0/278028 [pid=13498] ppid=13495 vsize=23672 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (runsolver) D 13495 13498 1658 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10331099 24240128 106 18446744073709551615 4194304 4338465 140722508142400 140722508140040 140305506087639 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 37916672 140722508148819 140722508149315 140722508149315 140722508152778 0 /proc/13498/statm: 5918 106 53 36 0 2156 0 [startup+0.100111 s] /proc/loadavg: 7.91 7.94 7.25 2/177 13498 /proc/meminfo: memFree=31698380/32770624 swapFree=0/278028 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200299 s] /proc/loadavg: 7.91 7.94 7.25 2/177 13498 /proc/meminfo: memFree=31698380/32770624 swapFree=0/278028 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300237 s] /proc/loadavg: 7.91 7.94 7.25 2/177 13498 /proc/meminfo: memFree=31698380/32770624 swapFree=0/278028 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700217 s] /proc/loadavg: 7.91 7.94 7.25 2/177 13498 /proc/meminfo: memFree=31698380/32770624 swapFree=0/278028 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50083 s] /proc/loadavg: 7.91 7.94 7.25 9/201 13522 /proc/meminfo: memFree=31513328/32770624 swapFree=0/278036 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 [pid=13500] ppid=13498 vsize=26534456 CPUtime=6.25 cores=0-7 /proc/13500/stat : 13500 (java) S 13498 13498 1658 0 -1 1077944320 19231 0 0 0 613 12 0 0 20 0 28 0 10331104 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140728922316672 140381066571511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 /proc/13500/statm: 6633614 51538 3235 1 0 6621915 0 [pid=13500/tid=13501] ppid=13498 vsize=26534456 CPUtime=0.99 cores=0-7 /proc/13500/task/13501/stat : 13501 (java) S 13498 13498 1658 0 -1 1077944384 8556 0 0 0 94 5 0 0 20 0 28 0 10331104 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381070812288 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13502] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13502/stat : 13502 (java) S 13498 13498 1658 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381023537808 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13503] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13503/stat : 13503 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381022485008 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13504] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13504/stat : 13504 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381021432208 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13505] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13505/stat : 13505 (java) S 13498 13498 1658 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381020379408 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13506] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13506/stat : 13506 (java) S 13498 13498 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381019327632 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13507] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13507/stat : 13507 (java) S 13498 13498 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381018274832 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13508] ppid=13498 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/13500/task/13508/stat : 13508 (java) S 13498 13498 1658 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381017222032 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13509] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13509/stat : 13509 (java) S 13498 13498 1658 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 10331105 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140381016169232 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13510] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13510/stat : 13510 (java) S 13498 13498 1658 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 10331106 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379812968816 140381066582658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13511] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13511/stat : 13511 (java) S 13498 13498 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 10331107 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379811914848 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13512] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13512/stat : 13512 (java) S 13498 13498 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10331107 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379810861952 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13513] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13513/stat : 13513 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379809810256 140381066590107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13514] ppid=13498 vsize=26534456 CPUtime=0.86 cores=0-7 /proc/13500/task/13514/stat : 13514 (java) R 13498 13498 1658 0 -1 4202560 1859 0 0 0 86 0 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379808746336 140381050057648 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13515] ppid=13498 vsize=26534456 CPUtime=0.92 cores=0-7 /proc/13500/task/13515/stat : 13515 (java) R 13498 13498 1658 0 -1 4202560 2126 0 0 0 92 0 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379807699032 140381050561832 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13516] ppid=13498 vsize=26534456 CPUtime=0.82 cores=0-7 /proc/13500/task/13516/stat : 13516 (java) R 13498 13498 1658 0 -1 1077944384 1619 0 0 0 82 0 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379806644496 140381066581717 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13517] ppid=13498 vsize=26534456 CPUtime=0.65 cores=0-7 /proc/13500/task/13517/stat : 13517 (java) S 13498 13498 1658 0 -1 1077944384 2482 0 0 0 64 1 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379805595504 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13518] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13518/stat : 13518 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331109 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379804547680 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13519] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13519/stat : 13519 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331114 27171282944 51538 18446744073709551615 4194304 4196468 140728922334128 140379803494960 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 26543968 [startup+3.10183 s] /proc/loadavg: 7.91 7.94 7.25 13/206 13615 /proc/meminfo: memFree=31481456/32770624 swapFree=0/278036 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 [pid=13500] ppid=13498 vsize=26534456 CPUtime=18.8 cores=0-7 /proc/13500/stat : 13500 (java) S 13498 13498 1658 0 -1 1077944320 21522 0 0 0 1858 22 0 0 20 0 28 0 10331104 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140728922316672 140381066571511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 /proc/13500/statm: 6633614 90660 3242 1 0 6621915 0 [pid=13500/tid=13501] ppid=13498 vsize=26534456 CPUtime=0.99 cores=0-7 /proc/13500/task/13501/stat : 13501 (java) S 13498 13498 1658 0 -1 1077944384 8557 0 0 0 94 5 0 0 20 0 28 0 10331104 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381070812288 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13502] ppid=13498 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/13500/task/13502/stat : 13502 (java) S 13498 13498 1658 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381023537808 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13503] ppid=13498 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/13500/task/13503/stat : 13503 (java) S 13498 13498 1658 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381022485008 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13504] ppid=13498 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/13500/task/13504/stat : 13504 (java) S 13498 13498 1658 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381021432208 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13505] ppid=13498 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/13500/task/13505/stat : 13505 (java) S 13498 13498 1658 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381020379408 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13506] ppid=13498 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/13500/task/13506/stat : 13506 (java) S 13498 13498 1658 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381019327632 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13507] ppid=13498 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/13500/task/13507/stat : 13507 (java) S 13498 13498 1658 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381018274832 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13508] ppid=13498 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/13500/task/13508/stat : 13508 (java) S 13498 13498 1658 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381017222032 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13509] ppid=13498 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/13500/task/13509/stat : 13509 (java) S 13498 13498 1658 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 10331105 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140381016169232 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13510] ppid=13498 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/13500/task/13510/stat : 13510 (java) S 13498 13498 1658 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 10331106 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379812968816 140381066582658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13511] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13511/stat : 13511 (java) S 13498 13498 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 10331107 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379811914848 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13512] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13512/stat : 13512 (java) S 13498 13498 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10331107 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379810861952 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13513] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13513/stat : 13513 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379809810256 140381066590107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13514] ppid=13498 vsize=26534456 CPUtime=1.57 cores=0-7 /proc/13500/task/13514/stat : 13514 (java) S 13498 13498 1658 0 -1 1077944384 2240 0 0 0 157 0 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379808758640 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13515] ppid=13498 vsize=26534456 CPUtime=1.84 cores=0-7 /proc/13500/task/13515/stat : 13515 (java) S 13498 13498 1658 0 -1 1077944384 2292 0 0 0 184 0 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379807705840 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13516] ppid=13498 vsize=26534456 CPUtime=1.52 cores=0-7 /proc/13500/task/13516/stat : 13516 (java) S 13498 13498 1658 0 -1 1077944384 1916 0 0 0 151 1 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379806653040 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13517] ppid=13498 vsize=26534456 CPUtime=0.8 cores=0-7 /proc/13500/task/13517/stat : 13517 (java) S 13498 13498 1658 0 -1 1077944384 2736 0 0 0 79 1 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379805600240 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13518] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13518/stat : 13518 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331109 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379804547680 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13519] ppid=13498 vsize=26534456 CPUtime=0 cores=0-7 /proc/13500/task/13519/stat : 13519 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331114 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379803494960 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13608] ppid=13498 vsize=26534456 CPUtime=1 cores=0-7 /proc/13500/task/13608/stat : 13608 (java) R 13498 13498 1658 0 -1 4202560 20 0 0 0 100 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378583743944 140380695409773 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13609] ppid=13498 vsize=26534456 CPUtime=0.8 cores=0-7 /proc/13500/task/13609/stat : 13609 (java) R 13498 13498 1658 0 -1 4202560 20 0 0 0 80 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378581639448 140380693481648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13610] ppid=13498 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/13500/task/13610/stat : 13610 (java) R 13498 13498 1658 0 -1 4202560 22 0 0 0 76 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378584797432 140380688438719 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13611] ppid=13498 vsize=26534456 CPUtime=0.91 cores=0-7 /proc/13500/task/13611/stat : 13611 (java) R 13498 13498 1658 0 -1 4202560 90 0 0 0 90 1 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378580588360 140380694652127 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13612] ppid=13498 vsize=26534456 CPUtime=0.91 cores=0-7 /proc/13500/task/13612/stat : 13612 (java) R 13498 13498 1658 0 -1 4202560 21 0 0 0 91 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378582691688 140380696152369 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13613] ppid=13498 vsize=26534456 CPUtime=0.91 cores=0-7 /proc/13500/task/13613/stat : 13613 (java) R 13498 13498 1658 0 -1 4202560 20 0 0 0 91 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140379799773976 140380694201119 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13614] ppid=13498 vsize=26534456 CPUtime=0.96 cores=0-7 /proc/13500/task/13614/stat : 13614 (java) R 13498 13498 1658 0 -1 4202560 22 0 0 0 96 0 0 0 20 0 28 0 10331303 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378579534536 140380693327872 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13615] ppid=13498 vsize=26534456 CPUtime=0.83 cores=0-7 /proc/13500/task/13615/stat : 13615 (java) R 13498 13498 1658 0 -1 4202560 23 0 0 0 83 0 0 0 20 0 28 0 10331304 27171282944 90660 18446744073709551615 4194304 4196468 140728922334128 140378585850104 140380694201344 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 Current children cumulated CPU time (s) 18.8 Current children cumulated vsize (KiB) 26543968 [startup+6.30183 s] /proc/loadavg: 7.36 7.83 7.22 9/206 13623 /proc/meminfo: memFree=31210948/32770624 swapFree=0/278036 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 [pid=13500] ppid=13498 vsize=26534456 CPUtime=44.22 cores=0-7 /proc/13500/stat : 13500 (java) S 13498 13498 1658 0 -1 1077944320 28436 0 0 0 4383 39 0 0 20 0 28 0 10331104 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140728922316672 140381066571511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 /proc/13500/statm: 6633614 156277 3252 1 0 6621915 0 [pid=13500/tid=13501] ppid=13498 vsize=26534456 CPUtime=1 cores=0-7 /proc/13500/task/13501/stat : 13501 (java) S 13498 13498 1658 0 -1 1077944384 8557 0 0 0 95 5 0 0 20 0 28 0 10331104 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140381070812288 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13502] ppid=13498 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/13500/task/13502/stat : 13502 (java) S 13498 13498 1658 0 -1 1077944384 99 0 0 0 2 1 0 0 20 0 28 0 10331105 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140381023537808 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13503] ppid=13498 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/13500/task/13503/stat : 13503 (java) S 13498 13498 1658 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 10331105 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140381022485008 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13504] ppid=13498 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/13500/task/13504/stat : 13504 (java) S 13498 13498 1658 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 10331105 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140381021432208 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13505] ppid=13498 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/13500/task/13505/stat : 13505 (java) S 13498 13498 1658 0 -1 1077944384 281 0 0 0 2 2 0 0 20 0 28 0 10331105 27171282944 156277 18446744073709551615 4194304 4196468 140728922334128 140381020379408 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 ################ # More data... # ################ [pid=13500/tid=13905] ppid=13498 vsize=26601020 CPUtime=1.44 cores=0-7 /proc/13500/task/13905/stat : 13905 (java) R 13498 13498 1658 0 -1 4202560 22 0 0 0 144 0 0 0 20 0 28 0 10347185 27239444480 253627 18446744073709551615 4194304 4196468 140728922334128 140378582699080 140380694201277 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13906] ppid=13498 vsize=26601020 CPUtime=1.42 cores=0-7 /proc/13500/task/13906/stat : 13906 (java) R 13498 13498 1658 0 -1 4202560 17 0 0 0 142 0 0 0 20 0 28 0 10347185 27239444480 253627 18446744073709551615 4194304 4196468 140728922334128 140378585853880 140380693481695 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 Current children cumulated CPU time (s) 1265.59 Current children cumulated vsize (KiB) 26610532 [startup+222.308 s] /proc/loadavg: 8.61 8.05 7.42 9/205 13955 /proc/meminfo: memFree=30803144/32770624 swapFree=0/278092 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 [pid=13500] ppid=13498 vsize=26601020 CPUtime=1744.2 cores=0-7 /proc/13500/stat : 13500 (java) S 13498 13498 1658 0 -1 1077944320 164409 0 0 0 174234 186 0 0 20 0 28 0 10331104 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140728922316672 140381066571511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 /proc/13500/statm: 6650255 226333 3254 1 0 6638556 0 [pid=13500/tid=13501] ppid=13498 vsize=26601020 CPUtime=1.04 cores=0-7 /proc/13500/task/13501/stat : 13501 (java) S 13498 13498 1658 0 -1 1077944384 12195 0 0 0 98 6 0 0 20 0 28 0 10331104 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381070812288 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13502] ppid=13498 vsize=26601020 CPUtime=0.14 cores=0-7 /proc/13500/task/13502/stat : 13502 (java) S 13498 13498 1658 0 -1 1077944384 2248 0 0 0 9 5 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381023537808 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13503] ppid=13498 vsize=26601020 CPUtime=0.14 cores=0-7 /proc/13500/task/13503/stat : 13503 (java) S 13498 13498 1658 0 -1 1077944384 1450 0 0 0 9 5 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381022485008 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13504] ppid=13498 vsize=26601020 CPUtime=0.14 cores=0-7 /proc/13500/task/13504/stat : 13504 (java) S 13498 13498 1658 0 -1 1077944384 2022 0 0 0 9 5 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381021432208 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13505] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13505/stat : 13505 (java) S 13498 13498 1658 0 -1 1077944384 1915 0 0 0 9 6 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381020379408 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13506] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13506/stat : 13506 (java) S 13498 13498 1658 0 -1 1077944384 1630 0 0 0 9 6 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381019327632 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13507] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13507/stat : 13507 (java) S 13498 13498 1658 0 -1 1077944384 2405 0 0 0 10 5 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381018274832 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13508] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13508/stat : 13508 (java) S 13498 13498 1658 0 -1 1077944384 2477 0 0 0 9 6 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381017222032 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13509] ppid=13498 vsize=26601020 CPUtime=0.14 cores=0-7 /proc/13500/task/13509/stat : 13509 (java) S 13498 13498 1658 0 -1 1077944384 994 0 0 0 9 5 0 0 20 0 28 0 10331105 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140381016169232 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13510] ppid=13498 vsize=26601020 CPUtime=0.17 cores=0-7 /proc/13500/task/13510/stat : 13510 (java) S 13498 13498 1658 0 -1 1077944384 7119 0 0 0 8 9 0 0 20 0 28 0 10331106 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379812968816 140381066582658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13511] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13511/stat : 13511 (java) S 13498 13498 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 10331107 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379811914848 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13512] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13512/stat : 13512 (java) S 13498 13498 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 10331107 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379810861952 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13513] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13513/stat : 13513 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379809810256 140381066590107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13514] ppid=13498 vsize=26601020 CPUtime=2.11 cores=0-7 /proc/13500/task/13514/stat : 13514 (java) S 13498 13498 1658 0 -1 1077944384 11733 0 0 0 208 3 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379808758640 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13515] ppid=13498 vsize=26601020 CPUtime=2.52 cores=0-7 /proc/13500/task/13515/stat : 13515 (java) S 13498 13498 1658 0 -1 1077944384 8593 0 0 0 251 1 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379807705840 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13516] ppid=13498 vsize=26601020 CPUtime=2.29 cores=0-7 /proc/13500/task/13516/stat : 13516 (java) S 13498 13498 1658 0 -1 1077944384 9205 0 0 0 227 2 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379806653040 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13517] ppid=13498 vsize=26601020 CPUtime=0.98 cores=0-7 /proc/13500/task/13517/stat : 13517 (java) S 13498 13498 1658 0 -1 1077944384 17199 0 0 0 94 4 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379805600240 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13518] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13518/stat : 13518 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331109 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379804547680 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13519] ppid=13498 vsize=26601020 CPUtime=0.05 cores=0-7 /proc/13500/task/13519/stat : 13519 (java) S 13498 13498 1658 0 -1 1077944384 2564 0 0 0 1 4 0 0 20 0 28 0 10331114 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379803494960 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13948] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13948/stat : 13948 (java) R 13498 13498 1658 0 -1 4202560 132 0 0 0 269 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378579533256 140380695320204 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13949] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13949/stat : 13949 (java) R 13498 13498 1658 0 -1 4202560 103 0 0 0 269 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378580586792 140380694201344 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13950] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13950/stat : 13950 (java) R 13498 13498 1658 0 -1 4202560 287 0 0 0 269 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378585850584 140380691387460 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13951] ppid=13498 vsize=26601020 CPUtime=2.68 cores=0-7 /proc/13500/task/13951/stat : 13951 (java) R 13498 13498 1658 0 -1 4202560 267 0 0 0 268 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378578482216 140380694652606 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13952] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13952/stat : 13952 (java) R 13498 13498 1658 0 -1 4202560 71 0 0 0 269 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140379799774168 140380695409738 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13953] ppid=13498 vsize=26601020 CPUtime=2.64 cores=0-7 /proc/13500/task/13953/stat : 13953 (java) R 13498 13498 1658 0 -1 4202560 503 0 0 0 264 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378584800144 140380696719894 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13954] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13954/stat : 13954 (java) R 13498 13498 1658 0 -1 4202560 88 0 0 0 269 0 0 0 20 0 28 0 10353060 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378582696472 140380694645812 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13955] ppid=13498 vsize=26601020 CPUtime=2.69 cores=0-7 /proc/13500/task/13955/stat : 13955 (java) R 13498 13498 1658 0 -1 4202560 97 0 0 0 269 0 0 0 20 0 28 0 10353061 27239444480 226333 18446744073709551615 4194304 4196468 140728922334128 140378581643104 140380693403392 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 Current children cumulated CPU time (s) 1744.2 Current children cumulated vsize (KiB) 26610532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+244.402 s] /proc/loadavg: 9.01 8.17 7.47 9/206 13997 /proc/meminfo: memFree=30833624/32770624 swapFree=0/278116 [pid=13498] ppid=13495 vsize=9512 CPUtime=0 cores=0-7 /proc/13498/stat : 13498 (xcsp3-exec) S 13495 13498 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10331099 9740288 345 18446744073709551615 4194304 5098028 140735318036576 140735318034680 140580225094268 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 34758656 140735318045074 140735318045284 140735318045284 140735318048747 0 /proc/13498/statm: 2378 345 289 221 0 87 0 [pid=13500] ppid=13498 vsize=26601020 CPUtime=1920.04 cores=0-7 /proc/13500/stat : 13500 (java) S 13498 13498 1658 0 -1 1077944320 177530 0 0 0 191809 195 0 0 20 0 28 0 10331104 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140728922316672 140381066571511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 /proc/13500/statm: 6650255 218140 3254 1 0 6638556 0 [pid=13500/tid=13501] ppid=13498 vsize=26601020 CPUtime=1.05 cores=0-7 /proc/13500/task/13501/stat : 13501 (java) S 13498 13498 1658 0 -1 1077944384 12672 0 0 0 98 7 0 0 20 0 28 0 10331104 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381070812288 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13502] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13502/stat : 13502 (java) S 13498 13498 1658 0 -1 1077944384 2365 0 0 0 10 5 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381023537808 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13503] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13503/stat : 13503 (java) S 13498 13498 1658 0 -1 1077944384 1638 0 0 0 10 5 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381022485008 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13504] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13504/stat : 13504 (java) S 13498 13498 1658 0 -1 1077944384 2463 0 0 0 10 5 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381021432208 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13505] ppid=13498 vsize=26601020 CPUtime=0.16 cores=0-7 /proc/13500/task/13505/stat : 13505 (java) S 13498 13498 1658 0 -1 1077944384 2053 0 0 0 10 6 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381020379408 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13506] ppid=13498 vsize=26601020 CPUtime=0.16 cores=0-7 /proc/13500/task/13506/stat : 13506 (java) S 13498 13498 1658 0 -1 1077944384 2438 0 0 0 10 6 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381019327632 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13507] ppid=13498 vsize=26601020 CPUtime=0.16 cores=0-7 /proc/13500/task/13507/stat : 13507 (java) S 13498 13498 1658 0 -1 1077944384 2494 0 0 0 11 5 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381018274832 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13508] ppid=13498 vsize=26601020 CPUtime=0.16 cores=0-7 /proc/13500/task/13508/stat : 13508 (java) S 13498 13498 1658 0 -1 1077944384 2632 0 0 0 10 6 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381017222032 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13509] ppid=13498 vsize=26601020 CPUtime=0.15 cores=0-7 /proc/13500/task/13509/stat : 13509 (java) S 13498 13498 1658 0 -1 1077944384 1297 0 0 0 10 5 0 0 20 0 28 0 10331105 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140381016169232 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13510] ppid=13498 vsize=26601020 CPUtime=0.17 cores=0-7 /proc/13500/task/13510/stat : 13510 (java) S 13498 13498 1658 0 -1 1077944384 8314 0 0 0 8 9 0 0 20 0 28 0 10331106 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379812968816 140381066582658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13511] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13511/stat : 13511 (java) S 13498 13498 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 10331107 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379811914848 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13512] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13512/stat : 13512 (java) S 13498 13498 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 10331107 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379810861952 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13513] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13513/stat : 13513 (java) S 13498 13498 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379809810256 140381066590107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13514] ppid=13498 vsize=26601020 CPUtime=2.13 cores=0-7 /proc/13500/task/13514/stat : 13514 (java) S 13498 13498 1658 0 -1 1077944384 12650 0 0 0 210 3 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379808758640 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13515] ppid=13498 vsize=26601020 CPUtime=2.56 cores=0-7 /proc/13500/task/13515/stat : 13515 (java) S 13498 13498 1658 0 -1 1077944384 9902 0 0 0 255 1 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379807705840 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13516] ppid=13498 vsize=26601020 CPUtime=2.29 cores=0-7 /proc/13500/task/13516/stat : 13516 (java) S 13498 13498 1658 0 -1 1077944384 9209 0 0 0 227 2 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379806653040 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13517] ppid=13498 vsize=26601020 CPUtime=0.98 cores=0-7 /proc/13500/task/13517/stat : 13517 (java) S 13498 13498 1658 0 -1 1077944384 17581 0 0 0 94 4 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379805600240 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13518] ppid=13498 vsize=26601020 CPUtime=0 cores=0-7 /proc/13500/task/13518/stat : 13518 (java) S 13498 13498 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10331109 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379804547680 140381066581717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13519] ppid=13498 vsize=26601020 CPUtime=0.05 cores=0-7 /proc/13500/task/13519/stat : 13519 (java) S 13498 13498 1658 0 -1 1077944384 2873 0 0 0 1 4 0 0 20 0 28 0 10331114 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379803494960 140381066582658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13990] ppid=13498 vsize=26601020 CPUtime=2.63 cores=0-7 /proc/13500/task/13990/stat : 13990 (java) R 13498 13498 1658 0 -1 4202560 225 0 0 0 263 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140379799771864 140380696299473 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13991] ppid=13498 vsize=26601020 CPUtime=2.62 cores=0-7 /proc/13500/task/13991/stat : 13991 (java) R 13498 13498 1658 0 -1 4202560 141 0 0 0 262 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378580586840 140380694201260 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13992] ppid=13498 vsize=26601020 CPUtime=2.6 cores=0-7 /proc/13500/task/13992/stat : 13992 (java) R 13498 13498 1658 0 -1 4202560 424 0 0 0 260 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378578481832 140380694201839 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13993] ppid=13498 vsize=26601020 CPUtime=2.63 cores=0-7 /proc/13500/task/13993/stat : 13993 (java) R 13498 13498 1658 0 -1 4202560 240 0 0 0 263 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378584798040 140380694201179 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13994] ppid=13498 vsize=26601020 CPUtime=2.63 cores=0-7 /proc/13500/task/13994/stat : 13994 (java) R 13498 13498 1658 0 -1 4202560 224 0 0 0 263 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378585853208 140380695409771 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13995] ppid=13498 vsize=26601020 CPUtime=2.63 cores=0-7 /proc/13500/task/13995/stat : 13995 (java) R 13498 13498 1658 0 -1 4202560 148 0 0 0 263 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378581639024 140380694201297 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13996] ppid=13498 vsize=26601020 CPUtime=2.64 cores=0-7 /proc/13500/task/13996/stat : 13996 (java) R 13498 13498 1658 0 -1 4202560 162 0 0 0 264 0 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378579534424 140380694201260 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 [pid=13500/tid=13997] ppid=13498 vsize=26601020 CPUtime=2.62 cores=0-7 /proc/13500/task/13997/stat : 13997 (java) R 13498 13498 1658 0 -1 4202560 600 0 0 0 261 1 0 0 20 0 28 0 10355275 27239444480 218140 18446744073709551615 4194304 4196468 140728922334128 140378582694912 140380697341951 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20385792 140728922341840 140728922342016 140728922342016 140728922345423 0 Current children cumulated CPU time (s) 1920.04 Current children cumulated vsize (KiB) 26610532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13500 sig 9 ??? kill 13498 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13498 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1029 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1029 # CPU time returned by wait4() is 0.002058 # while last known CPU time is 1920.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 244.436 CPU time (s): 1920.04 CPU user time (s): 1918.09 CPU system time (s): 1.95 CPU usage (%): 785.498 Max. virtual memory (cumulated for all children) (KiB): 26610532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001029 system time used= 0.001029 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.70436 second user time and 1.87951 second system time The end
Begin job on node135 at 2017-08-02 16:16:04 IDJOB=4254875 IDBENCH=124448 IDSOLVER=2636 FILE ID=node135/4254875-1501684204 RUNJOBID= node135-1501676595-1714 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254875-1501684204/watcher-4254875-1501684204 -o /tmp/evaluation-result-4254875-1501684204/solver-4254875-1501684204 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1296273682 HOME/instance-4254875-1501684204.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=1296273682 node135.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.21 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.21 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.21 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.21 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: 31698688 kB MemAvailable: 32014724 kB Buffers: 149748 kB Cached: 441728 kB SwapCached: 0 kB Active: 361064 kB Inactive: 286620 kB Active(anon): 56428 kB Inactive(anon): 8592 kB Active(file): 304636 kB Inactive(file): 278028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7480 kB Writeback: 4 kB AnonPages: 56328 kB Mapped: 29520 kB Shmem: 8960 kB Slab: 124624 kB SReclaimable: 98416 kB SUnreclaim: 26208 kB KernelStack: 3152 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 278712 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 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: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61940 MiB End job on node135 at 2017-08-02 16:20:09