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.7 seq (493a269) | SAT (TO) | 19034 | 2400.04 | 2389.13 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml |
| MD5SUM | 870d89fd5d4ada0d2442065415f88ba8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17822 |
| Best CPU time to get the best result obtained on this benchmark | 2520.11 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3192 |
| Number of constraints | 1541 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 56 |
| Distribution of domain sizes | [{"size":8,"count":1540},{"size":56,"count":56}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 56 |
| Distribution of variable degrees | [{"degree":0,"count":1596},{"degree":2,"count":1540},{"degree":56,"count":56}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 56 |
| Distribution of constraint arities | [{"arity":3,"count":1540},{"arity":56,"count":1}] |
| Number of extensional constraints | 1540 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1540},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292344-1532326026.xml" -tl '2400s' -p 1 -x 0 0.12/0.18 c Choco 493a269 0.12/0.18 c [HOME/instance-4292344-1532326026.xml, -tl, 2400s, -p, 1, -x, 0] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 4.32/2.50 c solve instance... 241.49/236.43 o 19495 241.80/236.53 o 19491 242.04/236.63 o 19469 242.04/236.65 o 19446 242.20/236.78 o 19417 700.60/691.41 o 19377 700.60/691.48 o 19370 700.70/691.54 o 19351 700.70/691.57 o 19345 802.24/792.97 o 19307 1069.21/1059.68 o 19301 1069.31/1059.73 o 19297 1734.45/1724.14 o 19238 1734.45/1724.18 o 19108 1734.54/1724.20 o 19034 2400.00/2389.11 s SATISFIABLE 2400.00/2389.11 v <instantiation> 2400.00/2389.11 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[51][52] d[51][53] d[51][54] d[51][55] d[52][53] d[52][54] d[52][55] d[53][54] d[53][55] d[54][55] </list> 2400.00/2389.11 v <values>14 1 45 53 41 15 24 3 5 23 30 20 43 7 13 8 52 44 11 12 6 35 28 39 37 34 17 27 55 40 0 46 21 31 26 54 10 42 49 51 16 19 36 2 29 4 38 9 18 25 22 32 33 48 47 50 1 10 5 4 0 5 10 0 2 5 2 0 2 1 0 0 0 3 0 4 2 2 5 1 2 10 5 1 1 1 0 5 2 0 1 0 0 1 0 10 0 2 1 0 5 0 5 0 6 0 0 0 2 0 0 6 0 1 2 1 5 10 1 1 2 1 5 0 10 0 5 10 0 0 1 0 1 5 0 5 5 5 0 1 3 0 0 10 0 5 1 0 0 0 0 2 0 10 0 2 5 0 2 2 3 0 0 2 0 5 0 4 5 10 10 2 0 5 5 3 2 1 0 10 3 1 0 0 0 2 0 0 0 1 2 5 2 5 0 5 1 1 1 5 5 0 6 0 0 5 0 2 2 2 0 5 0 2 10 1 2 6 2 1 10 1 5 10 1 3 0 5 5 0 1 3 0 0 0 5 2 2 3 1 0 0 5 3 0 0 0 1 0 1 1 2 0 0 2 0 2 0 1 2 0 2 10 2 1 10 1 0 5 4 1 5 2 2 2 5 1 5 0 5 10 5 0 5 5 0 3 1 0 0 1 2 1 10 5 1 2 0 2 0 5 1 0 2 2 3 0 3 5 10 0 0 2 2 0 2 5 3 6 2 2 5 5 0 2 2 10 5 4 2 2 3 0 0 0 6 1 0 0 1 0 0 1 5 0 5 5 2 3 10 5 0 2 5 1 0 5 0 1 0 2 0 0 0 4 2 4 2 2 2 2 10 2 5 5 10 5 5 4 10 1 5 1 5 2 2 1 0 2 0 2 0 1 0 0 0 4 4 0 0 0 0 5 3 0 0 2 1 0 2 2 0 1 0 2 2 5 0 2 0 4 0 0 2 0 4 0 3 10 4 5 0 10 5 6 0 0 2 2 0 5 2 4 0 1 5 1 10 0 0 0 2 0 10 1 1 2 5 1 5 2 0 2 1 5 0 5 0 10 2 5 1 1 0 0 2 10 2 0 1 5 5 2 10 1 0 5 1 1 3 0 10 2 2 10 2 1 0 1 1 10 5 0 0 1 0 0 5 10 1 1 0 5 0 0 1 3 2 5 10 10 5 2 0 5 5 3 2 0 5 0 2 10 5 0 0 0 2 0 2 10 0 2 10 2 6 0 0 2 2 1 0 0 4 10 10 5 0 1 2 0 5 10 1 4 1 1 10 5 0 6 5 0 2 0 2 5 0 0 2 0 5 5 1 1 0 0 10 3 0 5 0 5 2 0 5 0 0 1 0 0 2 3 0 0 0 1 2 2 0 4 3 2 5 4 2 0 0 0 0 0 5 5 0 4 0 0 0 0 2 10 0 0 0 1 1 5 2 1 0 0 1 0 5 2 0 1 1 0 2 5 5 5 0 0 0 10 5 5 10 5 1 4 10 5 2 5 1 2 0 2 5 2 5 0 0 10 1 0 0 5 0 5 0 5 1 0 0 0 3 0 1 0 0 5 5 2 5 0 6 5 2 1 0 0 0 2 10 3 2 2 5 0 0 5 10 1 10 4 0 5 5 0 5 1 1 0 5 0 2 0 0 0 5 0 5 10 0 10 1 2 10 2 2 1 5 2 10 0 10 0 5 2 0 4 5 5 0 0 5 0 1 3 0 0 5 0 0 1 2 2 2 0 10 2 1 0 0 5 0 2 5 1 10 4 2 2 2 5 1 4 0 0 0 5 2 0 1 10 5 0 2 5 2 10 2 3 4 1 1 5 10 1 0 0 6 5 5 1 0 10 3 5 10 1 1 0 0 0 1 0 10 4 10 1 2 0 6 2 1 5 5 0 0 0 0 2 2 3 0 5 6 4 0 2 5 0 2 4 0 2 4 6 1 0 10 2 5 0 10 1 10 0 2 10 3 0 5 4 5 0 0 5 2 2 1 0 2 0 0 0 2 1 10 2 0 0 0 1 2 5 3 5 5 1 1 1 1 10 5 0 0 5 1 1 5 6 6 1 5 5 2 1 0 0 5 2 0 10 2 10 5 2 10 5 5 10 1 10 2 0 0 0 2 5 5 1 0 0 0 2 1 5 1 4 2 0 5 1 0 2 2 6 0 4 2 5 10 2 2 0 0 0 0 2 5 2 2 2 0 0 10 1 0 10 0 4 4 0 2 1 0 2 1 1 5 2 6 1 0 2 10 0 5 10 6 2 5 1 5 2 0 5 5 0 5 2 1 1 3 2 1 0 2 2 0 10 0 2 0 1 0 1 0 10 0 5 10 0 5 1 4 5 10 2 0 3 3 4 3 1 5 0 10 10 0 10 10 3 3 0 5 10 10 0 1 5 5 0 5 5 6 0 5 5 0 0 0 0 0 2 5 2 10 2 2 0 0 0 5 5 10 1 0 5 2 0 5 2 2 2 0 0 1 0 0 1 4 2 0 5 0 0 3 0 2 0 5 5 0 2 2 0 0 2 10 5 0 0 0 1 10 0 4 0 0 5 0 5 0 5 1 4 0 2 1 5 0 0 0 1 0 5 10 0 5 1 5 0 2 1 0 2 1 2 10 0 6 0 2 5 3 0 1 1 0 5 0 3 5 5 0 6 4 10 3 0 5 5 1 5 5 10 10 5 10 0 2 0 2 5 0 5 0 5 5 5 6 0 0 0 5 6 0 1 5 0 0 0 1 1 2 0 0 5 5 3 3 5 0 0 1 2 5 10 5 0 1 2 2 2 0 5 0 2 2 5 5 0 6 1 1 2 5 0 1 0 0 3 0 4 3 0 0 2 1 0 5 2 5 10 5 0 5 5 1 0 2 10 2 2 5 10 0 1 0 4 0 0 1 0 2 0 5 10 0 0 0 6 1 0 4 2 2 1 5 5 5 0 5 2 2 5 0 1 5 5 3 2 0 5 5 2 10 5 5 10 5 2 0 1 5 1 0 3 5 0 10 5 5 5 0 1 5 5 5 2 5 0 0 10 0 10 10 10 2 0 0 1 1 4 2 0 5 1 2 5 5 2 5 10 10 5 2 1 5 6 3 5 5 1 2 1 10 0 0 4 10 5 5 0 1 2 10 1 3 5 1 5 2 4 1 4 0 0 2 2 5 0 0 1 10 0 10 10 0 0 1 2 4 0 0 10 1 1 2 0 1 0 1 0 0 0 0 0 0 10 0 10 2 1 0 1 5 0 5 2 0 0 5 2 10 1 2 1 5 6 0 2 6 0 5 5 5 3 5 4 6 2 1 5 1 0 0 5 5 10 1 1 5 0 5 1 5 5 10 4 0 2 10 10 4 0 5 10 1 10 2 10 0 0 5 0 5 0 0 4 2 3 0 0 2 2 1 10 0 0 5 10 5 1 0 2 3 1 0 0 10 0 2 2 1 2 0 1 10 5 5 6 0 2 2 0 5 2 2 10 10 0 10 5 5 2 5 0 2 5 2 5 0 0 2 0 5 3 6 1 5 2 0 5 5 6 0 2 5 2 4 0 0 2 5 2 0 5 10 0 5 6 1 0 10 2 0 5 2 </values> 2400.00/2389.11 v </instantiation> 2400.00/2389.11 c Unexpected resolution interruption!
OK 19034
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 (8552 MiB free)
memory of node 1: 16384 MiB (12294 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292344-1532326026/watcher-4292344-1532326026 -o /tmp/evaluation-result-4292344-1532326026/solver-4292344-1532326026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532326026-12367 --watchdog 2560 HOME/xcsp3-exec -seed 1492989459 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292344-1532326026.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12387, runsolver pid=12384
[startup+0.101193 s]*
/proc/loadavg: 3.81 3.31 2.27 3/217 12428
/proc/meminfo: memFree=21315476/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14082840 memory=27652 CPUtime=0.12 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 5319 0 0 0 11 1 0 0 20 0 15 0 50165739 14420828160 6913 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3520710 6913 2985 1 0 3483008 0
[pid=12390/tid=12394] ppid=12387 vsize=14082840 memory=4351193298051760526 CPUtime=0.09 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 3289 0 0 0 9 0 0 0 20 0 15 0 50165740 14420828160 6913 33554432000 4194304 4196468 140736199804816 140554048821040 140554030287640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 6913 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165742 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50165742 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553517720864 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50165743 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553516668528 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 6913 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 6979 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0.01 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) R 12387 12387 6708 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 50165745 14420828160 6979 33554432000 4194304 4196468 140736199804816 140553512458608 140554022960502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 6979 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 6979 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29104 KiB
[startup+0.210542 s]*
/proc/loadavg: 3.81 3.31 2.27 4/217 12428
/proc/meminfo: memFree=21291828/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14082840 memory=39480 CPUtime=0.34 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 7875 0 0 0 32 2 0 0 20 0 15 0 50165739 14420828160 9870 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3520710 9870 3188 1 0 3483008 0
[pid=12390/tid=12394] ppid=12387 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 4962 0 0 0 18 1 0 0 20 0 15 0 50165740 14420828160 9870 33554432000 4194304 4196468 140736199804816 140554048826848 140554044603798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14082840 memory=11615 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 9870 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14082840 memory=3762953540623849120 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50165742 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50165742 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553517720864 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50165743 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553516668528 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) R 12387 12387 6708 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14082840 memory=139761292072576 CPUtime=0.07 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) R 12387 12387 6708 0 -1 4202560 843 0 0 0 7 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165745 14420828160 9870 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 40932 KiB
[startup+0.310535 s]*
/proc/loadavg: 3.81 3.31 2.27 5/217 12428
/proc/meminfo: memFree=21277888/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14087096 memory=46376 CPUtime=0.51 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 8791 0 0 0 49 2 0 0 20 0 15 0 50165739 14425186304 11594 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3521774 11594 3222 1 0 3483008 0
[pid=12390/tid=12394] ppid=12387 vsize=14087096 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 5643 0 0 0 28 2 0 0 20 0 15 0 50165740 14425186304 11649 33554432000 4194304 4196468 140736199804816 140554048822976 140554028672350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14425186304 11649 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14087096 memory=-2245088631185882904 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14087096 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14087096 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50165742 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50165742 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553517720864 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50165743 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553516668528 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14087096 memory=7016714186490735262 CPUtime=0.04 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 495 0 0 0 4 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14087096 memory=-9001728533042062950 CPUtime=0.04 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 305 0 0 0 4 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14087096 memory=-6519613052471072158 CPUtime=0.12 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 1056 0 0 0 12 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14087096 memory=-8187100386482147110 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14087096 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165745 14425186304 11649 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 47828 KiB
[startup+0.700797 s]
/proc/loadavg: 3.81 3.31 2.27 7/217 12428
/proc/meminfo: memFree=21237444/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14089220 memory=89836 CPUtime=1.68 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 12529 0 0 0 164 4 0 0 20 0 15 0 50165739 14427361280 22459 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3522305 22459 3333 1 0 3483520 0
[pid=12390/tid=12394] ppid=12387 vsize=14089220 memory=-7082918048272507482 CPUtime=0.67 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 6435 0 0 0 64 3 0 0 20 0 15 0 50165740 14427361280 22459 33554432000 4194304 4196468 140736199804816 140554048828192 140553685309983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14427361280 22459 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14089220 memory=57 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165741 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50165741 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50165742 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50165742 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553517720864 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50165743 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553516668528 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14089220 memory=16508 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14089220 memory=1296 CPUtime=0.28 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) R 12387 12387 6708 0 -1 4202560 1296 0 0 0 28 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553514563696 140554022187408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14089220 memory=2412 CPUtime=0.32 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 1408 0 0 0 32 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14089220 memory=1836 CPUtime=0.39 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 2082 0 0 0 39 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14089220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14089220 memory=1960 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 22459 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 91288 KiB
[startup+1.50087 s]
/proc/loadavg: 3.81 3.31 2.27 5/217 12428
/proc/meminfo: memFree=21148956/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 50165743 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553516668544 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14089220 memory=2304088 CPUtime=3.11 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 16165 0 0 0 309 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14089220 memory=1452 CPUtime=3.41 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 18991 0 0 0 339 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.82 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 11023 0 0 0 80 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14089220 memory=2304088 CPUtime=1.49 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1392 0 0 0 77 72 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 2333.14 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2305540 KiB
[startup+2382.3 s]
/proc/loadavg: 1.84 1.89 1.95 3/217 12501
/proc/meminfo: memFree=18871104/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14089220 memory=2304088 CPUtime=2393.19 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 93939 0 0 0 239174 145 0 0 20 0 15 0 50165739 14427361280 576022 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3522305 576022 3416 1 0 3483520 0
[pid=12390/tid=12394] ppid=12387 vsize=14089220 memory=1452 CPUtime=2381.55 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 33425 0 0 0 238120 35 0 0 20 0 15 0 50165740 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554048830760 140553687722349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 1727 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 2079 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1888 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 1102 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 4728 0 0 0 21 3 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553517720928 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 50165743 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553516668544 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14089220 memory=1452 CPUtime=3.11 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 16169 0 0 0 309 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14089220 memory=2304088 CPUtime=3.41 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 18997 0 0 0 339 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14089220 memory=4140 CPUtime=0.82 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 11025 0 0 0 80 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14089220 memory=16556 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14089220 memory=1296 CPUtime=1.54 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1424 0 0 0 80 74 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 2393.19 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2305540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.11 s]
/proc/loadavg: 1.78 1.87 1.94 3/217 12501
/proc/meminfo: memFree=18870980/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14089220 memory=2304088 CPUtime=2400 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 94009 0 0 0 239855 145 0 0 20 0 15 0 50165739 14427361280 576022 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3522305 576022 3416 1 0 3483520 0
[pid=12390/tid=12394] ppid=12387 vsize=14089220 memory=2304088 CPUtime=2388.36 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 33493 0 0 0 238801 35 0 0 20 0 15 0 50165740 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554048830760 140553686513932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 1727 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 2079 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1888 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 1102 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 4728 0 0 0 21 3 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553517720928 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 50165743 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553516668544 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14089220 memory=82 CPUtime=3.11 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 16169 0 0 0 309 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14089220 memory=2304088 CPUtime=3.41 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 18997 0 0 0 339 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14089220 memory=7897517683652307531 CPUtime=0.82 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 11025 0 0 0 80 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14089220 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14089220 memory=3047711553320166262 CPUtime=1.54 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1426 0 0 0 80 74 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2305540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.12 s]
# the end of solver process 12387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00229 s, system=0 s
[startup+2389.13 s]
# the end of solver process 12390 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.57 s, system=1.4714 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.11 s]
/proc/loadavg: 1.78 1.87 1.94 3/217 12501
/proc/meminfo: memFree=18870980/32770624 swapFree=67108860/67108860
[pid=12387] ppid=12384 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12387/stat : 12387 (xcsp3-exec) S 12384 12387 6708 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50165739 115843072 363 33554432000 4194304 5098028 140724200382256 140724200380360 139919286051452 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7323648 140724200387642 140724200387844 140724200387844 140724200390602 0
/proc/12387/statm: 28282 363 305 221 0 87 0
[pid=12390] ppid=12387 vsize=14089220 memory=2304088 CPUtime=2400 cores=0,2,4,6
/proc/12390/stat : 12390 (java) S 12387 12387 6708 0 -1 1077944320 94009 0 0 0 239855 145 0 0 20 0 15 0 50165739 14427361280 576022 33554432000 4194304 4196468 140736199804816 140736199787360 140554044591863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
/proc/12390/statm: 3522305 576022 3416 1 0 3483520 0
[pid=12390/tid=12394] ppid=12387 vsize=14089220 memory=2304088 CPUtime=2388.36 cores=0,2,4,6
/proc/12390/task/12394/stat : 12394 (java) R 12387 12387 6708 0 -1 4202560 33493 0 0 0 238801 35 0 0 20 0 15 0 50165740 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554048830760 140553686513932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12395] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12395/stat : 12395 (java) S 12387 12387 6708 0 -1 1077944384 1727 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140554014304656 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12396] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12396/stat : 12396 (java) S 12387 12387 6708 0 -1 1077944384 2079 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553639303440 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12397] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12397/stat : 12397 (java) S 12387 12387 6708 0 -1 1077944384 1888 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553638251152 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12398] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/12390/task/12398/stat : 12398 (java) S 12387 12387 6708 0 -1 1077944384 1102 0 0 0 51 10 0 0 20 0 15 0 50165741 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553637198352 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12407] ppid=12387 vsize=14089220 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/12390/task/12407/stat : 12407 (java) S 12387 12387 6708 0 -1 1077944384 4728 0 0 0 21 3 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553518774896 140554044603010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12408] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12408/stat : 12408 (java) S 12387 12387 6708 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50165742 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553517720928 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12409] ppid=12387 vsize=14089220 memory=2304088 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12409/stat : 12409 (java) S 12387 12387 6708 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 50165743 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553516668544 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12417] ppid=12387 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12417/stat : 12417 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553515616848 140554044610459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12418] ppid=12387 vsize=14089220 memory=82 CPUtime=3.11 cores=0,2,4,6
/proc/12390/task/12418/stat : 12418 (java) S 12387 12387 6708 0 -1 1077944384 16169 0 0 0 309 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553514563696 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12419] ppid=12387 vsize=14089220 memory=2304088 CPUtime=3.41 cores=0,2,4,6
/proc/12390/task/12419/stat : 12419 (java) S 12387 12387 6708 0 -1 1077944384 18997 0 0 0 339 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553513510896 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12420] ppid=12387 vsize=14089220 memory=7897517683652307531 CPUtime=0.82 cores=0,2,4,6
/proc/12390/task/12420/stat : 12420 (java) S 12387 12387 6708 0 -1 1077944384 11025 0 0 0 80 2 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553512458608 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12421] ppid=12387 vsize=14089220 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/12390/task/12421/stat : 12421 (java) S 12387 12387 6708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553511406048 140554044602069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
[pid=12390/tid=12422] ppid=12387 vsize=14089220 memory=3047711553320166262 CPUtime=1.54 cores=0,2,4,6
/proc/12390/task/12422/stat : 12422 (java) S 12387 12387 6708 0 -1 1077944384 1426 0 0 0 80 74 0 0 20 0 15 0 50165745 14427361280 576022 33554432000 4194304 4196468 140736199804816 140553510353840 140554044603010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140736199808129 140736199808305 140736199808305 140736199811023 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2305540 KiB
Child status: 143
Real time (s): 2389.13
CPU time (s): 2400.04
CPU user time (s): 2398.57
CPU system time (s): 1.4714
CPU usage (%): 100.457
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 2305540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.57
system time used= 1.4714
maximum resident set size= 2304596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55532
involuntary context switches= 3015
# summary of solver processes directly reported to runsolver:
# pid: 12387,12390
# total CPU time (s): 2400.04
# total CPU user time (s): 2398.57
# total CPU system time (s): 1.4714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.697 second user time and 24.3392 second system time
The end
Begin job on node104 at 2018-07-23 08:07:06 IDJOB=4292344 IDBENCH=141242 IDSOLVER=2747 FILE ID=node104/4292344-1532326026 RUNJOBID= node104-1532326026-12367 PBS_JOBID= 21018980 Free space on /tmp= 57244 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko56_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292344-1532326026/watcher-4292344-1532326026 -o /tmp/evaluation-result-4292344-1532326026/solver-4292344-1532326026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532326026-12367 --watchdog 2560 HOME/xcsp3-exec -seed 1492989459 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292344-1532326026.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 870d89fd5d4ada0d2442065415f88ba8 RANDOM SEED=1492989459 node104.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.11 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.11 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.11 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.11 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: 21347868 kB MemAvailable: 31942860 kB Buffers: 256368 kB Cached: 10544740 kB SwapCached: 0 kB Active: 1920416 kB Inactive: 8932332 kB Active(anon): 54432 kB Inactive(anon): 17084 kB Active(file): 1865984 kB Inactive(file): 8915248 kB Unevictable: 7176 kB Mlocked: 7176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 41340 kB Writeback: 0 kB AnonPages: 58776 kB Mapped: 36796 kB Shmem: 17036 kB Slab: 270044 kB SReclaimable: 242220 kB SUnreclaim: 27824 kB KernelStack: 3248 kB PageTables: 4956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 57204 MiB End job on node104 at 2018-07-23 08:46:55