Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 718 | 20006.6 | 2520.1201 |
| 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 | 2400.02 |
| 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.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280645-1503134541.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280645-1503134541.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.75/0.98 c solve instance... 3.29/1.07 o 3518 3.85/1.11 o 3425 3.85/1.12 o 3419 3.85/1.15 o 3418 3.85/1.18 o 3338 3.85/1.19 o 3332 3.85/1.19 o 3326 3.85/1.19 o 1468 10.01/1.92 o 1216 10.01/1.95 o 1207 10.01/1.97 o 1191 10.01/2.00 o 1188 10.79/2.07 o 1186 11.57/2.13 o 1136 24.18/3.74 o 1124 24.18/3.75 o 1094 88.50/11.83 o 1070 88.50/11.85 o 1069 88.50/11.88 o 1034 89.13/11.98 o 1033 105.97/14.10 o 1009 233.44/30.08 o 1005 233.44/30.10 o 982 233.44/30.11 o 980 234.17/30.19 o 979 245.80/31.65 o 978 247.77/31.96 o 977 249.48/32.15 o 950 249.48/32.16 o 900 249.48/32.17 o 899 249.48/32.18 o 897 250.03/32.24 o 896 250.03/32.25 o 895 250.48/32.30 o 836 250.48/32.31 o 831 259.23/33.44 o 829 273.58/35.25 o 826 306.48/39.45 o 820 349.20/44.89 o 818 415.23/53.29 o 817 506.29/64.76 o 816 558.06/71.24 o 810 558.06/71.25 o 808 569.20/72.66 o 807 599.49/76.54 o 806 606.36/77.49 o 804 627.46/80.45 o 803 652.59/83.63 o 802 706.79/90.46 o 796 762.80/97.87 o 795 836.95/107.24 o 793 913.67/116.96 o 790 984.01/125.89 o 785 1048.28/134.07 o 784 1131.33/144.56 o 783 1276.14/162.76 o 778 1330.11/169.55 o 777 1404.25/178.88 o 754 1451.30/184.74 o 739 1547.78/196.80 o 738 1743.13/221.35 o 731 2659.37/336.31 o 729 3494.78/441.59 o 728 3778.85/477.48 o 727 4235.32/534.83 o 725 17293.88/2178.85 o 718 20005.84/2520.09 s SATISFIABLE 20005.84/2520.09 v <instantiation> 20005.84/2520.09 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> 20005.84/2520.09 v <values>0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 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 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 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 1 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 61 10 44 17 60 39 56 100 36 20 43 100 16 77 67 76 31 90 66 96 100 18 77 83 98 100 80 10 30 29 </values> 20005.84/2520.09 v </instantiation> 20005.84/2520.09 c Unexpected resolution interruption!
OK 718
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 (11249 MiB free)
memory of node 1: 16384 MiB (11225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280645-1503134541/watcher-4280645-1503134541 -o /tmp/evaluation-result-4280645-1503134541/solver-4280645-1503134541 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503126106-7427 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 938365913 HOME/instance-4280645-1503134541.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
Current StackSize limit: 8192 KiB
solver pid=8676, runsolver pid=8673
[startup+0.100138 s]*
/proc/loadavg: 8.91 8.49 8.34 2/199 8697
/proc/meminfo: memFree=22999536/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=25999808 memory=26548 CPUtime=0.12 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 5483 0 0 0 10 2 0 0 20 0 20 0 146525543 26623803392 6637 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6499952 6637 2868 1 0 6488269 0
[pid=8678/tid=8679] ppid=8676 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) R 8676 8676 7400 0 -1 4202560 3482 0 0 0 7 1 0 0 20 0 20 0 146525543 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647520051456 140647515831702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=25999808 memory=139903522473600 CPUtime=0 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8683] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8683/stat : 8683 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647435242000 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8684] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8684/stat : 8684 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647434189712 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8685] ppid=8676 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8685/stat : 8685 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647433136912 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8686] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8686/stat : 8686 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647432084624 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8687] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8687/stat : 8687 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26623803392 6637 33554432000 4194304 4196468 140727847096208 140647431031824 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8688] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8688/stat : 8688 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525545 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646911330416 140647515830914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8689] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8689/stat : 8689 (java) S 8676 8676 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146525546 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646910276384 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8690] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8690/stat : 8690 (java) S 8676 8676 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146525546 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646909224048 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8691] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8691/stat : 8691 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525548 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646908172368 140647515838363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8692] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8692/stat : 8692 (java) S 8676 8676 7400 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 146525548 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646907120240 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8693] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8693/stat : 8693 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525548 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646906067440 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8694] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8694/stat : 8694 (java) S 8676 8676 7400 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 146525548 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646905015152 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8695] ppid=8676 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8678/task/8695/stat : 8695 (java) R 8676 8676 7400 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 146525548 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646903962352 140647494487545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8696] ppid=8676 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8696/stat : 8696 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525549 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646902909280 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8697] ppid=8676 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8697/stat : 8697 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525549 26623803392 6637 33554432000 4194304 4196468 140727847096208 140646901856560 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27928 KiB
[startup+0.210027 s]*
/proc/loadavg: 8.91 8.49 8.34 2/199 8697
/proc/meminfo: memFree=22988620/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=26004064 memory=39060 CPUtime=0.33 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 8295 0 0 0 30 3 0 0 20 0 20 0 146525543 26628161536 9765 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6501016 9765 3069 1 0 6488269 0
[pid=8678/tid=8679] ppid=8676 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) R 8676 8676 7400 0 -1 4202560 5387 0 0 0 18 2 0 0 20 0 20 0 146525543 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647520033776 140647515841693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=26004064 memory=139903522481976 CPUtime=0 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8683] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8683/stat : 8683 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647435242000 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8684] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8684/stat : 8684 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647434189712 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8685] ppid=8676 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8685/stat : 8685 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647433136912 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8686] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8686/stat : 8686 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647432084624 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8687] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8687/stat : 8687 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 9765 33554432000 4194304 4196468 140727847096208 140647431031824 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8688] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8688/stat : 8688 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525545 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646911330416 140647515830914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8689] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8689/stat : 8689 (java) S 8676 8676 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146525546 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646910276384 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8690] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8690/stat : 8690 (java) S 8676 8676 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146525546 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646909224048 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8691] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8691/stat : 8691 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525548 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646908172368 140647515838363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8692] ppid=8676 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8678/task/8692/stat : 8692 (java) S 8676 8676 7400 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 20 0 146525548 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646907120240 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8693] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8693/stat : 8693 (java) S 8676 8676 7400 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 146525548 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646906067440 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8694] ppid=8676 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/8678/task/8694/stat : 8694 (java) S 8676 8676 7400 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 146525548 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646905015152 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8695] ppid=8676 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8678/task/8695/stat : 8695 (java) R 8676 8676 7400 0 -1 4202560 805 0 0 0 7 0 0 0 20 0 20 0 146525548 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646903962352 140647494329940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8696] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8696/stat : 8696 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525549 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646902909280 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8697] ppid=8676 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8697/stat : 8697 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525549 26628161536 9765 33554432000 4194304 4196468 140727847096208 140646901856560 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40440 KiB
[startup+0.309454 s]*
/proc/loadavg: 8.91 8.49 8.34 3/199 8697
/proc/meminfo: memFree=22983588/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=26004064 memory=44204 CPUtime=0.49 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 9207 0 0 0 46 3 0 0 20 0 20 0 146525543 26628161536 11051 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6501016 11051 3118 1 0 6488269 0
[pid=8678/tid=8679] ppid=8676 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) R 8676 8676 7400 0 -1 4202560 6051 0 0 0 27 2 0 0 20 0 20 0 146525543 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647520057568 140647515831702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8683] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8683/stat : 8683 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647435242000 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8684] ppid=8676 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8678/task/8684/stat : 8684 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647434189712 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8685] ppid=8676 vsize=26004064 memory=139903392379823 CPUtime=0 cores=0-7
/proc/8678/task/8685/stat : 8685 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647433136912 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8686] ppid=8676 vsize=26004064 memory=139903392382128 CPUtime=0 cores=0-7
/proc/8678/task/8686/stat : 8686 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647432084624 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8687] ppid=8676 vsize=26004064 memory=139903392384432 CPUtime=0 cores=0-7
/proc/8678/task/8687/stat : 8687 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26628161536 11051 33554432000 4194304 4196468 140727847096208 140647431031824 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8688] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8688/stat : 8688 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525545 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646911330416 140647515830914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8689] ppid=8676 vsize=26004064 memory=279806784775824 CPUtime=0 cores=0-7
/proc/8678/task/8689/stat : 8689 (java) S 8676 8676 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146525546 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646910276384 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8690] ppid=8676 vsize=26004064 memory=279806784782736 CPUtime=0 cores=0-7
/proc/8678/task/8690/stat : 8690 (java) S 8676 8676 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146525546 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646909224048 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8691] ppid=8676 vsize=26004064 memory=279806784724016 CPUtime=0 cores=0-7
/proc/8678/task/8691/stat : 8691 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525548 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646908172368 140647515838363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8692] ppid=8676 vsize=26004064 memory=279806784796560 CPUtime=0.02 cores=0-7
/proc/8678/task/8692/stat : 8692 (java) S 8676 8676 7400 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 146525548 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646907120240 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8693] ppid=8676 vsize=26004064 memory=279806784803472 CPUtime=0.01 cores=0-7
/proc/8678/task/8693/stat : 8693 (java) S 8676 8676 7400 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 146525548 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646906067440 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8694] ppid=8676 vsize=26004064 memory=279806784801168 CPUtime=0.02 cores=0-7
/proc/8678/task/8694/stat : 8694 (java) S 8676 8676 7400 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 20 0 146525548 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646905015152 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8695] ppid=8676 vsize=26004064 memory=279806784817328 CPUtime=0.12 cores=0-7
/proc/8678/task/8695/stat : 8695 (java) R 8676 8676 7400 0 -1 4202560 944 0 0 0 12 0 0 0 20 0 20 0 146525548 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646903956888 140647515831702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8696] ppid=8676 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8696/stat : 8696 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525549 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646902909280 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8697] ppid=8676 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8678/task/8697/stat : 8697 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525549 26628161536 11051 33554432000 4194304 4196468 140727847096208 140646901856560 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45584 KiB
[startup+0.70092 s]
/proc/loadavg: 8.91 8.49 8.34 6/199 8697
/proc/meminfo: memFree=22957784/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=26006188 memory=96748 CPUtime=1.9 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 14229 0 0 0 184 6 0 0 20 0 20 0 146525543 26630336512 24187 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6501547 24187 3199 1 0 6488781 0
[pid=8678/tid=8679] ppid=8676 vsize=26006188 memory=279806785175216 CPUtime=0.67 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) R 8676 8676 7400 0 -1 4202560 6793 0 0 0 64 3 0 0 20 0 20 0 146525543 26630336512 24187 33554432000 4194304 4196468 140727847096208 140647520056456 140647497469266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=26006188 memory=139903392588656 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146525544 26630336512 24187 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146525544 26630336512 24187 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146525544 26630336512 24187 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
################
# More data... #
################
[pid=8678/tid=9290] ppid=8676 vsize=26538700 memory=492476 CPUtime=260.61 cores=0-7
/proc/8678/task/9290/stat : 9290 (java) R 8676 8676 7400 0 -1 4202560 1987 0 0 0 26060 1 0 0 20 0 28 0 146743428 27175628800 122862 33554432000 4194304 4196468 140727847096208 140646756106616 140647116156545 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 19388.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 492828 KiB
[startup+2502.3 s]
/proc/loadavg: 8.26 8.53 8.42 9/207 9290
/proc/meminfo: memFree=22486312/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=26538700 memory=536108 CPUtime=19865.2 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 1055512 0 0 0 1985738 784 0 0 20 0 28 0 146525543 27175628800 134027 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6634675 134027 3303 1 0 6621909 0
[pid=8678/tid=8679] ppid=8676 vsize=26538700 memory=536620 CPUtime=1.03 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) S 8676 8676 7400 0 -1 1077944384 11547 0 0 0 98 5 0 0 20 0 28 0 146525543 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647520060544 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=26538700 memory=535936 CPUtime=7.65 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 35374 0 0 0 731 34 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=26538700 memory=481188 CPUtime=7.68 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 35656 0 0 0 736 32 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=26538700 memory=477072 CPUtime=7.64 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 42136 0 0 0 733 31 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8683] ppid=8676 vsize=26538700 memory=476560 CPUtime=7.7 cores=0-7
/proc/8678/task/8683/stat : 8683 (java) S 8676 8676 7400 0 -1 1077944384 36832 0 0 0 737 33 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647435242000 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8684] ppid=8676 vsize=26538700 memory=502736 CPUtime=7.6 cores=0-7
/proc/8678/task/8684/stat : 8684 (java) S 8676 8676 7400 0 -1 1077944384 36110 0 0 0 728 32 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647434189712 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8685] ppid=8676 vsize=26538700 memory=501708 CPUtime=7.65 cores=0-7
/proc/8678/task/8685/stat : 8685 (java) S 8676 8676 7400 0 -1 1077944384 37795 0 0 0 734 31 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647433136912 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8686] ppid=8676 vsize=26538700 memory=497604 CPUtime=7.69 cores=0-7
/proc/8678/task/8686/stat : 8686 (java) S 8676 8676 7400 0 -1 1077944384 42263 0 0 0 739 30 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647432084624 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8687] ppid=8676 vsize=26538700 memory=497604 CPUtime=7.65 cores=0-7
/proc/8678/task/8687/stat : 8687 (java) S 8676 8676 7400 0 -1 1077944384 43379 0 0 0 730 35 0 0 20 0 28 0 146525544 27175628800 134027 33554432000 4194304 4196468 140727847096208 140647431031824 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8688] ppid=8676 vsize=26538700 memory=486320 CPUtime=5.44 cores=0-7
/proc/8678/task/8688/stat : 8688 (java) S 8676 8676 7400 0 -1 1077944384 164782 0 0 0 334 210 0 0 20 0 28 0 146525545 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646911330416 140647515830914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8689] ppid=8676 vsize=26538700 memory=486320 CPUtime=0 cores=0-7
/proc/8678/task/8689/stat : 8689 (java) S 8676 8676 7400 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 146525546 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646910276448 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8690] ppid=8676 vsize=26538700 memory=535084 CPUtime=0 cores=0-7
/proc/8678/task/8690/stat : 8690 (java) S 8676 8676 7400 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146525546 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646909224064 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8691] ppid=8676 vsize=26538700 memory=536108 CPUtime=0 cores=0-7
/proc/8678/task/8691/stat : 8691 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146525548 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646908172368 140647515838363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8692] ppid=8676 vsize=26538700 memory=1380 CPUtime=2.31 cores=0-7
/proc/8678/task/8692/stat : 8692 (java) S 8676 8676 7400 0 -1 1077944384 13611 0 0 0 229 2 0 0 20 0 28 0 146525548 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646907120240 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8693] ppid=8676 vsize=26538700 memory=536620 CPUtime=2.37 cores=0-7
/proc/8678/task/8693/stat : 8693 (java) S 8676 8676 7400 0 -1 1077944384 11244 0 0 0 235 2 0 0 20 0 28 0 146525548 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646906067440 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8694] ppid=8676 vsize=26538700 memory=535084 CPUtime=2.42 cores=0-7
/proc/8678/task/8694/stat : 8694 (java) S 8676 8676 7400 0 -1 1077944384 12037 0 0 0 241 1 0 0 20 0 28 0 146525548 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646905015152 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8695] ppid=8676 vsize=26538700 memory=1380 CPUtime=0.98 cores=0-7
/proc/8678/task/8695/stat : 8695 (java) S 8676 8676 7400 0 -1 1077944384 20067 0 0 0 95 3 0 0 20 0 28 0 146525548 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646903962352 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8696] ppid=8676 vsize=26538700 memory=2400 CPUtime=0 cores=0-7
/proc/8678/task/8696/stat : 8696 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146525549 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646902909280 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8697] ppid=8676 vsize=26538700 memory=1380 CPUtime=0.44 cores=0-7
/proc/8678/task/8697/stat : 8697 (java) S 8676 8676 7400 0 -1 1077944384 7760 0 0 0 11 33 0 0 20 0 28 0 146525549 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646901856560 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9283] ppid=8676 vsize=26538700 memory=536620 CPUtime=319.62 cores=0-7
/proc/8678/task/9283/stat : 9283 (java) R 8676 8676 7400 0 -1 4202560 2902 0 0 0 31960 2 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646755052568 140647116798836 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9284] ppid=8676 vsize=26538700 memory=1380 CPUtime=320.86 cores=0-7
/proc/8678/task/9284/stat : 9284 (java) R 8676 8676 7400 0 -1 4202560 2704 0 0 0 32084 2 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646752952176 140647116797756 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9285] ppid=8676 vsize=26538700 memory=1380 CPUtime=319.81 cores=0-7
/proc/8678/task/9285/stat : 9285 (java) R 8676 8676 7400 0 -1 4202560 9037 0 0 0 31977 4 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646757159464 140647110628232 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9286] ppid=8676 vsize=26538700 memory=1380 CPUtime=320.04 cores=0-7
/proc/8678/task/9286/stat : 9286 (java) R 8676 8676 7400 0 -1 4202560 16345 0 0 0 31999 5 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646893846464 140647116131653 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9287] ppid=8676 vsize=26538700 memory=483240 CPUtime=319 cores=0-7
/proc/8678/task/9287/stat : 9287 (java) R 8676 8676 7400 0 -1 4202560 5079 0 0 0 31897 3 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646751900320 140647117328210 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9288] ppid=8676 vsize=26538700 memory=1380 CPUtime=320.08 cores=0-7
/proc/8678/task/9288/stat : 9288 (java) R 8676 8676 7400 0 -1 4202560 3133 0 0 0 32006 2 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646754005928 140647116132124 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9289] ppid=8676 vsize=26538700 memory=1380 CPUtime=319.75 cores=0-7
/proc/8678/task/9289/stat : 9289 (java) R 8676 8676 7400 0 -1 4202560 21163 0 0 0 31959 16 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646892793384 140647113553494 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9290] ppid=8676 vsize=26538700 memory=1380 CPUtime=320.19 cores=0-7
/proc/8678/task/9290/stat : 9290 (java) R 8676 8676 7400 0 -1 4202560 2412 0 0 0 32018 1 0 0 20 0 28 0 146743428 27175628800 134027 33554432000 4194304 4196468 140727847096208 140646756105760 140647116156553 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 19865.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 537488 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.25 8.51 8.42 9/207 9290
/proc/meminfo: memFree=22487332/32770624 swapFree=67108860/67108860
[pid=8676] ppid=8673 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8676/stat : 8676 (xcsp3-exec) S 8673 8676 7400 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146525542 9740288 345 33554432000 4194304 5098028 140736306474672 140736306472776 140234402587260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140736306476133 140736306476343 140736306476343 140736306479083 0
/proc/8676/statm: 2378 345 289 221 0 87 0
[pid=8678] ppid=8676 vsize=26538700 memory=534052 CPUtime=20005.8 cores=0-7
/proc/8678/stat : 8678 (java) S 8676 8676 7400 0 -1 1077944320 1058355 0 0 0 1999792 792 0 0 20 0 28 0 146525543 27175628800 133513 33554432000 4194304 4196468 140727847096208 140727847078752 140647515819767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
/proc/8678/statm: 6634675 133513 3303 1 0 6621909 0
[pid=8678/tid=8679] ppid=8676 vsize=26538700 memory=536624 CPUtime=1.03 cores=0-7
/proc/8678/task/8679/stat : 8679 (java) S 8676 8676 7400 0 -1 1077944384 11547 0 0 0 98 5 0 0 20 0 28 0 146525543 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647520060544 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8680] ppid=8676 vsize=26538700 memory=4128 CPUtime=7.71 cores=0-7
/proc/8678/task/8680/stat : 8680 (java) S 8676 8676 7400 0 -1 1077944384 35404 0 0 0 737 34 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647438399888 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8681] ppid=8676 vsize=26538700 memory=4872558044660077418 CPUtime=7.76 cores=0-7
/proc/8678/task/8681/stat : 8681 (java) S 8676 8676 7400 0 -1 1077944384 35697 0 0 0 743 33 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647437347088 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8682] ppid=8676 vsize=26538700 memory=4096 CPUtime=7.72 cores=0-7
/proc/8678/task/8682/stat : 8682 (java) S 8676 8676 7400 0 -1 1077944384 42149 0 0 0 740 32 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647436294800 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8683] ppid=8676 vsize=26538700 memory=1156 CPUtime=7.77 cores=0-7
/proc/8678/task/8683/stat : 8683 (java) S 8676 8676 7400 0 -1 1077944384 36869 0 0 0 744 33 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647435242000 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8684] ppid=8676 vsize=26538700 memory=4352 CPUtime=7.67 cores=0-7
/proc/8678/task/8684/stat : 8684 (java) S 8676 8676 7400 0 -1 1077944384 36130 0 0 0 735 32 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647434189712 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8685] ppid=8676 vsize=26538700 memory=1380 CPUtime=7.73 cores=0-7
/proc/8678/task/8685/stat : 8685 (java) S 8676 8676 7400 0 -1 1077944384 38107 0 0 0 741 32 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647433136912 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8686] ppid=8676 vsize=26538700 memory=537144 CPUtime=7.77 cores=0-7
/proc/8678/task/8686/stat : 8686 (java) S 8676 8676 7400 0 -1 1077944384 42334 0 0 0 746 31 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647432084624 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8687] ppid=8676 vsize=26538700 memory=4616 CPUtime=7.73 cores=0-7
/proc/8678/task/8687/stat : 8687 (java) S 8676 8676 7400 0 -1 1077944384 43396 0 0 0 737 36 0 0 20 0 28 0 146525544 27175628800 133513 33554432000 4194304 4196468 140727847096208 140647431031824 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8688] ppid=8676 vsize=26538700 memory=1928 CPUtime=5.48 cores=0-7
/proc/8678/task/8688/stat : 8688 (java) S 8676 8676 7400 0 -1 1077944384 164819 0 0 0 337 211 0 0 20 0 28 0 146525545 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646911330416 140647515830914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8689] ppid=8676 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/8678/task/8689/stat : 8689 (java) S 8676 8676 7400 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 146525546 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646910276448 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8690] ppid=8676 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/8678/task/8690/stat : 8690 (java) S 8676 8676 7400 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146525546 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646909224064 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8691] ppid=8676 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/8678/task/8691/stat : 8691 (java) S 8676 8676 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146525548 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646908172368 140647515838363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8692] ppid=8676 vsize=26538700 memory=1928 CPUtime=2.31 cores=0-7
/proc/8678/task/8692/stat : 8692 (java) S 8676 8676 7400 0 -1 1077944384 13611 0 0 0 229 2 0 0 20 0 28 0 146525548 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646907120240 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8693] ppid=8676 vsize=26538700 memory=1428 CPUtime=2.37 cores=0-7
/proc/8678/task/8693/stat : 8693 (java) S 8676 8676 7400 0 -1 1077944384 11244 0 0 0 235 2 0 0 20 0 28 0 146525548 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646906067440 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8694] ppid=8676 vsize=26538700 memory=1196 CPUtime=2.42 cores=0-7
/proc/8678/task/8694/stat : 8694 (java) S 8676 8676 7400 0 -1 1077944384 12037 0 0 0 241 1 0 0 20 0 28 0 146525548 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646905015152 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8695] ppid=8676 vsize=26538700 memory=10684 CPUtime=0.98 cores=0-7
/proc/8678/task/8695/stat : 8695 (java) S 8676 8676 7400 0 -1 1077944384 20067 0 0 0 95 3 0 0 20 0 28 0 146525548 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646903962352 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8696] ppid=8676 vsize=26538700 memory=15880 CPUtime=0 cores=0-7
/proc/8678/task/8696/stat : 8696 (java) S 8676 8676 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146525549 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646902909280 140647515829973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=8697] ppid=8676 vsize=26538700 memory=22372 CPUtime=0.45 cores=0-7
/proc/8678/task/8697/stat : 8697 (java) S 8676 8676 7400 0 -1 1077944384 7760 0 0 0 11 34 0 0 20 0 28 0 146525549 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646901856560 140647515830914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9283] ppid=8676 vsize=26538700 memory=16432 CPUtime=337.05 cores=0-7
/proc/8678/task/9283/stat : 9283 (java) R 8676 8676 7400 0 -1 4202560 2936 0 0 0 33703 2 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646755052944 140647116132774 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9284] ppid=8676 vsize=26538700 memory=4040 CPUtime=338.43 cores=0-7
/proc/8678/task/9284/stat : 9284 (java) R 8676 8676 7400 0 -1 4202560 2742 0 0 0 33841 2 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646752948648 140647116157000 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9285] ppid=8676 vsize=26538700 memory=288230574492221466 CPUtime=337.27 cores=0-7
/proc/8678/task/9285/stat : 9285 (java) R 8676 8676 7400 0 -1 4202560 9180 0 0 0 33723 4 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646757161856 140647116132058 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9286] ppid=8676 vsize=26538700 memory=288230583166042426 CPUtime=337.57 cores=0-7
/proc/8678/task/9286/stat : 9286 (java) R 8676 8676 7400 0 -1 4202560 17145 0 0 0 33752 5 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646893846576 140647116131973 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9287] ppid=8676 vsize=26538700 memory=15824391212631845 CPUtime=336.53 cores=0-7
/proc/8678/task/9287/stat : 9287 (java) R 8676 8676 7400 0 -1 4202560 5225 0 0 0 33650 3 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646751895832 140647116156907 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9288] ppid=8676 vsize=26538700 memory=22372 CPUtime=337.62 cores=0-7
/proc/8678/task/9288/stat : 9288 (java) R 8676 8676 7400 0 -1 4202560 3225 0 0 0 33760 2 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646754001392 140647116155912 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9289] ppid=8676 vsize=26538700 memory=16432 CPUtime=337.2 cores=0-7
/proc/8678/task/9289/stat : 9289 (java) R 8676 8676 7400 0 -1 4202560 22130 0 0 0 33703 17 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646892793680 140647115488043 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
[pid=8678/tid=9290] ppid=8676 vsize=26538700 memory=4040 CPUtime=337.63 cores=0-7
/proc/8678/task/9290/stat : 9290 (java) R 8676 8676 7400 0 -1 4202560 2457 0 0 0 33762 1 0 0 20 0 28 0 146743428 27175628800 133513 33554432000 4194304 4196468 140727847096208 140646756106616 140647117720988 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17428480 140727847101586 140727847101763 140727847101763 140727847104463 0
Current children cumulated CPU time: 20005.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 535432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 8676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000967 s, system=0.000967 s
[startup+2520.12 s]
# the end of solver process 8678 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19998.7 s, system=7.92817 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
Child status: 143
Real time (s): 2520.12
CPU time (s): 20006.6
CPU user time (s): 19998.7
CPU system time (s): 7.92817
CPU usage (%): 793.878
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1136712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19998.7
system time used= 7.92817
maximum resident set size= 1138892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295844
involuntary context switches= 218736
# summary of solver processes directly reported to runsolver:
# pid: 8676,8678
# total CPU time (s): 20006.6
# total CPU user time (s): 19998.7
# total CPU system time (s): 7.92817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2831 second user time and 25.7308 second system time
The end
Begin job on node105 at 2017-08-19 11:08:01 IDJOB=4280645 IDBENCH=124448 IDSOLVER=2675 FILE ID=node105/4280645-1503134541 RUNJOBID= node105-1503126106-7427 PBS_JOBID= 20630777 Free space on /tmp= 61848 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-4280645-1503134541/watcher-4280645-1503134541 -o /tmp/evaluation-result-4280645-1503134541/solver-4280645-1503134541 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503126106-7427 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 938365913 HOME/instance-4280645-1503134541.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=938365913 node105.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.17 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.17 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.17 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.17 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: 23015576 kB MemAvailable: 31974728 kB Buffers: 279048 kB Cached: 8970340 kB SwapCached: 0 kB Active: 1057420 kB Inactive: 8246308 kB Active(anon): 56736 kB Inactive(anon): 33200 kB Active(file): 1000684 kB Inactive(file): 8213108 kB Unevictable: 7324 kB Mlocked: 7324 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7576 kB Writeback: 28 kB AnonPages: 60948 kB Mapped: 50728 kB Shmem: 33420 kB Slab: 148464 kB SReclaimable: 122392 kB SUnreclaim: 26072 kB KernelStack: 3168 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61840 MiB End job on node105 at 2017-08-19 11:50:01