Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 6 | 1920.71 | 242.537 |
Name | Opd/Opd-sum-large/ Opd-46-035-010.xml |
MD5SUM | 9882d57d510e95008d99aa62e0238ec8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 251.901 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1611 |
Number of constraints | 1082 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":2,"count":1610},{"size":33,"count":1}] |
Minimum variable degree | 47 |
Maximum variable degree | 1036 |
Distribution of variable degrees | [{"degree":47,"count":1610},{"degree":1036,"count":1}] |
Minimum constraint arity | 35 |
Maximum constraint arity | 1610 |
Distribution of constraint arities | [{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":1081}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.08 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254602-1501681418.xml" -tl '1920s' -p 8 -x 0 0.00/0.26 c [HOME/instance-4254602-1501681418.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.32 c 8 solvers in parallel 0.00/0.39 c parse instance... 13.85/3.05 c solve instance... 20.92/4.07 o 35 21.65/4.13 o 34 21.65/4.18 o 33 22.46/4.23 o 32 31.08/5.45 o 31 31.08/5.50 o 30 31.49/5.53 o 29 31.49/5.57 o 28 32.22/5.61 o 27 32.22/5.65 o 26 32.22/5.69 o 25 32.87/5.72 o 24 32.87/5.76 o 23 32.87/5.79 o 22 33.42/5.83 o 21 33.42/5.88 o 20 34.09/5.91 o 19 34.09/5.94 o 18 34.09/5.98 o 17 34.77/6.02 o 16 34.77/6.05 o 15 34.77/6.09 o 14 35.35/6.13 o 13 35.35/6.17 o 12 36.02/6.21 o 11 36.02/6.24 o 10 312.33/40.97 o 8 313.06/41.01 o 7 549.05/70.67 o 6 1920.71/242.57 s SATISFIABLE 1920.71/242.57 v <instantiation> 1920.71/242.57 v <list>z 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[0][34] 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[1][34] 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[2][34] 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[3][34] 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[4][34] 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[5][34] 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[6][34] 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[7][34] 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[8][34] 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[9][34] 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[10][34] 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[11][34] 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[12][34] 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[13][34] 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[14][34] 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[15][34] 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[16][34] 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[17][34] 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[18][34] 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[19][34] 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[20][34] 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[21][34] 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[22][34] 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[23][34] 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[24][34] 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[25][34] 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[26][34] 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[27][34] 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[28][34] 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[29][34] 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[30][34] 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[31][34] 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[32][34] 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] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list> 1920.71/242.57 v <values>6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 </values> 1920.71/242.57 v </instantiation> 1920.71/242.57 c Unexpected resolution interruption!
OK 6
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254602-1501681418/watcher-4254602-1501681418 -o /tmp/evaluation-result-4254602-1501681418/solver-4254602-1501681418 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1576769137 HOME/instance-4254602-1501681418.xml pid=13358 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 7.75 7.60 7.42 3/172 13361 /proc/meminfo: memFree=31054680/32770624 swapFree=0/887108 [pid=13361] ppid=13358 vsize=23672 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (runsolver) D 13358 13361 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16766519 24240128 107 18446744073709551615 4194304 4338465 140721874674848 140721874672488 140163736081111 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 31891456 140721874681938 140721874682435 140721874682435 140721874685898 0 /proc/13361/statm: 5918 107 54 36 0 2156 0 [startup+0.100135 s] /proc/loadavg: 7.75 7.60 7.42 3/172 13361 /proc/meminfo: memFree=31054680/32770624 swapFree=0/887108 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200304 s] /proc/loadavg: 7.75 7.60 7.42 3/172 13361 /proc/meminfo: memFree=31054680/32770624 swapFree=0/887108 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300311 s] /proc/loadavg: 7.75 7.60 7.42 3/172 13361 /proc/meminfo: memFree=31054680/32770624 swapFree=0/887108 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700259 s] /proc/loadavg: 7.75 7.60 7.42 3/172 13361 /proc/meminfo: memFree=31054680/32770624 swapFree=0/887108 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50086 s] /proc/loadavg: 7.75 7.60 7.42 5/193 13382 /proc/meminfo: memFree=30821056/32770624 swapFree=0/886860 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 [pid=13363] ppid=13361 vsize=26001944 CPUtime=4.8 cores=0-7 /proc/13363/stat : 13363 (java) S 13361 13361 31529 0 -1 1077944320 19462 0 0 0 439 41 0 0 20 0 20 0 16766527 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140727764970960 140568417492727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 /proc/13363/statm: 6500486 94805 3213 1 0 6488787 0 [pid=13363/tid=13364] ppid=13361 vsize=26001944 CPUtime=1.19 cores=0-7 /proc/13363/task/13364/stat : 13364 (java) R 13361 13361 31529 0 -1 4202560 8755 0 0 0 112 7 0 0 20 0 20 0 16766527 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140568421730688 140568059555321 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13365] ppid=13361 vsize=26001944 CPUtime=0.15 cores=0-7 /proc/13363/task/13365/stat : 13365 (java) S 13361 13361 31529 0 -1 1077944384 110 0 0 0 11 4 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567980145424 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13366] ppid=13361 vsize=26001944 CPUtime=0.15 cores=0-7 /proc/13363/task/13366/stat : 13366 (java) S 13361 13361 31529 0 -1 1077944384 106 0 0 0 11 4 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567979092880 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13367] ppid=13361 vsize=26001944 CPUtime=0.09 cores=0-7 /proc/13363/task/13367/stat : 13367 (java) S 13361 13361 31529 0 -1 1077944384 102 0 0 0 7 2 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567978040336 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13368] ppid=13361 vsize=26001944 CPUtime=0.15 cores=0-7 /proc/13363/task/13368/stat : 13368 (java) S 13361 13361 31529 0 -1 1077944384 124 0 0 0 11 4 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567976987792 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13369] ppid=13361 vsize=26001944 CPUtime=0.1 cores=0-7 /proc/13363/task/13369/stat : 13369 (java) S 13361 13361 31529 0 -1 1077944384 80 0 0 0 8 2 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567975934224 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13370] ppid=13361 vsize=26001944 CPUtime=0.15 cores=0-7 /proc/13363/task/13370/stat : 13370 (java) S 13361 13361 31529 0 -1 1077944384 113 0 0 0 11 4 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567974881680 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13371] ppid=13361 vsize=26001944 CPUtime=0.13 cores=0-7 /proc/13363/task/13371/stat : 13371 (java) S 13361 13361 31529 0 -1 1077944384 91 0 0 0 10 3 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567973829136 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13372] ppid=13361 vsize=26001944 CPUtime=0.14 cores=0-7 /proc/13363/task/13372/stat : 13372 (java) S 13361 13361 31529 0 -1 1077944384 125 0 0 0 10 4 0 0 20 0 20 0 16766528 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567972776592 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13373] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13373/stat : 13373 (java) S 13361 13361 31529 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 16766530 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567549217264 140568417503874 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13374] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13374/stat : 13374 (java) S 13361 13361 31529 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 16766530 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567548163552 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13375] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13375/stat : 13375 (java) S 13361 13361 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 16766530 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567547110912 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13376] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13376/stat : 13376 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567546059472 140568417511323 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13377] ppid=13361 vsize=26001944 CPUtime=0.58 cores=0-7 /proc/13363/task/13377/stat : 13377 (java) S 13361 13361 31529 0 -1 1077944384 1690 0 0 0 58 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567545006064 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13378] ppid=13361 vsize=26001944 CPUtime=0.68 cores=0-7 /proc/13363/task/13378/stat : 13378 (java) S 13361 13361 31529 0 -1 1077944384 2189 0 0 0 68 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567543953520 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13379] ppid=13361 vsize=26001944 CPUtime=0.68 cores=0-7 /proc/13363/task/13379/stat : 13379 (java) S 13361 13361 31529 0 -1 1077944384 2100 0 0 0 68 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567542900976 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13380] ppid=13361 vsize=26001944 CPUtime=0.47 cores=0-7 /proc/13363/task/13380/stat : 13380 (java) S 13361 13361 31529 0 -1 1077944384 2496 0 0 0 47 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567541848432 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13381] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13381/stat : 13381 (java) S 13361 13361 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16766533 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567540796128 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13382] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13382/stat : 13382 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16766537 26625990656 94805 18446744073709551615 4194304 4196468 140727764988416 140567539743664 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 26011456 [startup+3.10086 s] /proc/loadavg: 7.75 7.60 7.42 9/193 13382 /proc/meminfo: memFree=30431888/32770624 swapFree=0/886860 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 [pid=13363] ppid=13361 vsize=26001944 CPUtime=14.04 cores=0-7 /proc/13363/stat : 13363 (java) S 13361 13361 31529 0 -1 1077944320 23262 0 0 0 1281 123 0 0 20 0 20 0 16766527 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140727764970960 140568417492727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 /proc/13363/statm: 6500486 192973 3232 1 0 6488787 0 [pid=13363/tid=13364] ppid=13361 vsize=26001944 CPUtime=1.72 cores=0-7 /proc/13363/task/13364/stat : 13364 (java) R 13361 13361 31529 0 -1 4202560 9183 0 0 0 163 9 0 0 20 0 20 0 16766527 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140568421729448 140568401573214 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13365] ppid=13361 vsize=26001944 CPUtime=1.15 cores=0-7 /proc/13363/task/13365/stat : 13365 (java) S 13361 13361 31529 0 -1 1077944384 315 0 0 0 101 14 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567980145424 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13366] ppid=13361 vsize=26001944 CPUtime=1.12 cores=0-7 /proc/13363/task/13366/stat : 13366 (java) S 13361 13361 31529 0 -1 1077944384 292 0 0 0 99 13 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567979092880 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13367] ppid=13361 vsize=26001944 CPUtime=1.11 cores=0-7 /proc/13363/task/13367/stat : 13367 (java) S 13361 13361 31529 0 -1 1077944384 297 0 0 0 98 13 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567978040336 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13368] ppid=13361 vsize=26001944 CPUtime=1.13 cores=0-7 /proc/13363/task/13368/stat : 13368 (java) S 13361 13361 31529 0 -1 1077944384 609 0 0 0 100 13 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567976987792 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13369] ppid=13361 vsize=26001944 CPUtime=1.12 cores=0-7 /proc/13363/task/13369/stat : 13369 (java) S 13361 13361 31529 0 -1 1077944384 854 0 0 0 99 13 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567975934224 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13370] ppid=13361 vsize=26001944 CPUtime=1.17 cores=0-7 /proc/13363/task/13370/stat : 13370 (java) S 13361 13361 31529 0 -1 1077944384 340 0 0 0 102 15 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567974881680 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13371] ppid=13361 vsize=26001944 CPUtime=1.14 cores=0-7 /proc/13363/task/13371/stat : 13371 (java) S 13361 13361 31529 0 -1 1077944384 267 0 0 0 101 13 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567973829136 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13372] ppid=13361 vsize=26001944 CPUtime=1.15 cores=0-7 /proc/13363/task/13372/stat : 13372 (java) S 13361 13361 31529 0 -1 1077944384 376 0 0 0 100 15 0 0 20 0 20 0 16766528 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567972776592 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13373] ppid=13361 vsize=26001944 CPUtime=0.05 cores=0-7 /proc/13363/task/13373/stat : 13373 (java) S 13361 13361 31529 0 -1 1077944384 481 0 0 0 5 0 0 0 20 0 20 0 16766530 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567549217264 140568417503874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13374] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13374/stat : 13374 (java) S 13361 13361 31529 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 16766530 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567548163552 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13375] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13375/stat : 13375 (java) S 13361 13361 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 16766530 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567547110912 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13376] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13376/stat : 13376 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567546059472 140568417511323 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13377] ppid=13361 vsize=26001944 CPUtime=0.87 cores=0-7 /proc/13363/task/13377/stat : 13377 (java) S 13361 13361 31529 0 -1 1077944384 1951 0 0 0 87 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567545006064 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13378] ppid=13361 vsize=26001944 CPUtime=0.83 cores=0-7 /proc/13363/task/13378/stat : 13378 (java) S 13361 13361 31529 0 -1 1077944384 2238 0 0 0 83 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567543953520 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13379] ppid=13361 vsize=26001944 CPUtime=0.84 cores=0-7 /proc/13363/task/13379/stat : 13379 (java) S 13361 13361 31529 0 -1 1077944384 2134 0 0 0 84 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567542900976 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13380] ppid=13361 vsize=26001944 CPUtime=0.53 cores=0-7 /proc/13363/task/13380/stat : 13380 (java) S 13361 13361 31529 0 -1 1077944384 2627 0 0 0 53 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567541848432 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13381] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13381/stat : 13381 (java) S 13361 13361 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16766533 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567540796128 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13382] ppid=13361 vsize=26001944 CPUtime=0 cores=0-7 /proc/13363/task/13382/stat : 13382 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16766537 26625990656 192973 18446744073709551615 4194304 4196468 140727764988416 140567539743664 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 Current children cumulated CPU time (s) 14.04 Current children cumulated vsize (KiB) 26011456 [startup+6.30263 s] /proc/loadavg: 8.17 7.69 7.45 6/201 13430 /proc/meminfo: memFree=30007156/32770624 swapFree=0/886848 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 [pid=13363] ppid=13361 vsize=26801740 CPUtime=36.68 cores=0-7 /proc/13363/stat : 13363 (java) S 13361 13361 31529 0 -1 1077944320 49476 0 0 0 3491 177 0 0 20 0 28 0 16766527 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140727764970960 140568417492727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 /proc/13363/statm: 6700435 275856 3263 1 0 6688736 0 [pid=13363/tid=13364] ppid=13361 vsize=26801740 CPUtime=1.8 cores=0-7 /proc/13363/task/13364/stat : 13364 (java) S 13361 13361 31529 0 -1 1077944384 9437 0 0 0 171 9 0 0 20 0 28 0 16766527 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140568421733504 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13365] ppid=13361 vsize=26801740 CPUtime=2.13 cores=0-7 /proc/13363/task/13365/stat : 13365 (java) S 13361 13361 31529 0 -1 1077944384 619 0 0 0 194 19 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567980145424 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13366] ppid=13361 vsize=26801740 CPUtime=2.13 cores=0-7 /proc/13363/task/13366/stat : 13366 (java) S 13361 13361 31529 0 -1 1077944384 652 0 0 0 195 18 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567979092880 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13367] ppid=13361 vsize=26801740 CPUtime=2.1 cores=0-7 /proc/13363/task/13367/stat : 13367 (java) S 13361 13361 31529 0 -1 1077944384 430 0 0 0 192 18 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567978040336 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13368] ppid=13361 vsize=26801740 CPUtime=2.11 cores=0-7 /proc/13363/task/13368/stat : 13368 (java) S 13361 13361 31529 0 -1 1077944384 809 0 0 0 194 17 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567976987792 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13369] ppid=13361 vsize=26801740 CPUtime=2.14 cores=0-7 /proc/13363/task/13369/stat : 13369 (java) S 13361 13361 31529 0 -1 1077944384 1005 0 0 0 195 19 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567975934224 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13370] ppid=13361 vsize=26801740 CPUtime=2.17 cores=0-7 /proc/13363/task/13370/stat : 13370 (java) S 13361 13361 31529 0 -1 1077944384 548 0 0 0 197 20 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567974881680 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13371] ppid=13361 vsize=26801740 CPUtime=2.14 cores=0-7 /proc/13363/task/13371/stat : 13371 (java) S 13361 13361 31529 0 -1 1077944384 462 0 0 0 196 18 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567973829136 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13372] ppid=13361 vsize=26801740 CPUtime=2.15 cores=0-7 /proc/13363/task/13372/stat : 13372 (java) S 13361 13361 31529 0 -1 1077944384 535 0 0 0 195 20 0 0 20 0 28 0 16766528 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567972776592 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13373] ppid=13361 vsize=26801740 CPUtime=0.2 cores=0-7 /proc/13363/task/13373/stat : 13373 (java) S 13361 13361 31529 0 -1 1077944384 1992 0 0 0 20 0 0 0 20 0 28 0 16766530 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567549217264 140568417503874 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13374] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13374/stat : 13374 (java) S 13361 13361 31529 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567548163552 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13375] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13375/stat : 13375 (java) S 13361 13361 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567547110912 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13376] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13376/stat : 13376 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16766533 27444981760 275856 18446744073709551615 4194304 4196468 140727764988416 140567546059472 140568417511323 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 ################ # More data... # ################ [pid=13363/tid=13631] ppid=13361 vsize=26801740 CPUtime=151.02 cores=0-7 /proc/13363/task/13631/stat : 13631 (java) R 13361 13361 31529 0 -1 4202560 3154 0 0 0 15098 4 0 0 20 0 28 0 16773587 27444981760 391694 18446744073709551615 4194304 4196468 140727764988416 140567523311568 140568063277696 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13632] ppid=13361 vsize=26801740 CPUtime=151.05 cores=0-7 /proc/13363/task/13632/stat : 13632 (java) R 13361 13361 31529 0 -1 4202560 917 0 0 0 15104 1 0 0 20 0 28 0 16773587 27444981760 391694 18446744073709551615 4194304 4196468 140727764988416 140567522259272 140568063495633 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 Current children cumulated CPU time (s) 1759.51 Current children cumulated vsize (KiB) 26811252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+242.503 s] /proc/loadavg: 8.01 7.87 7.58 9/201 13635 /proc/meminfo: memFree=29501916/32770624 swapFree=0/886880 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 [pid=13363] ppid=13361 vsize=26801740 CPUtime=1920.71 cores=0-7 /proc/13363/stat : 13363 (java) S 13361 13361 31529 0 -1 1077944320 180418 0 0 0 191711 360 0 0 20 0 28 0 16766527 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140727764970960 140568417492727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 /proc/13363/statm: 6700435 390705 3269 1 0 6688736 0 [pid=13363/tid=13364] ppid=13361 vsize=26801740 CPUtime=1.8 cores=0-7 /proc/13363/task/13364/stat : 13364 (java) S 13361 13361 31529 0 -1 1077944384 9789 0 0 0 171 9 0 0 20 0 28 0 16766527 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140568421733504 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13365] ppid=13361 vsize=26801740 CPUtime=2.88 cores=0-7 /proc/13363/task/13365/stat : 13365 (java) S 13361 13361 31529 0 -1 1077944384 2932 0 0 0 261 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567980145424 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13366] ppid=13361 vsize=26801740 CPUtime=2.89 cores=0-7 /proc/13363/task/13366/stat : 13366 (java) S 13361 13361 31529 0 -1 1077944384 3341 0 0 0 263 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567979092880 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13367] ppid=13361 vsize=26801740 CPUtime=2.86 cores=0-7 /proc/13363/task/13367/stat : 13367 (java) S 13361 13361 31529 0 -1 1077944384 3174 0 0 0 259 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567978040336 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13368] ppid=13361 vsize=26801740 CPUtime=2.86 cores=0-7 /proc/13363/task/13368/stat : 13368 (java) S 13361 13361 31529 0 -1 1077944384 3758 0 0 0 261 25 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567976987792 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13369] ppid=13361 vsize=26801740 CPUtime=2.89 cores=0-7 /proc/13363/task/13369/stat : 13369 (java) S 13361 13361 31529 0 -1 1077944384 4042 0 0 0 263 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567975934224 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13370] ppid=13361 vsize=26801740 CPUtime=2.93 cores=0-7 /proc/13363/task/13370/stat : 13370 (java) S 13361 13361 31529 0 -1 1077944384 4235 0 0 0 265 28 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567974881680 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13371] ppid=13361 vsize=26801740 CPUtime=2.9 cores=0-7 /proc/13363/task/13371/stat : 13371 (java) S 13361 13361 31529 0 -1 1077944384 3181 0 0 0 264 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567973829136 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13372] ppid=13361 vsize=26801740 CPUtime=2.9 cores=0-7 /proc/13363/task/13372/stat : 13372 (java) S 13361 13361 31529 0 -1 1077944384 3895 0 0 0 263 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567972776592 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13373] ppid=13361 vsize=26801740 CPUtime=0.3 cores=0-7 /proc/13363/task/13373/stat : 13373 (java) S 13361 13361 31529 0 -1 1077944384 7771 0 0 0 27 3 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567549217264 140568417503874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13374] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13374/stat : 13374 (java) S 13361 13361 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567548163552 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13375] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13375/stat : 13375 (java) S 13361 13361 31529 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567547110912 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13376] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13376/stat : 13376 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567546059472 140568417511323 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13377] ppid=13361 vsize=26801740 CPUtime=2.47 cores=0-7 /proc/13363/task/13377/stat : 13377 (java) S 13361 13361 31529 0 -1 1077944384 16676 0 0 0 243 4 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567545006064 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13378] ppid=13361 vsize=26801740 CPUtime=2.68 cores=0-7 /proc/13363/task/13378/stat : 13378 (java) S 13361 13361 31529 0 -1 1077944384 20832 0 0 0 264 4 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567543953520 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13379] ppid=13361 vsize=26801740 CPUtime=2.59 cores=0-7 /proc/13363/task/13379/stat : 13379 (java) S 13361 13361 31529 0 -1 1077944384 22642 0 0 0 253 6 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567542900976 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13380] ppid=13361 vsize=26801740 CPUtime=0.96 cores=0-7 /proc/13363/task/13380/stat : 13380 (java) S 13361 13361 31529 0 -1 1077944384 15323 0 0 0 93 3 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567541848432 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13381] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13381/stat : 13381 (java) S 13361 13361 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567540796128 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13382] ppid=13361 vsize=26801740 CPUtime=0.1 cores=0-7 /proc/13363/task/13382/stat : 13382 (java) S 13361 13361 31529 0 -1 1077944384 2104 0 0 0 5 5 0 0 20 0 28 0 16766537 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567539743664 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13625] ppid=13361 vsize=26801740 CPUtime=171.08 cores=0-7 /proc/13363/task/13625/stat : 13625 (java) R 13361 13361 31529 0 -1 4202560 1218 0 0 0 17105 3 0 0 20 0 28 0 16773586 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567525416144 140568063278086 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13626] ppid=13361 vsize=26801740 CPUtime=171.08 cores=0-7 /proc/13363/task/13626/stat : 13626 (java) R 13361 13361 31529 0 -1 4202560 1260 0 0 0 17106 2 0 0 20 0 28 0 16773586 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567527522888 140568064567272 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13627] ppid=13361 vsize=26801740 CPUtime=169.92 cores=0-7 /proc/13363/task/13627/stat : 13627 (java) R 13361 13361 31529 0 -1 4202560 933 0 0 0 16989 3 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567528574528 140568063671498 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13628] ppid=13361 vsize=26801740 CPUtime=171.3 cores=0-7 /proc/13363/task/13628/stat : 13628 (java) R 13361 13361 31529 0 -1 4202560 10859 0 0 0 17100 30 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567521208928 140568058774769 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13629] ppid=13361 vsize=26801740 CPUtime=171.36 cores=0-7 /proc/13363/task/13629/stat : 13629 (java) R 13361 13361 31529 0 -1 4202560 1488 0 0 0 17135 1 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567531732776 140568063679838 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13630] ppid=13361 vsize=26801740 CPUtime=170.9 cores=0-7 /proc/13363/task/13630/stat : 13630 (java) R 13361 13361 31529 0 -1 4202560 1982 0 0 0 17087 3 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567520153848 140568064567056 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13631] ppid=13361 vsize=26801740 CPUtime=171.19 cores=0-7 /proc/13363/task/13631/stat : 13631 (java) R 13361 13361 31529 0 -1 4202560 3161 0 0 0 17115 4 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567523311816 140568063957192 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13632] ppid=13361 vsize=26801740 CPUtime=171.22 cores=0-7 /proc/13363/task/13632/stat : 13632 (java) R 13361 13361 31529 0 -1 4202560 917 0 0 0 17121 1 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567522259240 140568062841607 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 Current children cumulated CPU time (s) 1920.71 Current children cumulated vsize (KiB) 26811252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13363 sig 9 ??? kill 13361 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+242.503 s] /proc/loadavg: 8.01 7.87 7.58 9/201 13635 /proc/meminfo: memFree=29501916/32770624 swapFree=0/886880 [pid=13361] ppid=13358 vsize=9512 CPUtime=0 cores=0-7 /proc/13361/stat : 13361 (xcsp3-exec) S 13358 13361 31529 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 16766519 9740288 345 18446744073709551615 4194304 5098028 140728585181440 140728585179544 140210443362940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12066816 140728585187730 140728585187940 140728585187940 140728585191403 0 /proc/13361/statm: 2378 345 289 221 0 87 0 [pid=13363] ppid=13361 vsize=26801740 CPUtime=1920.71 cores=0-7 /proc/13363/stat : 13363 (java) S 13361 13361 31529 0 -1 1077944320 180418 0 0 0 191711 360 0 0 20 0 28 0 16766527 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140727764970960 140568417492727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 /proc/13363/statm: 6700435 390705 3269 1 0 6688736 0 [pid=13363/tid=13364] ppid=13361 vsize=26801740 CPUtime=1.8 cores=0-7 /proc/13363/task/13364/stat : 13364 (java) S 13361 13361 31529 0 -1 1077944384 9789 0 0 0 171 9 0 0 20 0 28 0 16766527 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140568421733504 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13365] ppid=13361 vsize=26801740 CPUtime=2.88 cores=0-7 /proc/13363/task/13365/stat : 13365 (java) S 13361 13361 31529 0 -1 1077944384 2932 0 0 0 261 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567980145424 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13366] ppid=13361 vsize=26801740 CPUtime=2.89 cores=0-7 /proc/13363/task/13366/stat : 13366 (java) S 13361 13361 31529 0 -1 1077944384 3341 0 0 0 263 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567979092880 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13367] ppid=13361 vsize=26801740 CPUtime=2.86 cores=0-7 /proc/13363/task/13367/stat : 13367 (java) S 13361 13361 31529 0 -1 1077944384 3174 0 0 0 259 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567978040336 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13368] ppid=13361 vsize=26801740 CPUtime=2.86 cores=0-7 /proc/13363/task/13368/stat : 13368 (java) S 13361 13361 31529 0 -1 1077944384 3758 0 0 0 261 25 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567976987792 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13369] ppid=13361 vsize=26801740 CPUtime=2.89 cores=0-7 /proc/13363/task/13369/stat : 13369 (java) S 13361 13361 31529 0 -1 1077944384 4042 0 0 0 263 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567975934224 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13370] ppid=13361 vsize=26801740 CPUtime=2.93 cores=0-7 /proc/13363/task/13370/stat : 13370 (java) S 13361 13361 31529 0 -1 1077944384 4235 0 0 0 265 28 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567974881680 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13371] ppid=13361 vsize=26801740 CPUtime=2.9 cores=0-7 /proc/13363/task/13371/stat : 13371 (java) S 13361 13361 31529 0 -1 1077944384 3181 0 0 0 264 26 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567973829136 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13372] ppid=13361 vsize=26801740 CPUtime=2.9 cores=0-7 /proc/13363/task/13372/stat : 13372 (java) S 13361 13361 31529 0 -1 1077944384 3895 0 0 0 263 27 0 0 20 0 28 0 16766528 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567972776592 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13373] ppid=13361 vsize=26801740 CPUtime=0.3 cores=0-7 /proc/13363/task/13373/stat : 13373 (java) S 13361 13361 31529 0 -1 1077944384 7771 0 0 0 27 3 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567549217264 140568417503874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13374] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13374/stat : 13374 (java) S 13361 13361 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567548163552 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13375] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13375/stat : 13375 (java) S 13361 13361 31529 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 16766530 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567547110912 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13376] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13376/stat : 13376 (java) S 13361 13361 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567546059472 140568417511323 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13377] ppid=13361 vsize=26801740 CPUtime=2.47 cores=0-7 /proc/13363/task/13377/stat : 13377 (java) S 13361 13361 31529 0 -1 1077944384 16676 0 0 0 243 4 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567545006064 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13378] ppid=13361 vsize=26801740 CPUtime=2.68 cores=0-7 /proc/13363/task/13378/stat : 13378 (java) S 13361 13361 31529 0 -1 1077944384 20832 0 0 0 264 4 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567543953520 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13379] ppid=13361 vsize=26801740 CPUtime=2.59 cores=0-7 /proc/13363/task/13379/stat : 13379 (java) S 13361 13361 31529 0 -1 1077944384 22642 0 0 0 253 6 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567542900976 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13380] ppid=13361 vsize=26801740 CPUtime=0.96 cores=0-7 /proc/13363/task/13380/stat : 13380 (java) S 13361 13361 31529 0 -1 1077944384 15323 0 0 0 93 3 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567541848432 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13381] ppid=13361 vsize=26801740 CPUtime=0 cores=0-7 /proc/13363/task/13381/stat : 13381 (java) S 13361 13361 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16766533 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567540796128 140568417502933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13382] ppid=13361 vsize=26801740 CPUtime=0.1 cores=0-7 /proc/13363/task/13382/stat : 13382 (java) S 13361 13361 31529 0 -1 1077944384 2104 0 0 0 5 5 0 0 20 0 28 0 16766537 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567539743664 140568417503874 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13625] ppid=13361 vsize=26801740 CPUtime=171.08 cores=0-7 /proc/13363/task/13625/stat : 13625 (java) R 13361 13361 31529 0 -1 4202560 1218 0 0 0 17105 3 0 0 20 0 28 0 16773586 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567525416144 140568063278086 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13626] ppid=13361 vsize=26801740 CPUtime=171.08 cores=0-7 /proc/13363/task/13626/stat : 13626 (java) R 13361 13361 31529 0 -1 4202560 1260 0 0 0 17106 2 0 0 20 0 28 0 16773586 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567527522888 140568064567272 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13627] ppid=13361 vsize=26801740 CPUtime=169.92 cores=0-7 /proc/13363/task/13627/stat : 13627 (java) R 13361 13361 31529 0 -1 4202560 933 0 0 0 16989 3 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567528574528 140568063671498 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13628] ppid=13361 vsize=26801740 CPUtime=171.3 cores=0-7 /proc/13363/task/13628/stat : 13628 (java) R 13361 13361 31529 0 -1 4202560 10859 0 0 0 17100 30 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567521208928 140568058774769 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13629] ppid=13361 vsize=26801740 CPUtime=171.36 cores=0-7 /proc/13363/task/13629/stat : 13629 (java) R 13361 13361 31529 0 -1 4202560 1488 0 0 0 17135 1 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567531732776 140568063679838 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13630] ppid=13361 vsize=26801740 CPUtime=170.9 cores=0-7 /proc/13363/task/13630/stat : 13630 (java) R 13361 13361 31529 0 -1 4202560 1982 0 0 0 17087 3 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567520153848 140568064567056 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13631] ppid=13361 vsize=26801740 CPUtime=171.19 cores=0-7 /proc/13363/task/13631/stat : 13631 (java) R 13361 13361 31529 0 -1 4202560 3161 0 0 0 17115 4 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567523311816 140568063957192 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 [pid=13363/tid=13632] ppid=13361 vsize=26801740 CPUtime=171.22 cores=0-7 /proc/13363/task/13632/stat : 13632 (java) R 13361 13361 31529 0 -1 4202560 917 0 0 0 17121 1 0 0 20 0 28 0 16773587 27444981760 390705 18446744073709551615 4194304 4196468 140727764988416 140567522259240 140568062841607 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22380544 140727764996560 140727764996736 140727764996736 140727765000143 0 Current children cumulated CPU time (s) 1920.71 Current children cumulated vsize (KiB) 26811252 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13361 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1995 # CPU time returned by wait4() is 0.001995 # while last known CPU time is 1920.71 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 242.537 CPU time (s): 1920.71 CPU user time (s): 1917.11 CPU system time (s): 3.6 CPU usage (%): 791.926 Max. virtual memory (cumulated for all children) (KiB): 26811252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.001995 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.82668 second user time and 1.80559 second system time The end
Begin job on node128 at 2017-08-02 15:29:39 IDJOB=4254602 IDBENCH=122959 IDSOLVER=2636 FILE ID=node128/4254602-1501681418 RUNJOBID= node128-1501676495-31585 PBS_JOBID= Free space on /tmp= 61852 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254602-1501681418/watcher-4254602-1501681418 -o /tmp/evaluation-result-4254602-1501681418/solver-4254602-1501681418 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1576769137 HOME/instance-4254602-1501681418.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=1576769137 node128.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.05 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.05 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.05 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.05 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: 31055000 kB MemAvailable: 32014396 kB Buffers: 146016 kB Cached: 1099684 kB SwapCached: 0 kB Active: 396580 kB Inactive: 903832 kB Active(anon): 54824 kB Inactive(anon): 16724 kB Active(file): 341756 kB Inactive(file): 887108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 0 kB AnonPages: 54372 kB Mapped: 30916 kB Shmem: 17064 kB Slab: 118940 kB SReclaimable: 92736 kB SUnreclaim: 26204 kB KernelStack: 3120 kB PageTables: 4624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61844 MiB End job on node128 at 2017-08-02 15:33:42