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 seq (2017-08-09) | SAT (TO) | 1202 | 244.894 | 240.022 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml |
| MD5SUM | 65a76f6052f0c7193e3442ad9f3b990a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 743 |
| Best CPU time to get the best result obtained on this benchmark | 251.907 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| 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-4270349-1502621503.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4270349-1502621503.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.19 c simple solver 0.34/0.26 c parse instance... 1.43/0.64 c solve instance... 3.02/1.12 o 1656 3.02/1.13 o 1627 3.02/1.16 o 1625 3.02/1.16 o 1610 3.02/1.17 o 1590 3.02/1.19 o 1585 3.31/1.20 o 1583 3.31/1.20 o 1563 5.80/2.63 o 1469 5.80/2.63 o 1465 5.80/2.64 o 1464 5.80/2.64 o 1460 5.80/2.64 o 1452 5.80/2.64 o 1449 5.80/2.65 o 1441 5.80/2.66 o 1420 5.80/2.66 o 1416 5.80/2.67 o 1411 5.80/2.67 o 1403 5.80/2.67 o 1400 5.80/2.68 o 1392 5.80/2.68 o 1385 5.80/2.68 o 1381 39.33/34.85 o 1373 75.97/71.33 o 1372 116.40/111.76 o 1362 116.40/111.76 o 1344 116.60/111.91 o 1328 171.36/166.69 o 1322 172.06/167.31 o 1320 172.06/167.34 o 1281 172.36/167.66 o 1265 172.36/167.66 o 1234 211.69/207.00 o 1224 212.01/207.23 o 1220 212.01/207.24 o 1207 212.01/207.25 o 1202 244.86/240.01 s SATISFIABLE 244.86/240.01 v <instantiation> 244.86/240.01 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[0][31] x[0][32] 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[1][31] x[1][32] 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[2][31] x[2][32] 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[3][31] x[3][32] 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[4][31] x[4][32] 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[5][31] x[5][32] 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[6][31] x[6][32] 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[7][31] x[7][32] 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[8][31] x[8][32] 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[9][31] x[9][32] 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[10][31] x[10][32] 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[11][31] x[11][32] 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[12][31] x[12][32] 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[13][31] x[13][32] 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[14][31] x[14][32] 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[15][31] x[15][32] 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[16][31] x[16][32] 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[17][31] x[17][32] 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[18][31] x[18][32] 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[19][31] x[19][32] 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[20][31] x[20][32] 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[21][31] x[21][32] 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[22][31] x[22][32] 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[23][31] x[23][32] 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[24][31] x[24][32] 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[25][31] x[25][32] 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[26][31] x[26][32] 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[27][31] x[27][32] 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[28][31] x[28][32] 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[29][31] x[29][32] 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] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] 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] u[31] u[32] </list> 244.86/240.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 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 91 38 75 90 97 62 57 81 55 99 43 98 32 16 73 23 42 98 65 65 25 48 7 69 59 21 32 21 95 48 100 22 </values> 244.86/240.01 v </instantiation> 244.86/240.01 c Unexpected resolution interruption!
OK 1202
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 (13767 MiB free)
memory of node 1: 16384 MiB (14263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270349-1502621503/watcher-4270349-1502621503 -o /tmp/evaluation-result-4270349-1502621503/solver-4270349-1502621503 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8347 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1995278858 HOME/instance-4270349-1502621503.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8960, runsolver pid=8957
[startup+0.10016 s]*
/proc/loadavg: 2.01 1.79 1.68 3/217 8976
/proc/meminfo: memFree=28685748/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13978596 memory=27832 CPUtime=0.12 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 5391 0 0 0 11 1 0 0 20 0 15 0 95231420 14314082304 6958 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3494649 6958 2838 1 0 3482966 0
[pid=8962/tid=8963] ppid=8960 vsize=13978596 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 3395 0 0 0 8 0 0 0 20 0 15 0 95231420 14314082304 7023 33554432000 4194304 4196468 140727005334480 140636009666352 140635989743692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13978596 memory=3472468579992843472 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14314082304 7023 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13978596 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14314082304 7023 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14314082304 7023 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231421 14314082304 7023 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231422 14314082304 7023 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95231423 14314082304 7023 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95231423 14314082304 7023 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 95231425 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) S 8960 8960 6338 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 95231425 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13978596 memory=140451097691776 CPUtime=0.01 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) R 8960 8960 6338 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 95231425 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634910575472 140635983550195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13978596 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231426 14314082304 7089 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29212 KiB
[startup+0.210775 s]*
/proc/loadavg: 2.01 1.79 1.68 4/217 8976
/proc/meminfo: memFree=28674460/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13982852 memory=40384 CPUtime=0.34 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 8242 0 0 0 32 2 0 0 20 0 15 0 95231420 14318440448 10096 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3495713 10096 3054 1 0 3482966 0
[pid=8962/tid=8963] ppid=8960 vsize=13982852 memory=4790596700399117203 CPUtime=0.2 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 5383 0 0 0 19 1 0 0 20 0 15 0 95231420 14318440448 10096 33554432000 4194304 4196468 140727005334480 140636009634880 140635989513566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13982852 memory=3472468579992843472 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 10096 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13982852 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 10096 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 10096 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 10096 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13982852 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231422 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95231423 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95231423 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 95231425 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) R 8960 8960 6338 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 95231425 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13982852 memory=140451097691776 CPUtime=0.08 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) R 8960 8960 6338 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 15 0 95231425 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634910575472 140635984237840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13982852 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231426 14318440448 10096 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41764 KiB
[startup+0.311331 s]*
/proc/loadavg: 2.01 1.79 1.68 4/217 8976
/proc/meminfo: memFree=28668008/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13982852 memory=47524 CPUtime=0.51 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 9005 0 0 0 49 2 0 0 20 0 15 0 95231420 14318440448 11881 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3495713 11881 3128 1 0 3482966 0
[pid=8962/tid=8963] ppid=8960 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 5923 0 0 0 28 1 0 0 20 0 15 0 95231420 14318440448 11881 33554432000 4194304 4196468 140727005334480 140636009671120 140636005455005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13982852 memory=3472468579992843472 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 11881 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13982852 memory=140451097691776 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 11881 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13982852 memory=7 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 11881 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13982852 memory=140451000756255 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231421 14318440448 11881 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13982852 memory=280902001491744 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231422 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13982852 memory=140451000733199 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95231423 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13982852 memory=280902098434144 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95231423 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13982852 memory=140451000737807 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) R 8960 8960 6338 0 -1 4202560 505 0 0 0 3 0 0 0 20 0 15 0 95231425 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634912680656 140635988931783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) R 8960 8960 6338 0 -1 1077944384 429 0 0 0 4 0 0 0 20 0 15 0 95231425 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634911627888 140636005443285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) R 8960 8960 6338 0 -1 4202560 878 0 0 0 13 0 0 0 20 0 15 0 95231425 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634910572648 140635986205465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231426 14318440448 11881 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48904 KiB
[startup+0.700745 s]
/proc/loadavg: 2.01 1.79 1.68 6/217 8976
/proc/meminfo: memFree=28646676/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13984976 memory=80312 CPUtime=1.73 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 12130 0 0 0 169 4 0 0 20 0 15 0 95231420 14320615424 20078 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3496244 20078 3207 1 0 3483478 0
[pid=8962/tid=8963] ppid=8960 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 6564 0 0 0 64 3 0 0 20 0 15 0 95231420 14320615424 20078 33554432000 4194304 4196468 140727005334480 140636009668864 140635634027516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14320615424 20078 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13984976 memory=7588935152971043925 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14320615424 20078 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231421 14320615424 20078 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95231421 14320615424 20078 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95231422 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13984976 memory=28000 CPUtime=0.29 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) R 8960 8960 6338 0 -1 4202560 1148 0 0 0 29 0 0 0 20 0 15 0 95231425 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634912670032 140635983027857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13984976 memory=2428 CPUtime=0.32 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) R 8960 8960 6338 0 -1 4202560 1227 0 0 0 32 0 0 0 20 0 15 0 95231425 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634911627760 140635990338296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13984976 memory=1292 CPUtime=0.42 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) S 8960 8960 6338 0 -1 1077944384 1885 0 0 0 42 0 0 0 20 0 15 0 95231425 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634910575472 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95231426 14320615424 20078 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 81692 KiB
[startup+1.50131 s]
/proc/loadavg: 2.01 1.79 1.68 5/217 8976
/proc/meminfo: memFree=28601516/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13984976 memory=13871 CPUtime=2.04 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 13223 0 0 0 203 1 0 0 20 0 15 0 95231425 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13984976 memory=24622 CPUtime=1.93 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) S 8960 8960 6338 0 -1 1077944384 12074 0 0 0 192 1 0 0 20 0 15 0 95231425 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13984976 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) S 8960 8960 6338 0 -1 1077944384 6714 0 0 0 61 1 0 0 20 0 15 0 95231425 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634910575472 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13984976 memory=28000 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13984976 memory=2428 CPUtime=0.01 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 766 0 0 0 0 1 0 0 20 0 15 0 95231426 14320615424 51823 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 107 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208672 KiB
[startup+162.301 s]
/proc/loadavg: 1.72 1.80 1.70 3/219 9065
/proc/meminfo: memFree=28543032/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13984976 memory=176596 CPUtime=167.06 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 53789 0 0 0 16690 16 0 0 20 0 15 0 95231420 14320615424 44149 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3496244 44149 3261 1 0 3483478 0
[pid=8962/tid=8963] ppid=8960 vsize=13984976 memory=179160 CPUtime=162.19 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 11546 0 0 0 16215 4 0 0 20 0 15 0 95231420 14320615424 44149 33554432000 4194304 4196468 140727005334480 140636009672528 140635640499593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13984976 memory=176596 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 764 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 44149 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 899 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 44149 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13984976 memory=181724 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1647 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 44149 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2001 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 44149 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13984976 memory=179160 CPUtime=0.02 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 1509 0 0 0 2 0 0 0 20 0 15 0 95231422 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13984976 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13984976 memory=213936 CPUtime=2.05 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 13376 0 0 0 204 1 0 0 20 0 15 0 95231425 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13984976 memory=1380 CPUtime=1.93 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) S 8960 8960 6338 0 -1 1077944384 12288 0 0 0 192 1 0 0 20 0 15 0 95231425 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13984976 memory=187332 CPUtime=0.63 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) S 8960 8960 6338 0 -1 1077944384 7598 0 0 0 62 1 0 0 20 0 15 0 95231425 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634910575472 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13984976 memory=176596 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 800 0 0 0 1 2 0 0 20 0 15 0 95231426 14320615424 44149 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 167.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 177976 KiB
[startup+222.301 s]
/proc/loadavg: 1.71 1.78 1.69 3/219 9066
/proc/meminfo: memFree=28551516/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13984976 memory=159192 CPUtime=227.12 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 56983 0 0 0 22695 17 0 0 20 0 15 0 95231420 14320615424 39798 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3496244 39798 3261 1 0 3483478 0
[pid=8962/tid=8963] ppid=8960 vsize=13984976 memory=161244 CPUtime=222.18 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 12133 0 0 0 22214 4 0 0 20 0 15 0 95231420 14320615424 39798 33554432000 4194304 4196468 140727005334480 140636009672640 140635638034673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 983 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 39798 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13984976 memory=161244 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 906 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 39798 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1666 0 0 0 2 1 0 0 20 0 15 0 95231421 14320615424 39798 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13984976 memory=163272 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2015 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 39798 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 1536 0 0 0 3 1 0 0 20 0 15 0 95231422 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13984976 memory=28012 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13984976 memory=161244 CPUtime=2.08 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 15087 0 0 0 207 1 0 0 20 0 15 0 95231425 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13984976 memory=1380 CPUtime=1.93 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) S 8960 8960 6338 0 -1 1077944384 12290 0 0 0 192 1 0 0 20 0 15 0 95231425 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13984976 memory=4096 CPUtime=0.64 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) S 8960 8960 6338 0 -1 1077944384 8195 0 0 0 63 1 0 0 20 0 15 0 95231425 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634910575472 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13984976 memory=28012 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13984976 memory=2428 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 811 0 0 0 1 3 0 0 20 0 15 0 95231426 14320615424 39798 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 227.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 160572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.77 1.79 1.70 3/219 9066
/proc/meminfo: memFree=28562428/32770624 swapFree=67108860/67108860
[pid=8960] ppid=8957 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8960/stat : 8960 (xcsp3-exec) S 8957 8960 6338 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95231419 9740288 345 33554432000 4194304 5098028 140721612360960 140721612359064 139671209931388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37093376 140721612362868 140721612363072 140721612363072 140721612365803 0
/proc/8960/statm: 2378 345 289 221 0 87 0
[pid=8962] ppid=8960 vsize=13984976 memory=149980 CPUtime=244.86 cores=1,3,5,7
/proc/8962/stat : 8962 (java) S 8960 8960 6338 0 -1 1077944320 58277 0 0 0 24469 17 0 0 20 0 15 0 95231420 14320615424 37495 33554432000 4194304 4196468 140727005334480 140727005317024 140636005433079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
/proc/8962/statm: 3496244 37495 3261 1 0 3483478 0
[pid=8962/tid=8963] ppid=8960 vsize=13984976 memory=8112282956445269571 CPUtime=239.88 cores=1,3,5,7
/proc/8962/task/8963/stat : 8963 (java) R 8960 8960 6338 0 -1 4202560 12421 0 0 0 23984 4 0 0 20 0 15 0 95231420 14320615424 37495 33554432000 4194304 4196468 140727005334480 140636009672480 140635639451841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8964] ppid=8960 vsize=13984976 memory=-7003737579269690708 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8964/stat : 8964 (java) S 8960 8960 6338 0 -1 1077944384 1022 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 37495 33554432000 4194304 4196468 140727005334480 140635958053776 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8965] ppid=8960 vsize=13984976 memory=178932632536589 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8965/stat : 8965 (java) S 8960 8960 6338 0 -1 1077944384 917 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 37495 33554432000 4194304 4196468 140727005334480 140635957000976 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8966] ppid=8960 vsize=13984976 memory=178932632536590 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8966/stat : 8966 (java) S 8960 8960 6338 0 -1 1077944384 1766 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 37495 33554432000 4194304 4196468 140727005334480 140635955948688 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8967] ppid=8960 vsize=13984976 memory=178932632536591 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8967/stat : 8967 (java) S 8960 8960 6338 0 -1 1077944384 2030 0 0 0 3 1 0 0 20 0 15 0 95231421 14320615424 37495 33554432000 4194304 4196468 140727005334480 140635954895888 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8968] ppid=8960 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8962/task/8968/stat : 8968 (java) S 8960 8960 6338 0 -1 1077944384 1743 0 0 0 3 1 0 0 20 0 15 0 95231422 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634916890736 140636005444226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8969] ppid=8960 vsize=13984976 memory=151516 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8969/stat : 8969 (java) S 8960 8960 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634915836704 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8970] ppid=8960 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8970/stat : 8970 (java) S 8960 8960 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95231423 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634914784368 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8971] ppid=8960 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8971/stat : 8971 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634913732688 140636005451675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8972] ppid=8960 vsize=13984976 memory=1380 CPUtime=2.08 cores=1,3,5,7
/proc/8962/task/8972/stat : 8972 (java) S 8960 8960 6338 0 -1 1077944384 15162 0 0 0 207 1 0 0 20 0 15 0 95231425 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634912680560 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8973] ppid=8960 vsize=13984976 memory=149980 CPUtime=1.95 cores=1,3,5,7
/proc/8962/task/8973/stat : 8973 (java) S 8960 8960 6338 0 -1 1077944384 12826 0 0 0 194 1 0 0 20 0 15 0 95231425 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634911627760 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8974] ppid=8960 vsize=13984976 memory=154064 CPUtime=0.64 cores=1,3,5,7
/proc/8962/task/8974/stat : 8974 (java) S 8960 8960 6338 0 -1 1077944384 8196 0 0 0 63 1 0 0 20 0 15 0 95231425 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634910575472 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8975] ppid=8960 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/8962/task/8975/stat : 8975 (java) S 8960 8960 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95231425 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634909522912 140636005443285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
[pid=8962/tid=8976] ppid=8960 vsize=13984976 memory=3028 CPUtime=0.05 cores=1,3,5,7
/proc/8962/task/8976/stat : 8976 (java) S 8960 8960 6338 0 -1 1077944384 833 0 0 0 2 3 0 0 20 0 15 0 95231426 14320615424 37495 33554432000 4194304 4196468 140727005334480 140634908469680 140636005444226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15319040 140727005336733 140727005336908 140727005336908 140727005339599 0
Current children cumulated CPU time: 244.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 151360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 8960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000886 s, system=0.000886 s
[startup+240.022 s]
# the end of solver process 8962 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.712 s, system=0.181973 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): 240.022
CPU time (s): 244.894
CPU user time (s): 244.712
CPU system time (s): 0.181973
CPU usage (%): 102.03
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 216172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.712
system time used= 0.181973
maximum resident set size= 219580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8288
involuntary context switches= 154
# summary of solver processes directly reported to runsolver:
# pid: 8960,8962
# total CPU time (s): 244.894
# total CPU user time (s): 244.712
# total CPU system time (s): 0.181973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55126 second user time and 2.08542 second system time
The end
Begin job on node148 at 2017-08-13 12:37:25 IDJOB=4270349 IDBENCH=124413 IDSOLVER=2661 FILE ID=node148/4270349-1502621503 RUNJOBID= node148-1502619919-8347 PBS_JOBID= 20628305 Free space on /tmp= 61608 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270349-1502621503/watcher-4270349-1502621503 -o /tmp/evaluation-result-4270349-1502621503/solver-4270349-1502621503 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8347 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1995278858 HOME/instance-4270349-1502621503.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a RANDOM SEED=1995278858 node148.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.19 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.19 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.19 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.19 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: 28703144 kB MemAvailable: 31781840 kB Buffers: 188920 kB Cached: 3179080 kB SwapCached: 0 kB Active: 958404 kB Inactive: 2675500 kB Active(anon): 216256 kB Inactive(anon): 76924 kB Active(file): 742148 kB Inactive(file): 2598576 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7872 kB Writeback: 0 kB AnonPages: 275304 kB Mapped: 55772 kB Shmem: 25224 kB Slab: 134208 kB SReclaimable: 107616 kB SUnreclaim: 26592 kB KernelStack: 3680 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1293120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61600 MiB End job on node148 at 2017-08-13 12:41:25