Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 31138 | 19698.7 | 2520.11 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml |
MD5SUM | 4fcc0be526f5147180ee0aa4ecb06fa1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 31118 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 1200 |
Number of domains | 2 |
Minimum domain size | 49 |
Maximum domain size | 50 |
Distribution of domain sizes | [{"size":49,"count":1199},{"size":50,"count":50}] |
Minimum variable degree | 0 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":3,"count":1199},{"arity":50,"count":1}] |
Number of extensional constraints | 1199 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1199},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399997-1568702776.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399997-1568702776.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 26.24/5.21 c solve instance... 32.53/6.13 o 32010 34.82/6.53 o 31919 38.12/8.61 o 31914 40.57/10.55 o 31907 43.13/11.06 o 31904 43.42/11.27 o 31839 43.58/11.32 o 31832 43.81/11.52 o 31822 43.81/11.58 o 31820 44.10/11.78 o 31811 44.37/11.99 o 31809 44.62/12.17 o 31780 70.90/15.57 o 31778 71.21/15.63 o 31775 71.21/15.65 o 31767 71.66/15.78 o 31744 72.23/15.84 o 31731 72.23/15.86 o 31723 108.48/21.70 o 31715 198.88/33.48 o 31707 200.05/34.04 o 31703 302.92/47.49 o 31653 303.84/48.24 o 31641 304.41/48.73 o 31636 305.46/49.22 o 31618 306.69/49.68 o 31601 308.24/50.21 o 31597 395.29/62.07 o 31585 395.96/62.52 o 31574 1113.18/152.53 o 31571 1121.88/154.84 o 31559 1121.88/154.88 o 31552 1123.19/155.02 o 31548 1123.19/155.05 o 31546 1140.39/158.33 o 31545 1144.94/158.94 o 31514 1168.49/162.05 o 31505 1169.24/162.67 o 31497 1170.81/163.33 o 31475 1183.20/166.26 o 31470 1198.31/169.24 o 31464 1200.03/169.61 o 31460 1222.56/173.87 o 31453 1234.85/176.86 o 31452 1245.99/179.64 o 31436 1246.98/180.40 o 31421 1247.78/181.14 o 31420 1264.70/184.34 o 31418 1265.29/184.88 o 31405 1265.96/185.40 o 31403 1278.03/187.97 o 31359 1296.28/190.82 o 31357 1358.12/199.92 o 31356 1365.58/201.36 o 31342 1370.29/203.63 o 31333 1371.08/204.21 o 31300 1379.22/205.34 o 31281 1577.98/230.47 o 31277 1641.82/239.70 o 31273 1696.37/247.14 o 31268 1697.51/247.65 o 31256 1779.88/258.96 o 31254 1835.88/266.42 o 31236 2230.19/317.46 o 31233 2239.44/320.12 o 31213 2320.40/330.66 o 31200 2337.93/333.12 o 31189 2445.96/347.26 o 31182 2446.80/348.03 o 31171 3000.07/418.63 o 31165 3707.48/508.74 o 31159 3859.63/528.81 o 31158 3935.89/538.94 o 31153 4774.07/644.82 o 31147 4915.03/662.59 o 31145 5303.69/712.46 o 31141 8199.62/1077.00 o 31140 9962.60/1298.15 o 31139 10048.90/1310.07 o 31138 19698.01/2520.07 s SATISFIABLE 19698.01/2520.07 v <instantiation> 19698.01/2520.07 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list> 19698.01/2520.07 v <values>35 13 5 1 49 27 46 48 10 40 41 0 17 14 24 29 22 11 38 36 15 7 2 3 39 33 37 6 28 45 20 19 32 16 23 30 42 26 47 9 25 18 12 4 43 34 21 8 44 31 44 30 29 38 27 35 34 13 34 25 11 18 14 45 26 23 33 25 10 23 11 26 31 24 14 36 44 29 41 45 14 7 31 45 6 35 29 24 33 45 35 43 32 20 28 18 28 12 26 14 18 29 12 39 11 11 26 17 7 15 8 34 30 25 16 7 15 16 8 19 31 37 20 10 28 17 27 46 33 38 21 26 31 34 14 47 36 29 23 29 8 26 23 34 14 22 28 32 7 6 26 36 28 22 39 24 20 33 29 19 29 16 30 18 31 30 13 27 27 23 36 37 27 28 20 29 29 14 34 26 30 30 29 14 17 24 17 16 23 35 26 31 27 35 15 28 9 35 23 26 22 42 31 24 26 12 11 36 38 26 22 44 15 18 24 44 28 38 31 25 21 17 29 13 31 23 29 26 36 22 30 25 25 34 29 17 27 22 31 6 34 20 29 35 34 19 4 35 8 24 35 23 38 29 19 32 12 15 45 26 22 24 19 20 29 20 35 27 19 44 24 25 32 38 19 33 19 16 36 34 14 43 16 23 46 29 33 29 33 22 14 20 7 30 30 20 15 2 18 32 21 34 37 22 25 30 47 19 33 24 18 33 40 25 18 14 10 32 24 25 18 8 38 28 11 18 31 23 15 17 5 23 16 21 42 26 20 9 28 21 40 42 25 31 31 15 14 37 34 13 27 25 23 21 23 27 29 39 22 37 19 22 21 14 35 20 17 29 34 14 22 35 23 32 35 22 41 27 23 30 26 16 18 17 28 12 46 26 42 44 35 45 29 29 31 42 36 23 10 14 40 26 26 13 30 17 9 25 27 6 30 15 48 13 17 25 11 36 20 9 19 15 16 29 22 25 8 30 16 19 18 19 33 40 27 18 19 22 21 18 40 32 23 31 35 23 39 39 42 21 5 10 32 24 10 20 11 14 22 26 19 38 44 22 15 30 20 15 28 23 34 11 37 20 19 27 32 16 14 36 40 8 11 43 20 37 33 28 26 49 33 25 34 32 25 33 21 35 14 29 13 8 24 24 4 30 28 28 18 33 19 27 13 44 27 31 23 23 39 35 28 24 6 22 27 25 30 29 12 12 35 38 25 47 27 21 14 20 26 41 23 37 29 31 21 10 7 25 34 33 28 19 14 33 31 24 31 40 19 29 14 21 25 28 11 21 14 33 34 6 41 41 9 30 30 38 24 28 20 38 36 35 38 29 22 19 11 35 40 41 35 14 24 17 32 27 24 23 44 33 42 26 26 35 38 31 25 27 36 30 20 14 8 23 32 22 22 14 26 44 29 14 35 17 28 30 32 36 32 37 8 28 21 28 26 14 39 19 30 27 28 28 9 38 18 31 24 28 26 17 28 46 13 26 18 16 34 37 21 2 13 29 29 44 43 40 14 16 15 7 28 34 13 24 29 30 36 35 47 35 38 44 37 25 17 24 27 27 34 28 22 35 25 20 35 32 5 23 26 36 35 17 21 35 26 16 28 32 32 10 27 22 26 36 20 18 38 15 47 31 7 15 22 32 27 28 36 26 30 17 26 35 21 39 32 21 15 25 26 33 34 22 33 25 13 7 8 21 31 20 25 35 20 42 22 24 41 22 26 33 32 29 33 19 33 27 35 27 40 31 35 7 25 29 12 14 24 41 34 22 29 37 17 29 24 25 14 30 9 24 14 30 27 26 21 28 19 38 33 27 10 24 36 21 18 28 17 31 35 16 39 11 16 22 23 27 24 41 5 20 41 25 33 25 25 7 11 42 28 33 42 28 29 35 12 34 26 30 27 16 14 28 35 11 16 33 41 15 34 29 10 24 21 24 28 29 26 26 25 38 18 5 25 37 8 49 15 13 11 25 27 31 25 36 41 27 11 38 35 28 25 36 21 19 12 25 27 22 25 16 25 32 6 19 32 48 14 21 27 5 4 29 9 32 40 28 23 44 22 17 24 19 36 27 37 47 23 24 26 22 24 9 38 34 21 24 30 28 7 25 21 17 23 30 21 24 5 29 28 36 27 24 27 23 8 18 29 22 30 38 27 17 42 13 41 22 27 31 40 24 33 26 14 39 38 17 35 34 30 29 34 44 28 7 33 33 8 26 33 31 40 35 29 35 33 16 22 13 22 28 46 24 24 26 17 36 35 25 14 26 16 44 27 24 45 35 15 41 24 30 27 11 11 36 44 37 6 12 15 10 34 29 28 27 20 14 28 20 22 42 6 29 20 36 22 41 9 20 35 27 38 22 23 24 18 48 27 18 28 17 30 3 37 35 26 33 21 21 30 30 11 30 28 17 31 31 20 34 33 42 5 22 15 5 11 24 35 11 19 24 21 12 15 19 27 22 41 10 29 11 17 37 21 18 42 28 27 29 48 14 42 33 33 34 22 11 2 19 29 11 34 13 10 37 27 5 34 39 28 27 35 25 23 26 35 31 28 9 19 24 15 28 33 39 24 24 35 34 31 31 29 36 13 35 30 22 43 20 21 27 26 28 37 38 47 34 18 39 21 34 15 32 30 26 32 31 27 39 27 21 4 40 35 30 21 32 25 15 34 26 16 12 10 16 30 34 36 31 33 39 33 17 17 35 33 47 34 33 28 37 28 22 48 27 16 13 26 31 24 21 38 37 20 16 34 38 29 18 26 21 42 27 9 46 33 35 32 24 3 38 16 36 35 19 25 6 28 13 31 22 27 29 36 7 5 19 38 16 31 </values> 19698.01/2520.07 v </instantiation> 19698.01/2520.07 c Unexpected resolution interruption!
OK 31138
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15279 MiB free) memory of node 1: 16384 MiB (15696 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399997-1568702776/watcher-4399997-1568702776 -o /tmp/evaluation-result-4399997-1568702776/solver-4399997-1568702776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1074619955 HOME/instance-4399997-1568702776.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31206, runsolver pid=31203 [startup+0.100119 s]* /proc/loadavg: 8.11 8.05 7.82 3/211 31227 /proc/meminfo: memFree=31701776/32770624 swapFree=66977136/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28227396 memory=28980 CPUtime=0.12 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 446540195 28904853504 7245 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7056849 7245 3120 1 0 7019032 0 [pid=31208/tid=31209] ppid=31206 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) R 31206 31206 29062 0 -1 4202560 3630 0 0 0 8 0 0 0 20 0 20 0 446540196 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792522421568 139792518200726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28227396 memory=139988358145664 CPUtime=0 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31213] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31213/stat : 31213 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792467651344 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31214] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31214/stat : 31214 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792466598544 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31215] ppid=31206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31215/stat : 31215 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792465545744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31216] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31216/stat : 31216 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792464492944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31217] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31217/stat : 31217 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 7245 33554432000 4194304 4196468 140733814378832 139792463440144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31218] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31218/stat : 31218 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540198 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791500209008 139792518199938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31219] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31219/stat : 31219 (java) S 31206 31206 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446540199 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791499154976 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31220] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31220/stat : 31220 (java) S 31206 31206 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446540199 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791498102128 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31221] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31221/stat : 31221 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791497050448 139792518207387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31222] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31222/stat : 31222 (java) S 31206 31206 29062 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791495997808 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31223] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31223/stat : 31223 (java) S 31206 31206 29062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791494945008 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31224] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31224/stat : 31224 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791493892208 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31225] ppid=31206 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31208/task/31225/stat : 31225 (java) R 31206 31206 29062 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791492839408 139792518200726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31226] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31226/stat : 31226 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791491787872 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31227] ppid=31206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31227/stat : 31227 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540202 28904853504 7245 33554432000 4194304 4196468 140733814378832 139791490735152 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30436 KiB [startup+0.209797 s]* /proc/loadavg: 8.11 8.05 7.82 3/211 31227 /proc/meminfo: memFree=31689088/32770624 swapFree=66977136/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28227396 memory=40760 CPUtime=0.34 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 9381 0 0 0 31 3 0 0 20 0 20 0 446540195 28904853504 10190 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7056849 10190 3300 1 0 7019032 0 [pid=31208/tid=31209] ppid=31206 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) R 31206 31206 29062 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 20 0 446540196 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792522418512 139792518210717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28227396 memory=288370364509857408 CPUtime=0 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31213] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31213/stat : 31213 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792467651344 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31214] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31214/stat : 31214 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792466598544 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31215] ppid=31206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31215/stat : 31215 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792465545744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31216] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31216/stat : 31216 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792464492944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31217] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31217/stat : 31217 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540197 28904853504 10190 33554432000 4194304 4196468 140733814378832 139792463440144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31218] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31218/stat : 31218 (java) S 31206 31206 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446540198 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791500209008 139792518199938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31219] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31219/stat : 31219 (java) S 31206 31206 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446540199 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791499154976 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31220] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31220/stat : 31220 (java) S 31206 31206 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446540199 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791498102128 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31221] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31221/stat : 31221 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791497050448 139792518207387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31222] ppid=31206 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31208/task/31222/stat : 31222 (java) S 31206 31206 29062 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791495997808 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31223] ppid=31206 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31208/task/31223/stat : 31223 (java) S 31206 31206 29062 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791494945008 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31224] ppid=31206 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/31208/task/31224/stat : 31224 (java) S 31206 31206 29062 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791493892208 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31225] ppid=31206 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/31208/task/31225/stat : 31225 (java) S 31206 31206 29062 0 -1 1077944384 797 0 0 0 7 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791492839408 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31226] ppid=31206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31226/stat : 31226 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540201 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791491787872 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31227] ppid=31206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31227/stat : 31227 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540202 28904853504 10190 33554432000 4194304 4196468 140733814378832 139791490735152 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42216 KiB [startup+0.309487 s]* /proc/loadavg: 8.11 8.05 7.82 3/211 31227 /proc/meminfo: memFree=31681548/32770624 swapFree=66977136/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28231652 memory=49940 CPUtime=0.53 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 10815 0 0 0 49 4 0 0 20 0 20 0 446540195 28909211648 12485 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7057913 12485 3345 1 0 7019032 0 [pid=31208/tid=31209] ppid=31206 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) R 31206 31206 29062 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 20 0 446540196 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792522419904 139792502269278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31213] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31213/stat : 31213 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792467651344 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31214] ppid=31206 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31208/task/31214/stat : 31214 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792466598544 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31215] ppid=31206 vsize=28231652 memory=139988217983919 CPUtime=0 cores=0-7 /proc/31208/task/31215/stat : 31215 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792465545744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31216] ppid=31206 vsize=28231652 memory=139988217986224 CPUtime=0 cores=0-7 /proc/31208/task/31216/stat : 31216 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792464492944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31217] ppid=31206 vsize=28231652 memory=139988217988528 CPUtime=0 cores=0-7 /proc/31208/task/31217/stat : 31217 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540197 28909211648 12485 33554432000 4194304 4196468 140733814378832 139792463440144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31218] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31218/stat : 31218 (java) S 31206 31206 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446540198 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791500209008 139792518199938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31219] ppid=31206 vsize=28231652 memory=279976435984016 CPUtime=0 cores=0-7 /proc/31208/task/31219/stat : 31219 (java) S 31206 31206 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446540199 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791499154976 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31220] ppid=31206 vsize=28231652 memory=279976435990928 CPUtime=0 cores=0-7 /proc/31208/task/31220/stat : 31220 (java) S 31206 31206 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446540199 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791498102128 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31221] ppid=31206 vsize=28231652 memory=279976435932176 CPUtime=0 cores=0-7 /proc/31208/task/31221/stat : 31221 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791497050448 139792518207387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31222] ppid=31206 vsize=28231652 memory=279976436004752 CPUtime=0.02 cores=0-7 /proc/31208/task/31222/stat : 31222 (java) S 31206 31206 29062 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791495997808 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31223] ppid=31206 vsize=28231652 memory=279976436011664 CPUtime=0.02 cores=0-7 /proc/31208/task/31223/stat : 31223 (java) R 31206 31206 29062 0 -1 4202560 272 0 0 0 2 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791494945008 139792495840656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31224] ppid=31206 vsize=28231652 memory=279976436009360 CPUtime=0.03 cores=0-7 /proc/31208/task/31224/stat : 31224 (java) S 31206 31206 29062 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791493892208 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31225] ppid=31206 vsize=28231652 memory=279976436025520 CPUtime=0.12 cores=0-7 /proc/31208/task/31225/stat : 31225 (java) S 31206 31206 29062 0 -1 1077944384 939 0 0 0 12 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791492839408 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31226] ppid=31206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31226/stat : 31226 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446540201 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791491787872 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31227] ppid=31206 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31208/task/31227/stat : 31227 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540202 28909211648 12485 33554432000 4194304 4196468 140733814378832 139791490735152 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51396 KiB [startup+0.700962 s] /proc/loadavg: 8.11 8.05 7.82 5/211 31227 /proc/meminfo: memFree=31659560/32770624 swapFree=66977136/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28233776 memory=108220 CPUtime=1.92 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 16151 0 0 0 186 6 0 0 20 0 20 0 446540195 28911386624 27055 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7058444 27055 3454 1 0 7019544 0 [pid=31208/tid=31209] ppid=31206 vsize=28233776 memory=279976436383408 CPUtime=0.67 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) R 31206 31206 29062 0 -1 4202560 9176 0 0 0 63 4 0 0 20 0 20 0 446540196 28911386624 27055 33554432000 4194304 4196468 140733814378832 139792522425520 139792518200726 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28233776 memory=139988218192752 CPUtime=0 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446540197 28911386624 27055 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28911386624 27055 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28233776 memory=7872 CPUtime=0 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446540197 28911386624 27055 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 ################ # More data... # ################ [pid=31208/tid=31987] ppid=31206 vsize=28768336 memory=1028 CPUtime=1125.32 cores=0-7 /proc/31208/task/31987/stat : 31987 (java) R 31206 31206 29062 0 -1 4202560 18226 0 0 0 112510 22 0 0 20 0 28 0 446671203 29458776064 574228 33554432000 4194304 4196468 140733814378832 139791476253112 139792149747767 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 19078.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2298368 KiB [startup+2502.3 s] /proc/loadavg: 8.27 8.32 8.24 9/219 32078 /proc/meminfo: memFree=29423544/32770624 swapFree=66977172/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28768336 memory=2307212 CPUtime=19556.7 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 1404344 0 0 0 1953646 2027 0 0 20 0 28 0 446540195 29458776064 576803 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7192084 576803 3557 1 0 7153184 0 [pid=31208/tid=31209] ppid=31206 vsize=28768336 memory=2300924 CPUtime=2.8 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) S 31206 31206 29062 0 -1 1077944384 23363 0 0 0 259 21 0 0 20 0 28 0 446540196 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792522429568 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28768336 memory=2284240 CPUtime=6.45 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 31436 0 0 0 554 91 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28768336 memory=2290412 CPUtime=6.51 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 29222 0 0 0 555 96 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28768336 memory=2290412 CPUtime=6.49 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 30252 0 0 0 554 95 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31213] ppid=31206 vsize=28768336 memory=2291976 CPUtime=6.53 cores=0-7 /proc/31208/task/31213/stat : 31213 (java) S 31206 31206 29062 0 -1 1077944384 35770 0 0 0 559 94 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792467651344 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31214] ppid=31206 vsize=28768336 memory=1456 CPUtime=6.52 cores=0-7 /proc/31208/task/31214/stat : 31214 (java) S 31206 31206 29062 0 -1 1077944384 34895 0 0 0 558 94 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792466598544 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31215] ppid=31206 vsize=28768336 memory=1456 CPUtime=6.53 cores=0-7 /proc/31208/task/31215/stat : 31215 (java) S 31206 31206 29062 0 -1 1077944384 32834 0 0 0 561 92 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792465545744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31216] ppid=31206 vsize=28768336 memory=2297512 CPUtime=6.52 cores=0-7 /proc/31208/task/31216/stat : 31216 (java) S 31206 31206 29062 0 -1 1077944384 36312 0 0 0 560 92 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792464492944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31217] ppid=31206 vsize=28768336 memory=1456 CPUtime=6.55 cores=0-7 /proc/31208/task/31217/stat : 31217 (java) S 31206 31206 29062 0 -1 1077944384 26010 0 0 0 559 96 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792463440144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31218] ppid=31206 vsize=28768336 memory=2300924 CPUtime=0.69 cores=0-7 /proc/31208/task/31218/stat : 31218 (java) S 31206 31206 29062 0 -1 1077944384 40472 0 0 0 58 11 0 0 20 0 28 0 446540198 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791500209008 139792518199938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31219] ppid=31206 vsize=28768336 memory=2300924 CPUtime=0 cores=0-7 /proc/31208/task/31219/stat : 31219 (java) S 31206 31206 29062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446540199 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791499155040 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31220] ppid=31206 vsize=28768336 memory=2301072 CPUtime=0 cores=0-7 /proc/31208/task/31220/stat : 31220 (java) S 31206 31206 29062 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 446540199 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791498102144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31221] ppid=31206 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/31208/task/31221/stat : 31221 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791497050448 139792518207387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31222] ppid=31206 vsize=28768336 memory=2300680 CPUtime=4.09 cores=0-7 /proc/31208/task/31222/stat : 31222 (java) S 31206 31206 29062 0 -1 1077944384 39357 0 0 0 402 7 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791495997808 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31223] ppid=31206 vsize=28768336 memory=2300924 CPUtime=3.86 cores=0-7 /proc/31208/task/31223/stat : 31223 (java) S 31206 31206 29062 0 -1 1077944384 32297 0 0 0 381 5 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791494945008 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31224] ppid=31206 vsize=28768336 memory=1456 CPUtime=4.15 cores=0-7 /proc/31208/task/31224/stat : 31224 (java) S 31206 31206 29062 0 -1 1077944384 40219 0 0 0 405 10 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791493892208 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31225] ppid=31206 vsize=28768336 memory=2300924 CPUtime=1.26 cores=0-7 /proc/31208/task/31225/stat : 31225 (java) S 31206 31206 29062 0 -1 1077944384 44852 0 0 0 116 10 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791492839408 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31226] ppid=31206 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/31208/task/31226/stat : 31226 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791491787872 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31227] ppid=31206 vsize=28768336 memory=3784 CPUtime=1.13 cores=0-7 /proc/31208/task/31227/stat : 31227 (java) S 31206 31206 29062 0 -1 1077944384 10520 0 0 0 33 80 0 0 20 0 28 0 446540202 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791490735152 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31980] ppid=31206 vsize=28768336 memory=2300680 CPUtime=1185.57 cores=0-7 /proc/31208/task/31980/stat : 31980 (java) R 31206 31206 29062 0 -1 4202560 17173 0 0 0 118541 16 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791477304504 139792151912987 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31981] ppid=31206 vsize=28768336 memory=1456 CPUtime=1189.86 cores=0-7 /proc/31208/task/31981/stat : 31981 (java) R 31206 31206 29062 0 -1 4202560 11550 0 0 0 118961 25 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791474147560 139792150631644 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31982] ppid=31206 vsize=28768336 memory=1456 CPUtime=1190.44 cores=0-7 /proc/31208/task/31982/stat : 31982 (java) R 31206 31206 29062 0 -1 4202560 20467 0 0 0 119025 19 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791479410456 139792151275326 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31983] ppid=31206 vsize=28768336 memory=2300924 CPUtime=1181.91 cores=0-7 /proc/31208/task/31983/stat : 31983 (java) R 31206 31206 29062 0 -1 4202560 25417 0 0 0 118160 31 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791481515960 139792150482047 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31984] ppid=31206 vsize=28768336 memory=1456 CPUtime=1190 cores=0-7 /proc/31208/task/31984/stat : 31984 (java) R 31206 31206 29062 0 -1 4202560 12590 0 0 0 118978 22 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791475202512 139792151274640 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31985] ppid=31206 vsize=28768336 memory=2300924 CPUtime=1190.67 cores=0-7 /proc/31208/task/31985/stat : 31985 (java) R 31206 31206 29062 0 -1 4202560 20946 0 0 0 119050 17 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791478357608 139792151912549 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31986] ppid=31206 vsize=28768336 memory=3620 CPUtime=1186.38 cores=0-7 /proc/31208/task/31986/stat : 31986 (java) R 31206 31206 29062 0 -1 4202560 17504 0 0 0 118624 14 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791480463600 139792144245204 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31987] ppid=31206 vsize=28768336 memory=30848 CPUtime=1185.24 cores=0-7 /proc/31208/task/31987/stat : 31987 (java) R 31206 31206 29062 0 -1 4202560 18616 0 0 0 118501 23 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791476252904 139792150481304 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 19556.7 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2308668 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.21 8.30 8.24 9/219 32078 /proc/meminfo: memFree=29417876/32770624 swapFree=66977172/67108860 [pid=31206] ppid=31203 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31206/stat : 31206 (xcsp3-exec) S 31203 31206 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446540195 115843072 364 33554432000 4194304 5098028 140732180633408 140732180631512 140254141837948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21618688 140732180636533 140732180636777 140732180636777 140732180639690 0 /proc/31206/statm: 28282 364 305 221 0 87 0 [pid=31208] ppid=31206 vsize=28768336 memory=2307212 CPUtime=19698 cores=0-7 /proc/31208/stat : 31208 (java) S 31206 31206 29062 0 -1 1077944320 1405807 0 0 0 1967773 2028 0 0 20 0 28 0 446540195 29458776064 576803 33554432000 4194304 4196468 140733814378832 140733814361376 139792518188791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 /proc/31208/statm: 7192084 576803 3557 1 0 7153184 0 [pid=31208/tid=31209] ppid=31206 vsize=28768336 memory=1324 CPUtime=2.8 cores=0-7 /proc/31208/task/31209/stat : 31209 (java) S 31206 31206 29062 0 -1 1077944384 23363 0 0 0 259 21 0 0 20 0 28 0 446540196 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792522429568 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31210] ppid=31206 vsize=28768336 memory=1398720917958146503 CPUtime=6.46 cores=0-7 /proc/31208/task/31210/stat : 31210 (java) S 31206 31206 29062 0 -1 1077944384 31441 0 0 0 555 91 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792470809744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31211] ppid=31206 vsize=28768336 memory=1564 CPUtime=6.52 cores=0-7 /proc/31208/task/31211/stat : 31211 (java) S 31206 31206 29062 0 -1 1077944384 29224 0 0 0 556 96 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792469756944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31212] ppid=31206 vsize=28768336 memory=928 CPUtime=6.5 cores=0-7 /proc/31208/task/31212/stat : 31212 (java) S 31206 31206 29062 0 -1 1077944384 30252 0 0 0 555 95 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792468704144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31213] ppid=31206 vsize=28768336 memory=3784 CPUtime=6.54 cores=0-7 /proc/31208/task/31213/stat : 31213 (java) S 31206 31206 29062 0 -1 1077944384 35774 0 0 0 560 94 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792467651344 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31214] ppid=31206 vsize=28768336 memory=1440 CPUtime=6.53 cores=0-7 /proc/31208/task/31214/stat : 31214 (java) S 31206 31206 29062 0 -1 1077944384 34898 0 0 0 559 94 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792466598544 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31215] ppid=31206 vsize=28768336 memory=904 CPUtime=6.54 cores=0-7 /proc/31208/task/31215/stat : 31215 (java) S 31206 31206 29062 0 -1 1077944384 32837 0 0 0 562 92 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792465545744 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31216] ppid=31206 vsize=28768336 memory=1984 CPUtime=6.52 cores=0-7 /proc/31208/task/31216/stat : 31216 (java) S 31206 31206 29062 0 -1 1077944384 36314 0 0 0 560 92 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792464492944 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31217] ppid=31206 vsize=28768336 memory=2307212 CPUtime=6.56 cores=0-7 /proc/31208/task/31217/stat : 31217 (java) S 31206 31206 29062 0 -1 1077944384 26011 0 0 0 560 96 0 0 20 0 28 0 446540197 29458776064 576803 33554432000 4194304 4196468 140733814378832 139792463440144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31218] ppid=31206 vsize=28768336 memory=1164 CPUtime=0.69 cores=0-7 /proc/31208/task/31218/stat : 31218 (java) S 31206 31206 29062 0 -1 1077944384 40475 0 0 0 58 11 0 0 20 0 28 0 446540198 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791500209008 139792518199938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31219] ppid=31206 vsize=28768336 memory=9448 CPUtime=0 cores=0-7 /proc/31208/task/31219/stat : 31219 (java) S 31206 31206 29062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446540199 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791499155040 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31220] ppid=31206 vsize=28768336 memory=14008 CPUtime=0 cores=0-7 /proc/31208/task/31220/stat : 31220 (java) S 31206 31206 29062 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 446540199 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791498102144 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31221] ppid=31206 vsize=28768336 memory=2120 CPUtime=0 cores=0-7 /proc/31208/task/31221/stat : 31221 (java) S 31206 31206 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791497050448 139792518207387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31222] ppid=31206 vsize=28768336 memory=11976 CPUtime=4.09 cores=0-7 /proc/31208/task/31222/stat : 31222 (java) S 31206 31206 29062 0 -1 1077944384 39357 0 0 0 402 7 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791495997808 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31223] ppid=31206 vsize=28768336 memory=11528 CPUtime=3.86 cores=0-7 /proc/31208/task/31223/stat : 31223 (java) S 31206 31206 29062 0 -1 1077944384 32297 0 0 0 381 5 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791494945008 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31224] ppid=31206 vsize=28768336 memory=2528 CPUtime=4.15 cores=0-7 /proc/31208/task/31224/stat : 31224 (java) S 31206 31206 29062 0 -1 1077944384 40219 0 0 0 405 10 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791493892208 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31225] ppid=31206 vsize=28768336 memory=1764 CPUtime=1.26 cores=0-7 /proc/31208/task/31225/stat : 31225 (java) S 31206 31206 29062 0 -1 1077944384 44852 0 0 0 116 10 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791492839408 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31226] ppid=31206 vsize=28768336 memory=111632 CPUtime=0 cores=0-7 /proc/31208/task/31226/stat : 31226 (java) S 31206 31206 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446540201 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791491787872 139792518198997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31227] ppid=31206 vsize=28768336 memory=804 CPUtime=1.13 cores=0-7 /proc/31208/task/31227/stat : 31227 (java) S 31206 31206 29062 0 -1 1077944384 10522 0 0 0 33 80 0 0 20 0 28 0 446540202 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791490735152 139792518199938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31980] ppid=31206 vsize=28768336 memory=1628 CPUtime=1203.07 cores=0-7 /proc/31208/task/31980/stat : 31980 (java) R 31206 31206 29062 0 -1 4202560 17254 0 0 0 120291 16 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791477304568 139792149748603 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31981] ppid=31206 vsize=28768336 memory=1808 CPUtime=1207.56 cores=0-7 /proc/31208/task/31981/stat : 31981 (java) R 31206 31206 29062 0 -1 4202560 11594 0 0 0 120731 25 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791474147512 139792149747722 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31982] ppid=31206 vsize=28768336 memory=924 CPUtime=1208.13 cores=0-7 /proc/31208/task/31982/stat : 31982 (java) R 31206 31206 29062 0 -1 4202560 20732 0 0 0 120794 19 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791479410016 139792150483040 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31983] ppid=31206 vsize=28768336 memory=4136 CPUtime=1199.61 cores=0-7 /proc/31208/task/31983/stat : 31983 (java) R 31206 31206 29062 0 -1 4202560 25900 0 0 0 119930 31 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791481518752 139792146710025 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31984] ppid=31206 vsize=28768336 memory=6791534058613427641 CPUtime=1207.7 cores=0-7 /proc/31208/task/31984/stat : 31984 (java) R 31206 31206 29062 0 -1 4202560 12684 0 0 0 120748 22 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791475199720 139792144244652 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31985] ppid=31206 vsize=28768336 memory=4716 CPUtime=1208.36 cores=0-7 /proc/31208/task/31985/stat : 31985 (java) R 31206 31206 29062 0 -1 4202560 20969 0 0 0 120819 17 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791478357688 139792150930052 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31986] ppid=31206 vsize=28768336 memory=1456 CPUtime=1203.9 cores=0-7 /proc/31208/task/31986/stat : 31986 (java) R 31206 31206 29062 0 -1 4202560 17590 0 0 0 120376 14 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791480463976 139792151275261 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 [pid=31208/tid=31987] ppid=31206 vsize=28768336 memory=2307212 CPUtime=1202.95 cores=0-7 /proc/31208/task/31987/stat : 31987 (java) R 31206 31206 29062 0 -1 4202560 18978 0 0 0 120271 24 0 0 20 0 28 0 446671203 29458776064 576803 33554432000 4194304 4196468 140733814378832 139791476252632 139792150480672 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29511680 140733814387690 140733814387862 140733814387862 140733814390735 0 Current children cumulated CPU time: 19698 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2308668 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 31206 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001229 s, system=0.001229 s [startup+2520.11 s] # the end of solver process 31208 was just reported to runsolver # cumulated CPU time of all completed processes: user=19678.4 s, system=20.3021 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.11 CPU time (s): 19698.7 CPU user time (s): 19678.4 CPU system time (s): 20.3021 CPU usage (%): 781.66 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 3496508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19678.4 system time used= 20.3021 maximum resident set size= 3495052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1407192 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 90003 involuntary context switches= 230390 # summary of solver processes directly reported to runsolver: # pid: 31206,31208 # total CPU time (s): 19698.7 # total CPU user time (s): 19678.4 # total CPU system time (s): 20.3021 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.3704 second user time and 30.8999 second system time The end
Begin job on node121 at 2019-09-17 08:45:33 IDJOB=4399997 IDBENCH=123065 IDSOLVER=2854 FILE ID=node121/4399997-1568702776 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399997-1568702776/watcher-4399997-1568702776 -o /tmp/evaluation-result-4399997-1568702776/solver-4399997-1568702776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1074619955 HOME/instance-4399997-1568702776.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=1074619955 node121.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.75 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.75 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.75 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.75 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: 31719140 kB MemAvailable: 31921352 kB Buffers: 65304 kB Cached: 434684 kB SwapCached: 10788 kB Active: 207968 kB Inactive: 306456 kB Active(anon): 4364 kB Inactive(anon): 42372 kB Active(file): 203604 kB Inactive(file): 264084 kB Unevictable: 109148 kB Mlocked: 109148 kB SwapTotal: 67108860 kB SwapFree: 66977136 kB Dirty: 26252 kB Writeback: 4 kB AnonPages: 113040 kB Mapped: 41924 kB Shmem: 23940 kB Slab: 130148 kB SReclaimable: 100720 kB SUnreclaim: 29428 kB KernelStack: 3408 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 61380 MiB End job on node121 at 2019-09-17 09:27:33