Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 31258 | 1760.66 | 252.108 |
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 | 2400.08 |
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-4407497-1569346879.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407497-1569346879.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 26.34/5.25 c solve instance... 31.83/6.10 o 31958 33.74/6.45 o 31919 37.04/8.28 o 31912 37.72/8.51 o 31907 38.03/8.74 o 31904 39.92/9.01 o 31894 39.92/9.06 o 31878 40.48/9.26 o 31869 41.55/9.56 o 31839 41.80/9.60 o 31832 42.24/9.82 o 31822 42.24/9.83 o 31820 42.50/10.01 o 31811 42.50/10.05 o 31809 42.84/10.24 o 31780 70.20/13.72 o 31778 70.20/13.74 o 31775 70.43/13.80 o 31767 71.15/13.91 o 31744 71.15/13.98 o 31731 73.03/14.23 o 31723 106.83/19.23 o 31715 183.76/29.19 o 31707 183.86/29.21 o 31703 186.95/29.81 o 31685 187.54/30.35 o 31671 188.84/31.11 o 31665 532.43/74.30 o 31658 539.59/75.43 o 31656 540.78/75.92 o 31650 547.40/78.14 o 31643 548.77/78.53 o 31637 549.87/78.89 o 31636 557.19/81.09 o 31603 559.80/81.54 o 31590 560.04/81.79 o 31587 561.51/82.04 o 31583 570.80/83.21 o 31577 577.24/85.63 o 31569 577.24/85.68 o 31566 584.08/86.53 o 31557 591.99/88.06 o 31548 592.90/88.69 o 31518 607.01/91.81 o 31507 608.72/92.35 o 31503 616.80/93.54 o 31495 617.28/93.97 o 31487 618.23/94.46 o 31486 624.37/95.31 o 31479 637.84/97.10 o 31477 658.09/100.48 o 31462 658.31/100.51 o 31459 686.15/104.58 o 31458 700.36/106.59 o 31457 700.91/107.04 o 31428 701.81/107.61 o 31427 725.98/111.11 o 31418 736.86/112.59 o 31417 747.16/115.25 o 31414 756.15/116.51 o 31401 888.85/133.37 o 31399 975.30/144.65 o 31389 976.69/145.27 o 31382 977.34/145.86 o 31370 1013.17/151.49 o 31369 1013.30/151.51 o 31367 1013.30/151.53 o 31362 1013.92/151.66 o 31350 1013.92/151.67 o 31344 1013.92/151.68 o 31343 1055.49/157.20 o 31330 1069.00/158.91 o 31317 1168.79/172.50 o 31315 1168.79/172.51 o 31305 1176.71/173.50 o 31298 1193.41/175.63 o 31290 1215.06/179.74 o 31282 1245.66/184.89 o 31279 1245.84/184.94 o 31276 1273.49/188.58 o 31271 1615.44/231.75 o 31269 1634.75/235.49 o 31267 1713.35/245.84 o 31266 1735.83/248.97 o 31258 1760.01/252.07 s SATISFIABLE 1760.01/252.07 v <instantiation> 1760.01/252.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> 1760.01/252.07 v <values>26 45 31 0 49 13 39 25 20 46 48 12 11 27 23 16 18 3 2 44 29 22 19 38 30 14 6 47 42 4 24 8 41 10 43 35 9 1 32 40 28 34 5 7 37 15 17 21 33 36 30 16 33 27 34 23 32 33 23 29 15 35 18 39 28 25 26 19 10 27 31 41 17 20 29 27 30 15 49 26 12 13 27 34 29 21 31 34 19 29 26 13 22 16 22 16 17 16 30 37 26 17 24 35 24 31 12 33 25 22 18 27 26 24 25 44 47 22 18 12 28 8 27 3 17 21 24 11 4 8 21 41 37 28 48 20 27 30 36 38 29 24 30 40 18 14 34 14 41 20 21 35 17 24 19 38 22 15 42 21 31 26 35 48 21 34 28 28 33 35 19 40 16 22 39 31 12 27 17 27 37 23 36 26 35 16 24 24 19 26 25 29 17 14 14 29 23 34 33 12 29 7 10 44 21 27 29 29 12 31 35 25 25 41 28 34 31 30 19 33 27 24 11 19 23 21 42 23 31 22 47 26 25 27 20 38 18 32 24 22 22 31 32 8 27 29 20 25 19 29 36 4 35 24 24 20 15 19 35 38 19 16 20 6 19 38 44 31 19 34 45 33 28 38 12 23 35 19 28 35 31 36 27 12 39 23 25 29 21 38 29 19 8 34 34 30 46 16 26 15 10 14 31 29 8 23 26 11 44 44 14 33 11 28 8 26 16 20 15 7 26 37 7 29 5 21 16 30 26 18 27 36 22 28 25 13 37 29 31 24 27 30 8 27 36 28 42 29 15 38 24 18 44 28 38 21 27 30 28 23 42 41 17 17 27 22 27 36 13 22 25 35 25 16 9 14 37 28 22 11 25 26 36 34 26 26 34 38 31 22 31 45 47 26 11 16 22 24 30 27 24 35 35 21 30 23 15 46 5 13 25 31 31 15 19 27 24 35 26 28 14 20 23 24 42 34 11 28 19 30 30 24 45 5 38 17 15 20 35 37 18 35 35 28 11 24 28 28 39 21 14 13 34 29 28 9 14 23 16 14 42 27 17 25 21 25 22 5 21 31 11 37 35 23 35 37 18 31 19 7 49 20 15 22 40 26 10 35 43 35 44 23 26 30 30 23 32 26 22 45 22 17 31 29 14 35 13 29 20 40 34 42 15 42 17 28 26 6 23 18 27 14 26 41 41 14 31 26 16 34 21 32 35 27 37 30 37 28 37 31 31 27 21 35 23 18 9 47 33 22 19 36 9 14 25 26 16 41 33 34 24 20 31 21 24 15 33 16 36 7 21 20 42 22 20 25 22 26 29 34 17 26 33 42 26 8 10 33 33 19 21 34 32 41 32 33 39 33 19 18 2 15 8 22 14 30 7 24 29 34 33 46 10 33 18 46 16 32 27 40 27 47 23 24 32 20 21 30 33 25 32 30 5 34 47 25 30 25 38 19 22 28 14 41 24 33 31 46 35 33 19 29 24 17 42 11 22 36 29 8 16 26 35 13 14 16 23 37 16 24 37 18 15 34 22 15 27 39 35 28 19 18 18 31 31 35 21 14 34 20 28 20 37 33 45 36 9 26 35 38 46 21 22 32 17 14 28 17 44 36 32 34 37 26 23 21 38 35 34 36 2 14 41 29 29 31 24 11 40 18 29 27 28 25 24 16 36 40 23 25 22 22 24 21 28 7 14 19 24 31 24 22 27 19 17 30 31 24 44 11 41 28 23 33 32 13 26 22 27 32 31 19 32 6 27 27 9 35 9 5 26 48 26 25 26 12 4 18 21 21 7 6 29 36 38 23 26 29 26 21 8 29 35 40 35 43 38 43 23 13 28 43 29 20 44 29 35 35 26 10 27 5 8 33 14 38 15 17 44 36 27 24 25 21 5 33 20 26 34 31 44 32 35 35 33 34 30 28 28 32 29 7 36 35 15 33 10 7 47 28 28 17 25 13 36 23 15 24 20 24 27 26 29 35 32 21 11 30 17 24 27 32 45 10 22 21 26 27 28 16 18 14 29 31 12 28 14 27 5 29 12 20 28 34 17 29 26 25 29 37 9 14 27 32 25 24 25 24 12 41 20 29 14 30 35 7 27 21 30 35 33 26 24 21 43 38 41 39 19 33 47 6 27 29 33 37 42 34 29 22 30 38 18 39 39 20 14 44 30 23 26 30 32 14 35 22 22 5 14 36 24 38 30 35 21 32 36 26 11 30 6 18 34 24 22 12 44 11 24 35 15 44 15 27 26 33 42 30 10 27 36 32 33 18 17 44 18 39 24 30 23 45 27 20 33 26 11 28 14 19 17 35 42 27 13 4 27 40 39 35 30 13 33 20 6 27 14 15 13 27 29 21 11 2 36 39 40 3 43 28 30 29 40 20 38 17 36 17 33 35 16 41 44 49 15 13 45 16 42 17 10 31 29 20 30 38 19 25 29 9 39 6 35 28 18 48 43 10 43 22 27 23 38 14 29 32 7 33 25 25 35 25 27 35 39 24 28 28 21 8 33 28 24 13 25 32 13 19 28 19 9 25 23 26 20 29 36 6 31 16 11 32 37 25 11 43 35 25 24 41 36 41 14 6 28 5 33 29 7 34 29 20 30 11 36 23 18 28 14 10 29 22 32 36 28 30 25 46 28 11 22 34 22 25 9 44 25 22 18 36 26 34 15 11 23 28 34 28 25 35 34 38 13 33 31 30 8 36 22 22 14 21 11 11 27 23 25 31 28 38 38 31 21 17 27 35 15 24 22 7 20 30 27 16 39 16 13 29 26 25 34 11 29 19 33 30 25 22 24 33 34 28 28 17 9 14 33 41 10 </values> 1760.01/252.07 v </instantiation> 1760.01/252.07 c Unexpected resolution interruption!
OK 31258
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 (13520 MiB free) memory of node 1: 16384 MiB (12068 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407497-1569346879/watcher-4407497-1569346879 -o /var/tmp/evaluation-result-4407497-1569346879/solver-4407497-1569346879 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407497-1569346879.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 solver pid=1842, runsolver pid=1839 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 8.00 8.36 8.29 2/210 1863 /proc/meminfo: memFree=26186028/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28227396 memory=29684 CPUtime=0.12 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 20 0 510945682 28904853504 7421 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7056849 7421 3119 1 0 7019032 0 [pid=1844/tid=1845] ppid=1842 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 3802 0 0 0 8 1 0 0 20 0 20 0 510945682 28904853504 7421 33554432000 4194304 4196468 140724799478704 140115004089136 140114999864726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28227396 memory=139711278737024 CPUtime=0 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1849] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1850] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1851] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1852] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1853] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1854] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945684 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1855] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1856] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1857] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1858] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1859] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1860] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1861] ppid=1842 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1844/task/1861/stat : 1861 (java) R 1842 1842 29338 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113658022384 140114999874138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1862] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1863] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31140 KiB [startup+0.210511 s]* /proc/loadavg: 8.00 8.36 8.29 3/210 1863 /proc/meminfo: memFree=26172376/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28227396 memory=41072 CPUtime=0.33 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 9543 0 0 0 30 3 0 0 20 0 20 0 510945682 28904853504 10268 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7056849 10268 3305 1 0 7019032 0 [pid=1844/tid=1845] ppid=1842 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 510945682 28904853504 10268 33554432000 4194304 4196468 140724799478704 140115004085520 140114600807277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28227396 memory=3475004606632158880 CPUtime=0 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1849] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1850] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1851] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1852] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1853] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1854] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510945684 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1855] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1856] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1857] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1858] ppid=1842 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1859] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1860] ppid=1842 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1861] ppid=1842 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/1844/task/1861/stat : 1861 (java) R 1842 1842 29338 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113658022384 140114978661463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1862] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1863] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42528 KiB [startup+0.310339 s]* /proc/loadavg: 8.00 8.36 8.29 3/210 1863 /proc/meminfo: memFree=26165352/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28231652 memory=50032 CPUtime=0.52 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 20 0 510945682 28909211648 12508 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7057913 12508 3350 1 0 7019032 0 [pid=1844/tid=1845] ppid=1842 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 7805 0 0 0 27 3 0 0 20 0 20 0 510945682 28909211648 12537 33554432000 4194304 4196468 140724799478704 140115004083904 140114983933278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28231652 memory=1620 CPUtime=0 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28231652 memory=1136 CPUtime=0 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1849] ppid=1842 vsize=28231652 memory=1072 CPUtime=0 cores=0-7 /proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1850] ppid=1842 vsize=28231652 memory=6196 CPUtime=0 cores=0-7 /proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1851] ppid=1842 vsize=28231652 memory=784 CPUtime=0 cores=0-7 /proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1852] ppid=1842 vsize=28231652 memory=1060 CPUtime=0 cores=0-7 /proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1853] ppid=1842 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1854] ppid=1842 vsize=28231652 memory=25140 CPUtime=0 cores=0-7 /proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510945684 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1855] ppid=1842 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1856] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1857] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1858] ppid=1842 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 574 0 0 0 3 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1859] ppid=1842 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1844/task/1859/stat : 1859 (java) R 1842 1842 29338 0 -1 4202560 138 0 0 0 2 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113660118368 140114981373913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1860] ppid=1842 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1861] ppid=1842 vsize=28231652 memory=139711125489135 CPUtime=0.12 cores=0-7 /proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1862] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1863] ppid=1842 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51488 KiB [startup+0.701011 s] /proc/loadavg: 8.00 8.36 8.29 6/210 1863 /proc/meminfo: memFree=26144936/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28233776 memory=113080 CPUtime=1.86 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 16245 0 0 0 180 6 0 0 20 0 20 0 510945682 28911386624 28270 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7058444 28270 3450 1 0 7019544 0 [pid=1844/tid=1845] ppid=1842 vsize=28233776 memory=279422251032864 CPUtime=0.67 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 9063 0 0 0 63 4 0 0 20 0 20 0 510945682 28911386624 28270 33554432000 4194304 4196468 140724799478704 140115004090288 140114999864726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28233776 memory=139711125693296 CPUtime=0 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28233776 memory=2016 CPUtime=0 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 ################ # More data... # ################ [pid=1844/tid=2485] ppid=1842 vsize=28768336 memory=2016 CPUtime=3.36 cores=0-7 /proc/1844/task/2485/stat : 2485 (java) R 1842 1842 29338 0 -1 4202560 800 0 0 0 336 0 0 0 20 0 28 0 510961574 29458776064 735506 33554432000 4194304 4196468 140724799478704 140113575136200 140114608623972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 1096.03 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2943480 KiB [startup+222.301 s] /proc/loadavg: 8.12 7.85 8.07 9/219 2552 /proc/meminfo: memFree=23228308/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28768336 memory=2981168 CPUtime=1542.4 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 528111 0 0 0 153125 1115 0 0 20 0 28 0 510945682 29458776064 745292 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7192084 745292 3557 1 0 7153184 0 [pid=1844/tid=1845] ppid=1842 vsize=28768336 memory=2981168 CPUtime=2.76 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) S 1842 1842 29338 0 -1 1077944384 18387 0 0 0 257 19 0 0 20 0 28 0 510945682 29458776064 745292 33554432000 4194304 4196468 140724799478704 140115004093568 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28768336 memory=2942188 CPUtime=3.67 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 6022 0 0 0 290 77 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28768336 memory=1456 CPUtime=3.65 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 4826 0 0 0 284 81 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.68 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 4907 0 0 0 289 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1849] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.66 cores=0-7 /proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 7654 0 0 0 284 82 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1850] ppid=1842 vsize=28768336 memory=2942144 CPUtime=3.62 cores=0-7 /proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 6027 0 0 0 284 78 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1851] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.69 cores=0-7 /proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 5901 0 0 0 290 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1852] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.68 cores=0-7 /proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 5832 0 0 0 289 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1853] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.68 cores=0-7 /proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 5606 0 0 0 291 77 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1854] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0.14 cores=0-7 /proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 8084 0 0 0 11 3 0 0 20 0 28 0 510945684 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1855] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0 cores=0-7 /proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113664336992 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1856] ppid=1842 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113663284096 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1857] ppid=1842 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1858] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.67 cores=0-7 /proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 24991 0 0 0 362 5 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1859] ppid=1842 vsize=28768336 memory=2942024 CPUtime=3.68 cores=0-7 /proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 26685 0 0 0 362 6 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1860] ppid=1842 vsize=28768336 memory=2981168 CPUtime=4.27 cores=0-7 /proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 32081 0 0 0 420 7 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1861] ppid=1842 vsize=28768336 memory=1456 CPUtime=1.17 cores=0-7 /proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 26471 0 0 0 112 5 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1862] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0 cores=0-7 /proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510945688 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1863] ppid=1842 vsize=28768336 memory=1456 CPUtime=0.09 cores=0-7 /proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 2881 0 0 0 3 6 0 0 20 0 28 0 510945688 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2542] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.56 cores=0-7 /proc/1844/task/2542/stat : 2542 (java) R 1842 1842 29338 0 -1 4202560 2731 0 0 0 3356 0 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113576180552 140114610251746 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2543] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.54 cores=0-7 /proc/1844/task/2543/stat : 2543 (java) R 1842 1842 29338 0 -1 4202560 1661 0 0 0 3353 1 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113571970464 140114607715639 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2544] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.54 cores=0-7 /proc/1844/task/2544/stat : 2544 (java) R 1842 1842 29338 0 -1 4202560 2847 0 0 0 3351 3 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113577235096 140114607716475 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2545] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.56 cores=0-7 /proc/1844/task/2545/stat : 2545 (java) R 1842 1842 29338 0 -1 4202560 12619 0 0 0 3354 2 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113645646280 140114610252584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2546] ppid=1842 vsize=28768336 memory=2116 CPUtime=32.91 cores=0-7 /proc/1844/task/2546/stat : 2546 (java) R 1842 1842 29338 0 -1 4202560 1908 0 0 0 3285 6 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113573024248 140114607715634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2547] ppid=1842 vsize=28768336 memory=516 CPUtime=33.57 cores=0-7 /proc/1844/task/2547/stat : 2547 (java) R 1842 1842 29338 0 -1 4202560 1428 0 0 0 3353 4 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113574076456 140114608623144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2548] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.56 cores=0-7 /proc/1844/task/2548/stat : 2548 (java) R 1842 1842 29338 0 -1 4202560 5032 0 0 0 3349 7 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113646698488 140114605450206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2549] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.47 cores=0-7 /proc/1844/task/2549/stat : 2549 (java) R 1842 1842 29338 0 -1 4202560 1409 0 0 0 3342 5 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113575129144 140114608623384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 1542.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2982624 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 7.82 7.80 8.04 9/219 2586 /proc/meminfo: memFree=23227252/32770624 swapFree=66956844/67108860 [pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0 /proc/1842/statm: 28282 364 305 221 0 87 0 [pid=1844] ppid=1842 vsize=28768336 memory=2981320 CPUtime=1760.01 cores=0-7 /proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 560479 0 0 0 174836 1165 0 0 20 0 28 0 510945682 29458776064 745330 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 /proc/1844/statm: 7192084 745330 3557 1 0 7153184 0 [pid=1844/tid=1845] ppid=1842 vsize=28768336 memory=8317482817917895235 CPUtime=2.77 cores=0-7 /proc/1844/task/1845/stat : 1845 (java) S 1842 1842 29338 0 -1 1077944384 19483 0 0 0 258 19 0 0 20 0 28 0 510945682 29458776064 745330 33554432000 4194304 4196468 140724799478704 140115004093568 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1846] ppid=1842 vsize=28768336 memory=4872558044660077418 CPUtime=3.79 cores=0-7 /proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 6096 0 0 0 302 77 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1847] ppid=1842 vsize=28768336 memory=1456 CPUtime=3.77 cores=0-7 /proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 5065 0 0 0 296 81 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1848] ppid=1842 vsize=28768336 memory=2981380 CPUtime=3.8 cores=0-7 /proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 5017 0 0 0 301 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1849] ppid=1842 vsize=28768336 memory=2580 CPUtime=3.77 cores=0-7 /proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 7845 0 0 0 295 82 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1850] ppid=1842 vsize=28768336 memory=1760 CPUtime=3.74 cores=0-7 /proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 6149 0 0 0 296 78 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1851] ppid=1842 vsize=28768336 memory=111632 CPUtime=3.81 cores=0-7 /proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 5990 0 0 0 302 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1852] ppid=1842 vsize=28768336 memory=804 CPUtime=3.8 cores=0-7 /proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 6503 0 0 0 301 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1853] ppid=1842 vsize=28768336 memory=1804 CPUtime=3.8 cores=0-7 /proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 5688 0 0 0 303 77 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1854] ppid=1842 vsize=28768336 memory=916 CPUtime=0.14 cores=0-7 /proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 8550 0 0 0 11 3 0 0 20 0 28 0 510945684 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1855] ppid=1842 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113664336992 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1856] ppid=1842 vsize=28768336 memory=1444 CPUtime=0 cores=0-7 /proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113663284096 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1857] ppid=1842 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1858] ppid=1842 vsize=28768336 memory=2981236 CPUtime=3.69 cores=0-7 /proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 26410 0 0 0 364 5 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1859] ppid=1842 vsize=28768336 memory=1760 CPUtime=3.69 cores=0-7 /proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 26908 0 0 0 363 6 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1860] ppid=1842 vsize=28768336 memory=111632 CPUtime=4.27 cores=0-7 /proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 32522 0 0 0 420 7 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1861] ppid=1842 vsize=28768336 memory=804 CPUtime=1.18 cores=0-7 /proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 29469 0 0 0 113 5 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1862] ppid=1842 vsize=28768336 memory=53596 CPUtime=0 cores=0-7 /proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510945688 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=1863] ppid=1842 vsize=28768336 memory=1456 CPUtime=0.1 cores=0-7 /proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 3144 0 0 0 4 6 0 0 20 0 28 0 510945688 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2579] ppid=1842 vsize=28768336 memory=2981076 CPUtime=3.01 cores=0-7 /proc/1844/task/2579/stat : 2579 (java) R 1842 1842 29338 0 -1 4202560 646 0 0 0 299 2 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113575128200 140114609359750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2580] ppid=1842 vsize=28768336 memory=2981380 CPUtime=3.02 cores=0-7 /proc/1844/task/2580/stat : 2580 (java) R 1842 1842 29338 0 -1 4202560 509 0 0 0 302 0 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113574080632 140114607715549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2581] ppid=1842 vsize=28768336 memory=1548 CPUtime=3.01 cores=0-7 /proc/1844/task/2581/stat : 2581 (java) R 1842 1842 29338 0 -1 4202560 385 0 0 0 299 2 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113576187464 140114608338762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2582] ppid=1842 vsize=28768336 memory=7552 CPUtime=3 cores=0-7 /proc/1844/task/2582/stat : 2582 (java) R 1842 1842 29338 0 -1 4202560 596 0 0 0 296 4 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113571976056 140114607715131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2583] ppid=1842 vsize=28768336 memory=3608 CPUtime=3.02 cores=0-7 /proc/1844/task/2583/stat : 2583 (java) R 1842 1842 29338 0 -1 4202560 547 0 0 0 296 6 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113573031240 140114609325677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2584] ppid=1842 vsize=28768336 memory=301741373374332954 CPUtime=3.02 cores=0-7 /proc/1844/task/2584/stat : 2584 (java) R 1842 1842 29338 0 -1 4202560 575 0 0 0 302 0 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113646705864 140114607716475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2585] ppid=1842 vsize=28768336 memory=288230621803970871 CPUtime=3.01 cores=0-7 /proc/1844/task/2585/stat : 2585 (java) R 1842 1842 29338 0 -1 4202560 452 0 0 0 301 0 0 0 20 0 28 0 510970580 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113645653064 140114609327500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 [pid=1844/tid=2586] ppid=1842 vsize=28768336 memory=13565990034212583 CPUtime=2.93 cores=0-7 /proc/1844/task/2586/stat : 2586 (java) R 1842 1842 29338 0 -1 4202560 395 0 0 0 290 3 0 0 20 0 28 0 510970581 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113577241544 140114608623294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0 Current children cumulated CPU time: 1760.01 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2982776 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.04 s] # the end of solver process 1842 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001204 s, system=0.001204 s [startup+252.108 s] # the end of solver process 1844 was just reported to runsolver # cumulated CPU time of all completed processes: user=1748.98 s, system=11.6843 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): 252.108 CPU time (s): 1760.66 CPU user time (s): 1748.98 CPU system time (s): 11.6843 CPU usage (%): 698.378 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 2982836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.98 system time used= 11.6843 maximum resident set size= 2981860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 562281 page faults= 0 swaps= 0 block input operations= 0 block output operations= 680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23565 involuntary context switches= 19947 # summary of solver processes directly reported to runsolver: # pid: 1842,1844 # total CPU time (s): 1760.66 # total CPU user time (s): 1748.98 # total CPU system time (s): 11.6843 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.07489 second user time and 3.10402 second system time The end
Begin job on node105 at 2019-09-24 18:39:38 IDJOB=4407497 IDBENCH=123065 IDSOLVER=2872 FILE ID=node105/4407497-1569346879 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13180 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 /var/tmp/evaluation-result-4407497-1569346879/watcher-4407497-1569346879 -o /var/tmp/evaluation-result-4407497-1569346879/solver-4407497-1569346879 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407497-1569346879.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=1396051300 node105.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.00 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.00 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.00 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.00 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: 26203768 kB MemAvailable: 31801324 kB Buffers: 117184 kB Cached: 5612004 kB SwapCached: 48344 kB Active: 2857840 kB Inactive: 2919704 kB Active(anon): 3280 kB Inactive(anon): 99568 kB Active(file): 2854560 kB Inactive(file): 2820136 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956844 kB Dirty: 26128 kB Writeback: 0 kB AnonPages: 112456 kB Mapped: 54420 kB Shmem: 45920 kB Slab: 380032 kB SReclaimable: 351320 kB SUnreclaim: 28712 kB KernelStack: 3344 kB PageTables: 5288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506352 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: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13152 MiB End job on node105 at 2019-09-24 18:43:50