Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 853 | 1920.3199 | 246.437 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml |
MD5SUM | 7965d79c566fadd70d01c63d02ba9078 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 664 |
Best CPU time to get the best result obtained on this benchmark | 251.89101 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1122 |
Number of constraints | 1088 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
Minimum variable degree | 0 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 32 |
Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.08 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254868-1501683654.xml" -tl '1920s' -p 8 -x 0 0.00/0.26 c [HOME/instance-4254868-1501683654.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.33 c 8 solvers in parallel 0.00/0.39 c parse instance... 0.00/1.10 c solve instance... 3.20/1.19 o 1730 11.69/2.26 o 1556 11.69/2.27 o 1552 12.41/2.31 o 1539 12.41/2.31 o 1510 12.41/2.33 o 1475 12.41/2.36 o 1446 12.41/2.37 o 1438 28.99/4.44 o 1418 385.97/49.26 o 1396 386.30/49.38 o 1383 394.59/50.68 o 1379 401.17/51.58 o 1327 402.51/51.71 o 1318 434.11/55.97 o 1294 434.11/55.98 o 1264 434.11/55.99 o 1255 434.38/56.00 o 1238 434.81/56.39 o 1223 434.81/56.41 o 1214 435.72/56.80 o 1212 462.85/60.40 o 1206 484.98/63.36 o 1182 486.94/63.63 o 1165 486.94/63.65 o 1161 545.11/70.97 o 1157 547.56/71.23 o 1143 547.56/71.25 o 1141 560.70/72.94 o 1113 578.39/75.44 o 1109 596.12/77.72 o 1091 673.79/87.56 o 1090 701.75/91.60 o 1086 702.52/91.80 o 1081 706.02/92.34 o 1079 725.53/94.84 o 1064 727.32/95.18 o 1039 727.51/95.23 o 1031 760.97/99.42 o 1021 765.63/100.00 o 1017 782.03/102.25 o 1015 782.03/102.27 o 1013 807.73/105.61 o 980 946.06/123.03 o 978 959.08/125.48 o 977 963.91/126.32 o 963 963.91/126.36 o 962 991.25/129.91 o 944 1062.04/138.84 o 932 1092.28/142.66 o 906 1187.25/154.60 o 902 1266.25/164.48 o 897 1543.25/199.12 o 875 1567.87/202.29 o 868 1568.71/202.35 o 867 1568.71/202.37 o 862 1568.71/202.38 o 859 1724.09/221.80 o 853 1920.32/246.46 s SATISFIABLE 1920.32/246.46 v <instantiation> 1920.32/246.46 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list> 1920.32/246.46 v <values>0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 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 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 57 24 83 99 83 94 59 69 19 21 82 33 92 41 47 69 43 31 55 99 75 25 15 76 57 91 86 99 10 63 43 100 </values> 1920.32/246.46 v </instantiation> 1920.32/246.46 c Unexpected resolution interruption!
OK 853
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-4254868-1501683654/watcher-4254868-1501683654 -o /tmp/evaluation-result-4254868-1501683654/solver-4254868-1501683654 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1012441867 HOME/instance-4254868-1501683654.xml pid=16842 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.41 7.76 7.82 1/172 16845 /proc/meminfo: memFree=31748856/32770624 swapFree=0/271208 [pid=16845] ppid=16842 vsize=23672 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (runsolver) D 16842 16845 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16988440 24240128 108 18446744073709551615 4194304 4338465 140731166854352 140731166851992 140089207419607 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32190464 140731166859346 140731166859843 140731166859843 140731166863306 0 /proc/16845/statm: 5918 108 54 36 0 2156 0 [startup+0.100139 s] /proc/loadavg: 7.41 7.76 7.82 1/172 16845 /proc/meminfo: memFree=31748856/32770624 swapFree=0/271208 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200298 s] /proc/loadavg: 7.41 7.76 7.82 1/172 16845 /proc/meminfo: memFree=31748856/32770624 swapFree=0/271208 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300281 s] /proc/loadavg: 7.41 7.76 7.82 1/172 16845 /proc/meminfo: memFree=31748856/32770624 swapFree=0/271208 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.70029 s] /proc/loadavg: 7.41 7.76 7.82 1/172 16845 /proc/meminfo: memFree=31748856/32770624 swapFree=0/271208 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50143 s] /proc/loadavg: 7.41 7.76 7.82 6/193 16866 /proc/meminfo: memFree=31559516/32770624 swapFree=0/271000 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 [pid=16847] ppid=16845 vsize=26534456 CPUtime=6.15 cores=0-7 /proc/16847/stat : 16847 (java) S 16845 16845 31142 0 -1 1077944320 18600 0 0 0 604 11 0 0 20 0 28 0 16988449 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140735769636944 140494084804343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 /proc/16847/statm: 6633614 52934 3216 1 0 6621915 0 [pid=16847/tid=16848] ppid=16845 vsize=26534456 CPUtime=0.96 cores=0-7 /proc/16847/task/16848/stat : 16848 (java) S 16845 16845 31142 0 -1 1077944384 8488 0 0 0 91 5 0 0 20 0 28 0 16988449 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494089045120 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16849] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16849/stat : 16849 (java) S 16845 16845 31142 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494041770256 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16850] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16850/stat : 16850 (java) S 16845 16845 31142 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494040717712 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16851] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16851/stat : 16851 (java) S 16845 16845 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494039665168 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16852] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16852/stat : 16852 (java) S 16845 16845 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494038612624 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16853] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16853/stat : 16853 (java) S 16845 16845 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494037560080 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16854] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16854/stat : 16854 (java) S 16845 16845 31142 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494036507536 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16855] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16855/stat : 16855 (java) S 16845 16845 31142 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494035454992 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16856] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16856/stat : 16856 (java) S 16845 16845 31142 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140494034402448 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16857] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16857/stat : 16857 (java) S 16845 16845 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16988451 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140493350701040 140494084815490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16858] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16858/stat : 16858 (java) S 16845 16845 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140493349647264 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16859] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16859/stat : 16859 (java) S 16845 16845 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140493348594672 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16860] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16860/stat : 16860 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140493347543248 140494084822939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16861] ppid=16845 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/16847/task/16861/stat : 16861 (java) R 16845 16845 31142 0 -1 4202560 2086 0 0 0 75 0 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492222734280 140494068303212 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16862] ppid=16845 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/16847/task/16862/stat : 16862 (java) R 16845 16845 31142 0 -1 4202560 1816 0 0 0 75 0 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492221699856 140494062712112 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16863] ppid=16845 vsize=26534456 CPUtime=0.68 cores=0-7 /proc/16847/task/16863/stat : 16863 (java) R 16845 16845 31142 0 -1 1077944384 1312 0 0 0 68 0 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492220634960 140494084814549 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16864] ppid=16845 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/16847/task/16864/stat : 16864 (java) R 16845 16845 31142 0 -1 4202560 2829 0 0 0 58 1 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492219592728 140494077901179 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16865] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16865/stat : 16865 (java) S 16845 16845 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492218542304 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16866] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16866/stat : 16866 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988458 27171282944 52934 18446744073709551615 4194304 4196468 140735769654400 140492217489840 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 26543968 [startup+3.10143 s] /proc/loadavg: 7.41 7.76 7.82 12/201 16882 /proc/meminfo: memFree=31533036/32770624 swapFree=0/271000 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 [pid=16847] ppid=16845 vsize=26534456 CPUtime=18.66 cores=0-7 /proc/16847/stat : 16847 (java) S 16845 16845 31142 0 -1 1077944320 24432 0 0 0 1849 17 0 0 20 0 28 0 16988449 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140735769636944 140494084804343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 /proc/16847/statm: 6633614 74729 3240 1 0 6621915 0 [pid=16847/tid=16848] ppid=16845 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/16847/task/16848/stat : 16848 (java) S 16845 16845 31142 0 -1 1077944384 8489 0 0 0 92 5 0 0 20 0 28 0 16988449 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494089045120 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16849] ppid=16845 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16847/task/16849/stat : 16849 (java) S 16845 16845 31142 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494041770256 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16850] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16850/stat : 16850 (java) S 16845 16845 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494040717712 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16851] ppid=16845 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16847/task/16851/stat : 16851 (java) S 16845 16845 31142 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494039665168 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16852] ppid=16845 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16847/task/16852/stat : 16852 (java) S 16845 16845 31142 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494038612624 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16853] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16853/stat : 16853 (java) S 16845 16845 31142 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494037560080 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16854] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16854/stat : 16854 (java) S 16845 16845 31142 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494036507536 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16855] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16855/stat : 16855 (java) S 16845 16845 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494035454992 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16856] ppid=16845 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16847/task/16856/stat : 16856 (java) S 16845 16845 31142 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 16988450 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140494034402448 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16857] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16857/stat : 16857 (java) S 16845 16845 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16988451 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140493350701040 140494084815490 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16858] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16858/stat : 16858 (java) S 16845 16845 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140493349647328 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16859] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16859/stat : 16859 (java) S 16845 16845 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140493348594688 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16860] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16860/stat : 16860 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140493347543248 140494084822939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16861] ppid=16845 vsize=26534456 CPUtime=1.76 cores=0-7 /proc/16847/task/16861/stat : 16861 (java) S 16845 16845 31142 0 -1 1077944384 3255 0 0 0 175 1 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492222753264 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16862] ppid=16845 vsize=26534456 CPUtime=1.7 cores=0-7 /proc/16847/task/16862/stat : 16862 (java) S 16845 16845 31142 0 -1 1077944384 3400 0 0 0 169 1 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492221700720 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16863] ppid=16845 vsize=26534456 CPUtime=1.61 cores=0-7 /proc/16847/task/16863/stat : 16863 (java) S 16845 16845 31142 0 -1 1077944384 2672 0 0 0 161 0 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492220648176 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16864] ppid=16845 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/16847/task/16864/stat : 16864 (java) S 16845 16845 31142 0 -1 1077944384 3413 0 0 0 78 1 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492219595632 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16865] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16865/stat : 16865 (java) S 16845 16845 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492218542304 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16866] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16866/stat : 16866 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988458 27171282944 74729 18446744073709551615 4194304 4196468 140735769654400 140492217489840 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 Current children cumulated CPU time (s) 18.66 Current children cumulated vsize (KiB) 26543968 [startup+6.30102 s] /proc/loadavg: 7.14 7.70 7.80 10/201 16947 /proc/meminfo: memFree=31353292/32770624 swapFree=0/271012 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 [pid=16847] ppid=16845 vsize=26534456 CPUtime=44.08 cores=0-7 /proc/16847/stat : 16847 (java) S 16845 16845 31142 0 -1 1077944320 35198 0 0 0 4369 39 0 0 20 0 28 0 16988449 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140735769636944 140494084804343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 /proc/16847/statm: 6633614 160495 3253 1 0 6621915 0 [pid=16847/tid=16848] ppid=16845 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/16847/task/16848/stat : 16848 (java) S 16845 16845 31142 0 -1 1077944384 8489 0 0 0 92 5 0 0 20 0 28 0 16988449 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494089045120 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16849] ppid=16845 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16847/task/16849/stat : 16849 (java) S 16845 16845 31142 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494041770256 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16850] ppid=16845 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16847/task/16850/stat : 16850 (java) S 16845 16845 31142 0 -1 1077944384 233 0 0 0 1 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494040717712 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16851] ppid=16845 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/16847/task/16851/stat : 16851 (java) S 16845 16845 31142 0 -1 1077944384 84 0 0 0 3 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494039665168 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16852] ppid=16845 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/16847/task/16852/stat : 16852 (java) S 16845 16845 31142 0 -1 1077944384 102 0 0 0 3 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494038612624 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16853] ppid=16845 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16847/task/16853/stat : 16853 (java) S 16845 16845 31142 0 -1 1077944384 97 0 0 0 2 1 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494037560080 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16854] ppid=16845 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/16847/task/16854/stat : 16854 (java) S 16845 16845 31142 0 -1 1077944384 102 0 0 0 2 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494036507536 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16855] ppid=16845 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/16847/task/16855/stat : 16855 (java) S 16845 16845 31142 0 -1 1077944384 1054 0 0 0 2 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494035454992 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16856] ppid=16845 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/16847/task/16856/stat : 16856 (java) S 16845 16845 31142 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 28 0 16988450 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140494034402448 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16857] ppid=16845 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16847/task/16857/stat : 16857 (java) R 16845 16845 31142 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 28 0 16988451 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140493350699552 140494069163768 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16858] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16858/stat : 16858 (java) S 16845 16845 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140493349647328 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16859] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16859/stat : 16859 (java) S 16845 16845 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140493348594688 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16860] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16860/stat : 16860 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 160495 18446744073709551615 4194304 4196468 140735769654400 140493347543248 140494084822939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 ################ # More data... # ################ /proc/16847/task/17284/stat : 17284 (java) R 16845 16845 31142 0 -1 4202560 97 0 0 0 769 0 0 0 20 0 28 0 17003900 27171282944 256093 18446744073709551615 4194304 4196468 140735769654400 140491464093784 140493706714866 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17285] ppid=16845 vsize=26534456 CPUtime=7.68 cores=0-7 /proc/16847/task/17285/stat : 17285 (java) R 16845 16845 31142 0 -1 4202560 73 0 0 0 768 0 0 0 20 0 28 0 17003900 27171282944 256093 18446744073709551615 4194304 4196468 140735769654400 140491467251928 140493706715043 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 Current children cumulated CPU time (s) 1249.49 Current children cumulated vsize (KiB) 26543968 [startup+222.307 s] /proc/loadavg: 8.18 7.88 7.85 9/202 17352 /proc/meminfo: memFree=30852948/32770624 swapFree=0/271136 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 [pid=16847] ppid=16845 vsize=26534456 CPUtime=1728.1 cores=0-7 /proc/16847/stat : 16847 (java) S 16845 16845 31142 0 -1 1077944320 172752 0 0 0 172622 188 0 0 20 0 28 0 16988449 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140735769636944 140494084804343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 /proc/16847/statm: 6633614 225987 3254 1 0 6621915 0 [pid=16847/tid=16848] ppid=16845 vsize=26534456 CPUtime=1.02 cores=0-7 /proc/16847/task/16848/stat : 16848 (java) S 16845 16845 31142 0 -1 1077944384 12015 0 0 0 96 6 0 0 20 0 28 0 16988449 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494089045120 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16849] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16849/stat : 16849 (java) S 16845 16845 31142 0 -1 1077944384 2106 0 0 0 10 5 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494041770256 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16850] ppid=16845 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16847/task/16850/stat : 16850 (java) S 16845 16845 31142 0 -1 1077944384 2261 0 0 0 9 5 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494040717712 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16851] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16851/stat : 16851 (java) S 16845 16845 31142 0 -1 1077944384 1269 0 0 0 10 6 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494039665168 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16852] ppid=16845 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16847/task/16852/stat : 16852 (java) S 16845 16845 31142 0 -1 1077944384 1187 0 0 0 11 6 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494038612624 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16853] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16853/stat : 16853 (java) S 16845 16845 31142 0 -1 1077944384 1811 0 0 0 10 5 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494037560080 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16854] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16854/stat : 16854 (java) S 16845 16845 31142 0 -1 1077944384 1969 0 0 0 10 5 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494036507536 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16855] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16855/stat : 16855 (java) S 16845 16845 31142 0 -1 1077944384 2269 0 0 0 10 6 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494035454992 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16856] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16856/stat : 16856 (java) S 16845 16845 31142 0 -1 1077944384 3594 0 0 0 9 6 0 0 20 0 28 0 16988450 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140494034402448 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16857] ppid=16845 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16847/task/16857/stat : 16857 (java) S 16845 16845 31142 0 -1 1077944384 7522 0 0 0 7 7 0 0 20 0 28 0 16988451 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140493350701040 140494084815490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16858] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16858/stat : 16858 (java) S 16845 16845 31142 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140493349647328 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16859] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16859/stat : 16859 (java) S 16845 16845 31142 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140493348594688 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16860] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16860/stat : 16860 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140493347543248 140494084822939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16861] ppid=16845 vsize=26534456 CPUtime=2.64 cores=0-7 /proc/16847/task/16861/stat : 16861 (java) S 16845 16845 31142 0 -1 1077944384 13266 0 0 0 261 3 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492222753264 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16862] ppid=16845 vsize=26534456 CPUtime=2.51 cores=0-7 /proc/16847/task/16862/stat : 16862 (java) S 16845 16845 31142 0 -1 1077944384 14809 0 0 0 248 3 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492221700720 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16863] ppid=16845 vsize=26534456 CPUtime=2.26 cores=0-7 /proc/16847/task/16863/stat : 16863 (java) S 16845 16845 31142 0 -1 1077944384 9224 0 0 0 225 1 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492220648176 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16864] ppid=16845 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/16847/task/16864/stat : 16864 (java) S 16845 16845 31142 0 -1 1077944384 20189 0 0 0 93 4 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492219595632 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16865] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16865/stat : 16865 (java) S 16845 16845 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492218542304 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16866] ppid=16845 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16847/task/16866/stat : 16866 (java) S 16845 16845 31142 0 -1 1077944384 2170 0 0 0 3 3 0 0 20 0 28 0 16988458 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492217489840 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17345] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17345/stat : 17345 (java) R 16845 16845 31142 0 -1 4202560 36 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140491463040072 140493705346976 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17346] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17346/stat : 17346 (java) R 16845 16845 31142 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492207378744 140493706064955 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17347] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17347/stat : 17347 (java) R 16845 16845 31142 0 -1 4202560 24 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140491464094136 140493705347006 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17348] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17348/stat : 17348 (java) R 16845 16845 31142 0 -1 4202560 18 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492209484344 140493702811508 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17349] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17349/stat : 17349 (java) R 16845 16845 31142 0 -1 4202560 19 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140491467255240 140493705348252 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17350] ppid=16845 vsize=26534456 CPUtime=0.48 cores=0-7 /proc/16847/task/17350/stat : 17350 (java) R 16845 16845 31142 0 -1 4202560 16 0 0 0 48 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140492208434760 140493706714911 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17351] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17351/stat : 17351 (java) R 16845 16845 31142 0 -1 4202560 19 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140491466201800 140493707360353 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17352] ppid=16845 vsize=26534456 CPUtime=0.5 cores=0-7 /proc/16847/task/17352/stat : 17352 (java) R 16845 16845 31142 0 -1 4202560 19 0 0 0 50 0 0 0 20 0 28 0 17010620 27171282944 225987 18446744073709551615 4194304 4196468 140735769654400 140491465149256 140493709175312 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 Current children cumulated CPU time (s) 1728.1 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+246.401 s] /proc/loadavg: 8.46 7.97 7.88 9/202 17353 /proc/meminfo: memFree=30885164/32770624 swapFree=0/271132 [pid=16845] ppid=16842 vsize=9512 CPUtime=0 cores=0-7 /proc/16845/stat : 16845 (xcsp3-exec) S 16842 16845 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16988440 9740288 345 18446744073709551615 4194304 5098028 140723071976848 140723071974952 140468805722748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25509888 140723071979922 140723071980132 140723071980132 140723071983595 0 /proc/16845/statm: 2378 345 289 221 0 87 0 [pid=16847] ppid=16845 vsize=26534456 CPUtime=1920.32 cores=0-7 /proc/16847/stat : 16847 (java) S 16845 16845 31142 0 -1 1077944320 188209 0 0 0 191835 197 0 0 20 0 28 0 16988449 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140735769636944 140494084804343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 /proc/16847/statm: 6633614 218197 3254 1 0 6621915 0 [pid=16847/tid=16848] ppid=16845 vsize=26534456 CPUtime=1.02 cores=0-7 /proc/16847/task/16848/stat : 16848 (java) S 16845 16845 31142 0 -1 1077944384 12015 0 0 0 96 6 0 0 20 0 28 0 16988449 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494089045120 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16849] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16849/stat : 16849 (java) S 16845 16845 31142 0 -1 1077944384 2906 0 0 0 11 5 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494041770256 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16850] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16850/stat : 16850 (java) S 16845 16845 31142 0 -1 1077944384 2842 0 0 0 10 5 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494040717712 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16851] ppid=16845 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16847/task/16851/stat : 16851 (java) S 16845 16845 31142 0 -1 1077944384 2211 0 0 0 11 6 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494039665168 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16852] ppid=16845 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/16847/task/16852/stat : 16852 (java) S 16845 16845 31142 0 -1 1077944384 1451 0 0 0 12 6 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494038612624 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16853] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16853/stat : 16853 (java) S 16845 16845 31142 0 -1 1077944384 2002 0 0 0 11 5 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494037560080 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16854] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16854/stat : 16854 (java) S 16845 16845 31142 0 -1 1077944384 2501 0 0 0 11 5 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494036507536 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16855] ppid=16845 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16847/task/16855/stat : 16855 (java) S 16845 16845 31142 0 -1 1077944384 3253 0 0 0 11 6 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494035454992 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16856] ppid=16845 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16847/task/16856/stat : 16856 (java) S 16845 16845 31142 0 -1 1077944384 3793 0 0 0 10 6 0 0 20 0 28 0 16988450 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140494034402448 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16857] ppid=16845 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16847/task/16857/stat : 16857 (java) S 16845 16845 31142 0 -1 1077944384 9716 0 0 0 8 7 0 0 20 0 28 0 16988451 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140493350701040 140494084815490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16858] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16858/stat : 16858 (java) S 16845 16845 31142 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140493349647328 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16859] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16859/stat : 16859 (java) S 16845 16845 31142 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 16988452 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140493348594688 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16860] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16860/stat : 16860 (java) S 16845 16845 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140493347543248 140494084822939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16861] ppid=16845 vsize=26534456 CPUtime=2.64 cores=0-7 /proc/16847/task/16861/stat : 16861 (java) S 16845 16845 31142 0 -1 1077944384 13274 0 0 0 261 3 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492222753264 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16862] ppid=16845 vsize=26534456 CPUtime=2.51 cores=0-7 /proc/16847/task/16862/stat : 16862 (java) S 16845 16845 31142 0 -1 1077944384 14819 0 0 0 248 3 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492221700720 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16863] ppid=16845 vsize=26534456 CPUtime=2.26 cores=0-7 /proc/16847/task/16863/stat : 16863 (java) S 16845 16845 31142 0 -1 1077944384 9236 0 0 0 225 1 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492220648176 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16864] ppid=16845 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/16847/task/16864/stat : 16864 (java) S 16845 16845 31142 0 -1 1077944384 20211 0 0 0 93 4 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492219595632 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16865] ppid=16845 vsize=26534456 CPUtime=0 cores=0-7 /proc/16847/task/16865/stat : 16865 (java) S 16845 16845 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16988454 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492218542304 140494084814549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=16866] ppid=16845 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16847/task/16866/stat : 16866 (java) S 16845 16845 31142 0 -1 1077944384 2313 0 0 0 3 3 0 0 20 0 28 0 16988458 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492217489840 140494084815490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17345] ppid=16845 vsize=26534456 CPUtime=24.56 cores=0-7 /proc/16847/task/17345/stat : 17345 (java) R 16845 16845 31142 0 -1 4202560 520 0 0 0 2456 0 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140491463035752 140493705347214 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17346] ppid=16845 vsize=26534456 CPUtime=24.53 cores=0-7 /proc/16847/task/17346/stat : 17346 (java) R 16845 16845 31142 0 -1 4202560 611 0 0 0 2453 0 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492207375224 140494070014576 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17347] ppid=16845 vsize=26534456 CPUtime=24.5 cores=0-7 /proc/16847/task/17347/stat : 17347 (java) R 16845 16845 31142 0 -1 4202560 1797 0 0 0 2450 0 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140491464093728 140493705348449 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17348] ppid=16845 vsize=26534456 CPUtime=24.48 cores=0-7 /proc/16847/task/17348/stat : 17348 (java) R 16845 16845 31142 0 -1 4202560 1023 0 0 0 2446 2 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492209479408 140493705348395 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17349] ppid=16845 vsize=26534456 CPUtime=24.56 cores=0-7 /proc/16847/task/17349/stat : 17349 (java) R 16845 16845 31142 0 -1 4202560 1593 0 0 0 2455 1 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140491467248888 140493706714830 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17350] ppid=16845 vsize=26534456 CPUtime=24.41 cores=0-7 /proc/16847/task/17350/stat : 17350 (java) R 16845 16845 31142 0 -1 4202560 394 0 0 0 2441 0 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140492208432088 140493707380379 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17351] ppid=16845 vsize=26534456 CPUtime=24.44 cores=0-7 /proc/16847/task/17351/stat : 17351 (java) R 16845 16845 31142 0 -1 4202560 491 0 0 0 2444 0 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140491466197568 140493705187510 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 [pid=16847/tid=17352] ppid=16845 vsize=26534456 CPUtime=24.56 cores=0-7 /proc/16847/task/17352/stat : 17352 (java) R 16845 16845 31142 0 -1 4202560 2318 0 0 0 2454 2 0 0 20 0 28 0 17010620 27171282944 218197 18446744073709551615 4194304 4196468 140735769654400 140491465141560 140493706059532 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140735769661904 140735769662080 140735769662080 140735769665487 0 Current children cumulated CPU time (s) 1920.32 Current children cumulated vsize (KiB) 26543968 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 16847 sig 9 ??? kill 16845 sig 9 ??? kill -16845 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16845 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1786 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=148 # CPU time returned by wait4() is 0.001934 # while last known CPU time is 1920.32 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 246.437 CPU time (s): 1920.32 CPU user time (s): 1918.35 CPU system time (s): 1.97 CPU usage (%): 779.232 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001786 system time used= 0.000148 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 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.59643 second user time and 1.95884 second system time The end
Begin job on node129 at 2017-08-02 16:06:54 IDJOB=4254868 IDBENCH=124395 IDSOLVER=2636 FILE ID=node129/4254868-1501683654 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61776 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254868-1501683654/watcher-4254868-1501683654 -o /tmp/evaluation-result-4254868-1501683654/solver-4254868-1501683654 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1012441867 HOME/instance-4254868-1501683654.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=1012441867 node129.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.53 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.57 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.53 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.57 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.53 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.57 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.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31749168 kB MemAvailable: 32017116 kB Buffers: 138036 kB Cached: 417348 kB SwapCached: 0 kB Active: 321924 kB Inactive: 287924 kB Active(anon): 54676 kB Inactive(anon): 16716 kB Active(file): 267248 kB Inactive(file): 271208 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7840 kB Writeback: 8 kB AnonPages: 54052 kB Mapped: 30892 kB Shmem: 17064 kB Slab: 115648 kB SReclaimable: 90656 kB SUnreclaim: 24992 kB KernelStack: 3104 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286284 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61768 MiB End job on node129 at 2017-08-02 16:11:00