Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 parallel | SAT (TO) | 31134 | 19800.4 | 2520.1 |
| 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-4407197-1569346211.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407197-1569346211.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 26.30/5.22 c solve instance... 32.27/6.17 o 31958 34.38/6.54 o 31839 37.69/8.50 o 31832 37.69/8.55 o 31822 38.36/8.81 o 31820 39.91/9.09 o 31811 40.47/9.29 o 31809 40.79/9.48 o 31780 67.23/12.84 o 31778 67.23/12.87 o 31775 67.68/12.94 o 31767 68.23/13.05 o 31744 68.23/13.08 o 31731 68.71/13.14 o 31723 105.62/18.14 o 31715 184.93/28.15 o 31707 185.26/28.24 o 31703 191.37/29.02 o 31690 194.23/29.92 o 31665 312.91/45.16 o 31661 397.38/55.88 o 31660 397.86/56.06 o 31648 404.37/58.07 o 31578 404.58/58.13 o 31571 410.71/58.97 o 31570 413.47/59.81 o 31568 414.83/60.46 o 31565 419.46/61.13 o 31562 420.92/61.73 o 31560 422.69/62.30 o 31559 426.04/62.93 o 31549 426.58/63.08 o 31544 449.65/67.53 o 31542 450.00/67.87 o 31513 450.62/68.27 o 31505 451.02/68.57 o 31487 451.79/68.85 o 31486 458.59/69.80 o 31469 465.76/70.71 o 31462 487.09/73.49 o 31460 497.21/75.68 o 31446 498.07/76.21 o 31433 498.80/76.77 o 31418 506.97/79.57 o 31417 554.68/85.76 o 31408 604.99/92.99 o 31397 605.13/93.01 o 31374 661.28/100.22 o 31371 662.81/100.84 o 31368 682.23/104.17 o 31365 687.88/105.17 o 31345 779.79/117.56 o 31341 780.56/118.21 o 31324 925.64/136.71 o 31320 936.04/138.48 o 31319 937.31/139.11 o 31315 937.92/139.68 o 31314 938.57/140.23 o 31297 944.74/141.22 o 31285 965.78/145.12 o 31279 967.15/145.34 o 31275 974.18/147.71 o 31265 974.18/147.75 o 31259 988.21/149.78 o 31250 990.17/150.38 o 31249 1171.94/173.27 o 31246 1173.24/173.85 o 31237 1540.56/219.93 o 31225 2165.51/298.48 o 31223 3460.75/461.22 o 31220 4397.62/578.71 o 31213 4472.60/588.11 o 31210 6053.40/786.68 o 31207 6512.54/844.66 o 31203 6555.76/850.16 o 31196 6557.92/852.21 o 31192 6633.65/862.11 o 31188 6976.12/906.37 o 31184 7108.98/924.04 o 31179 8278.16/1072.36 o 31160 8359.83/1082.62 o 31156 8372.50/1085.23 o 31154 8373.15/1085.87 o 31153 9052.09/1171.03 o 31148 9764.60/1260.67 o 31147 10021.31/1293.03 o 31144 13139.56/1684.28 o 31141 15443.60/1973.27 o 31140 15443.60/1973.29 o 31139 16046.63/2049.42 o 31134 19799.83/2520.07 s SATISFIABLE 19799.83/2520.07 v <instantiation> 19799.83/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> 19799.83/2520.07 v <values>1 37 17 28 24 49 12 2 20 23 45 47 36 0 38 33 4 21 11 41 31 46 13 29 48 18 6 5 43 30 10 3 42 19 39 22 9 15 27 14 40 32 8 16 35 34 25 44 7 26 18 26 44 42 31 22 26 38 17 28 23 11 23 12 15 30 34 26 35 17 35 14 31 15 36 24 22 25 29 28 22 13 31 44 24 29 36 27 22 9 25 21 29 25 26 29 38 31 30 31 38 12 26 21 35 16 40 28 24 26 7 22 17 25 34 8 16 42 20 30 18 24 33 27 36 22 29 44 13 29 23 32 46 33 21 30 22 35 14 33 35 24 26 26 22 38 25 35 41 6 28 35 24 19 14 27 21 9 35 17 28 24 15 7 28 14 40 30 39 14 38 6 41 29 20 41 11 11 33 33 21 21 38 32 36 18 24 35 27 34 22 31 45 9 12 20 22 27 20 21 23 29 31 20 38 33 24 23 31 28 35 28 41 44 23 35 42 25 17 6 14 21 27 36 28 37 14 30 28 22 20 29 27 22 25 29 19 21 27 28 46 24 18 39 30 14 9 2 29 26 49 40 5 8 21 35 18 20 13 41 15 28 13 26 28 28 16 19 33 23 10 17 44 28 45 29 34 43 30 26 32 29 22 29 26 19 35 29 24 28 38 19 8 20 34 22 18 4 31 25 15 28 19 20 6 19 35 24 32 35 23 27 34 34 19 16 20 38 33 24 36 38 27 21 5 31 33 31 24 33 30 34 27 33 41 23 24 23 35 10 16 37 14 9 37 18 34 31 37 30 27 33 16 14 28 36 19 35 26 47 46 13 32 25 15 27 25 25 32 38 27 27 36 27 29 15 35 40 9 8 13 30 19 18 5 32 9 28 6 22 25 26 48 7 15 31 26 25 9 16 26 4 14 32 21 19 31 24 42 28 29 14 24 11 11 13 30 21 15 27 35 46 15 24 37 24 20 30 19 34 28 5 26 5 35 25 23 15 17 19 31 45 35 22 24 18 33 18 24 16 7 22 14 31 13 31 33 22 13 21 25 35 34 41 29 29 28 19 47 33 19 27 38 24 26 33 14 11 42 35 5 36 35 30 8 39 3 18 37 12 40 21 30 25 4 30 31 17 47 12 26 27 36 21 28 8 24 17 18 24 22 37 29 22 8 20 48 11 27 41 30 35 44 30 42 28 29 35 33 17 20 44 33 21 14 27 31 36 11 26 39 21 18 22 32 10 8 7 30 14 33 14 27 17 27 24 33 34 35 11 30 38 33 10 41 39 25 25 26 7 7 41 27 36 29 5 39 11 33 11 17 27 17 22 28 30 26 11 31 25 35 10 20 23 33 19 16 35 20 31 40 12 33 14 23 17 29 34 44 41 22 24 25 27 21 34 31 14 12 19 25 29 25 21 19 10 11 31 14 29 47 33 35 9 30 21 32 21 42 16 15 22 14 25 30 24 29 25 40 37 24 31 24 27 7 26 20 41 27 34 25 14 25 26 35 17 44 33 33 13 26 40 37 29 29 27 13 28 39 16 23 38 34 17 32 34 28 32 36 44 33 33 26 14 7 30 8 29 17 16 22 39 19 22 29 25 14 34 6 17 3 38 40 21 27 21 36 28 28 33 10 30 40 29 36 35 43 38 26 35 36 49 32 24 19 22 26 32 26 18 10 16 6 18 31 28 21 28 17 30 22 34 25 32 11 13 7 9 28 22 21 5 11 16 34 19 21 25 16 35 24 22 19 26 20 17 25 25 7 26 36 42 32 20 42 10 8 29 21 33 33 22 33 21 35 22 31 26 33 29 23 24 28 35 19 25 14 27 28 29 25 27 33 26 39 28 6 18 25 28 31 43 21 13 35 14 26 17 42 28 26 31 34 39 21 35 41 35 27 24 38 28 37 27 16 15 12 36 20 31 35 16 12 23 28 29 25 7 37 27 11 28 25 14 21 16 23 20 14 17 18 37 21 34 35 19 27 14 23 34 39 29 10 26 44 26 11 19 31 46 31 30 47 15 29 15 11 23 38 44 8 36 34 16 34 23 22 36 33 20 17 48 24 24 38 37 14 34 28 22 44 32 44 5 37 26 35 28 23 34 27 23 17 6 40 45 20 26 29 26 16 32 42 27 43 22 17 42 13 34 26 36 30 23 29 44 29 38 28 21 32 17 22 32 34 11 18 17 14 2 26 23 35 29 16 21 31 25 27 12 24 22 22 30 45 30 10 11 42 34 20 15 35 34 15 44 15 36 29 26 27 24 29 26 31 14 27 30 29 30 16 32 24 36 28 23 20 30 17 30 35 30 34 47 32 24 39 18 38 36 37 41 32 32 43 11 28 31 32 25 31 13 34 33 23 43 27 24 15 27 30 24 26 37 33 39 34 6 34 26 21 20 19 40 16 15 13 19 36 16 30 9 19 35 18 13 23 22 23 20 27 24 36 28 16 24 11 2 25 19 27 7 37 31 30 9 25 24 26 22 27 47 30 27 44 20 33 4 39 35 27 26 40 15 15 29 36 29 12 30 32 28 12 27 15 14 42 11 29 5 41 28 18 42 18 27 38 28 42 36 24 27 29 13 28 23 15 21 14 33 24 20 17 18 23 26 22 26 35 31 28 40 35 32 22 48 35 33 28 47 43 25 21 30 35 14 34 29 23 15 35 10 25 16 29 23 47 18 19 27 24 25 8 20 18 5 22 37 22 14 36 47 8 29 23 43 34 34 8 16 20 22 19 10 14 7 34 11 37 25 34 19 18 27 38 38 38 12 31 28 25 24 37 28 20 45 28 11 29 24 29 27 26 37 27 32 35 10 13 </values> 19799.83/2520.07 v </instantiation> 19799.83/2520.07 c Unexpected resolution interruption!
OK 31134
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 (12745 MiB free)
memory of node 1: 16384 MiB (10038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407197-1569346211/watcher-4407197-1569346211 -o /tmp/evaluation-result-4407197-1569346211/solver-4407197-1569346211 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407197-1569346211.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
13539
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 6.74 4.00 3.88 2/211 13563
/proc/meminfo: memFree=23312576/32770624 swapFree=66956500/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28227396 memory=30076 CPUtime=0.12 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 5489 0 0 0 10 2 0 0 20 0 20 0 510892393 28904853504 7519 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7056849 7519 3117 1 0 7019032 0
[pid=13544/tid=13545] ppid=13542 vsize=28227396 memory=8041065467809275291 CPUtime=0.09 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) R 13542 13542 8819 0 -1 4202560 3396 0 0 0 8 1 0 0 20 0 20 0 510892393 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736542291552 139736538070422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28227396 memory=732370071632616421 CPUtime=0 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28227396 memory=139933295163008 CPUtime=0 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13549] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13549/stat : 13549 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736085805840 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13550] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13550/stat : 13550 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736084753040 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13551] ppid=13542 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13544/task/13551/stat : 13551 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736083700240 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13552] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13552/stat : 13552 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736082647440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13553] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13553/stat : 13553 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 7519 33554432000 4194304 4196468 140728495903504 139736081594640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13554] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13554/stat : 13554 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734917213040 139736538069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13555] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13555/stat : 13555 (java) S 13542 13542 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734916159008 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13556] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13556/stat : 13556 (java) S 13542 13542 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734915106160 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13557] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13557/stat : 13557 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734914054480 139736538077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13558] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13558/stat : 13558 (java) S 13542 13542 8819 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734913001840 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13559] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13559/stat : 13559 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734911949040 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13560] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13560/stat : 13560 (java) S 13542 13542 8819 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734910896240 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13561] ppid=13542 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13544/task/13561/stat : 13561 (java) S 13542 13542 8819 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734909843440 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13562] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13562/stat : 13562 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734908791904 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13563] ppid=13542 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13544/task/13563/stat : 13563 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 7519 33554432000 4194304 4196468 140728495903504 139734907739184 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31532 KiB
[startup+0.210118 s]*
/proc/loadavg: 6.74 4.00 3.88 3/211 13563
/proc/meminfo: memFree=23299272/32770624 swapFree=66956500/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28227396 memory=41336 CPUtime=0.34 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 9074 0 0 0 30 4 0 0 20 0 20 0 510892393 28904853504 10334 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7056849 10334 3276 1 0 7019032 0
[pid=13544/tid=13545] ppid=13542 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) R 13542 13542 8819 0 -1 4202560 6218 0 0 0 17 2 0 0 20 0 20 0 510892393 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736542291216 139736538070422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28227396 memory=732370071632616421 CPUtime=0 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28227396 memory=139933295163008 CPUtime=0 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13549] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13549/stat : 13549 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736085805840 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13550] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13550/stat : 13550 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736084753040 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13551] ppid=13542 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13544/task/13551/stat : 13551 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736083700240 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13552] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13552/stat : 13552 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736082647440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13553] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13553/stat : 13553 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28904853504 10334 33554432000 4194304 4196468 140728495903504 139736081594640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13554] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13554/stat : 13554 (java) S 13542 13542 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734917213040 139736538069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13555] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13555/stat : 13555 (java) S 13542 13542 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734916159008 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13556] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13556/stat : 13556 (java) S 13542 13542 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510892396 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734915106160 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13557] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13557/stat : 13557 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734914054480 139736538077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13558] ppid=13542 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13544/task/13558/stat : 13558 (java) S 13542 13542 8819 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734913001840 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13559] ppid=13542 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13544/task/13559/stat : 13559 (java) S 13542 13542 8819 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734911949040 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13560] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13560/stat : 13560 (java) S 13542 13542 8819 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734910896240 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13561] ppid=13542 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/13544/task/13561/stat : 13561 (java) R 13542 13542 8819 0 -1 4202560 690 0 0 0 7 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734909843248 139736516426947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13562] ppid=13542 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13562/stat : 13562 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734908791904 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13563] ppid=13542 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13544/task/13563/stat : 13563 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28904853504 10334 33554432000 4194304 4196468 140728495903504 139734907739184 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42792 KiB
[startup+0.309564 s]*
/proc/loadavg: 6.74 4.00 3.88 4/211 13563
/proc/meminfo: memFree=23292744/32770624 swapFree=66956500/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28231652 memory=50024 CPUtime=0.53 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 10381 0 0 0 48 5 0 0 20 0 20 0 510892393 28909211648 12506 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7057913 12506 3346 1 0 7019032 0
[pid=13544/tid=13545] ppid=13542 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) R 13542 13542 8819 0 -1 4202560 7318 0 0 0 26 3 0 0 20 0 20 0 510892393 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736542289600 139736538080413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13549] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13549/stat : 13549 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736085805840 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13550] ppid=13542 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13544/task/13550/stat : 13550 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736084753040 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13551] ppid=13542 vsize=28231652 memory=139933188715439 CPUtime=0 cores=0-7
/proc/13544/task/13551/stat : 13551 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736083700240 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13552] ppid=13542 vsize=28231652 memory=139933188717744 CPUtime=0 cores=0-7
/proc/13544/task/13552/stat : 13552 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736082647440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13553] ppid=13542 vsize=28231652 memory=139933188720048 CPUtime=0 cores=0-7
/proc/13544/task/13553/stat : 13553 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28909211648 12506 33554432000 4194304 4196468 140728495903504 139736081594640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13554] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13554/stat : 13554 (java) S 13542 13542 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510892396 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734917213040 139736538069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13555] ppid=13542 vsize=28231652 memory=279866377447056 CPUtime=0 cores=0-7
/proc/13544/task/13555/stat : 13555 (java) S 13542 13542 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510892396 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734916159008 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13556] ppid=13542 vsize=28231652 memory=279866377453968 CPUtime=0 cores=0-7
/proc/13544/task/13556/stat : 13556 (java) S 13542 13542 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510892396 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734915106160 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13557] ppid=13542 vsize=28231652 memory=279866377395248 CPUtime=0 cores=0-7
/proc/13544/task/13557/stat : 13557 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734914054480 139736538077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13558] ppid=13542 vsize=28231652 memory=279866377467792 CPUtime=0.02 cores=0-7
/proc/13544/task/13558/stat : 13558 (java) S 13542 13542 8819 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734913001840 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13559] ppid=13542 vsize=28231652 memory=279866377474704 CPUtime=0.03 cores=0-7
/proc/13544/task/13559/stat : 13559 (java) S 13542 13542 8819 0 -1 1077944384 123 0 0 0 3 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734911949040 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13560] ppid=13542 vsize=28231652 memory=279866377472400 CPUtime=0.02 cores=0-7
/proc/13544/task/13560/stat : 13560 (java) R 13542 13542 8819 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734910886624 139736519579763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13561] ppid=13542 vsize=28231652 memory=279866377488560 CPUtime=0.12 cores=0-7
/proc/13544/task/13561/stat : 13561 (java) S 13542 13542 8819 0 -1 1077944384 773 0 0 0 12 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734909843440 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13562] ppid=13542 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13544/task/13562/stat : 13562 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734908791904 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13563] ppid=13542 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13544/task/13563/stat : 13563 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892399 28909211648 12506 33554432000 4194304 4196468 140728495903504 139734907739184 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51480 KiB
[startup+0.700932 s]
/proc/loadavg: 6.74 4.00 3.88 5/211 13563
/proc/meminfo: memFree=23272600/32770624 swapFree=66956500/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28233776 memory=110248 CPUtime=1.94 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 16039 0 0 0 187 7 0 0 20 0 20 0 510892393 28911386624 27562 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7058444 27562 3453 1 0 7019544 0
[pid=13544/tid=13545] ppid=13542 vsize=28233776 memory=279866377783488 CPUtime=0.67 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) R 13542 13542 8819 0 -1 4202560 8499 0 0 0 63 4 0 0 20 0 20 0 510892393 28911386624 27562 33554432000 4194304 4196468 140728495903504 139736542292560 139736178308172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510892394 28911386624 27562 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510892394 28911386624 27562 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510892394 28911386624 27562 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
################
# More data... #
################
[pid=13544/tid=14476] ppid=13542 vsize=28769364 memory=1456 CPUtime=390.07 cores=0-7
/proc/13544/task/14476/stat : 14476 (java) R 13542 13542 8819 0 -1 4202560 8340 0 0 0 38993 14 0 0 20 0 28 0 511097337 29459828736 585002 33554432000 4194304 4196468 140728495903504 139734896415112 139736181456286 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 19180 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2341464 KiB
[startup+2502.3 s]
/proc/loadavg: 8.23 8.33 8.02 9/220 14512
/proc/meminfo: memFree=20993264/32770624 swapFree=66956504/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28769364 memory=2343876 CPUtime=19658.6 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 1344307 0 0 0 1963705 2152 0 0 20 0 28 0 510892393 29459828736 585969 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7192341 585969 3556 1 0 7153441 0
[pid=13544/tid=13545] ppid=13542 vsize=28769364 memory=2421516 CPUtime=2.77 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) S 13542 13542 8819 0 -1 1077944384 17561 0 0 0 260 17 0 0 20 0 28 0 510892393 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736542299264 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28769364 memory=2393496 CPUtime=6.27 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 30909 0 0 0 526 101 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28769364 memory=2370340 CPUtime=6.22 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 28830 0 0 0 530 92 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28769364 memory=2306888 CPUtime=6.21 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 29510 0 0 0 531 90 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13549] ppid=13542 vsize=28769364 memory=2280236 CPUtime=6.3 cores=0-7
/proc/13544/task/13549/stat : 13549 (java) S 13542 13542 8819 0 -1 1077944384 28916 0 0 0 532 98 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736085805840 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13550] ppid=13542 vsize=28769364 memory=2267156 CPUtime=6.26 cores=0-7
/proc/13544/task/13550/stat : 13550 (java) S 13542 13542 8819 0 -1 1077944384 29546 0 0 0 530 96 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736084753040 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13551] ppid=13542 vsize=28769364 memory=2264228 CPUtime=6.28 cores=0-7
/proc/13544/task/13551/stat : 13551 (java) S 13542 13542 8819 0 -1 1077944384 30953 0 0 0 534 94 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736083700240 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13552] ppid=13542 vsize=28769364 memory=2289472 CPUtime=6.32 cores=0-7
/proc/13544/task/13552/stat : 13552 (java) S 13542 13542 8819 0 -1 1077944384 30955 0 0 0 531 101 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736082647440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13553] ppid=13542 vsize=28769364 memory=2302596 CPUtime=6.25 cores=0-7
/proc/13544/task/13553/stat : 13553 (java) S 13542 13542 8819 0 -1 1077944384 30152 0 0 0 523 102 0 0 20 0 28 0 510892394 29459828736 585969 33554432000 4194304 4196468 140728495903504 139736081594640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13554] ppid=13542 vsize=28769364 memory=2339656 CPUtime=0.66 cores=0-7
/proc/13544/task/13554/stat : 13554 (java) S 13542 13542 8819 0 -1 1077944384 39383 0 0 0 54 12 0 0 20 0 28 0 510892396 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734917213040 139736538069634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13555] ppid=13542 vsize=28769364 memory=2340652 CPUtime=0 cores=0-7
/proc/13544/task/13555/stat : 13555 (java) S 13542 13542 8819 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 510892396 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734916159072 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13556] ppid=13542 vsize=28769364 memory=1456 CPUtime=0 cores=0-7
/proc/13544/task/13556/stat : 13556 (java) S 13542 13542 8819 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 510892396 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734915106176 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13557] ppid=13542 vsize=28769364 memory=1456 CPUtime=0 cores=0-7
/proc/13544/task/13557/stat : 13557 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734914054480 139736538077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13558] ppid=13542 vsize=28769364 memory=2343792 CPUtime=4.08 cores=0-7
/proc/13544/task/13558/stat : 13558 (java) S 13542 13542 8819 0 -1 1077944384 31886 0 0 0 401 7 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734913001840 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13559] ppid=13542 vsize=28769364 memory=1456 CPUtime=3.83 cores=0-7
/proc/13544/task/13559/stat : 13559 (java) S 13542 13542 8819 0 -1 1077944384 35065 0 0 0 376 7 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734911949040 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13560] ppid=13542 vsize=28769364 memory=7092158211685969255 CPUtime=4.26 cores=0-7
/proc/13544/task/13560/stat : 13560 (java) S 13542 13542 8819 0 -1 1077944384 35726 0 0 0 421 5 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734910896240 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13561] ppid=13542 vsize=28769364 memory=2343876 CPUtime=1.2 cores=0-7
/proc/13544/task/13561/stat : 13561 (java) S 13542 13542 8819 0 -1 1077944384 47354 0 0 0 112 8 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734909843440 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13562] ppid=13542 vsize=28769364 memory=2343792 CPUtime=0 cores=0-7
/proc/13544/task/13562/stat : 13562 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734908791904 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13563] ppid=13542 vsize=28769364 memory=2343792 CPUtime=1.13 cores=0-7
/proc/13544/task/13563/stat : 13563 (java) S 13542 13542 8819 0 -1 1077944384 9212 0 0 0 14 99 0 0 20 0 28 0 510892399 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734907739184 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14469] ppid=13542 vsize=28769364 memory=1456 CPUtime=450.01 cores=0-7
/proc/13544/task/14469/stat : 14469 (java) R 13542 13542 8819 0 -1 4202560 6355 0 0 0 44992 9 0 0 20 0 28 0 511097336 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734895361848 139736182696984 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14470] ppid=13542 vsize=28769364 memory=3620 CPUtime=451.01 cores=0-7
/proc/13544/task/14470/stat : 14470 (java) R 13542 13542 8819 0 -1 4202560 6041 0 0 0 45096 5 0 0 20 0 28 0 511097336 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734891151672 139736183450232 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14471] ppid=13542 vsize=28769364 memory=52096 CPUtime=452.34 cores=0-7
/proc/13544/task/14471/stat : 14471 (java) R 13542 13542 8819 0 -1 4202560 10999 0 0 0 45229 5 0 0 20 0 28 0 511097336 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734894309296 139736182402797 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14472] ppid=13542 vsize=28769364 memory=2343792 CPUtime=452.31 cores=0-7
/proc/13544/task/14472/stat : 14472 (java) R 13542 13542 8819 0 -1 4202560 9201 0 0 0 45211 20 0 0 20 0 28 0 511097337 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734888001568 139736181582901 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14473] ppid=13542 vsize=28769364 memory=1456 CPUtime=449.73 cores=0-7
/proc/13544/task/14473/stat : 14473 (java) R 13542 13542 8819 0 -1 4202560 7468 0 0 0 44959 14 0 0 20 0 28 0 511097337 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734893256616 139736182399618 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14474] ppid=13542 vsize=28769364 memory=2341456 CPUtime=452.29 cores=0-7
/proc/13544/task/14474/stat : 14474 (java) R 13542 13542 8819 0 -1 4202560 5187 0 0 0 45219 10 0 0 20 0 28 0 511097337 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734892203720 139736183450422 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14475] ppid=13542 vsize=28769364 memory=1440 CPUtime=451.3 cores=0-7
/proc/13544/task/14475/stat : 14475 (java) R 13542 13542 8819 0 -1 4202560 5530 0 0 0 45120 10 0 0 20 0 28 0 511097337 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734897467760 139736182696267 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14476] ppid=13542 vsize=28769364 memory=1456 CPUtime=450.02 cores=0-7
/proc/13544/task/14476/stat : 14476 (java) R 13542 13542 8819 0 -1 4202560 8830 0 0 0 44987 15 0 0 20 0 28 0 511097337 29459828736 585969 33554432000 4194304 4196468 140728495903504 139734896418256 139736180926199 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 19658.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2345332 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.17 8.31 8.02 9/220 14512
/proc/meminfo: memFree=20993028/32770624 swapFree=66956504/67108860
[pid=13542] ppid=13539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13542/stat : 13542 (xcsp3-exec) S 13539 13542 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510892393 115843072 364 33554432000 4194304 5098028 140729589179840 140729589177944 140118495249020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7884800 140729589183349 140729589183593 140729589183593 140729589186506 0
/proc/13542/statm: 28282 364 305 221 0 87 0
[pid=13544] ppid=13542 vsize=28769364 memory=2344524 CPUtime=19799.8 cores=0-7
/proc/13544/stat : 13544 (java) S 13542 13542 8819 0 -1 1077944320 1344798 0 0 0 1977830 2153 0 0 20 0 28 0 510892393 29459828736 586131 33554432000 4194304 4196468 140728495903504 140728495886048 139736538058487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
/proc/13544/statm: 7192341 586131 3556 1 0 7153441 0
[pid=13544/tid=13545] ppid=13542 vsize=28769364 memory=2343876 CPUtime=2.77 cores=0-7
/proc/13544/task/13545/stat : 13545 (java) S 13542 13542 8819 0 -1 1077944384 17561 0 0 0 260 17 0 0 20 0 28 0 510892393 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736542299264 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13546] ppid=13542 vsize=28769364 memory=-7003737579269690708 CPUtime=6.28 cores=0-7
/proc/13544/task/13546/stat : 13546 (java) S 13542 13542 8819 0 -1 1077944384 30924 0 0 0 527 101 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736494611600 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13547] ppid=13542 vsize=28769364 memory=2344188 CPUtime=6.23 cores=0-7
/proc/13544/task/13547/stat : 13547 (java) S 13542 13542 8819 0 -1 1077944384 28851 0 0 0 531 92 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736087911440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13548] ppid=13542 vsize=28769364 memory=1548 CPUtime=6.23 cores=0-7
/proc/13544/task/13548/stat : 13548 (java) S 13542 13542 8819 0 -1 1077944384 29529 0 0 0 533 90 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736086858640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13549] ppid=13542 vsize=28769364 memory=1056 CPUtime=6.32 cores=0-7
/proc/13544/task/13549/stat : 13549 (java) S 13542 13542 8819 0 -1 1077944384 28971 0 0 0 534 98 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736085805840 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13550] ppid=13542 vsize=28769364 memory=744 CPUtime=6.27 cores=0-7
/proc/13544/task/13550/stat : 13550 (java) S 13542 13542 8819 0 -1 1077944384 29565 0 0 0 531 96 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736084753040 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13551] ppid=13542 vsize=28769364 memory=8444 CPUtime=6.29 cores=0-7
/proc/13544/task/13551/stat : 13551 (java) S 13542 13542 8819 0 -1 1077944384 30973 0 0 0 535 94 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736083700240 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13552] ppid=13542 vsize=28769364 memory=6172 CPUtime=6.34 cores=0-7
/proc/13544/task/13552/stat : 13552 (java) S 13542 13542 8819 0 -1 1077944384 30992 0 0 0 533 101 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736082647440 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13553] ppid=13542 vsize=28769364 memory=1124 CPUtime=6.26 cores=0-7
/proc/13544/task/13553/stat : 13553 (java) S 13542 13542 8819 0 -1 1077944384 30192 0 0 0 524 102 0 0 20 0 28 0 510892394 29459828736 586131 33554432000 4194304 4196468 140728495903504 139736081594640 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13554] ppid=13542 vsize=28769364 memory=-7003737579269690708 CPUtime=0.67 cores=0-7
/proc/13544/task/13554/stat : 13554 (java) S 13542 13542 8819 0 -1 1077944384 39386 0 0 0 55 12 0 0 20 0 28 0 510892396 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734917213040 139736538069634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13555] ppid=13542 vsize=28769364 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/13544/task/13555/stat : 13555 (java) S 13542 13542 8819 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 510892396 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734916159072 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13556] ppid=13542 vsize=28769364 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/13544/task/13556/stat : 13556 (java) S 13542 13542 8819 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 510892396 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734915106176 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13557] ppid=13542 vsize=28769364 memory=2032 CPUtime=0 cores=0-7
/proc/13544/task/13557/stat : 13557 (java) S 13542 13542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734914054480 139736538077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13558] ppid=13542 vsize=28769364 memory=1328 CPUtime=4.08 cores=0-7
/proc/13544/task/13558/stat : 13558 (java) S 13542 13542 8819 0 -1 1077944384 31886 0 0 0 401 7 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734913001840 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13559] ppid=13542 vsize=28769364 memory=1560 CPUtime=3.83 cores=0-7
/proc/13544/task/13559/stat : 13559 (java) S 13542 13542 8819 0 -1 1077944384 35065 0 0 0 376 7 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734911949040 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13560] ppid=13542 vsize=28769364 memory=976 CPUtime=4.26 cores=0-7
/proc/13544/task/13560/stat : 13560 (java) S 13542 13542 8819 0 -1 1077944384 35726 0 0 0 421 5 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734910896240 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13561] ppid=13542 vsize=28769364 memory=772 CPUtime=1.2 cores=0-7
/proc/13544/task/13561/stat : 13561 (java) S 13542 13542 8819 0 -1 1077944384 47354 0 0 0 112 8 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734909843440 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13562] ppid=13542 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13544/task/13562/stat : 13562 (java) S 13542 13542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734908791904 139736538068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=13563] ppid=13542 vsize=28769364 memory=772 CPUtime=1.13 cores=0-7
/proc/13544/task/13563/stat : 13563 (java) S 13542 13542 8819 0 -1 1077944384 9214 0 0 0 14 99 0 0 20 0 28 0 510892399 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734907739184 139736538069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14469] ppid=13542 vsize=28769364 memory=3616 CPUtime=467.68 cores=0-7
/proc/13544/task/14469/stat : 14469 (java) R 13542 13542 8819 0 -1 4202560 6377 0 0 0 46759 9 0 0 20 0 28 0 511097336 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734895364304 139736182696281 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14470] ppid=13542 vsize=28769364 memory=2832 CPUtime=468.55 cores=0-7
/proc/13544/task/14470/stat : 14470 (java) R 13542 13542 8819 0 -1 4202560 6050 0 0 0 46850 5 0 0 20 0 28 0 511097336 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734891151656 139736183450422 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14471] ppid=13542 vsize=28769364 memory=1548 CPUtime=470.03 cores=0-7
/proc/13544/task/14471/stat : 14471 (java) R 13542 13542 8819 0 -1 4202560 11105 0 0 0 46998 5 0 0 20 0 28 0 511097336 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734894309544 139736182400998 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14472] ppid=13542 vsize=28769364 memory=1056 CPUtime=470 cores=0-7
/proc/13544/task/14472/stat : 14472 (java) R 13542 13542 8819 0 -1 4202560 9228 0 0 0 46980 20 0 0 20 0 28 0 511097337 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734888001576 139736180926114 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14473] ppid=13542 vsize=28769364 memory=744 CPUtime=467.42 cores=0-7
/proc/13544/task/14473/stat : 14473 (java) R 13542 13542 8819 0 -1 4202560 7478 0 0 0 46728 14 0 0 20 0 28 0 511097337 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734893256616 139736182696966 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14474] ppid=13542 vsize=28769364 memory=8444 CPUtime=469.98 cores=0-7
/proc/13544/task/14474/stat : 14474 (java) R 13542 13542 8819 0 -1 4202560 5195 0 0 0 46988 10 0 0 20 0 28 0 511097337 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734892203944 139736182696849 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14475] ppid=13542 vsize=28769364 memory=6172 CPUtime=468.99 cores=0-7
/proc/13544/task/14475/stat : 14475 (java) R 13542 13542 8819 0 -1 4202560 5586 0 0 0 46889 10 0 0 20 0 28 0 511097337 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734897467648 139736180632950 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
[pid=13544/tid=14476] ppid=13542 vsize=28769364 memory=1124 CPUtime=467.48 cores=0-7
/proc/13544/task/14476/stat : 14476 (java) R 13542 13542 8819 0 -1 4202560 8852 0 0 0 46733 15 0 0 20 0 28 0 511097337 29459828736 586131 33554432000 4194304 4196468 140728495903504 139734896415176 139736181737866 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17825792 140728495911914 140728495912086 140728495912086 140728495914959 0
Current children cumulated CPU time: 19799.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2345980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 13542 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002415 s
[startup+2520.1 s]
# the end of solver process 13544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19778.9 s, system=21.5534 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.1
CPU time (s): 19800.4
CPU user time (s): 19778.9
CPU system time (s): 21.5534
CPU usage (%): 785.7
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 3536884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19778.9
system time used= 21.5534
maximum resident set size= 3535488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1345637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92094
involuntary context switches= 233031
# summary of solver processes directly reported to runsolver:
# pid: 13542,13544
# total CPU time (s): 19800.4
# total CPU user time (s): 19778.9
# total CPU system time (s): 21.5534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5091 second user time and 30.742 second system time
The end
Begin job on node151 at 2019-09-24 19:29:30 IDJOB=4407197 IDBENCH=123065 IDSOLVER=2871 FILE ID=node151/4407197-1569346211 RUNJOBID= node151-1569335938-8846 PBS_JOBID= 21705046 Free space on /tmp= 12412 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407197-1569346211/watcher-4407197-1569346211 -o /tmp/evaluation-result-4407197-1569346211/solver-4407197-1569346211 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407197-1569346211.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=1438596231 node151.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 : 5335.75 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 : 5335.75 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 : 5335.75 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23331628 kB MemAvailable: 31797236 kB Buffers: 96456 kB Cached: 8529480 kB SwapCached: 50740 kB Active: 2762020 kB Inactive: 5919252 kB Active(anon): 3440 kB Inactive(anon): 106476 kB Active(file): 2758580 kB Inactive(file): 5812776 kB Unevictable: 108536 kB Mlocked: 108536 kB SwapTotal: 67108860 kB SwapFree: 66956500 kB Dirty: 26112 kB Writeback: 12 kB AnonPages: 113364 kB Mapped: 54468 kB Shmem: 45964 kB Slab: 351720 kB SReclaimable: 322712 kB SUnreclaim: 29008 kB KernelStack: 3360 kB PageTables: 5988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12388 MiB End job on node151 at 2019-09-24 20:11:30