Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 905 | 20020.699 | 2520.1201 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml |
MD5SUM | bb36812fd58cb568268e8c9b807d30b9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 853 |
Best CPU time to get the best result obtained on this benchmark | 2400.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1332 |
Number of constraints | 1295 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}] |
Minimum variable degree | 0 |
Maximum variable degree | 69 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 35 |
Distribution of constraint arities | [{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 35 |
Distribution of constraint types | [{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}] |
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-4280641-1503132909.xml" -tl '20160s' -p 8 -x 0 0.13/0.14 c [HOME/instance-4280641-1503132909.xml, -tl, 20160s, -p, 8, -x, 0] 0.13/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 3.34/1.06 c solve instance... 3.88/1.17 o 3892 4.47/1.20 o 3784 4.47/1.22 o 3775 4.47/1.24 o 3751 4.47/1.25 o 2568 6.01/1.44 o 2313 6.78/1.54 o 2278 9.11/1.83 o 2210 9.11/1.86 o 2206 9.11/1.87 o 2199 9.74/1.90 o 2192 9.74/1.93 o 2107 9.74/1.98 o 1896 10.62/2.09 o 1878 11.98/2.24 o 1876 11.98/2.29 o 1863 12.81/2.39 o 1834 15.10/2.64 o 1822 22.14/3.59 o 1781 23.66/3.72 o 1770 23.66/3.76 o 1757 24.34/3.83 o 1741 25.12/3.98 o 1739 25.97/4.06 o 1717 30.67/4.68 o 1705 33.05/4.99 o 1704 33.05/5.00 o 1695 34.67/5.15 o 1689 36.21/5.31 o 1659 36.21/5.36 o 1613 36.21/5.40 o 1597 39.30/5.76 o 1576 40.07/5.87 o 1575 40.07/5.88 o 1568 40.84/5.94 o 1558 42.50/6.16 o 1527 43.99/6.33 o 1484 43.99/6.38 o 1478 44.75/6.41 o 1472 44.75/6.44 o 1450 48.65/6.93 o 1446 48.65/6.96 o 1429 59.64/8.33 o 1407 60.41/8.46 o 1357 66.75/9.29 o 1355 67.58/9.39 o 1348 68.32/9.40 o 1344 68.32/9.44 o 1308 70.60/9.70 o 1302 104.06/13.95 o 1298 120.82/16.02 o 1294 120.82/16.03 o 1290 122.31/16.20 o 1286 146.21/19.21 o 1276 148.60/19.53 o 1256 170.06/22.24 o 1247 170.06/22.26 o 1236 307.18/39.48 o 1180 310.97/39.97 o 1175 317.41/40.72 o 1163 369.18/47.20 o 1160 395.48/50.59 o 1157 410.57/52.44 o 1151 427.29/54.54 o 1115 443.11/56.58 o 1100 466.75/59.55 o 1089 751.39/95.22 o 1073 751.39/95.28 o 1069 754.53/95.62 o 1068 787.10/99.79 o 1058 788.66/100.00 o 1057 835.70/105.80 o 1054 1035.82/130.98 o 994 1811.96/228.28 o 989 1887.45/237.73 o 977 2251.14/283.33 o 974 2621.90/329.89 o 960 3255.83/409.33 o 959 4260.50/535.79 o 949 5817.39/731.82 o 944 6261.55/787.84 o 942 8956.32/1127.05 o 940 10400.87/1309.25 o 939 12786.46/1609.58 o 936 17020.55/2142.84 o 927 19240.81/2421.98 o 925 19362.49/2437.32 o 905 20019.94/2520.10 s SATISFIABLE 20019.94/2520.10 v <instantiation> 20019.94/2520.10 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[0][31] x[0][32] x[0][33] x[0][34] x[0][35] 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[1][31] x[1][32] x[1][33] x[1][34] x[1][35] 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[2][31] x[2][32] x[2][33] x[2][34] x[2][35] 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[3][31] x[3][32] x[3][33] x[3][34] x[3][35] 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[4][31] x[4][32] x[4][33] x[4][34] x[4][35] 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[5][31] x[5][32] x[5][33] x[5][34] x[5][35] 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[6][31] x[6][32] x[6][33] x[6][34] x[6][35] 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[7][31] x[7][32] x[7][33] x[7][34] x[7][35] 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[8][31] x[8][32] x[8][33] x[8][34] x[8][35] 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[9][31] x[9][32] x[9][33] x[9][34] x[9][35] 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[10][31] x[10][32] x[10][33] x[10][34] x[10][35] 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[11][31] x[11][32] x[11][33] x[11][34] x[11][35] 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[12][31] x[12][32] x[12][33] x[12][34] x[12][35] 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[13][31] x[13][32] x[13][33] x[13][34] x[13][35] 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[14][31] x[14][32] x[14][33] x[14][34] x[14][35] 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[15][31] x[15][32] x[15][33] x[15][34] x[15][35] 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[16][31] x[16][32] x[16][33] x[16][34] x[16][35] 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[17][31] x[17][32] x[17][33] x[17][34] x[17][35] 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[18][31] x[18][32] x[18][33] x[18][34] x[18][35] 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[19][31] x[19][32] x[19][33] x[19][34] x[19][35] 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[20][31] x[20][32] x[20][33] x[20][34] x[20][35] 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[21][31] x[21][32] x[21][33] x[21][34] x[21][35] 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[22][31] x[22][32] x[22][33] x[22][34] x[22][35] 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[23][31] x[23][32] x[23][33] x[23][34] x[23][35] 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[24][31] x[24][32] x[24][33] x[24][34] x[24][35] 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[25][31] x[25][32] x[25][33] x[25][34] x[25][35] 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[26][31] x[26][32] x[26][33] x[26][34] x[26][35] 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[27][31] x[27][32] x[27][33] x[27][34] x[27][35] 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[28][31] x[28][32] x[28][33] x[28][34] x[28][35] 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[29][31] x[29][32] x[29][33] x[29][34] x[29][35] 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] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] 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] u[31] u[32] u[33] u[34] u[35] </list> 20019.94/2520.10 v <values>0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 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 1 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 90 37 62 47 99 65 63 57 81 40 13 48 21 97 67 100 25 19 36 87 29 52 71 13 100 100 89 63 81 63 34 41 27 23 49 </values> 20019.94/2520.10 v </instantiation> 20019.94/2520.10 c Unexpected resolution interruption!
OK 905
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 (10801 MiB free) memory of node 1: 16384 MiB (10084 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280641-1503132909/watcher-4280641-1503132909 -o /tmp/evaluation-result-4280641-1503132909/solver-4280641-1503132909 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1825500824 HOME/instance-4280641-1503132909.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=19704, runsolver pid=19701 [startup+0.105424 s]* /proc/loadavg: 7.85 7.90 7.98 2/200 19725 /proc/meminfo: memFree=21371828/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=25999808 memory=27496 CPUtime=0.13 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 5764 0 0 0 12 1 0 0 20 0 20 0 146371636 26623803392 6874 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6499952 6874 2873 1 0 6488269 0 [pid=19706/tid=19707] ppid=19704 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) R 19704 19704 19660 0 -1 4202560 3688 0 0 0 9 0 0 0 20 0 20 0 146371636 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876871299632 139876867097757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=25999808 memory=140683057587840 CPUtime=0 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19711] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19711/stat : 19711 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876422249488 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19712] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19712/stat : 19712 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876421196176 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19713] ppid=19704 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19713/stat : 19713 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876420143376 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19714] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19714/stat : 19714 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876419091088 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19715] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19715/stat : 19715 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26623803392 6874 33554432000 4194304 4196468 140733159790448 139876418038288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19716] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19716/stat : 19716 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371639 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875407882864 139876867086978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19717] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19717/stat : 19717 (java) S 19704 19704 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146371639 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875406828832 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19718] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19718/stat : 19718 (java) S 19704 19704 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146371639 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875405776496 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19719] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19719/stat : 19719 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875404724816 139876867094427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19720] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19720/stat : 19720 (java) S 19704 19704 19660 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875403671664 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19721] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19721/stat : 19721 (java) S 19704 19704 19660 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875402618864 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19722] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19722/stat : 19722 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875401566576 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19723] ppid=19704 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19706/task/19723/stat : 19723 (java) S 19704 19704 19660 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875400513776 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19724] ppid=19704 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19724/stat : 19724 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875399461728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19725] ppid=19704 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19725/stat : 19725 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26623803392 6874 33554432000 4194304 4196468 140733159790448 139875398409008 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28880 KiB [startup+0.210576 s]* /proc/loadavg: 7.85 7.90 7.98 3/200 19725 /proc/meminfo: memFree=21361028/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=26004064 memory=38436 CPUtime=0.33 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 8221 0 0 0 31 2 0 0 20 0 20 0 146371636 26628161536 9609 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6501016 9609 3003 1 0 6488269 0 [pid=19706/tid=19707] ppid=19704 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) R 19704 19704 19660 0 -1 4202560 5424 0 0 0 18 1 0 0 20 0 20 0 146371636 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876871296824 139876851156318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=26004064 memory=140683058570966 CPUtime=0 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19711] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19711/stat : 19711 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876422249488 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19712] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19712/stat : 19712 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876421196176 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19713] ppid=19704 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19713/stat : 19713 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876420143376 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19714] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19714/stat : 19714 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876419091088 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19715] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19715/stat : 19715 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 9609 33554432000 4194304 4196468 140733159790448 139876418038288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19716] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19716/stat : 19716 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875407882864 139876867086978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19717] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19717/stat : 19717 (java) S 19704 19704 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875406828832 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19718] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19718/stat : 19718 (java) S 19704 19704 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875405776496 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19719] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19719/stat : 19719 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875404724816 139876867094427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19720] ppid=19704 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19706/task/19720/stat : 19720 (java) S 19704 19704 19660 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875403671664 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19721] ppid=19704 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/19706/task/19721/stat : 19721 (java) S 19704 19704 19660 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875402618864 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19722] ppid=19704 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19722/stat : 19722 (java) S 19704 19704 19660 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875401566576 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19723] ppid=19704 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/19706/task/19723/stat : 19723 (java) R 19704 19704 19660 0 -1 4202560 702 0 0 0 7 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875400513776 139876867097178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19724] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19724/stat : 19724 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875399461728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19725] ppid=19704 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19725/stat : 19725 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 9609 33554432000 4194304 4196468 140733159790448 139875398409008 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39820 KiB [startup+0.310259 s]* /proc/loadavg: 7.85 7.90 7.98 3/200 19725 /proc/meminfo: memFree=21356252/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=26004064 memory=43880 CPUtime=0.5 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 9165 0 0 0 47 3 0 0 20 0 20 0 146371636 26628161536 10970 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6501016 10970 3110 1 0 6488269 0 [pid=19706/tid=19707] ppid=19704 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) R 19704 19704 19660 0 -1 4202560 6096 0 0 0 28 1 0 0 20 0 20 0 146371636 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876871314608 139876867087766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19711] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19711/stat : 19711 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876422249488 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19712] ppid=19704 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/19706/task/19712/stat : 19712 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876421196176 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19713] ppid=19704 vsize=26004064 memory=140682928944047 CPUtime=0 cores=0-7 /proc/19706/task/19713/stat : 19713 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876420143376 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19714] ppid=19704 vsize=26004064 memory=140682928946352 CPUtime=0 cores=0-7 /proc/19706/task/19714/stat : 19714 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876419091088 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19715] ppid=19704 vsize=26004064 memory=140682928948656 CPUtime=0 cores=0-7 /proc/19706/task/19715/stat : 19715 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26628161536 10970 33554432000 4194304 4196468 140733159790448 139876418038288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19716] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19716/stat : 19716 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875407882864 139876867086978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19717] ppid=19704 vsize=26004064 memory=281365857904272 CPUtime=0 cores=0-7 /proc/19706/task/19717/stat : 19717 (java) S 19704 19704 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875406828832 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19718] ppid=19704 vsize=26004064 memory=281365857911184 CPUtime=0 cores=0-7 /proc/19706/task/19718/stat : 19718 (java) S 19704 19704 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146371639 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875405776496 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19719] ppid=19704 vsize=26004064 memory=281365857852464 CPUtime=0 cores=0-7 /proc/19706/task/19719/stat : 19719 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875404724816 139876867094427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19720] ppid=19704 vsize=26004064 memory=281365857925008 CPUtime=0.01 cores=0-7 /proc/19706/task/19720/stat : 19720 (java) S 19704 19704 19660 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875403671664 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19721] ppid=19704 vsize=26004064 memory=281365857931920 CPUtime=0.03 cores=0-7 /proc/19706/task/19721/stat : 19721 (java) S 19704 19704 19660 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875402618864 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19722] ppid=19704 vsize=26004064 memory=281365857929616 CPUtime=0 cores=0-7 /proc/19706/task/19722/stat : 19722 (java) S 19704 19704 19660 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875401566576 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19723] ppid=19704 vsize=26004064 memory=281365857945776 CPUtime=0.12 cores=0-7 /proc/19706/task/19723/stat : 19723 (java) R 19704 19704 19660 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875400509456 139876867087766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19724] ppid=19704 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19724/stat : 19724 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875399461728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19725] ppid=19704 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19706/task/19725/stat : 19725 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146371642 26628161536 10970 33554432000 4194304 4196468 140733159790448 139875398409008 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45264 KiB [startup+0.700973 s] /proc/loadavg: 7.85 7.90 7.98 5/200 19725 /proc/meminfo: memFree=21328304/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=26006188 memory=96544 CPUtime=1.96 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 13132 0 0 0 192 4 0 0 20 0 20 0 146371636 26630336512 24136 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6501547 24136 3201 1 0 6488781 0 [pid=19706/tid=19707] ppid=19704 vsize=26006188 memory=281365858303664 CPUtime=0.67 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) R 19704 19704 19660 0 -1 4202560 6670 0 0 0 65 2 0 0 20 0 20 0 146371636 26630336512 24136 33554432000 4194304 4196468 140733159790448 139876871312640 139876502641151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=26006188 memory=140682929152880 CPUtime=0 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26630336512 24136 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146371637 26630336512 24136 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=26006188 memory=8728 CPUtime=0 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146371637 26630336512 24136 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 ################ # More data... # ################ [pid=19706/tid=20509] ppid=19704 vsize=26539728 memory=1384 CPUtime=4.93 cores=0-7 /proc/19706/task/20509/stat : 20509 (java) R 19704 19704 19660 0 -1 4202560 148 0 0 0 493 0 0 0 20 0 28 0 146615368 27176681472 208422 33554432000 4194304 4196468 140733159790448 139875387241400 139876507733227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 19402.1 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 835072 KiB [startup+2502.3 s] /proc/loadavg: 8.74 8.37 8.27 9/208 20509 /proc/meminfo: memFree=20598100/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=26539728 memory=794280 CPUtime=19879.1 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 1091740 0 0 0 1986860 1048 0 0 20 0 28 0 146371636 27176681472 198570 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6634932 198570 3304 1 0 6622166 0 [pid=19706/tid=19707] ppid=19704 vsize=26539728 memory=802488 CPUtime=1.13 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) S 19704 19704 19660 0 -1 1077944384 11924 0 0 0 109 4 0 0 20 0 28 0 146371636 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876871316608 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=26539728 memory=903484 CPUtime=7.34 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 43077 0 0 0 682 52 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=26539728 memory=814800 CPUtime=7.24 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 44231 0 0 0 672 52 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=26539728 memory=797356 CPUtime=7.36 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 41973 0 0 0 683 53 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19711] ppid=19704 vsize=26539728 memory=796332 CPUtime=7.39 cores=0-7 /proc/19706/task/19711/stat : 19711 (java) S 19704 19704 19660 0 -1 1077944384 50776 0 0 0 683 56 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876422249488 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19712] ppid=19704 vsize=26539728 memory=1384 CPUtime=7.33 cores=0-7 /proc/19706/task/19712/stat : 19712 (java) S 19704 19704 19660 0 -1 1077944384 41837 0 0 0 678 55 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876421196176 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19713] ppid=19704 vsize=26539728 memory=794280 CPUtime=7.38 cores=0-7 /proc/19706/task/19713/stat : 19713 (java) S 19704 19704 19660 0 -1 1077944384 39973 0 0 0 686 52 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876420143376 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19714] ppid=19704 vsize=26539728 memory=2408 CPUtime=7.29 cores=0-7 /proc/19706/task/19714/stat : 19714 (java) S 19704 19704 19660 0 -1 1077944384 46213 0 0 0 676 53 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876419091088 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19715] ppid=19704 vsize=26539728 memory=1732 CPUtime=7.36 cores=0-7 /proc/19706/task/19715/stat : 19715 (java) S 19704 19704 19660 0 -1 1077944384 43045 0 0 0 682 54 0 0 20 0 28 0 146371637 27176681472 198570 33554432000 4194304 4196468 140733159790448 139876418038288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19716] ppid=19704 vsize=26539728 memory=932 CPUtime=6.3 cores=0-7 /proc/19706/task/19716/stat : 19716 (java) S 19704 19704 19660 0 -1 1077944384 171171 0 0 0 364 266 0 0 20 0 28 0 146371639 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875407882864 139876867086978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19717] ppid=19704 vsize=26539728 memory=1572 CPUtime=0 cores=0-7 /proc/19706/task/19717/stat : 19717 (java) S 19704 19704 19660 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146371639 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875406828896 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19718] ppid=19704 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/19706/task/19718/stat : 19718 (java) S 19704 19704 19660 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 146371639 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875405776512 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19719] ppid=19704 vsize=26539728 memory=794792 CPUtime=0 cores=0-7 /proc/19706/task/19719/stat : 19719 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875404724816 139876867094427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19720] ppid=19704 vsize=26539728 memory=4144 CPUtime=2.85 cores=0-7 /proc/19706/task/19720/stat : 19720 (java) S 19704 19704 19660 0 -1 1077944384 13751 0 0 0 283 2 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875403671664 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19721] ppid=19704 vsize=26539728 memory=41092 CPUtime=2.9 cores=0-7 /proc/19706/task/19721/stat : 19721 (java) S 19704 19704 19660 0 -1 1077944384 14326 0 0 0 288 2 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875402618864 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19722] ppid=19704 vsize=26539728 memory=796 CPUtime=2.71 cores=0-7 /proc/19706/task/19722/stat : 19722 (java) S 19704 19704 19660 0 -1 1077944384 12522 0 0 0 269 2 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875401566576 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19723] ppid=19704 vsize=26539728 memory=1436 CPUtime=1.03 cores=0-7 /proc/19706/task/19723/stat : 19723 (java) S 19704 19704 19660 0 -1 1077944384 16757 0 0 0 99 4 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875400513776 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19724] ppid=19704 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19706/task/19724/stat : 19724 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875399461728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19725] ppid=19704 vsize=26539728 memory=0 CPUtime=0.85 cores=0-7 /proc/19706/task/19725/stat : 19725 (java) S 19704 19704 19660 0 -1 1077944384 9299 0 0 0 57 28 0 0 20 0 28 0 146371642 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875398409008 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20502] ppid=19704 vsize=26539728 memory=794280 CPUtime=64.38 cores=0-7 /proc/19706/task/20502/stat : 20502 (java) R 19704 19704 19660 0 -1 4202560 621 0 0 0 6438 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875390397992 139876505552885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20503] ppid=19704 vsize=26539728 memory=4144 CPUtime=64.07 cores=0-7 /proc/19706/task/20503/stat : 20503 (java) R 19704 19704 19660 0 -1 4202560 586 0 0 0 6407 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875385135512 139876507733613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20504] ppid=19704 vsize=26539728 memory=41092 CPUtime=64.35 cores=0-7 /proc/19706/task/20504/stat : 20504 (java) R 19704 19704 19660 0 -1 4202560 1670 0 0 0 6435 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875384082888 139876506584842 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20505] ppid=19704 vsize=26539728 memory=1296 CPUtime=64.39 cores=0-7 /proc/19706/task/20505/stat : 20505 (java) R 19704 19704 19660 0 -1 4202560 1246 0 0 0 6439 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875389345448 139876507299906 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20506] ppid=19704 vsize=26539728 memory=2408 CPUtime=64.39 cores=0-7 /proc/19706/task/20506/stat : 20506 (java) R 19704 19704 19660 0 -1 4202560 1058 0 0 0 6439 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875383029568 139876507298549 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20507] ppid=19704 vsize=26539728 memory=1732 CPUtime=64.22 cores=0-7 /proc/19706/task/20507/stat : 20507 (java) R 19704 19704 19660 0 -1 4202560 654 0 0 0 6422 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875386187960 139876507299793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20508] ppid=19704 vsize=26539728 memory=1384 CPUtime=64.22 cores=0-7 /proc/19706/task/20508/stat : 20508 (java) R 19704 19704 19660 0 -1 4202560 4748 0 0 0 6418 4 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875388296432 139876507299855 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20509] ppid=19704 vsize=26539728 memory=1384 CPUtime=64.13 cores=0-7 /proc/19706/task/20509/stat : 20509 (java) R 19704 19704 19660 0 -1 4202560 524 0 0 0 6413 0 0 0 20 0 28 0 146615368 27176681472 198570 33554432000 4194304 4196468 140733159790448 139875387240760 139876507733225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 19879.1 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 795664 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s]* /proc/loadavg: 8.80 8.41 8.28 10/208 20509 /proc/meminfo: memFree=20606300/32770624 swapFree=67108860/67108860 [pid=19704] ppid=19701 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19704/stat : 19704 (xcsp3-exec) S 19701 19704 19660 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146371636 9740288 346 33554432000 4194304 5098028 140720721570096 140720721568200 139719615795836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37920768 140720721572964 140720721573175 140720721573175 140720721575915 0 /proc/19704/statm: 2378 346 289 221 0 87 0 [pid=19706] ppid=19704 vsize=26539728 memory=784532 CPUtime=20019.9 cores=0-7 /proc/19706/stat : 19706 (java) S 19704 19704 19660 0 -1 1077944320 1105477 0 0 0 2000940 1054 0 0 20 0 28 0 146371636 27176681472 196133 33554432000 4194304 4196468 140733159790448 140733159772992 139876867075831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 /proc/19706/statm: 6634932 196133 3304 1 0 6622166 0 [pid=19706/tid=19707] ppid=19704 vsize=26539728 memory=4376 CPUtime=1.13 cores=0-7 /proc/19706/task/19707/stat : 19707 (java) S 19704 19704 19660 0 -1 1077944384 11924 0 0 0 109 4 0 0 20 0 28 0 146371636 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876871316608 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19708] ppid=19704 vsize=26539728 memory=1384 CPUtime=7.39 cores=0-7 /proc/19706/task/19708/stat : 19708 (java) S 19704 19704 19660 0 -1 1077944384 43398 0 0 0 687 52 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876819696528 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19709] ppid=19704 vsize=26539728 memory=786584 CPUtime=7.29 cores=0-7 /proc/19706/task/19709/stat : 19709 (java) S 19704 19704 19660 0 -1 1077944384 45442 0 0 0 677 52 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876818643728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19710] ppid=19704 vsize=26539728 memory=4126316290023845779 CPUtime=7.4 cores=0-7 /proc/19706/task/19710/stat : 19710 (java) S 19704 19704 19660 0 -1 1077944384 42776 0 0 0 687 53 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876423302288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19711] ppid=19704 vsize=26539728 memory=648 CPUtime=7.43 cores=0-7 /proc/19706/task/19711/stat : 19711 (java) S 19704 19704 19660 0 -1 1077944384 51248 0 0 0 687 56 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876422249488 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19712] ppid=19704 vsize=26539728 memory=1240 CPUtime=7.37 cores=0-7 /proc/19706/task/19712/stat : 19712 (java) S 19704 19704 19660 0 -1 1077944384 42834 0 0 0 682 55 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876421196176 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19713] ppid=19704 vsize=26539728 memory=960 CPUtime=7.42 cores=0-7 /proc/19706/task/19713/stat : 19713 (java) S 19704 19704 19660 0 -1 1077944384 40232 0 0 0 690 52 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876420143376 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19714] ppid=19704 vsize=26539728 memory=2424 CPUtime=7.34 cores=0-7 /proc/19706/task/19714/stat : 19714 (java) S 19704 19704 19660 0 -1 1077944384 46901 0 0 0 681 53 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876419091088 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19715] ppid=19704 vsize=26539728 memory=932 CPUtime=7.42 cores=0-7 /proc/19706/task/19715/stat : 19715 (java) S 19704 19704 19660 0 -1 1077944384 43542 0 0 0 687 55 0 0 20 0 28 0 146371637 27176681472 196133 33554432000 4194304 4196468 140733159790448 139876418038288 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19716] ppid=19704 vsize=26539728 memory=1572 CPUtime=6.34 cores=0-7 /proc/19706/task/19716/stat : 19716 (java) S 19704 19704 19660 0 -1 1077944384 172579 0 0 0 367 267 0 0 20 0 28 0 146371639 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875407882864 139876867086978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19717] ppid=19704 vsize=26539728 memory=2244 CPUtime=0 cores=0-7 /proc/19706/task/19717/stat : 19717 (java) S 19704 19704 19660 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146371639 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875406828896 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19718] ppid=19704 vsize=26539728 memory=4124 CPUtime=0 cores=0-7 /proc/19706/task/19718/stat : 19718 (java) S 19704 19704 19660 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 146371639 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875405776512 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19719] ppid=19704 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/19706/task/19719/stat : 19719 (java) S 19704 19704 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875404724816 139876867094427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19720] ppid=19704 vsize=26539728 memory=648 CPUtime=2.85 cores=0-7 /proc/19706/task/19720/stat : 19720 (java) S 19704 19704 19660 0 -1 1077944384 13757 0 0 0 283 2 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875403671664 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19721] ppid=19704 vsize=26539728 memory=1240 CPUtime=2.9 cores=0-7 /proc/19706/task/19721/stat : 19721 (java) S 19704 19704 19660 0 -1 1077944384 14332 0 0 0 288 2 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875402618864 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19722] ppid=19704 vsize=26539728 memory=960 CPUtime=2.71 cores=0-7 /proc/19706/task/19722/stat : 19722 (java) S 19704 19704 19660 0 -1 1077944384 12528 0 0 0 269 2 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875401566576 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19723] ppid=19704 vsize=26539728 memory=2424 CPUtime=1.03 cores=0-7 /proc/19706/task/19723/stat : 19723 (java) S 19704 19704 19660 0 -1 1077944384 16763 0 0 0 99 4 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875400513776 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19724] ppid=19704 vsize=26539728 memory=932 CPUtime=0 cores=0-7 /proc/19706/task/19724/stat : 19724 (java) S 19704 19704 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875399461728 139876867086037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=19725] ppid=19704 vsize=26539728 memory=1572 CPUtime=0.85 cores=0-7 /proc/19706/task/19725/stat : 19725 (java) S 19704 19704 19660 0 -1 1077944384 9418 0 0 0 57 28 0 0 20 0 28 0 146371642 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875398409008 139876867086978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20502] ppid=19704 vsize=26539728 memory=2244 CPUtime=81.94 cores=0-7 /proc/19706/task/20502/stat : 20502 (java) R 19704 19704 19660 0 -1 4202560 994 0 0 0 8194 0 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875390401232 139876507299858 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20503] ppid=19704 vsize=26539728 memory=4124 CPUtime=81.54 cores=0-7 /proc/19706/task/20503/stat : 20503 (java) R 19704 19704 19660 0 -1 4202560 983 0 0 0 8153 1 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875385135536 139876507735563 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20504] ppid=19704 vsize=26539728 memory=1384 CPUtime=81.96 cores=0-7 /proc/19706/task/20504/stat : 20504 (java) R 19704 19704 19660 0 -1 4202560 2778 0 0 0 8196 0 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875384082080 140733159814925 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20505] ppid=19704 vsize=26539728 memory=784532 CPUtime=82.01 cores=0-7 /proc/19706/task/20505/stat : 20505 (java) R 19704 19704 19660 0 -1 4202560 2160 0 0 0 8200 1 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875389345984 139876505553313 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20506] ppid=19704 vsize=26539728 memory=2408 CPUtime=81.98 cores=0-7 /proc/19706/task/20506/stat : 20506 (java) R 19704 19704 19660 0 -1 4202560 1835 0 0 0 8197 1 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875383029800 139876507297486 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20507] ppid=19704 vsize=26539728 memory=1732 CPUtime=81.67 cores=0-7 /proc/19706/task/20507/stat : 20507 (java) R 19704 19704 19660 0 -1 4202560 1069 0 0 0 8167 0 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875386187680 139876508185428 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20508] ppid=19704 vsize=26539728 memory=1224 CPUtime=81.78 cores=0-7 /proc/19706/task/20508/stat : 20508 (java) R 19704 19704 19660 0 -1 4202560 7316 0 0 0 8173 5 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875388292528 139876507054206 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 [pid=19706/tid=20509] ppid=19704 vsize=26539728 memory=12136 CPUtime=81.71 cores=0-7 /proc/19706/task/20509/stat : 20509 (java) R 19704 19704 19660 0 -1 4202560 910 0 0 0 8171 0 0 0 20 0 28 0 146615368 27176681472 196133 33554432000 4194304 4196468 140733159790448 139875387240480 139876505553329 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35483648 140733159797906 140733159798083 140733159798083 140733159800783 0 Current children cumulated CPU time: 20019.9 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 785916 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 19704 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000984 s, system=0.000984 s [startup+2520.12 s] # the end of solver process 19706 was just reported to runsolver # cumulated CPU time of all completed processes: user=20010.2 s, system=10.553 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.12 CPU time (s): 20020.7 CPU user time (s): 20010.2 CPU system time (s): 10.553 CPU usage (%): 794.434 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 1567796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20010.2 system time used= 10.553 maximum resident set size= 1566412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1106251 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 262798 involuntary context switches= 214258 # summary of solver processes directly reported to runsolver: # pid: 19704,19706 # total CPU time (s): 20020.7 # total CPU user time (s): 20010.2 # total CPU system time (s): 10.553 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.0116 second user time and 22.8899 second system time The end
Begin job on node149 at 2017-08-19 10:40:49 IDJOB=4280641 IDBENCH=124412 IDSOLVER=2675 FILE ID=node149/4280641-1503132909 RUNJOBID= node149-1503132049-19687 PBS_JOBID= 20630788 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-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-4280641-1503132909/watcher-4280641-1503132909 -o /tmp/evaluation-result-4280641-1503132909/solver-4280641-1503132909 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1825500824 HOME/instance-4280641-1503132909.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1825500824 node149.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.43 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.43 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.43 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.43 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: 21387400 kB MemAvailable: 31950392 kB Buffers: 346080 kB Cached: 10487988 kB SwapCached: 0 kB Active: 2161816 kB Inactive: 8726812 kB Active(anon): 57480 kB Inactive(anon): 33140 kB Active(file): 2104336 kB Inactive(file): 8693672 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7764 kB Writeback: 0 kB AnonPages: 62168 kB Mapped: 50560 kB Shmem: 33416 kB Slab: 188052 kB SReclaimable: 161640 kB SUnreclaim: 26412 kB KernelStack: 3104 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333000 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: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61760 MiB End job on node149 at 2017-08-19 11:22:49