Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 687 | 20019.699 | 2520.1299 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
| MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 684 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 992 |
| Number of constraints | 960 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270835-1502714979.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4270835-1502714979.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 2.74/0.98 c solve instance... 3.26/1.10 o 3518 3.92/1.11 o 3425 3.92/1.13 o 3419 3.92/1.14 o 3418 3.92/1.15 o 1468 9.33/1.87 o 1216 10.05/1.91 o 1207 10.05/1.96 o 1191 10.83/2.03 o 1188 10.83/2.11 o 1186 11.62/2.14 o 1136 36.17/5.22 o 1110 36.99/5.31 o 1088 47.95/6.75 o 1087 139.37/18.25 o 1083 140.90/18.47 o 1081 643.17/81.77 o 1066 643.40/81.82 o 1064 643.71/81.96 o 1063 644.56/82.30 o 1059 1693.01/214.32 o 1027 1696.95/214.83 o 1017 1702.45/215.53 o 1015 1713.57/216.94 o 987 1714.42/217.03 o 918 1722.38/218.04 o 912 1722.38/218.05 o 911 1730.34/219.08 o 905 1731.12/219.12 o 904 1733.42/219.48 o 892 1734.21/219.50 o 891 1739.74/220.29 o 885 1742.11/220.57 o 881 1773.17/224.46 o 878 1778.00/225.07 o 848 1781.90/225.57 o 847 1798.60/227.60 o 813 1808.95/229.00 o 810 1818.56/230.15 o 805 1853.50/234.50 o 803 1896.55/239.94 o 802 1919.61/242.89 o 801 1922.06/243.12 o 795 1980.03/250.50 o 793 2057.99/260.28 o 791 2143.72/271.01 o 789 2178.72/275.43 o 788 2242.07/283.48 o 784 2242.07/283.50 o 781 2401.11/303.41 o 754 2465.65/311.50 o 747 2615.75/330.49 o 726 2683.14/338.95 o 722 2905.57/366.94 o 713 3054.13/385.63 o 712 3328.05/420.01 o 711 3734.30/471.26 o 707 4225.78/533.24 o 706 5011.64/632.06 o 702 5228.24/659.27 o 701 5377.74/678.03 o 699 6497.88/819.28 o 698 6576.52/829.17 o 696 6783.20/855.13 o 695 7020.28/885.04 o 694 7138.14/900.04 o 687 20018.87/2520.11 s SATISFIABLE 20018.87/2520.11 v <instantiation> 20018.87/2520.11 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] </list> 20018.87/2520.11 v <values>0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 31 41 44 100 89 53 77 11 69 38 79 53 100 52 76 53 84 73 6 15 99 36 33 98 97 95 30 65 17 55 </values> 20018.87/2520.11 v </instantiation> 20018.87/2520.11 c Unexpected resolution interruption!
OK 687
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 (14282 MiB free)
memory of node 1: 16384 MiB (14152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270835-1502714979/watcher-4270835-1502714979 -o /tmp/evaluation-result-4270835-1502714979/solver-4270835-1502714979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502706555-27567 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 674703713 HOME/instance-4270835-1502714979.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=29715, runsolver pid=29712
[startup+0.100158 s]*
/proc/loadavg: 7.53 8.08 8.19 2/199 29736
/proc/meminfo: memFree=29101608/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=25999808 memory=26836 CPUtime=0.11 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 5647 0 0 0 11 0 0 0 20 0 20 0 104585923 26623803392 6709 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6499952 6709 2839 1 0 6488269 0
[pid=29717/tid=29718] ppid=29715 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) R 29715 29715 27540 0 -1 4202560 3650 0 0 0 9 0 0 0 20 0 20 0 104585923 26623803392 6709 33554432000 4194304 4196468 140721663164496 140360017523616 140359615228016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359935887888 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=25999808 memory=140357843801728 CPUtime=0 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359570053776 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359569000720 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29722] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29722/stat : 29722 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359567948176 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29723] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29723/stat : 29723 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359566896144 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29724] ppid=29715 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29724/stat : 29724 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359565843600 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29725] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29725/stat : 29725 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359564790544 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29726] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29726/stat : 29726 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359563738000 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29727] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29727/stat : 29727 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585925 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359140100336 140360013318786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29728] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29728/stat : 29728 (java) S 29715 29715 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104585926 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359139046560 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29729] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29729/stat : 29729 (java) S 29715 29715 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104585926 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359137993456 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29730] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29730/stat : 29730 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585928 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359136942032 140360013326235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29731] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29731/stat : 29731 (java) S 29715 29715 27540 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359135890160 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29732] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29732/stat : 29732 (java) R 29715 29715 27540 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359134837616 140360013318786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29733] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29733/stat : 29733 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359133784560 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29734] ppid=29715 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29717/task/29734/stat : 29734 (java) R 29715 29715 27540 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359132732016 140360013319574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29735] ppid=29715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29735/stat : 29735 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359131679200 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29736] ppid=29715 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29736/stat : 29736 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585929 26623803392 6709 33554432000 4194304 4196468 140721663164496 140359130626736 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28220 KiB
[startup+0.210082 s]*
/proc/loadavg: 7.53 8.08 8.19 2/199 29736
/proc/meminfo: memFree=29088148/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=26004064 memory=40508 CPUtime=0.32 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 8186 0 0 0 31 1 0 0 20 0 20 0 104585923 26628161536 10127 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6501016 10127 3052 1 0 6488269 0
[pid=29717/tid=29718] ppid=29715 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) R 29715 29715 27540 0 -1 4202560 5297 0 0 0 19 1 0 0 20 0 20 0 104585923 26628161536 10127 33554432000 4194304 4196468 140721663164496 140360017522400 140359997388126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359935887888 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=26004064 memory=3977436991409084064 CPUtime=0 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359570053776 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359569000720 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29722] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29722/stat : 29722 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359567948176 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29723] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29723/stat : 29723 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359566896144 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29724] ppid=29715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29724/stat : 29724 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359565843600 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29725] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29725/stat : 29725 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359564790544 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29726] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29726/stat : 29726 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359563738000 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29727] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29727/stat : 29727 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585925 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359140100336 140360013318786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29728] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29728/stat : 29728 (java) S 29715 29715 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104585926 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359139046560 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29729] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29729/stat : 29729 (java) S 29715 29715 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104585926 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359137993456 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29730] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29730/stat : 29730 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585928 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359136942032 140360013326235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29731] ppid=29715 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29717/task/29731/stat : 29731 (java) S 29715 29715 27540 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359135890160 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29732] ppid=29715 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29717/task/29732/stat : 29732 (java) S 29715 29715 27540 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359134837616 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29733] ppid=29715 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/29717/task/29733/stat : 29733 (java) S 29715 29715 27540 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359133784560 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29734] ppid=29715 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29717/task/29734/stat : 29734 (java) S 29715 29715 27540 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359132732016 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29735] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29735/stat : 29735 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359131679200 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29736] ppid=29715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29736/stat : 29736 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585929 26628161536 10127 33554432000 4194304 4196468 140721663164496 140359130626736 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41892 KiB
[startup+0.309493 s]*
/proc/loadavg: 7.53 8.08 8.19 3/199 29736
/proc/meminfo: memFree=29083744/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=26004064 memory=45408 CPUtime=0.5 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 9052 0 0 0 48 2 0 0 20 0 20 0 104585923 26628161536 11352 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6501016 11352 3075 1 0 6488269 0
[pid=29717/tid=29718] ppid=29715 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) R 29715 29715 27540 0 -1 4202560 5974 0 0 0 28 1 0 0 20 0 20 0 104585923 26628161536 11352 33554432000 4194304 4196468 140721663164496 140360017545696 140359615223567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359935887888 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359570053776 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359569000720 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29722] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29722/stat : 29722 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359567948176 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29723] ppid=29715 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29717/task/29723/stat : 29723 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359566896144 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29724] ppid=29715 vsize=26004064 memory=140357719389103 CPUtime=0 cores=0-7
/proc/29717/task/29724/stat : 29724 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359565843600 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29725] ppid=29715 vsize=26004064 memory=140357719391408 CPUtime=0 cores=0-7
/proc/29717/task/29725/stat : 29725 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359564790544 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29726] ppid=29715 vsize=26004064 memory=140357719393712 CPUtime=0 cores=0-7
/proc/29717/task/29726/stat : 29726 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359563738000 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29727] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29727/stat : 29727 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585925 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359140100336 140360013318786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29728] ppid=29715 vsize=26004064 memory=280715438794384 CPUtime=0 cores=0-7
/proc/29717/task/29728/stat : 29728 (java) S 29715 29715 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104585926 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359139046560 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29729] ppid=29715 vsize=26004064 memory=280715438801296 CPUtime=0 cores=0-7
/proc/29717/task/29729/stat : 29729 (java) S 29715 29715 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104585926 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359137993456 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29730] ppid=29715 vsize=26004064 memory=280715438742576 CPUtime=0 cores=0-7
/proc/29717/task/29730/stat : 29730 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585928 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359136942032 140360013326235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29731] ppid=29715 vsize=26004064 memory=280715438815120 CPUtime=0.01 cores=0-7
/proc/29717/task/29731/stat : 29731 (java) S 29715 29715 27540 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359135890160 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29732] ppid=29715 vsize=26004064 memory=280715438822032 CPUtime=0.03 cores=0-7
/proc/29717/task/29732/stat : 29732 (java) S 29715 29715 27540 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359134837616 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29733] ppid=29715 vsize=26004064 memory=280715438819728 CPUtime=0.02 cores=0-7
/proc/29717/task/29733/stat : 29733 (java) S 29715 29715 27540 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359133784560 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29734] ppid=29715 vsize=26004064 memory=280715438835888 CPUtime=0.12 cores=0-7
/proc/29717/task/29734/stat : 29734 (java) R 29715 29715 27540 0 -1 4202560 826 0 0 0 12 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359132732016 140360006404507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29735] ppid=29715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29735/stat : 29735 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359131679200 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29736] ppid=29715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29717/task/29736/stat : 29736 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585929 26628161536 11352 33554432000 4194304 4196468 140721663164496 140359130626736 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46792 KiB
[startup+0.700861 s]
/proc/loadavg: 7.53 8.08 8.19 6/199 29736
/proc/meminfo: memFree=29060188/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=26006188 memory=97984 CPUtime=1.9 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 14032 0 0 0 185 5 0 0 20 0 20 0 104585923 26630336512 24496 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6501547 24496 3211 1 0 6488781 0
[pid=29717/tid=29718] ppid=29715 vsize=26006188 memory=280715439193776 CPUtime=0.67 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) R 29715 29715 27540 0 -1 4202560 6681 0 0 0 65 2 0 0 20 0 20 0 104585923 26630336512 24496 33554432000 4194304 4196468 140721663164496 140360017539824 140359619776103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=26006188 memory=140357719597936 CPUtime=0 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26630336512 24496 33554432000 4194304 4196468 140721663164496 140359935887888 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104585924 26630336512 24496 33554432000 4194304 4196468 140721663164496 140359570053776 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) S 29715 29715 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104585924 26630336512 24496 33554432000 4194304 4196468 140721663164496 140359569000720 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
################
# More data... #
################
/proc/meminfo: memFree=28495160/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=26538700 memory=633356 CPUtime=19877.8 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 1072939 0 0 0 1987012 767 0 0 20 0 28 0 104585923 27175628800 158339 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6634675 158339 3305 1 0 6621909 0
[pid=29717/tid=29718] ppid=29715 vsize=26538700 memory=1384 CPUtime=1.04 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) S 29715 29715 27540 0 -1 1077944384 12877 0 0 0 100 4 0 0 20 0 28 0 104585923 27175628800 158339 33554432000 4194304 4196468 140721663164496 140360017548416 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=26538700 memory=1384 CPUtime=6.98 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) S 29715 29715 27540 0 -1 1077944384 34143 0 0 0 659 39 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359935887888 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=26538700 memory=1384 CPUtime=6.93 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) S 29715 29715 27540 0 -1 1077944384 30347 0 0 0 657 36 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359570053776 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=26538700 memory=585120 CPUtime=6.99 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) S 29715 29715 27540 0 -1 1077944384 29414 0 0 0 665 34 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359569000720 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29722] ppid=29715 vsize=26538700 memory=633396 CPUtime=6.96 cores=0-7
/proc/29717/task/29722/stat : 29722 (java) S 29715 29715 27540 0 -1 1077944384 35213 0 0 0 658 38 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359567948176 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29723] ppid=29715 vsize=26538700 memory=632876 CPUtime=6.99 cores=0-7
/proc/29717/task/29723/stat : 29723 (java) S 29715 29715 27540 0 -1 1077944384 27053 0 0 0 665 34 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359566896144 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29724] ppid=29715 vsize=26538700 memory=633896 CPUtime=6.98 cores=0-7
/proc/29717/task/29724/stat : 29724 (java) S 29715 29715 27540 0 -1 1077944384 30518 0 0 0 660 38 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359565843600 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29725] ppid=29715 vsize=26538700 memory=631840 CPUtime=7 cores=0-7
/proc/29717/task/29725/stat : 29725 (java) S 29715 29715 27540 0 -1 1077944384 28682 0 0 0 663 37 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359564790544 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29726] ppid=29715 vsize=26538700 memory=633888 CPUtime=6.95 cores=0-7
/proc/29717/task/29726/stat : 29726 (java) S 29715 29715 27540 0 -1 1077944384 35020 0 0 0 661 34 0 0 20 0 28 0 104585924 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359563738000 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29727] ppid=29715 vsize=26538700 memory=633876 CPUtime=4.96 cores=0-7
/proc/29717/task/29727/stat : 29727 (java) S 29715 29715 27540 0 -1 1077944384 108950 0 0 0 302 194 0 0 20 0 28 0 104585925 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359140100336 140360013318786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29728] ppid=29715 vsize=26538700 memory=632852 CPUtime=0 cores=0-7
/proc/29717/task/29728/stat : 29728 (java) S 29715 29715 27540 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 104585926 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359139046624 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29729] ppid=29715 vsize=26538700 memory=632852 CPUtime=0 cores=0-7
/proc/29717/task/29729/stat : 29729 (java) S 29715 29715 27540 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 104585926 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359137993472 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29730] ppid=29715 vsize=26538700 memory=632848 CPUtime=0 cores=0-7
/proc/29717/task/29730/stat : 29730 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104585928 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359136942032 140360013326235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29731] ppid=29715 vsize=26538700 memory=631820 CPUtime=3.05 cores=0-7
/proc/29717/task/29731/stat : 29731 (java) S 29715 29715 27540 0 -1 1077944384 16023 0 0 0 302 3 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359135890160 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29732] ppid=29715 vsize=26538700 memory=633356 CPUtime=2.86 cores=0-7
/proc/29717/task/29732/stat : 29732 (java) S 29715 29715 27540 0 -1 1077944384 18494 0 0 0 284 2 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359134837616 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29733] ppid=29715 vsize=26538700 memory=633356 CPUtime=3.05 cores=0-7
/proc/29717/task/29733/stat : 29733 (java) S 29715 29715 27540 0 -1 1077944384 15898 0 0 0 302 3 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359133784560 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29734] ppid=29715 vsize=26538700 memory=1384 CPUtime=0.98 cores=0-7
/proc/29717/task/29734/stat : 29734 (java) S 29715 29715 27540 0 -1 1077944384 26627 0 0 0 94 4 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359132732016 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29735] ppid=29715 vsize=26538700 memory=632852 CPUtime=0 cores=0-7
/proc/29717/task/29735/stat : 29735 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359131679200 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29736] ppid=29715 vsize=26538700 memory=1384 CPUtime=0.45 cores=0-7
/proc/29717/task/29736/stat : 29736 (java) S 29715 29715 27540 0 -1 1077944384 7345 0 0 0 21 24 0 0 20 0 28 0 104585929 27175628800 158339 33554432000 4194304 4196468 140721663164496 140359130626736 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30279] ppid=29715 vsize=26538700 memory=1384 CPUtime=1589.91 cores=0-7
/proc/29717/task/30279/stat : 30279 (java) R 29715 29715 27540 0 -1 4202560 10181 0 0 0 158982 9 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358193577096 140359622848434 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30280] ppid=29715 vsize=26538700 memory=632848 CPUtime=1588.33 cores=0-7
/proc/29717/task/30280/stat : 30280 (java) R 29715 29715 27540 0 -1 4202560 11379 0 0 0 158825 8 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358194627016 140359625588646 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30281] ppid=29715 vsize=26538700 memory=633872 CPUtime=1588.33 cores=0-7
/proc/29717/task/30281/stat : 30281 (java) R 29715 29715 27540 0 -1 4202560 38395 0 0 0 158816 17 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358192525664 140359616255591 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30282] ppid=29715 vsize=26538700 memory=1384 CPUtime=1584.75 cores=0-7
/proc/29717/task/30282/stat : 30282 (java) R 29715 29715 27540 0 -1 4202560 72136 0 0 0 158449 26 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358197785800 140359617243852 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30283] ppid=29715 vsize=26538700 memory=632852 CPUtime=1586.65 cores=0-7
/proc/29717/task/30283/stat : 30283 (java) R 29715 29715 27540 0 -1 4202560 32342 0 0 0 158647 18 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358196732520 140359622848048 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30284] ppid=29715 vsize=26538700 memory=1384 CPUtime=1589.17 cores=0-7
/proc/29717/task/30284/stat : 30284 (java) R 29715 29715 27540 0 -1 4202560 10050 0 0 0 158909 8 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358198840656 140359625587448 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30285] ppid=29715 vsize=26538700 memory=1384 CPUtime=1583.96 cores=0-7
/proc/29717/task/30285/stat : 30285 (java) R 29715 29715 27540 0 -1 4202560 21248 0 0 0 158383 13 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358195683736 140359621599144 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30286] ppid=29715 vsize=26538700 memory=632848 CPUtime=1585.6 cores=0-7
/proc/29717/task/30286/stat : 30286 (java) R 29715 29715 27540 0 -1 4202560 234362 0 0 0 158488 72 0 0 20 0 28 0 104675927 27175628800 158339 33554432000 4194304 4196468 140721663164496 140358199889984 140359621279195 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
Current children cumulated CPU time: 19877.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 634740 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.13 8.16 8.22 2/207 30329
/proc/meminfo: memFree=28495768/32770624 swapFree=67108860/67108860
[pid=29715] ppid=29712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29715/stat : 29715 (xcsp3-exec) S 29712 29715 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104585922 9740288 346 33554432000 4194304 5098028 140726186840624 140726186838728 140308309074556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26578944 140726186849381 140726186849591 140726186849591 140726186852331 0
/proc/29715/statm: 2378 346 289 221 0 87 0
[pid=29717] ppid=29715 vsize=26538700 memory=632324 CPUtime=20018.9 cores=0-7
/proc/29717/stat : 29717 (java) S 29715 29715 27540 0 -1 1077944320 1075356 0 0 0 2001116 771 0 0 20 0 28 0 104585923 27175628800 158081 33554432000 4194304 4196468 140721663164496 140721663147040 140360013307639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
/proc/29717/statm: 6634675 158081 3305 1 0 6621909 0
[pid=29717/tid=29718] ppid=29715 vsize=26538700 memory=932 CPUtime=1.04 cores=0-7
/proc/29717/task/29718/stat : 29718 (java) S 29715 29715 27540 0 -1 1077944384 12877 0 0 0 100 4 0 0 20 0 28 0 104585923 27175628800 158081 33554432000 4194304 4196468 140721663164496 140360017548416 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29719] ppid=29715 vsize=26538700 memory=4126316290023845779 CPUtime=7.01 cores=0-7
/proc/29717/task/29719/stat : 29719 (java) R 29715 29715 27540 0 -1 4202560 34189 0 0 0 662 39 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359935887888 140360005935847 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29720] ppid=29715 vsize=26538700 memory=6504 CPUtime=6.98 cores=0-7
/proc/29717/task/29720/stat : 29720 (java) R 29715 29715 27540 0 -1 4202560 30447 0 0 0 661 37 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359570053776 140360005935847 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29721] ppid=29715 vsize=26538700 memory=840 CPUtime=7.04 cores=0-7
/proc/29717/task/29721/stat : 29721 (java) R 29715 29715 27540 0 -1 4202560 29580 0 0 0 669 35 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359569000616 140360005935847 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29722] ppid=29715 vsize=26538700 memory=1696 CPUtime=6.99 cores=0-7
/proc/29717/task/29722/stat : 29722 (java) R 29715 29715 27540 0 -1 4202560 35515 0 0 0 661 38 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359567948176 140359998258359 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29723] ppid=29715 vsize=26538700 memory=920 CPUtime=7.03 cores=0-7
/proc/29717/task/29723/stat : 29723 (java) R 29715 29715 27540 0 -1 4202560 27081 0 0 0 669 34 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359566896144 140360005935847 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29724] ppid=29715 vsize=26538700 memory=4180 CPUtime=7.02 cores=0-7
/proc/29717/task/29724/stat : 29724 (java) R 29715 29715 27540 0 -1 4202560 30592 0 0 0 664 38 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359565843496 140360005935847 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29725] ppid=29715 vsize=26538700 memory=4108 CPUtime=7.03 cores=0-7
/proc/29717/task/29725/stat : 29725 (java) R 29715 29715 27540 0 -1 4202560 28785 0 0 0 666 37 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359564790544 140360005935847 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29726] ppid=29715 vsize=26538700 memory=1152 CPUtime=6.99 cores=0-7
/proc/29717/task/29726/stat : 29726 (java) R 29715 29715 27540 0 -1 4202560 35150 0 0 0 665 34 0 0 20 0 28 0 104585924 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359563738000 140360005935847 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29727] ppid=29715 vsize=26538700 memory=4460 CPUtime=4.97 cores=0-7
/proc/29717/task/29727/stat : 29727 (java) S 29715 29715 27540 0 -1 1077944384 109168 0 0 0 302 195 0 0 20 0 28 0 104585925 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359140098656 140360013317845 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29728] ppid=29715 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/29717/task/29728/stat : 29728 (java) S 29715 29715 27540 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 104585926 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359139046624 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29729] ppid=29715 vsize=26538700 memory=632324 CPUtime=0 cores=0-7
/proc/29717/task/29729/stat : 29729 (java) S 29715 29715 27540 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 104585926 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359137993472 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29730] ppid=29715 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/29717/task/29730/stat : 29730 (java) S 29715 29715 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104585928 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359136942032 140360013326235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29731] ppid=29715 vsize=26538700 memory=6791534058613427641 CPUtime=3.05 cores=0-7
/proc/29717/task/29731/stat : 29731 (java) S 29715 29715 27540 0 -1 1077944384 16025 0 0 0 302 3 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359135890160 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29732] ppid=29715 vsize=26538700 memory=920 CPUtime=2.86 cores=0-7
/proc/29717/task/29732/stat : 29732 (java) S 29715 29715 27540 0 -1 1077944384 18496 0 0 0 284 2 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359134837616 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29733] ppid=29715 vsize=26538700 memory=4180 CPUtime=3.05 cores=0-7
/proc/29717/task/29733/stat : 29733 (java) S 29715 29715 27540 0 -1 1077944384 15900 0 0 0 302 3 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359133784560 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29734] ppid=29715 vsize=26538700 memory=4108 CPUtime=0.98 cores=0-7
/proc/29717/task/29734/stat : 29734 (java) S 29715 29715 27540 0 -1 1077944384 26629 0 0 0 94 4 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359132732016 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29735] ppid=29715 vsize=26538700 memory=1152 CPUtime=0 cores=0-7
/proc/29717/task/29735/stat : 29735 (java) S 29715 29715 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359131679200 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=29736] ppid=29715 vsize=26538700 memory=4460 CPUtime=0.45 cores=0-7
/proc/29717/task/29736/stat : 29736 (java) S 29715 29715 27540 0 -1 1077944384 7356 0 0 0 21 24 0 0 20 0 28 0 104585929 27175628800 158081 33554432000 4194304 4196468 140721663164496 140359130626736 140360013318786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30279] ppid=29715 vsize=26538700 memory=1384 CPUtime=1607.53 cores=0-7
/proc/29717/task/30279/stat : 30279 (java) S 29715 29715 27540 0 -1 1077944384 10246 0 0 0 160744 9 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358193573040 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30280] ppid=29715 vsize=26538700 memory=633344 CPUtime=1605.98 cores=0-7
/proc/29717/task/30280/stat : 30280 (java) S 29715 29715 27540 0 -1 1077944384 11454 0 0 0 160589 9 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358194626352 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30281] ppid=29715 vsize=26538700 memory=6791534058613427641 CPUtime=1605.83 cores=0-7
/proc/29717/task/30281/stat : 30281 (java) S 29715 29715 27540 0 -1 1077944384 38567 0 0 0 160566 17 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358192522160 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30282] ppid=29715 vsize=26538700 memory=1384 CPUtime=1602.38 cores=0-7
/proc/29717/task/30282/stat : 30282 (java) S 29715 29715 27540 0 -1 1077944384 72429 0 0 0 160212 26 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358197784896 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30283] ppid=29715 vsize=26538700 memory=631296 CPUtime=1604.27 cores=0-7
/proc/29717/task/30283/stat : 30283 (java) S 29715 29715 27540 0 -1 1077944384 32502 0 0 0 160409 18 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358196732384 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30284] ppid=29715 vsize=26538700 memory=633344 CPUtime=1606.8 cores=0-7
/proc/29717/task/30284/stat : 30284 (java) S 29715 29715 27540 0 -1 1077944384 10108 0 0 0 160672 8 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358198840768 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30285] ppid=29715 vsize=26538700 memory=1696 CPUtime=1601.55 cores=0-7
/proc/29717/task/30285/stat : 30285 (java) S 29715 29715 27540 0 -1 1077944384 21333 0 0 0 160142 13 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358195679152 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
[pid=29717/tid=30286] ppid=29715 vsize=26538700 memory=920 CPUtime=1603.09 cores=0-7
/proc/29717/task/30286/stat : 30286 (java) S 29715 29715 27540 0 -1 1077944384 234685 0 0 0 160237 72 0 0 20 0 28 0 104675927 27175628800 158081 33554432000 4194304 4196468 140721663164496 140358199890128 140360013317845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 22712320 140721663165586 140721663165763 140721663165763 140721663168463 0
Current children cumulated CPU time: 20018.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 633708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 29715 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002073 s
[startup+2520.13 s]
# the end of solver process 29717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20011.9 s, system=7.73381 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
[startup+2520.12 s]*
/proc/loadavg: 8.13 8.16 8.22 3/205 30331
/proc/meminfo: memFree=28498336/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002073 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.13
CPU time (s): 20019.7
CPU user time (s): 20011.9
CPU system time (s): 7.73381
CPU usage (%): 794.39
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 677136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20011.9
system time used= 7.73381
maximum resident set size= 708668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1076907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275986
involuntary context switches= 215481
# summary of solver processes directly reported to runsolver:
# pid: 29715,29717
# total CPU time (s): 20019.7
# total CPU user time (s): 20011.9
# total CPU system time (s): 7.73381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1495 second user time and 26.9161 second system time
The end
Begin job on node107 at 2017-08-14 14:35:20 IDJOB=4270835 IDBENCH=124448 IDSOLVER=2662 FILE ID=node107/4270835-1502714979 RUNJOBID= node107-1502706555-27567 PBS_JOBID= 20629018 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270835-1502714979/watcher-4270835-1502714979 -o /tmp/evaluation-result-4270835-1502714979/solver-4270835-1502714979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502706555-27567 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 674703713 HOME/instance-4270835-1502714979.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=674703713 node107.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.84 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.84 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.84 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.84 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: 29117576 kB MemAvailable: 31989604 kB Buffers: 194540 kB Cached: 2965028 kB SwapCached: 0 kB Active: 546404 kB Inactive: 2665428 kB Active(anon): 54912 kB Inactive(anon): 24972 kB Active(file): 491492 kB Inactive(file): 2640456 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 57772 kB Mapped: 44580 kB Shmem: 25228 kB Slab: 137264 kB SReclaimable: 111832 kB SUnreclaim: 25432 kB KernelStack: 3152 kB PageTables: 4636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323112 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-14 15:17:20