Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 31163 | 19623.8 | 2520.11 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml |
MD5SUM | 4fcc0be526f5147180ee0aa4ecb06fa1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 31118 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 1200 |
Number of domains | 2 |
Minimum domain size | 49 |
Maximum domain size | 50 |
Distribution of domain sizes | [{"size":49,"count":1199},{"size":50,"count":50}] |
Minimum variable degree | 0 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":3,"count":1199},{"arity":50,"count":1}] |
Number of extensional constraints | 1199 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1199},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404797-1568996496.xml" -tl '20160s' -p 8 0.09/0.20 c Choco 3fb4b153 0.09/0.20 c [HOME/instance-4404797-1568996496.xml, -tl, 20160s, -p, 8] 0.30/0.24 c 8 solvers in parallel 0.30/0.30 c parse instance... 25.28/5.13 c solve instance... 33.15/6.23 o 32010 36.02/6.68 o 31839 39.67/8.70 o 31832 40.41/8.96 o 31822 42.96/10.95 o 31820 45.11/11.38 o 31811 45.39/11.43 o 31809 46.07/11.62 o 31780 74.05/15.48 o 31778 74.26/15.52 o 31775 74.26/15.59 o 31767 75.39/15.78 o 31744 75.98/15.86 o 31731 76.41/15.93 o 31723 118.89/22.61 o 31715 205.52/33.74 o 31714 207.68/34.44 o 31688 210.28/36.37 o 31687 211.26/36.99 o 31670 212.78/37.67 o 31665 321.07/51.34 o 31659 322.70/51.87 o 31658 657.37/94.37 o 31657 658.05/94.86 o 31653 702.88/101.72 o 31628 703.71/102.25 o 31601 704.39/102.72 o 31592 705.91/103.15 o 31575 726.32/105.96 o 31574 727.25/106.63 o 31571 728.02/107.28 o 31566 728.79/107.83 o 31557 729.60/108.42 o 31545 731.14/109.01 o 31541 741.58/111.37 o 31538 742.26/111.70 o 31536 743.93/111.96 o 31530 751.55/114.69 o 31519 751.74/114.72 o 31509 763.39/117.42 o 31504 767.09/118.20 o 31500 768.10/118.88 o 31478 768.96/119.42 o 31467 770.44/119.98 o 31462 770.82/120.11 o 31455 779.92/122.69 o 31449 790.37/125.36 o 31445 800.16/127.19 o 31441 816.65/130.46 o 31426 835.01/134.31 o 31418 881.42/141.35 o 31413 906.98/145.73 o 31397 907.87/146.44 o 31382 918.90/149.19 o 31377 1008.45/161.73 o 31376 1050.82/168.35 o 31369 1060.83/171.17 o 31364 1105.30/177.86 o 31358 1182.00/187.92 o 31355 1210.31/191.69 o 31343 1268.40/199.53 o 31330 1406.10/217.67 o 31325 1423.57/220.98 o 31320 1480.78/228.38 o 31313 1482.38/228.83 o 31300 1864.32/278.11 o 31297 1878.83/281.32 o 31285 2106.97/311.11 o 31274 2158.29/317.85 o 31264 2386.51/348.37 o 31260 2577.02/372.66 o 31256 2578.63/373.24 o 31252 2603.60/377.88 o 31249 3245.69/458.62 o 31245 3346.16/471.72 o 31226 3455.36/485.71 o 31216 3497.15/492.02 o 31205 4056.52/562.62 o 31204 4186.14/580.22 o 31203 4186.14/580.28 o 31192 4639.15/638.13 o 31185 4833.19/663.87 o 31184 5082.48/695.41 o 31171 10067.19/1321.37 o 31170 10178.10/1335.60 o 31166 10667.38/1397.06 o 31165 10940.23/1431.40 o 31163 19623.13/2520.06 s SATISFIABLE 19623.13/2520.06 v <instantiation> 19623.13/2520.06 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> 19623.13/2520.06 v <values>8 39 31 12 5 25 21 16 26 43 30 17 49 2 20 33 38 28 19 46 23 0 6 36 45 29 7 24 14 44 1 41 3 22 10 48 35 13 37 27 9 18 40 32 15 4 47 34 42 11 42 16 35 23 38 7 19 12 28 39 32 16 9 19 33 27 22 27 21 35 19 34 25 11 5 38 44 37 38 43 6 7 17 35 13 18 23 14 18 48 26 10 29 36 17 27 4 29 41 30 30 29 17 36 23 38 24 41 32 25 5 17 31 21 29 21 27 14 30 27 24 37 28 28 27 13 44 29 28 28 15 16 24 31 23 18 18 22 38 28 36 8 27 27 26 24 26 20 19 15 16 31 34 24 34 40 21 26 21 23 35 22 14 28 25 30 26 35 40 28 31 17 22 21 35 39 17 12 14 16 38 27 42 37 27 24 19 33 36 35 19 14 13 33 26 15 9 37 41 32 21 5 34 30 9 37 39 31 33 37 24 33 35 25 21 28 32 22 23 34 27 18 10 47 23 26 14 33 16 36 19 16 27 31 31 41 30 16 20 34 24 29 39 28 18 37 13 30 23 27 7 29 22 27 29 36 30 20 24 35 22 28 31 29 26 6 30 26 27 32 30 29 36 28 16 17 26 17 14 19 21 25 32 31 26 35 24 14 22 30 25 22 11 27 35 14 36 23 35 28 27 34 47 37 26 31 9 22 22 36 36 24 25 47 16 16 11 35 26 34 24 26 22 9 16 6 18 17 19 29 11 33 30 38 28 22 13 10 41 30 32 11 29 32 5 34 24 28 30 31 26 28 26 25 25 22 18 11 13 34 16 17 22 21 32 28 31 34 36 20 16 31 26 34 20 15 34 5 10 15 35 27 37 28 22 24 21 18 37 18 18 44 31 38 33 19 35 23 34 14 45 35 27 28 39 21 34 20 22 27 19 33 17 17 29 41 23 39 33 27 16 30 27 13 26 29 10 31 13 26 31 27 29 29 34 22 18 21 25 19 34 16 49 30 26 15 35 47 14 19 5 24 28 24 35 18 37 29 24 12 5 21 20 41 13 32 13 25 35 24 36 32 40 32 44 36 32 37 38 43 11 3 39 25 39 26 38 20 32 20 39 29 42 27 27 28 25 24 39 28 17 49 41 26 21 29 19 23 15 33 45 6 26 22 24 27 28 37 33 30 38 21 34 20 35 6 28 9 21 38 20 15 35 27 30 14 24 28 34 25 21 27 26 28 41 11 6 14 18 7 30 33 11 21 38 33 35 19 24 29 41 29 22 28 24 24 22 29 29 15 35 26 4 38 19 34 36 31 20 19 35 6 31 38 18 12 27 44 25 34 19 23 38 19 33 35 8 27 36 27 12 22 9 25 27 19 38 25 13 21 27 31 32 26 35 28 26 9 30 26 8 21 15 46 26 25 7 27 32 4 6 15 24 14 20 28 15 31 29 24 28 24 35 18 28 23 24 38 30 19 26 30 45 27 35 25 5 15 15 17 35 11 42 35 34 13 35 31 34 40 14 20 27 10 29 29 9 36 8 15 13 23 32 16 48 14 37 22 32 34 29 44 33 28 44 35 7 38 33 29 24 42 22 35 25 33 12 15 35 14 26 26 12 32 40 35 25 22 25 16 7 7 24 14 20 41 27 9 29 14 37 21 14 31 22 23 44 21 27 35 25 31 14 44 44 24 17 27 25 28 29 28 31 37 36 41 30 28 28 20 20 27 6 33 14 19 31 45 17 18 38 5 26 32 29 31 28 36 36 16 26 14 46 29 30 29 17 28 12 12 21 10 42 22 7 13 23 25 26 31 23 49 5 17 14 35 31 28 16 11 28 35 12 14 23 29 18 37 20 22 21 19 25 21 7 41 16 18 25 8 46 14 30 17 33 47 19 35 45 21 16 33 24 34 11 42 26 31 24 36 33 31 41 38 37 29 47 30 25 29 23 33 21 12 27 34 11 17 26 29 19 44 42 21 25 31 28 31 12 36 27 36 26 18 20 29 24 24 22 10 22 17 44 10 33 34 11 15 35 42 6 11 15 30 22 18 7 19 39 26 33 11 25 33 17 11 41 10 7 24 30 22 27 11 31 28 41 42 20 11 39 47 38 24 8 44 28 4 24 22 8 12 41 17 40 22 37 26 20 29 21 3 30 17 25 34 21 44 23 31 24 14 48 23 26 34 30 22 34 22 32 44 28 25 27 35 24 16 30 38 35 38 21 24 35 20 23 11 16 26 20 25 31 22 25 25 36 11 27 15 21 23 43 42 49 28 28 15 35 45 8 38 33 16 37 10 17 19 2 18 29 13 26 8 22 26 25 33 30 22 14 15 30 29 35 17 5 22 35 30 14 36 42 29 43 25 26 23 30 28 34 26 8 43 21 20 37 10 35 35 29 33 35 22 24 28 15 29 14 18 27 29 36 9 25 36 30 23 25 13 26 14 25 25 29 25 26 8 46 27 23 39 28 33 39 44 28 27 34 16 19 26 31 19 2 24 38 19 27 11 21 22 30 24 25 13 32 23 30 32 14 15 32 24 20 21 28 7 26 47 36 20 13 11 29 16 19 21 9 19 36 40 18 23 40 17 34 39 18 43 42 23 17 42 27 14 31 26 29 35 44 36 27 33 35 34 7 23 43 24 20 35 33 20 29 47 29 11 15 29 14 8 31 25 21 46 24 22 35 33 17 28 35 13 34 40 18 23 47 30 10 33 24 20 34 32 22 28 28 30 28 30 42 14 2 11 34 36 29 32 24 23 14 40 27 8 20 10 34 29 45 34 33 8 33 14 15 27 32 33 38 27 22 33 32 20 27 33 25 </values> 19623.13/2520.06 v </instantiation> 19623.13/2520.06 c Unexpected resolution interruption!
OK 31163
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 (8855 MiB free) memory of node 1: 16384 MiB (7180 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404797-1568996496/watcher-4404797-1568996496 -o /var/tmp/evaluation-result-4404797-1568996496/solver-4404797-1568996496 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1568992392-28906 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 252368131 HOME/instance-4404797-1568996496.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30678, runsolver pid=30675 [startup+0.100156 s]* /proc/loadavg: 8.13 5.01 3.30 2/210 30699 /proc/meminfo: memFree=16403540/32770624 swapFree=66955320/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28227396 memory=29112 CPUtime=0.09 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 5677 0 0 0 8 1 0 0 20 0 20 0 475907603 28904853504 7278 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7056849 7278 3031 1 0 7019032 0 [pid=30680/tid=30681] ppid=30678 vsize=28227396 memory=8317482817917895235 CPUtime=0.06 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) R 30678 30678 28879 0 -1 4202560 3794 0 0 0 6 0 0 0 20 0 20 0 475907603 28904853504 7278 33554432000 4194304 4196468 140726036840336 140497040723856 140497028733758 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28227396 memory=140578524944000 CPUtime=0 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30685] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30685/stat : 30685 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496985959184 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30686] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30686/stat : 30686 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496984906384 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30687] ppid=30678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30687/stat : 30687 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496983853584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30688] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30688/stat : 30688 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496982800784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30689] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30689/stat : 30689 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496981747984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30690] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30690/stat : 30690 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907605 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496085134192 140497036507778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30691] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30691/stat : 30691 (java) S 30678 30678 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475907606 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496084080160 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30692] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30692/stat : 30692 (java) S 30678 30678 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475907606 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496083027312 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30693] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30693/stat : 30693 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907609 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496081975632 140497036515227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30694] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30694/stat : 30694 (java) S 30678 30678 28879 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 475907610 28904853504 7278 33554432000 4194304 4196468 140726036840336 140496080922992 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30695] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30695/stat : 30695 (java) S 30678 30678 28879 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 475907610 28904853504 7344 33554432000 4194304 4196468 140726036840336 140496079870192 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30696] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30696/stat : 30696 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907611 28904853504 7344 33554432000 4194304 4196468 140726036840336 140496078817392 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30697] ppid=30678 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30680/task/30697/stat : 30697 (java) R 30678 30678 28879 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 20 0 475907611 28904853504 7344 33554432000 4194304 4196468 140726036840336 140496077760536 140497015453281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30698] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30698/stat : 30698 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907611 28904853504 7344 33554432000 4194304 4196468 140726036840336 140496076713056 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30699] ppid=30678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30699/stat : 30699 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907611 28904853504 7344 33554432000 4194304 4196468 140726036840336 140496075660336 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30560 KiB [startup+0.210375 s]* /proc/loadavg: 8.13 5.01 3.30 3/210 30699 /proc/meminfo: memFree=16390128/32770624 swapFree=66955320/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28227396 memory=40748 CPUtime=0.3 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 9453 0 0 0 27 3 0 0 20 0 20 0 475907603 28904853504 10187 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7056849 10187 3240 1 0 7019032 0 [pid=30680/tid=30681] ppid=30678 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) R 30678 30678 28879 0 -1 4202560 6648 0 0 0 16 2 0 0 20 0 20 0 475907603 28904853504 10187 33554432000 4194304 4196468 140726036840336 140497040715968 140497036508566 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28227396 memory=140578528305164 CPUtime=0 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30685] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30685/stat : 30685 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496985959184 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30686] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30686/stat : 30686 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496984906384 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30687] ppid=30678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30687/stat : 30687 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496983853584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30688] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30688/stat : 30688 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496982800784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30689] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30689/stat : 30689 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496981747984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30690] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30690/stat : 30690 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907605 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496085134192 140497036507778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30691] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30691/stat : 30691 (java) S 30678 30678 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475907606 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496084080160 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30692] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30692/stat : 30692 (java) S 30678 30678 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475907606 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496083027312 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30693] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30693/stat : 30693 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907609 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496081975632 140497036515227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30694] ppid=30678 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30680/task/30694/stat : 30694 (java) S 30678 30678 28879 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 475907610 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496080922992 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30695] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30695/stat : 30695 (java) S 30678 30678 28879 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 20 0 475907610 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496079870192 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30696] ppid=30678 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30680/task/30696/stat : 30696 (java) S 30678 30678 28879 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 475907611 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496078817392 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30697] ppid=30678 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7 /proc/30680/task/30697/stat : 30697 (java) R 30678 30678 28879 0 -1 4202560 750 0 0 0 6 0 0 0 20 0 20 0 475907611 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496077764592 140497028733758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30698] ppid=30678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30698/stat : 30698 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907611 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496076713056 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30699] ppid=30678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30699/stat : 30699 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907611 28904853504 10187 33554432000 4194304 4196468 140726036840336 140496075660336 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42196 KiB [startup+0.310118 s]* /proc/loadavg: 8.13 5.01 3.30 2/210 30699 /proc/meminfo: memFree=16385288/32770624 swapFree=66955320/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28231652 memory=46852 CPUtime=0.48 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 10604 0 0 0 44 4 0 0 20 0 20 0 475907603 28909211648 11713 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7057913 11713 3337 1 0 7019032 0 [pid=30680/tid=30681] ppid=30678 vsize=28231652 memory=8317482817917895235 CPUtime=0.27 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) R 30678 30678 28879 0 -1 4202560 7681 0 0 0 24 3 0 0 20 0 20 0 475907603 28909211648 11713 33554432000 4194304 4196468 140726036840336 140497040728320 140497036508566 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30685] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30685/stat : 30685 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496985959184 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30686] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30686/stat : 30686 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496984906384 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30687] ppid=30678 vsize=28231652 memory=140578373331631 CPUtime=0 cores=0-7 /proc/30680/task/30687/stat : 30687 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496983853584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30688] ppid=30678 vsize=28231652 memory=140578373333936 CPUtime=0 cores=0-7 /proc/30680/task/30688/stat : 30688 (java) S 30678 30678 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496982800784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30689] ppid=30678 vsize=28231652 memory=140578373336240 CPUtime=0 cores=0-7 /proc/30680/task/30689/stat : 30689 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496981747984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30690] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30690/stat : 30690 (java) S 30678 30678 28879 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475907605 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496085134192 140497036507778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30691] ppid=30678 vsize=28231652 memory=281156746686352 CPUtime=0 cores=0-7 /proc/30680/task/30691/stat : 30691 (java) S 30678 30678 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475907606 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496084080160 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30692] ppid=30678 vsize=28231652 memory=281156746684048 CPUtime=0 cores=0-7 /proc/30680/task/30692/stat : 30692 (java) S 30678 30678 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475907606 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496083027312 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30693] ppid=30678 vsize=28231652 memory=281156746690960 CPUtime=0 cores=0-7 /proc/30680/task/30693/stat : 30693 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907609 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496081975632 140497036515227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30694] ppid=30678 vsize=28231652 memory=281156746632240 CPUtime=0.03 cores=0-7 /proc/30680/task/30694/stat : 30694 (java) S 30678 30678 28879 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 20 0 475907610 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496080922992 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30695] ppid=30678 vsize=28231652 memory=281156746704784 CPUtime=0.01 cores=0-7 /proc/30680/task/30695/stat : 30695 (java) S 30678 30678 28879 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 475907610 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496079870192 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30696] ppid=30678 vsize=28231652 memory=281156746711696 CPUtime=0.02 cores=0-7 /proc/30680/task/30696/stat : 30696 (java) S 30678 30678 28879 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 20 0 475907611 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496078817392 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30697] ppid=30678 vsize=28231652 memory=281156746709392 CPUtime=0.12 cores=0-7 /proc/30680/task/30697/stat : 30697 (java) R 30678 30678 28879 0 -1 4202560 830 0 0 0 12 0 0 0 20 0 20 0 475907611 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496077762400 140497029593467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30698] ppid=30678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30698/stat : 30698 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907611 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496076713056 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30699] ppid=30678 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30680/task/30699/stat : 30699 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907611 28909211648 11713 33554432000 4194304 4196468 140726036840336 140496075660336 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48300 KiB [startup+0.701056 s] /proc/loadavg: 8.13 5.01 3.30 5/210 30699 /proc/meminfo: memFree=16363232/32770624 swapFree=66955320/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28233776 memory=103804 CPUtime=1.88 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 16604 0 0 0 181 7 0 0 20 0 20 0 475907603 28911386624 25951 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7058444 25951 3451 1 0 7019544 0 [pid=30680/tid=30681] ppid=30678 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) R 30678 30678 28879 0 -1 4202560 9194 0 0 0 61 5 0 0 20 0 20 0 475907603 28911386624 25951 33554432000 4194304 4196468 140726036840336 140497040734200 140496655969876 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28233776 memory=140578373542768 CPUtime=0 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28911386624 25951 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475907604 28911386624 25951 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475907604 28911386624 25951 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 ################ # More data... # ################ [pid=30680/tid=31513] ppid=30678 vsize=28768336 memory=4100 CPUtime=1006.32 cores=0-7 /proc/30680/task/31513/stat : 31513 (java) R 30678 30678 28879 0 -1 4202560 15491 0 0 0 100608 24 0 0 20 0 28 0 476050743 29458776064 603260 33554432000 4194304 4196468 140726036840336 140496065626680 140496655549513 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 19003.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2414488 KiB [startup+2502.3 s] /proc/loadavg: 8.21 8.37 7.95 9/220 31619 /proc/meminfo: memFree=14010008/32770624 swapFree=66955324/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28768336 memory=2415912 CPUtime=19481.9 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 1406273 0 0 0 1945857 2332 0 0 20 0 28 0 475907603 29458776064 603978 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7192084 603978 3557 1 0 7153184 0 [pid=30680/tid=30681] ppid=30678 vsize=28768336 memory=1448 CPUtime=2.78 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) S 30678 30678 28879 0 -1 1077944384 26975 0 0 0 258 20 0 0 20 0 28 0 475907603 29458776064 603978 33554432000 4194304 4196468 140726036840336 140497040737408 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28768336 memory=2415912 CPUtime=7.25 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 29663 0 0 0 625 100 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28768336 memory=2415912 CPUtime=7.25 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 33309 0 0 0 625 100 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28768336 memory=2412932 CPUtime=7.27 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 28578 0 0 0 629 98 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30685] ppid=30678 vsize=28768336 memory=2405448 CPUtime=7.21 cores=0-7 /proc/30680/task/30685/stat : 30685 (java) S 30678 30678 28879 0 -1 1077944384 31528 0 0 0 624 97 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496985959184 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30686] ppid=30678 vsize=28768336 memory=2357888 CPUtime=7.24 cores=0-7 /proc/30680/task/30686/stat : 30686 (java) S 30678 30678 28879 0 -1 1077944384 29298 0 0 0 627 97 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496984906384 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30687] ppid=30678 vsize=28768336 memory=2357888 CPUtime=7.24 cores=0-7 /proc/30680/task/30687/stat : 30687 (java) S 30678 30678 28879 0 -1 1077944384 34636 0 0 0 630 94 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496983853584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30688] ppid=30678 vsize=28768336 memory=1448 CPUtime=7.13 cores=0-7 /proc/30680/task/30688/stat : 30688 (java) S 30678 30678 28879 0 -1 1077944384 26253 0 0 0 615 98 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496982800784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30689] ppid=30678 vsize=28768336 memory=2372512 CPUtime=7.2 cores=0-7 /proc/30680/task/30689/stat : 30689 (java) S 30678 30678 28879 0 -1 1077944384 30102 0 0 0 623 97 0 0 20 0 28 0 475907604 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496981747984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30690] ppid=30678 vsize=28768336 memory=2376104 CPUtime=0.89 cores=0-7 /proc/30680/task/30690/stat : 30690 (java) S 30678 30678 28879 0 -1 1077944384 40456 0 0 0 77 12 0 0 20 0 28 0 475907605 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496085134192 140497036507778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30691] ppid=30678 vsize=28768336 memory=2386192 CPUtime=0 cores=0-7 /proc/30680/task/30691/stat : 30691 (java) S 30678 30678 28879 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475907606 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496084080224 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30692] ppid=30678 vsize=28768336 memory=2386424 CPUtime=0 cores=0-7 /proc/30680/task/30692/stat : 30692 (java) S 30678 30678 28879 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 475907606 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496083027328 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30693] ppid=30678 vsize=28768336 memory=2386424 CPUtime=0 cores=0-7 /proc/30680/task/30693/stat : 30693 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475907609 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496081975632 140497036515227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30694] ppid=30678 vsize=28768336 memory=2389448 CPUtime=4.04 cores=0-7 /proc/30680/task/30694/stat : 30694 (java) S 30678 30678 28879 0 -1 1077944384 37767 0 0 0 396 8 0 0 20 0 28 0 475907610 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496080922992 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30695] ppid=30678 vsize=28768336 memory=2391784 CPUtime=4.31 cores=0-7 /proc/30680/task/30695/stat : 30695 (java) S 30678 30678 28879 0 -1 1077944384 35194 0 0 0 423 8 0 0 20 0 28 0 475907610 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496079870192 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30696] ppid=30678 vsize=28768336 memory=2391784 CPUtime=4.37 cores=0-7 /proc/30680/task/30696/stat : 30696 (java) S 30678 30678 28879 0 -1 1077944384 41834 0 0 0 427 10 0 0 20 0 28 0 475907611 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496078817392 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30697] ppid=30678 vsize=28768336 memory=2401912 CPUtime=1.23 cores=0-7 /proc/30680/task/30697/stat : 30697 (java) S 30678 30678 28879 0 -1 1077944384 46999 0 0 0 115 8 0 0 20 0 28 0 475907611 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496077764592 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30698] ppid=30678 vsize=28768336 memory=2402052 CPUtime=0 cores=0-7 /proc/30680/task/30698/stat : 30698 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475907611 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496076713056 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30699] ppid=30678 vsize=28768336 memory=1448 CPUtime=1.05 cores=0-7 /proc/30680/task/30699/stat : 30699 (java) S 30678 30678 28879 0 -1 1077944384 10174 0 0 0 54 51 0 0 20 0 28 0 475907611 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496075660336 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31506] ppid=30678 vsize=28768336 memory=2415892 CPUtime=1062.1 cores=0-7 /proc/30680/task/31506/stat : 31506 (java) R 30678 30678 28879 0 -1 4202560 16653 0 0 0 106190 20 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496064572512 140496659299532 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31507] ppid=30678 vsize=28768336 memory=2415892 CPUtime=1069.6 cores=0-7 /proc/30680/task/31507/stat : 31507 (java) R 30678 30678 28879 0 -1 4202560 11088 0 0 0 106950 10 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496066681920 140496659213893 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31508] ppid=30678 vsize=28768336 memory=2415912 CPUtime=1063.52 cores=0-7 /proc/30680/task/31508/stat : 31508 (java) R 30678 30678 28879 0 -1 4202560 18724 0 0 0 106342 10 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496063520456 140496659213729 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31509] ppid=30678 vsize=28768336 memory=2415912 CPUtime=1069.54 cores=0-7 /proc/30680/task/31509/stat : 31509 (java) R 30678 30678 28879 0 -1 4202560 15059 0 0 0 106936 18 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496061415448 140496660440248 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31510] ppid=30678 vsize=28768336 memory=2415912 CPUtime=1068.92 cores=0-7 /proc/30680/task/31510/stat : 31510 (java) R 30678 30678 28879 0 -1 4202560 10167 0 0 0 106877 15 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496062467784 140496659215823 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31511] ppid=30678 vsize=28768336 memory=6791534058613427641 CPUtime=1065.59 cores=0-7 /proc/30680/task/31511/stat : 31511 (java) R 30678 30678 28879 0 -1 4202560 17181 0 0 0 106544 15 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496060361976 140496659213869 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31512] ppid=30678 vsize=28768336 memory=14056 CPUtime=1069.77 cores=0-7 /proc/30680/task/31512/stat : 31512 (java) R 30678 30678 28879 0 -1 4202560 26088 0 0 0 106947 30 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496059310680 140496660440117 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31513] ppid=30678 vsize=28768336 memory=6791534058613427641 CPUtime=1066.24 cores=0-7 /proc/30680/task/31513/stat : 31513 (java) R 30678 30678 28879 0 -1 4202560 16506 0 0 0 106599 25 0 0 20 0 28 0 476050743 29458776064 603978 33554432000 4194304 4196468 140726036840336 140496065626584 140496659213761 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 19481.9 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2417360 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.16 8.35 7.95 9/220 31621 /proc/meminfo: memFree=14003860/32770624 swapFree=66955324/67108860 [pid=30678] ppid=30675 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30678/stat : 30678 (xcsp3-exec) S 30675 30678 28879 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475907603 115843072 362 33554432000 4194304 5098028 140730717580128 140730717578232 140397365457532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25722880 140730717586258 140730717586517 140730717586517 140730717589446 0 /proc/30678/statm: 28282 362 304 221 0 87 0 [pid=30680] ppid=30678 vsize=28768336 memory=2422104 CPUtime=19623.1 cores=0-7 /proc/30680/stat : 30680 (java) S 30678 30678 28879 0 -1 1077944320 1410459 0 0 0 1959978 2335 0 0 20 0 28 0 475907603 29458776064 605526 33554432000 4194304 4196468 140726036840336 140726036822880 140497036496631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 /proc/30680/statm: 7192084 605526 3557 1 0 7153184 0 [pid=30680/tid=30681] ppid=30678 vsize=28768336 memory=1548 CPUtime=2.78 cores=0-7 /proc/30680/task/30681/stat : 30681 (java) S 30678 30678 28879 0 -1 1077944384 26975 0 0 0 258 20 0 0 20 0 28 0 475907603 29458776064 605526 33554432000 4194304 4196468 140726036840336 140497040737408 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30682] ppid=30678 vsize=28768336 memory=7552 CPUtime=7.26 cores=0-7 /proc/30680/task/30682/stat : 30682 (java) S 30678 30678 28879 0 -1 1077944384 29807 0 0 0 626 100 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496989117584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30683] ppid=30678 vsize=28768336 memory=2422104 CPUtime=7.27 cores=0-7 /proc/30680/task/30683/stat : 30683 (java) S 30678 30678 28879 0 -1 1077944384 33453 0 0 0 627 100 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496988064784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30684] ppid=30678 vsize=28768336 memory=4872558044660077418 CPUtime=7.28 cores=0-7 /proc/30680/task/30684/stat : 30684 (java) S 30678 30678 28879 0 -1 1077944384 28717 0 0 0 630 98 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496987011984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30685] ppid=30678 vsize=28768336 memory=928 CPUtime=7.23 cores=0-7 /proc/30680/task/30685/stat : 30685 (java) S 30678 30678 28879 0 -1 1077944384 31639 0 0 0 626 97 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496985959184 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30686] ppid=30678 vsize=28768336 memory=1772 CPUtime=7.25 cores=0-7 /proc/30680/task/30686/stat : 30686 (java) S 30678 30678 28879 0 -1 1077944384 29710 0 0 0 628 97 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496984906384 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30687] ppid=30678 vsize=28768336 memory=892 CPUtime=7.26 cores=0-7 /proc/30680/task/30687/stat : 30687 (java) S 30678 30678 28879 0 -1 1077944384 34922 0 0 0 632 94 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496983853584 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30688] ppid=30678 vsize=28768336 memory=1444 CPUtime=7.15 cores=0-7 /proc/30680/task/30688/stat : 30688 (java) S 30678 30678 28879 0 -1 1077944384 26373 0 0 0 617 98 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496982800784 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30689] ppid=30678 vsize=28768336 memory=1976 CPUtime=7.22 cores=0-7 /proc/30680/task/30689/stat : 30689 (java) S 30678 30678 28879 0 -1 1077944384 30269 0 0 0 625 97 0 0 20 0 28 0 475907604 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496981747984 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30690] ppid=30678 vsize=28768336 memory=2436 CPUtime=0.89 cores=0-7 /proc/30680/task/30690/stat : 30690 (java) S 30678 30678 28879 0 -1 1077944384 40625 0 0 0 77 12 0 0 20 0 28 0 475907605 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496085134192 140497036507778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30691] ppid=30678 vsize=28768336 memory=2422104 CPUtime=0 cores=0-7 /proc/30680/task/30691/stat : 30691 (java) S 30678 30678 28879 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475907606 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496084080224 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30692] ppid=30678 vsize=28768336 memory=3624 CPUtime=0 cores=0-7 /proc/30680/task/30692/stat : 30692 (java) S 30678 30678 28879 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 475907606 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496083027328 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30693] ppid=30678 vsize=28768336 memory=43624 CPUtime=0 cores=0-7 /proc/30680/task/30693/stat : 30693 (java) S 30678 30678 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475907609 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496081975632 140497036515227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30694] ppid=30678 vsize=28768336 memory=984 CPUtime=4.04 cores=0-7 /proc/30680/task/30694/stat : 30694 (java) S 30678 30678 28879 0 -1 1077944384 37769 0 0 0 396 8 0 0 20 0 28 0 475907610 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496080922992 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30695] ppid=30678 vsize=28768336 memory=2016 CPUtime=4.31 cores=0-7 /proc/30680/task/30695/stat : 30695 (java) S 30678 30678 28879 0 -1 1077944384 35196 0 0 0 423 8 0 0 20 0 28 0 475907610 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496079870192 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30696] ppid=30678 vsize=28768336 memory=1412 CPUtime=4.37 cores=0-7 /proc/30680/task/30696/stat : 30696 (java) S 30678 30678 28879 0 -1 1077944384 41836 0 0 0 427 10 0 0 20 0 28 0 475907611 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496078817392 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30697] ppid=30678 vsize=28768336 memory=1548 CPUtime=1.23 cores=0-7 /proc/30680/task/30697/stat : 30697 (java) S 30678 30678 28879 0 -1 1077944384 47001 0 0 0 115 8 0 0 20 0 28 0 475907611 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496077764592 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30698] ppid=30678 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30680/task/30698/stat : 30698 (java) S 30678 30678 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475907611 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496076713056 140497036506837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=30699] ppid=30678 vsize=28768336 memory=2422104 CPUtime=1.05 cores=0-7 /proc/30680/task/30699/stat : 30699 (java) S 30678 30678 28879 0 -1 1077944384 10178 0 0 0 54 51 0 0 20 0 28 0 475907611 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496075660336 140497036507778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31506] ppid=30678 vsize=28768336 memory=1976 CPUtime=1079.77 cores=0-7 /proc/30680/task/31506/stat : 31506 (java) R 30678 30678 28879 0 -1 4202560 16705 0 0 0 107957 20 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496064572696 140496659300858 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31507] ppid=30678 vsize=28768336 memory=2436 CPUtime=1087.3 cores=0-7 /proc/30680/task/31507/stat : 31507 (java) R 30678 30678 28879 0 -1 4202560 11210 0 0 0 108719 11 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496066679048 140496659214225 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31508] ppid=30678 vsize=28768336 memory=4252 CPUtime=1080.83 cores=0-7 /proc/30680/task/31508/stat : 31508 (java) R 30678 30678 28879 0 -1 4202560 18819 0 0 0 108073 10 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496063521416 140496659301115 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31509] ppid=30678 vsize=28768336 memory=1412 CPUtime=1087.21 cores=0-7 /proc/30680/task/31509/stat : 31509 (java) R 30678 30678 28879 0 -1 4202560 15251 0 0 0 108703 18 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496061415432 140496654818629 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31510] ppid=30678 vsize=28768336 memory=4908 CPUtime=1086.61 cores=0-7 /proc/30680/task/31510/stat : 31510 (java) R 30678 30678 28879 0 -1 4202560 10288 0 0 0 108646 15 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496062467816 140496659299560 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31511] ppid=30678 vsize=28768336 memory=1448 CPUtime=1083.27 cores=0-7 /proc/30680/task/31511/stat : 31511 (java) R 30678 30678 28879 0 -1 4202560 17273 0 0 0 108312 15 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496060361728 140496659213484 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31512] ppid=30678 vsize=28768336 memory=2422056 CPUtime=1087.45 cores=0-7 /proc/30680/task/31512/stat : 31512 (java) R 30678 30678 28879 0 -1 4202560 27637 0 0 0 108715 30 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496059310680 140496659301120 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 [pid=30680/tid=31513] ppid=30678 vsize=28768336 memory=1060 CPUtime=1083.92 cores=0-7 /proc/30680/task/31513/stat : 31513 (java) R 30678 30678 28879 0 -1 4202560 16765 0 0 0 108367 25 0 0 20 0 28 0 476050743 29458776064 605526 33554432000 4194304 4196468 140726036840336 140496065629392 140496659301018 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16642048 140726036841430 140726036841606 140726036841606 140726036844495 0 Current children cumulated CPU time: 19623.1 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2423552 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 30678 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.002418 s [startup+2520.11 s] # the end of solver process 30680 was just reported to runsolver # cumulated CPU time of all completed processes: user=19600.5 s, system=23.3718 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.11 CPU time (s): 19623.8 CPU user time (s): 19600.5 CPU system time (s): 23.3718 CPU usage (%): 778.689 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 3571512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19600.5 system time used= 23.3718 maximum resident set size= 3570144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1411403 page faults= 0 swaps= 0 block input operations= 8 block output operations= 4112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 92177 involuntary context switches= 208689 # summary of solver processes directly reported to runsolver: # pid: 30678,30680 # total CPU time (s): 19623.8 # total CPU user time (s): 19600.5 # total CPU system time (s): 23.3718 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.6028 second user time and 30.8411 second system time The end
Begin job on node105 at 2019-09-20 17:19:57 IDJOB=4404797 IDBENCH=123065 IDSOLVER=2865 FILE ID=node105/4404797-1568996496 RUNJOBID= node105-1568992392-28906 PBS_JOBID= 21704735 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-20 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-4404797-1568996496/watcher-4404797-1568996496 -o /var/tmp/evaluation-result-4404797-1568996496/solver-4404797-1568996496 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1568992392-28906 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 252368131 HOME/instance-4404797-1568996496.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=252368131 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: 16420620 kB MemAvailable: 31808624 kB Buffers: 142216 kB Cached: 15187812 kB SwapCached: 49488 kB Active: 7590704 kB Inactive: 7790208 kB Active(anon): 2232 kB Inactive(anon): 93940 kB Active(file): 7588472 kB Inactive(file): 7696268 kB Unevictable: 110952 kB Mlocked: 110952 kB SwapTotal: 67108860 kB SwapFree: 66955320 kB Dirty: 26032 kB Writeback: 0 kB AnonPages: 131756 kB Mapped: 49120 kB Shmem: 36672 kB Slab: 560168 kB SReclaimable: 531724 kB SUnreclaim: 28444 kB KernelStack: 3776 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497884 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 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-20 18:01:58