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-18) | SAT (TO) | 1384 | 2520.1399 | 2491.1499 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 783 |
| Best CPU time to get the best result obtained on this benchmark | 19994.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282110-1503122393.xml" -tl '2520s' -p 1 -x 0 0.16/0.23 c [HOME/instance-4282110-1503122393.xml, -tl, 2520s, -p, 1, -x, 0] 0.16/0.29 c simple solver 0.35/0.36 c parse instance... 1.43/0.75 c solve instance... 3.07/1.29 o 2028 3.38/1.30 o 2026 3.38/1.31 o 2000 3.38/1.32 o 1966 3.38/1.32 o 1940 3.38/1.33 o 1891 3.38/1.33 o 1889 3.38/1.34 o 1883 3.38/1.34 o 1876 3.38/1.35 o 1854 3.38/1.35 o 1836 3.38/1.36 o 1822 3.38/1.36 o 1821 7.40/2.86 o 1712 7.40/2.88 o 1709 7.40/2.89 o 1703 7.40/2.89 o 1660 7.40/2.89 o 1656 7.60/2.91 o 1647 7.60/2.92 o 1646 7.60/2.98 o 1593 54.42/48.89 o 1575 54.42/48.89 o 1573 113.79/108.04 o 1557 176.17/170.34 o 1504 176.17/170.35 o 1473 925.82/918.06 o 1472 2477.73/2449.77 o 1469 2477.73/2449.79 o 1451 2477.84/2449.84 o 1449 2478.15/2450.12 o 1437 2478.15/2450.14 o 1435 2484.96/2456.73 o 1433 2492.05/2463.67 o 1430 2494.17/2465.76 o 1407 2494.17/2465.77 o 1387 2495.67/2467.27 o 1384 2520.07/2491.11 s SATISFIABLE 2520.07/2491.11 v <instantiation> 2520.07/2491.11 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[0][33] 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[1][33] 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[2][33] 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[3][33] 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[4][33] 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[5][33] 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[6][33] 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[7][33] 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[8][33] 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[9][33] 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[10][33] 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[11][33] 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[12][33] 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[13][33] 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[14][33] 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[15][33] 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[16][33] 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[17][33] 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[18][33] 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[19][33] 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[20][33] 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[21][33] 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[22][33] 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[23][33] 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[24][33] 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[25][33] 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[26][33] 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[27][33] 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[28][33] 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[29][33] 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[30][33] 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[31][33] 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] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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] u[33] </list> 2520.07/2491.11 v <values>0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 64 16 48 93 33 64 7 48 61 5 40 66 78 18 41 24 63 76 94 13 23 97 55 36 93 84 97 70 31 19 97 78 67 </values> 2520.07/2491.11 v </instantiation> 2520.07/2491.11 c Unexpected resolution interruption!
OK 1384
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 (14966 MiB free)
memory of node 1: 16384 MiB (15106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282110-1503122393/watcher-4282110-1503122393 -o /tmp/evaluation-result-4282110-1503122393/solver-4282110-1503122393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1571068495 HOME/instance-4282110-1503122393.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=1265, runsolver pid=1262
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.92 1.85 1.86 3/205 1275
/proc/meminfo: memFree=30786948/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13574484 memory=19504 CPUtime=0.03 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 4236 0 0 0 3 0 0 0 20 0 9 0 114432293 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3393621 4876 2105 1 0 3383118 0
[pid=1267/tid=1268] ppid=1265 vsize=13574484 memory=1404226546285715850 CPUtime=0.03 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) D 1265 1265 28892 0 -1 1077944384 2962 0 0 0 3 0 0 0 20 0 9 0 114432294 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140019303788408 140019292232304 0 4 1 16800970 18446744072101613092 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114432294 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13574484 memory=140211815044736 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114432294 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114432294 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114432294 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13574484 memory=140211815044736 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114432296 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 114432296 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 114432296 13900271616 4876 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20880 KiB
[startup+0.21007 s]*
/proc/loadavg: 1.92 1.85 1.86 4/211 1281
/proc/meminfo: memFree=30778480/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13974352 memory=29476 CPUtime=0.16 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 5774 0 0 0 15 1 0 0 20 0 15 0 114432293 14309736448 7369 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3493588 7369 2915 1 0 3482964 0
[pid=1267/tid=1268] ppid=1265 vsize=13974352 memory=7022364594140610616 CPUtime=0.11 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 3545 0 0 0 11 0 0 0 20 0 15 0 114432294 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140019303778816 140019291790142 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13974352 memory=3473875895841838752 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114432294 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13974352 memory=140211815044736 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114432296 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114432296 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114432296 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 114432299 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) R 1265 1265 28892 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 15 0 114432299 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018772799448 140019278777438 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13974352 memory=140211815044736 CPUtime=0.02 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) R 1265 1265 28892 0 -1 4202560 505 0 0 0 2 0 0 0 20 0 15 0 114432299 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018771763208 140019278392369 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13974352 memory=140211815044736 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432302 14309736448 7501 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30852 KiB
[startup+0.310328 s]*
/proc/loadavg: 1.92 1.85 1.86 4/211 1281
/proc/meminfo: memFree=30765720/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13979632 memory=40352 CPUtime=0.35 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 9332 0 0 0 32 3 0 0 20 0 15 0 114432293 14315143168 10088 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3494908 10088 3020 1 0 3483220 0
[pid=1267/tid=1268] ppid=1265 vsize=13978608 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 6929 0 0 0 19 2 0 0 20 0 15 0 114432294 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140019303763920 140019299574941 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13978608 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13978608 memory=3473875895841838752 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13978608 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114432294 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13978608 memory=4211961787356168183 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114432296 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114432296 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114432296 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) R 1265 1265 28892 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 15 0 114432299 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564950 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13978608 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) R 1265 1265 28892 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 15 0 114432299 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13978608 memory=140211815044736 CPUtime=0.07 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) R 1265 1265 28892 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 15 0 114432299 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018771766000 140019299564950 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13978608 memory=140211815044736 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432302 14314094592 10088 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13989144 KiB
Current children cumulated memory: 41728 KiB
[startup+0.704339 s]
/proc/loadavg: 1.92 1.85 1.86 4/211 1281
/proc/meminfo: memFree=30755224/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13980732 memory=76172 CPUtime=1.43 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 13204 0 0 0 138 5 0 0 20 0 15 0 114432293 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3495183 19043 3176 1 0 3483476 0
[pid=1267/tid=1268] ppid=1265 vsize=13980732 memory=280423380967744 CPUtime=0.58 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 8051 0 0 0 55 3 0 0 20 0 15 0 114432294 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140019303790208 140019299564950 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13980732 memory=2110562297519108 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13980732 memory=280423380835392 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13980732 memory=140211690438641 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13980732 memory=280423380853440 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 1140 0 0 0 23 0 0 0 20 0 15 0 114432299 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) S 1265 1265 28892 0 -1 1077944384 1031 0 0 0 23 0 0 0 20 0 15 0 114432299 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13980732 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) R 1265 1265 28892 0 -1 4202560 1674 0 0 0 36 0 0 0 20 0 15 0 114432299 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018771766128 140019299574362 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13980732 memory=-2276395272229541278 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432302 14316269568 19043 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77548 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 1.87 1.87 5/211 1281
/proc/meminfo: memFree=30719152/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13980732 memory=135264 CPUtime=4 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 26402 0 0 0 392 8 0 0 20 0 15 0 114432293 14316269568 33816 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3495183 33816 3192 1 0 3483476 0
[pid=1267/tid=1268] ppid=1265 vsize=13980732 memory=7597402573924820311 CPUtime=1.38 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 9829 0 0 0 134 4 0 0 20 0 15 0 114432294 14316269568 33816 18446744073709551615 4194304 4196468 140736226533072 140019303784272 140018907927488 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13980732 memory=7374760209760151395 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 33816 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13980732 memory=6152568433202981215 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 33816 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114432294 14316269568 33816 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13980732 memory=302022865581258113 CPUtime=2.68 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 18455 0 0 0 266 2 0 0 20 0 15 0 114432299 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13980732 memory=2420 CPUtime=2.62 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) S 1265 1265 28892 0 -1 1077944384 20390 0 0 0 259 3 0 0 20 0 15 0 114432299 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13980732 memory=1732 CPUtime=0.68 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) S 1265 1265 28892 0 -1 1077944384 9291 0 0 0 66 2 0 0 20 0 15 0 114432299 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018771766000 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13980732 memory=61816 CPUtime=0.87 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 1988 0 0 0 40 47 0 0 20 0 15 0 114432302 14316269568 557563 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 2409.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2231628 KiB
[startup+2442.3 s]
/proc/loadavg: 1.80 1.80 1.79 3/211 1458
/proc/meminfo: memFree=26653216/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13980732 memory=2237500 CPUtime=2470.2 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 218896 0 0 0 246768 252 0 0 20 0 15 0 114432293 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3495183 559375 3250 1 0 3483476 0
[pid=1267/tid=1268] ppid=1265 vsize=13980732 memory=2238012 CPUtime=2432.39 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 94891 0 0 0 243101 138 0 0 20 0 15 0 114432294 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140019303792544 140018907528985 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13980732 memory=2236284 CPUtime=7.38 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 9868 0 0 0 723 15 0 0 20 0 15 0 114432294 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13980732 memory=2236476 CPUtime=7.43 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 12597 0 0 0 729 14 0 0 20 0 15 0 114432294 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13980732 memory=2238012 CPUtime=7.39 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 14434 0 0 0 726 13 0 0 20 0 15 0 114432294 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13980732 memory=2237500 CPUtime=7.39 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 12802 0 0 0 725 14 0 0 20 0 15 0 114432294 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13980732 memory=1376 CPUtime=1.25 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 22770 0 0 0 108 17 0 0 20 0 15 0 114432296 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13980732 memory=2237504 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13980732 memory=2236284 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13980732 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13980732 memory=2764 CPUtime=2.68 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 18458 0 0 0 266 2 0 0 20 0 15 0 114432299 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13980732 memory=2236284 CPUtime=2.62 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) S 1265 1265 28892 0 -1 1077944384 20392 0 0 0 259 3 0 0 20 0 15 0 114432299 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13980732 memory=3280 CPUtime=0.68 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) S 1265 1265 28892 0 -1 1077944384 9293 0 0 0 66 2 0 0 20 0 15 0 114432299 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018771766000 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13980732 memory=2237508 CPUtime=0.89 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 2024 0 0 0 41 48 0 0 20 0 15 0 114432302 14316269568 559375 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 2470.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2238876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.11 s]
/proc/loadavg: 1.64 1.76 1.77 3/211 1613
/proc/meminfo: memFree=28215684/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13980732 memory=2239556 CPUtime=2520.07 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 222296 0 0 0 251753 254 0 0 20 0 15 0 114432293 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3495183 559889 3251 1 0 3483476 0
[pid=1267/tid=1268] ppid=1265 vsize=13980732 memory=2240580 CPUtime=2480.79 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 95301 0 0 0 247941 138 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019303792544 140018911464267 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13980732 memory=2239044 CPUtime=7.73 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 10046 0 0 0 757 16 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13980732 memory=2240072 CPUtime=7.78 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 12810 0 0 0 763 15 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13980732 memory=2240068 CPUtime=7.73 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 14668 0 0 0 760 13 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13980732 memory=2240068 CPUtime=7.74 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 13051 0 0 0 760 14 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13980732 memory=1376 CPUtime=1.28 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 22781 0 0 0 111 17 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13980732 memory=2240252 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13980732 memory=2242640 CPUtime=2.7 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 19377 0 0 0 268 2 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13980732 memory=4028 CPUtime=2.63 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) S 1265 1265 28892 0 -1 1077944384 20632 0 0 0 260 3 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13980732 memory=61816 CPUtime=0.69 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) S 1265 1265 28892 0 -1 1077944384 10232 0 0 0 67 2 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018771766000 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13980732 memory=1376 CPUtime=0.91 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 2031 0 0 0 42 49 0 0 20 0 15 0 114432302 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2240932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.12 s]
# the end of solver process 1265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000931 s, system=0.000931 s
[startup+2491.15 s]
# the end of solver process 1267 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.56 s, system=2.57411 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+2491.11 s]
/proc/loadavg: 1.64 1.76 1.77 3/211 1613
/proc/meminfo: memFree=28215684/32770624 swapFree=67108860/67108860
[pid=1265] ppid=1262 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1265/stat : 1265 (xcsp3-exec) S 1262 1265 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114432287 9740288 344 18446744073709551615 4194304 5098028 140722494332096 140722494330200 140617659191932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 36655104 140722494337400 140722494337605 140722494337605 140722494341099 0
/proc/1265/statm: 2378 344 289 221 0 87 0
[pid=1267] ppid=1265 vsize=13980732 memory=2239556 CPUtime=2520.07 cores=0,2,4,6
/proc/1267/stat : 1267 (java) S 1265 1265 28892 0 -1 1077944320 222296 0 0 0 251753 254 0 0 20 0 15 0 114432293 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140736226515616 140019299553015 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
/proc/1267/statm: 3495183 559889 3251 1 0 3483476 0
[pid=1267/tid=1268] ppid=1265 vsize=13980732 memory=2240580 CPUtime=2480.79 cores=0,2,4,6
/proc/1267/task/1268/stat : 1268 (java) R 1265 1265 28892 0 -1 4202560 95301 0 0 0 247941 138 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019303792544 140018911464267 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1269] ppid=1265 vsize=13980732 memory=2239044 CPUtime=7.73 cores=0,2,4,6
/proc/1267/task/1269/stat : 1269 (java) S 1265 1265 28892 0 -1 1077944384 10046 0 0 0 757 16 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019233987344 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1270] ppid=1265 vsize=13980732 memory=2240072 CPUtime=7.78 cores=0,2,4,6
/proc/1267/task/1270/stat : 1270 (java) S 1265 1265 28892 0 -1 1077944384 12810 0 0 0 763 15 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019232934800 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1271] ppid=1265 vsize=13980732 memory=2240068 CPUtime=7.73 cores=0,2,4,6
/proc/1267/task/1271/stat : 1271 (java) S 1265 1265 28892 0 -1 1077944384 14668 0 0 0 760 13 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019231882256 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1272] ppid=1265 vsize=13980732 memory=2240068 CPUtime=7.74 cores=0,2,4,6
/proc/1267/task/1272/stat : 1272 (java) S 1265 1265 28892 0 -1 1077944384 13051 0 0 0 760 14 0 0 20 0 15 0 114432294 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140019230829712 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1273] ppid=1265 vsize=13980732 memory=1376 CPUtime=1.28 cores=0,2,4,6
/proc/1267/task/1273/stat : 1273 (java) S 1265 1265 28892 0 -1 1077944384 22781 0 0 0 111 17 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018778081264 140019299564162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1274] ppid=1265 vsize=13980732 memory=2240252 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1274/stat : 1274 (java) S 1265 1265 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018777027488 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1275] ppid=1265 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1275/stat : 1275 (java) S 1265 1265 28892 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114432296 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018775974896 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1276] ppid=1265 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1276/stat : 1276 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018774923472 140019299571611 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1277] ppid=1265 vsize=13980732 memory=2242640 CPUtime=2.7 cores=0,2,4,6
/proc/1267/task/1277/stat : 1277 (java) S 1265 1265 28892 0 -1 1077944384 19377 0 0 0 268 2 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018773871088 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1278] ppid=1265 vsize=13980732 memory=4028 CPUtime=2.63 cores=0,2,4,6
/proc/1267/task/1278/stat : 1278 (java) S 1265 1265 28892 0 -1 1077944384 20632 0 0 0 260 3 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018772818544 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1279] ppid=1265 vsize=13980732 memory=61816 CPUtime=0.69 cores=0,2,4,6
/proc/1267/task/1279/stat : 1279 (java) S 1265 1265 28892 0 -1 1077944384 10232 0 0 0 67 2 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018771766000 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1280] ppid=1265 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1267/task/1280/stat : 1280 (java) S 1265 1265 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114432299 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018770713696 140019299563221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
[pid=1267/tid=1281] ppid=1265 vsize=13980732 memory=1376 CPUtime=0.91 cores=0,2,4,6
/proc/1267/task/1281/stat : 1281 (java) S 1265 1265 28892 0 -1 1077944384 2031 0 0 0 42 49 0 0 20 0 15 0 114432302 14316269568 559889 18446744073709551615 4194304 4196468 140736226533072 140018769660208 140019299564162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9760768 140736226537905 140736226538081 140736226538081 140736226541519 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2240932 KiB
Child status: 143
Real time (s): 2491.15
CPU time (s): 2520.14
CPU user time (s): 2517.56
CPU system time (s): 2.57411
CPU usage (%): 101.164
Max. virtual memory (cumulated for all children) (KiB): 13992860
Max. memory (cumulated for all children) (KiB): 2694176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.56
system time used= 2.57411
maximum resident set size= 2692800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86624
involuntary context switches= 4857
# summary of solver processes directly reported to runsolver:
# pid: 1265,1267
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.56
# total CPU system time (s): 2.57411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8141 second user time and 23.8962 second system time
The end
Begin job on node127 at 2017-08-19 07:45:41 IDJOB=4282110 IDBENCH=124459 IDSOLVER=2677 FILE ID=node127/4282110-1503122393 RUNJOBID= node127-1503095799-28950 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.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-4282110-1503122393/watcher-4282110-1503122393 -o /tmp/evaluation-result-4282110-1503122393/solver-4282110-1503122393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1571068495 HOME/instance-4282110-1503122393.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=1571068495 node127.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.92 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.92 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.92 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.92 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: 30796052 kB MemAvailable: 31618348 kB Buffers: 295592 kB Cached: 828892 kB SwapCached: 0 kB Active: 1150756 kB Inactive: 375844 kB Active(anon): 352936 kB Inactive(anon): 99188 kB Active(file): 797820 kB Inactive(file): 276656 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7956 kB Writeback: 0 kB AnonPages: 402036 kB Mapped: 72832 kB Shmem: 49828 kB Slab: 153676 kB SReclaimable: 127308 kB SUnreclaim: 26368 kB KernelStack: 3440 kB PageTables: 5824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1672340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62012 MiB End job on node127 at 2017-08-19 08:27:12