Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 990 | 1920.36 | 244.436 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml |
MD5SUM | 4e8baeb7bdba194b7c2724961347fdb9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 776 |
Best CPU time to get the best result obtained on this benchmark | 251.925 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2070 |
Number of constraints | 2024 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}] |
Minimum variable degree | 0 |
Maximum variable degree | 87 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 44 |
Distribution of constraint arities | [{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 44 |
Distribution of constraint types | [{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.07 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254876-1501683916.xml" -tl '1920s' -p 8 -x 0 0.00/0.25 c [HOME/instance-4254876-1501683916.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.31 c 8 solvers in parallel 0.00/0.38 c parse instance... 4.10/1.30 c solve instance... 4.80/1.44 o 3706 4.80/1.47 o 2213 22.95/3.79 o 2201 25.29/4.07 o 2199 26.06/4.14 o 2189 26.06/4.16 o 2136 26.80/4.21 o 2122 26.80/4.25 o 2097 28.25/4.50 o 2095 31.35/4.81 o 2048 32.10/4.96 o 2039 32.85/5.09 o 1989 35.22/5.33 o 1943 36.00/5.48 o 1922 38.37/5.76 o 1906 40.01/5.95 o 1833 40.73/6.09 o 1830 47.83/6.99 o 1809 49.40/7.10 o 1803 51.78/7.40 o 1772 57.33/8.18 o 1744 58.19/8.24 o 1734 58.86/8.39 o 1718 64.42/9.02 o 1713 83.53/11.46 o 1707 98.69/13.38 o 1646 99.41/13.48 o 1645 112.92/15.11 o 1632 144.01/19.02 o 1619 148.74/19.65 o 1607 165.48/21.77 o 1601 173.44/22.71 o 1575 173.44/22.78 o 1556 176.62/23.13 o 1555 180.55/23.64 o 1539 181.33/23.78 o 1500 182.11/23.86 o 1478 184.49/24.17 o 1446 184.49/24.19 o 1441 185.36/24.22 o 1425 187.62/24.55 o 1424 188.41/24.61 o 1415 189.97/24.85 o 1413 190.72/24.99 o 1409 199.54/26.06 o 1406 219.35/28.50 o 1358 248.83/32.25 o 1357 265.55/34.34 o 1350 265.55/34.36 o 1345 286.27/36.95 o 1344 322.15/41.49 o 1337 322.38/41.57 o 1331 341.47/43.94 o 1330 341.47/43.96 o 1284 383.70/49.28 o 1266 417.21/53.48 o 1264 464.77/59.56 o 1222 482.69/61.90 o 1216 493.80/63.23 o 1213 503.34/64.49 o 1184 520.07/66.53 o 1183 520.07/66.55 o 1181 520.07/66.57 o 1178 536.74/68.61 o 1170 542.36/69.39 o 1167 547.87/70.06 o 1162 547.87/70.08 o 1161 561.36/71.79 o 1153 562.21/71.84 o 1152 573.32/73.21 o 1143 583.60/74.53 o 1139 584.39/74.64 o 1138 612.35/78.20 o 1137 624.94/80.18 o 1135 625.16/80.26 o 1131 675.85/86.64 o 1130 728.24/93.22 o 1114 731.45/93.67 o 1109 733.74/93.97 o 1108 745.68/95.47 o 1083 884.58/112.83 o 1055 969.22/123.73 o 1053 1008.42/128.76 o 1051 1443.81/183.30 o 1045 1458.21/185.57 o 1032 1458.21/185.60 o 1030 1543.53/196.30 o 1024 1805.87/230.05 o 1004 1805.87/230.08 o 996 1898.04/241.66 o 990 1920.36/244.48 s SATISFIABLE 1920.36/244.48 v <instantiation> 1920.36/244.48 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[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] 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[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] 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[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] 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[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] 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[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] 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] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list> 1920.36/244.48 v <values>0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 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 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 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 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 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 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 0 0 0 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 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 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 100 44 82 58 53 96 50 85 24 31 15 66 76 97 65 72 100 18 92 52 13 100 75 98 29 76 65 33 78 63 59 92 36 12 43 47 25 60 99 64 22 17 32 37 </values> 1920.36/244.48 v </instantiation> 1920.36/244.48 c Unexpected resolution interruption!
OK 990
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254876-1501683916/watcher-4254876-1501683916 -o /tmp/evaluation-result-4254876-1501683916/solver-4254876-1501683916 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 729602724 HOME/instance-4254876-1501683916.xml pid=16772 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.04 7.78 7.28 2/173 16775 /proc/meminfo: memFree=31805932/32770624 swapFree=0/302328 [pid=16775] ppid=16772 vsize=23672 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (runsolver) D 16772 16775 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 2218667 24240128 107 18446744073709551615 4194304 4338465 140736490644576 140736490642216 140298020274903 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 37224448 140736490651734 140736490652229 140736490652229 140736490655690 0 /proc/16775/statm: 5918 107 54 36 0 2156 0 [startup+0.10015 s] /proc/loadavg: 8.04 7.78 7.28 2/173 16775 /proc/meminfo: memFree=31805932/32770624 swapFree=0/302328 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200237 s] /proc/loadavg: 8.04 7.78 7.28 2/173 16775 /proc/meminfo: memFree=31805932/32770624 swapFree=0/302328 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300313 s] /proc/loadavg: 8.04 7.78 7.28 2/173 16775 /proc/meminfo: memFree=31805932/32770624 swapFree=0/302328 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.702662 s] /proc/loadavg: 8.04 7.78 7.28 2/173 16775 /proc/meminfo: memFree=31805932/32770624 swapFree=0/302328 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50077 s] /proc/loadavg: 8.04 7.78 7.28 8/194 16796 /proc/meminfo: memFree=31616080/32770624 swapFree=0/302100 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 [pid=16777] ppid=16775 vsize=26534456 CPUtime=5.49 cores=0-7 /proc/16777/stat : 16777 (java) S 16775 16775 2334 0 -1 1077944320 19335 0 0 0 536 13 0 0 20 0 21 0 2218674 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 140737414154816 139926728847095 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 /proc/16777/statm: 6633614 58973 3217 1 0 6621915 0 [pid=16777/tid=16778] ppid=16775 vsize=26534456 CPUtime=1.19 cores=0-7 /proc/16777/task/16778/stat : 16778 (java) S 16775 16775 2334 0 -1 1077944384 8804 0 0 0 115 4 0 0 20 0 21 0 2218674 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926733087872 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16779] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16779/stat : 16779 (java) S 16775 16775 2334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926685813776 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16780] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16780/stat : 16780 (java) S 16775 16775 2334 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926684761232 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16781] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16781/stat : 16781 (java) S 16775 16775 2334 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926683708176 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16782] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16782/stat : 16782 (java) S 16775 16775 2334 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926682655632 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16783] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16783/stat : 16783 (java) S 16775 16775 2334 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926681602576 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16784] ppid=16775 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16777/task/16784/stat : 16784 (java) S 16775 16775 2334 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926680550032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16785] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16785/stat : 16785 (java) S 16775 16775 2334 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926285187344 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16786] ppid=16775 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16777/task/16786/stat : 16786 (java) S 16775 16775 2334 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 21 0 2218675 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139926284134800 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16787] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16787/stat : 16787 (java) R 16775 16775 2334 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 21 0 2218676 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924983301408 139926713206505 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16788] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16788/stat : 16788 (java) S 16775 16775 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2218677 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924982249120 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16789] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16789/stat : 16789 (java) S 16775 16775 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2218677 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924981196016 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16790] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16790/stat : 16790 (java) S 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2218679 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924980144592 139926728865691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16791] ppid=16775 vsize=26534456 CPUtime=0.95 cores=0-7 /proc/16777/task/16791/stat : 16791 (java) S 16775 16775 2334 0 -1 1077944384 1947 0 0 0 95 0 0 0 20 0 21 0 2218679 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924979076688 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16792] ppid=16775 vsize=26534456 CPUtime=0.94 cores=0-7 /proc/16777/task/16792/stat : 16792 (java) S 16775 16775 2334 0 -1 1077944384 1615 0 0 0 94 0 0 0 20 0 21 0 2218679 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924978026992 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16793] ppid=16775 vsize=26534456 CPUtime=0.92 cores=0-7 /proc/16777/task/16793/stat : 16793 (java) R 16775 16775 2334 0 -1 4202560 2236 0 0 0 92 0 0 0 20 0 21 0 2218680 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924976976016 139926712373583 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16794] ppid=16775 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/16777/task/16794/stat : 16794 (java) S 16775 16775 2334 0 -1 1077944384 2551 0 0 0 58 1 0 0 20 0 21 0 2218680 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924975933552 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16795] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16795/stat : 16795 (java) S 16775 16775 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2218680 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924974881760 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16796] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16796/stat : 16796 (java) S 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2218684 27171282944 58973 18446744073709551615 4194304 4196468 140737414172272 139924973829296 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 Current children cumulated CPU time (s) 5.49 Current children cumulated vsize (KiB) 26543968 [startup+3.10573 s] /proc/loadavg: 8.04 7.78 7.28 13/202 16820 /proc/meminfo: memFree=31566200/32770624 swapFree=0/302100 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 [pid=16777] ppid=16775 vsize=26534456 CPUtime=18.23 cores=0-7 /proc/16777/stat : 16777 (java) S 16775 16775 2334 0 -1 1077944320 25365 0 0 0 1805 18 0 0 20 0 28 0 2218674 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 140737414154816 139926728847095 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 /proc/16777/statm: 6633614 69024 3240 1 0 6621915 0 [pid=16777/tid=16778] ppid=16775 vsize=26534456 CPUtime=1.19 cores=0-7 /proc/16777/task/16778/stat : 16778 (java) S 16775 16775 2334 0 -1 1077944384 8804 0 0 0 115 4 0 0 20 0 28 0 2218674 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926733087872 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16779] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16779/stat : 16779 (java) S 16775 16775 2334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926685813776 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16780] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16780/stat : 16780 (java) S 16775 16775 2334 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926684761232 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16781] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16781/stat : 16781 (java) S 16775 16775 2334 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926683708176 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16782] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16782/stat : 16782 (java) S 16775 16775 2334 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926682655632 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16783] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16783/stat : 16783 (java) S 16775 16775 2334 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926681602576 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16784] ppid=16775 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16777/task/16784/stat : 16784 (java) S 16775 16775 2334 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926680550032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16785] ppid=16775 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16777/task/16785/stat : 16785 (java) S 16775 16775 2334 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926285187344 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16786] ppid=16775 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16777/task/16786/stat : 16786 (java) S 16775 16775 2334 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 2218675 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139926284134800 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16787] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16787/stat : 16787 (java) S 16775 16775 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 2218676 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924983302896 139926728858242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16788] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16788/stat : 16788 (java) S 16775 16775 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924982249184 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16789] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16789/stat : 16789 (java) S 16775 16775 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924981196032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16790] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16790/stat : 16790 (java) S 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2218679 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924980144592 139926728865691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16791] ppid=16775 vsize=26534456 CPUtime=2.05 cores=0-7 /proc/16777/task/16791/stat : 16791 (java) R 16775 16775 2334 0 -1 4202560 3290 0 0 0 204 1 0 0 20 0 28 0 2218679 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924979078160 139926707226962 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16792] ppid=16775 vsize=26534456 CPUtime=1.79 cores=0-7 /proc/16777/task/16792/stat : 16792 (java) R 16775 16775 2334 0 -1 4202560 3839 0 0 0 178 1 0 0 20 0 28 0 2218679 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924978039280 139926708268803 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16793] ppid=16775 vsize=26534456 CPUtime=1.79 cores=0-7 /proc/16777/task/16793/stat : 16793 (java) R 16775 16775 2334 0 -1 1077944384 3424 0 0 0 178 1 0 0 20 0 28 0 2218680 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924976969456 139926728857301 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16794] ppid=16775 vsize=26534456 CPUtime=0.74 cores=0-7 /proc/16777/task/16794/stat : 16794 (java) R 16775 16775 2334 0 -1 1077944384 3561 0 0 0 73 1 0 0 20 0 28 0 2218680 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924975933360 139926728857301 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16795] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16795/stat : 16795 (java) S 16775 16775 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2218680 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924974881760 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16796] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16796/stat : 16796 (java) R 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2218684 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924973829296 139926728858242 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16813] ppid=16775 vsize=26534456 CPUtime=1.07 cores=0-7 /proc/16777/task/16813/stat : 16813 (java) R 16775 16775 2334 0 -1 4202560 27 0 0 0 107 0 0 0 20 0 28 0 2218815 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924959504544 139926360405314 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16814] ppid=16775 vsize=26534456 CPUtime=1.29 cores=0-7 /proc/16777/task/16814/stat : 16814 (java) R 16775 16775 2334 0 -1 4202560 24 0 0 0 129 0 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924960555648 139926360413051 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16815] ppid=16775 vsize=26534456 CPUtime=1.28 cores=0-7 /proc/16777/task/16815/stat : 16815 (java) R 16775 16775 2334 0 -1 1077944384 46 0 0 0 128 0 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924961609968 139926728857301 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16816] ppid=16775 vsize=26534456 CPUtime=1.42 cores=0-7 /proc/16777/task/16816/stat : 16816 (java) S 16775 16775 2334 0 -1 1077944384 53 0 0 0 142 0 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924962659696 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16817] ppid=16775 vsize=26534456 CPUtime=1.23 cores=0-7 /proc/16777/task/16817/stat : 16817 (java) R 16775 16775 2334 0 -1 4202560 60 0 0 0 122 1 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924958449664 139926360418243 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16818] ppid=16775 vsize=26534456 CPUtime=1.29 cores=0-7 /proc/16777/task/16818/stat : 16818 (java) R 16775 16775 2334 0 -1 4202560 26 0 0 0 129 0 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924963715312 139926368186545 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16819] ppid=16775 vsize=26534456 CPUtime=1.06 cores=0-7 /proc/16777/task/16819/stat : 16819 (java) R 16775 16775 2334 0 -1 4202560 20 0 0 0 106 0 0 0 20 0 28 0 2218817 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924965818784 139926360386128 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16820] ppid=16775 vsize=26534456 CPUtime=1.08 cores=0-7 /proc/16777/task/16820/stat : 16820 (java) R 16775 16775 2334 0 -1 4202560 25 0 0 0 108 0 0 0 20 0 28 0 2218818 27171282944 69024 18446744073709551615 4194304 4196468 140737414172272 139924964768496 139926360418243 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 Current children cumulated CPU time (s) 18.23 Current children cumulated vsize (KiB) 26543968 [startup+6.30174 s] /proc/loadavg: 8.27 7.83 7.30 13/202 16916 /proc/meminfo: memFree=31396112/32770624 swapFree=0/302112 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 [pid=16777] ppid=16775 vsize=26534456 CPUtime=43.07 cores=0-7 /proc/16777/stat : 16777 (java) S 16775 16775 2334 0 -1 1077944320 36625 0 0 0 4271 36 0 0 20 0 28 0 2218674 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 140737414154816 139926728847095 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 /proc/16777/statm: 6633614 149169 3256 1 0 6621915 0 [pid=16777/tid=16778] ppid=16775 vsize=26534456 CPUtime=1.21 cores=0-7 /proc/16777/task/16778/stat : 16778 (java) S 16775 16775 2334 0 -1 1077944384 8913 0 0 0 117 4 0 0 20 0 28 0 2218674 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 139926733087872 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16779] ppid=16775 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16777/task/16779/stat : 16779 (java) S 16775 16775 2334 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 28 0 2218675 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 139926685813776 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16780] ppid=16775 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16777/task/16780/stat : 16780 (java) S 16775 16775 2334 0 -1 1077944384 79 0 0 0 2 1 0 0 20 0 28 0 2218675 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 139926684761232 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16781] ppid=16775 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/16777/task/16781/stat : 16781 (java) S 16775 16775 2334 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 28 0 2218675 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 139926683708176 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16782] ppid=16775 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/16777/task/16782/stat : 16782 (java) S 16775 16775 2334 0 -1 1077944384 193 0 0 0 4 1 0 0 20 0 28 0 2218675 27171282944 149169 18446744073709551615 4194304 4196468 140737414172272 139926682655632 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 ################ # More data... # ################ [pid=16777/tid=17469] ppid=16775 vsize=26534456 CPUtime=33.5 cores=0-7 /proc/16777/task/17469/stat : 17469 (java) R 16775 16775 2334 0 -1 4202560 602 0 0 0 3350 0 0 0 20 0 28 0 2231543 27171282944 548078 18446744073709551615 4194304 4196468 140737414172272 139924963718040 139926367436260 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17470] ppid=16775 vsize=26534456 CPUtime=33.5 cores=0-7 /proc/16777/task/17470/stat : 17470 (java) R 16775 16775 2334 0 -1 4202560 2110 0 0 0 3345 5 0 0 20 0 28 0 2231543 27171282944 548078 18446744073709551615 4194304 4196468 140737414172272 139924961610992 139926370774723 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 Current children cumulated CPU time (s) 1276.14 Current children cumulated vsize (KiB) 26543968 [startup+222.308 s] /proc/loadavg: 8.44 8.05 7.49 9/201 17503 /proc/meminfo: memFree=29638704/32770624 swapFree=0/302272 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 [pid=16777] ppid=16775 vsize=26534456 CPUtime=1751.04 cores=0-7 /proc/16777/stat : 16777 (java) S 16775 16775 2334 0 -1 1077944320 196518 0 0 0 174839 265 0 0 20 0 28 0 2218674 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 140737414154816 139926728847095 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 /proc/16777/statm: 6633614 543570 3256 1 0 6621915 0 [pid=16777/tid=16778] ppid=16775 vsize=26534456 CPUtime=1.28 cores=0-7 /proc/16777/task/16778/stat : 16778 (java) S 16775 16775 2334 0 -1 1077944384 15996 0 0 0 123 5 0 0 20 0 28 0 2218674 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926733087872 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16779] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16779/stat : 16779 (java) S 16775 16775 2334 0 -1 1077944384 668 0 0 0 8 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926685813776 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16780] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16780/stat : 16780 (java) S 16775 16775 2334 0 -1 1077944384 454 0 0 0 8 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926684761232 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16781] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16781/stat : 16781 (java) S 16775 16775 2334 0 -1 1077944384 969 0 0 0 9 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926683708176 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16782] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16782/stat : 16782 (java) S 16775 16775 2334 0 -1 1077944384 1215 0 0 0 9 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926682655632 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16783] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16783/stat : 16783 (java) S 16775 16775 2334 0 -1 1077944384 1157 0 0 0 9 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926681602576 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16784] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16784/stat : 16784 (java) S 16775 16775 2334 0 -1 1077944384 513 0 0 0 10 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926680550032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16785] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16785/stat : 16785 (java) S 16775 16775 2334 0 -1 1077944384 512 0 0 0 9 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926285187344 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16786] ppid=16775 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16777/task/16786/stat : 16786 (java) S 16775 16775 2334 0 -1 1077944384 838 0 0 0 8 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926284134800 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16787] ppid=16775 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16777/task/16787/stat : 16787 (java) S 16775 16775 2334 0 -1 1077944384 4833 0 0 0 3 3 0 0 20 0 28 0 2218676 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924983302896 139926728858242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16788] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16788/stat : 16788 (java) S 16775 16775 2334 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924982249184 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16789] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16789/stat : 16789 (java) S 16775 16775 2334 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924981196032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16790] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16790/stat : 16790 (java) S 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924980144592 139926728865691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16791] ppid=16775 vsize=26534456 CPUtime=3.22 cores=0-7 /proc/16777/task/16791/stat : 16791 (java) S 16775 16775 2334 0 -1 1077944384 13138 0 0 0 319 3 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924979091696 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16792] ppid=16775 vsize=26534456 CPUtime=2.86 cores=0-7 /proc/16777/task/16792/stat : 16792 (java) S 16775 16775 2334 0 -1 1077944384 13285 0 0 0 283 3 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924978039152 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16793] ppid=16775 vsize=26534456 CPUtime=3.04 cores=0-7 /proc/16777/task/16793/stat : 16793 (java) S 16775 16775 2334 0 -1 1077944384 13679 0 0 0 301 3 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924976986096 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16794] ppid=16775 vsize=26534456 CPUtime=1.01 cores=0-7 /proc/16777/task/16794/stat : 16794 (java) S 16775 16775 2334 0 -1 1077944384 17285 0 0 0 98 3 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924975933552 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16795] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16795/stat : 16795 (java) S 16775 16775 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924974881760 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16796] ppid=16775 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16777/task/16796/stat : 16796 (java) S 16775 16775 2334 0 -1 1077944384 2780 0 0 0 0 6 0 0 20 0 28 0 2218684 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924973829296 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17496] ppid=16775 vsize=26534456 CPUtime=25.97 cores=0-7 /proc/16777/task/17496/stat : 17496 (java) R 16775 16775 2334 0 -1 4202560 515 0 0 0 2597 0 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924959501464 139926367436137 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17497] ppid=16775 vsize=26534456 CPUtime=25.96 cores=0-7 /proc/16777/task/17497/stat : 17497 (java) R 16775 16775 2334 0 -1 4202560 509 0 0 0 2596 0 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924962661464 139926370668025 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17498] ppid=16775 vsize=26534456 CPUtime=25.96 cores=0-7 /proc/16777/task/17498/stat : 17498 (java) R 16775 16775 2334 0 -1 4202560 2077 0 0 0 2596 0 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924963713128 139926370025556 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17499] ppid=16775 vsize=26534456 CPUtime=25.97 cores=0-7 /proc/16777/task/17499/stat : 17499 (java) R 16775 16775 2334 0 -1 4202560 1290 0 0 0 2593 4 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924960559072 139926370668046 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17500] ppid=16775 vsize=26534456 CPUtime=25.58 cores=0-7 /proc/16777/task/17500/stat : 17500 (java) R 16775 16775 2334 0 -1 4202560 508 0 0 0 2558 0 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924958453912 139926368992068 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17501] ppid=16775 vsize=26534456 CPUtime=25.96 cores=0-7 /proc/16777/task/17501/stat : 17501 (java) R 16775 16775 2334 0 -1 4202560 1880 0 0 0 2592 4 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924965818296 139926366960152 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17502] ppid=16775 vsize=26534456 CPUtime=25.97 cores=0-7 /proc/16777/task/17502/stat : 17502 (java) R 16775 16775 2334 0 -1 4202560 1513 0 0 0 2591 6 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924961608032 139926370559501 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17503] ppid=16775 vsize=26534456 CPUtime=25.97 cores=0-7 /proc/16777/task/17503/stat : 17503 (java) R 16775 16775 2334 0 -1 4202560 588 0 0 0 2597 0 0 0 20 0 28 0 2238297 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924964766344 139926367377763 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 Current children cumulated CPU time (s) 1751.04 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+244.402 s] /proc/loadavg: 8.51 8.10 7.52 9/201 17528 /proc/meminfo: memFree=29639004/32770624 swapFree=0/302288 [pid=16775] ppid=16772 vsize=9512 CPUtime=0 cores=0-7 /proc/16775/stat : 16775 (xcsp3-exec) S 16772 16775 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 2218667 9740288 345 18446744073709551615 4194304 5098028 140735107156112 140735107154216 140362802168444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23461888 140735107162517 140735107162726 140735107162726 140735107166187 0 /proc/16775/statm: 2378 345 289 221 0 87 0 [pid=16777] ppid=16775 vsize=26534456 CPUtime=1920.36 cores=0-7 /proc/16777/stat : 16777 (java) S 16775 16775 2334 0 -1 1077944320 206000 0 0 0 191756 280 0 0 20 0 28 0 2218674 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 140737414154816 139926728847095 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 /proc/16777/statm: 6633614 543570 3256 1 0 6621915 0 [pid=16777/tid=16778] ppid=16775 vsize=26534456 CPUtime=1.29 cores=0-7 /proc/16777/task/16778/stat : 16778 (java) S 16775 16775 2334 0 -1 1077944384 16541 0 0 0 124 5 0 0 20 0 28 0 2218674 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926733087872 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16779] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16779/stat : 16779 (java) S 16775 16775 2334 0 -1 1077944384 668 0 0 0 8 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926685813776 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16780] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16780/stat : 16780 (java) S 16775 16775 2334 0 -1 1077944384 454 0 0 0 8 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926684761232 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16781] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16781/stat : 16781 (java) S 16775 16775 2334 0 -1 1077944384 969 0 0 0 9 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926683708176 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16782] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16782/stat : 16782 (java) S 16775 16775 2334 0 -1 1077944384 1215 0 0 0 9 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926682655632 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16783] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16783/stat : 16783 (java) S 16775 16775 2334 0 -1 1077944384 1157 0 0 0 9 6 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926681602576 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16784] ppid=16775 vsize=26534456 CPUtime=0.15 cores=0-7 /proc/16777/task/16784/stat : 16784 (java) S 16775 16775 2334 0 -1 1077944384 513 0 0 0 10 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926680550032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16785] ppid=16775 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16777/task/16785/stat : 16785 (java) S 16775 16775 2334 0 -1 1077944384 512 0 0 0 9 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926285187344 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16786] ppid=16775 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16777/task/16786/stat : 16786 (java) S 16775 16775 2334 0 -1 1077944384 838 0 0 0 8 5 0 0 20 0 28 0 2218675 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139926284134800 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16787] ppid=16775 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16777/task/16787/stat : 16787 (java) S 16775 16775 2334 0 -1 1077944384 4869 0 0 0 3 3 0 0 20 0 28 0 2218676 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924983302896 139926728858242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16788] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16788/stat : 16788 (java) S 16775 16775 2334 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924982249184 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16789] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16789/stat : 16789 (java) S 16775 16775 2334 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 2218677 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924981196032 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16790] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16790/stat : 16790 (java) S 16775 16775 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924980144592 139926728865691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16791] ppid=16775 vsize=26534456 CPUtime=3.22 cores=0-7 /proc/16777/task/16791/stat : 16791 (java) S 16775 16775 2334 0 -1 1077944384 13157 0 0 0 319 3 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924979091696 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16792] ppid=16775 vsize=26534456 CPUtime=2.87 cores=0-7 /proc/16777/task/16792/stat : 16792 (java) S 16775 16775 2334 0 -1 1077944384 13697 0 0 0 284 3 0 0 20 0 28 0 2218679 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924978039152 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16793] ppid=16775 vsize=26534456 CPUtime=3.04 cores=0-7 /proc/16777/task/16793/stat : 16793 (java) S 16775 16775 2334 0 -1 1077944384 13694 0 0 0 301 3 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924976986096 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16794] ppid=16775 vsize=26534456 CPUtime=1.01 cores=0-7 /proc/16777/task/16794/stat : 16794 (java) S 16775 16775 2334 0 -1 1077944384 17309 0 0 0 98 3 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924975933552 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16795] ppid=16775 vsize=26534456 CPUtime=0 cores=0-7 /proc/16777/task/16795/stat : 16795 (java) S 16775 16775 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2218680 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924974881760 139926728857301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=16796] ppid=16775 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16777/task/16796/stat : 16796 (java) S 16775 16775 2334 0 -1 1077944384 2971 0 0 0 0 6 0 0 20 0 28 0 2218684 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924973829296 139926728858242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17521] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17521/stat : 17521 (java) R 16775 16775 2334 0 -1 4202560 150 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924963716616 139926367376428 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17522] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17522/stat : 17522 (java) R 16775 16775 2334 0 -1 4202560 143 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924960559864 139926367436209 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17523] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17523/stat : 17523 (java) R 16775 16775 2334 0 -1 4202560 382 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924961612152 139926368791982 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17524] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17524/stat : 17524 (java) R 16775 16775 2334 0 -1 4202560 368 0 0 0 272 1 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924965825608 139926367436137 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17525] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17525/stat : 17525 (java) R 16775 16775 2334 0 -1 4202560 233 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924958456520 139926369913089 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17526] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17526/stat : 17526 (java) R 16775 16775 2334 0 -1 4202560 97 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924964772680 139926367436137 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17527] ppid=16775 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/16777/task/17527/stat : 17527 (java) R 16775 16775 2334 0 -1 4202560 70 0 0 0 273 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924959509960 139926368990990 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 [pid=16777/tid=17528] ppid=16775 vsize=26534456 CPUtime=2.68 cores=0-7 /proc/16777/task/17528/stat : 17528 (java) R 16775 16775 2334 0 -1 4202560 323 0 0 0 268 0 0 0 20 0 28 0 2242833 27171282944 543570 18446744073709551615 4194304 4196468 140737414172272 139924962668104 139926364685963 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140737414177234 140737414177410 140737414177410 140737414180815 0 Current children cumulated CPU time (s) 1920.36 Current children cumulated vsize (KiB) 26543968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16777 sig 9 ??? kill 16775 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16775 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1852 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=264 # CPU time returned by wait4() is 0.002116 # while last known CPU time is 1920.36 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 244.436 CPU time (s): 1920.36 CPU user time (s): 1917.56 CPU system time (s): 2.8 CPU usage (%): 785.63 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001852 system time used= 0.000264 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.768 second user time and 1.79735 second system time The end
Begin job on node130 at 2017-08-02 16:11:22 IDJOB=4254876 IDBENCH=124419 IDSOLVER=2636 FILE ID=node130/4254876-1501683916 RUNJOBID= node130-1501661057-2426 PBS_JOBID= Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-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-4254876-1501683916/watcher-4254876-1501683916 -o /tmp/evaluation-result-4254876-1501683916/solver-4254876-1501683916 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 729602724 HOME/instance-4254876-1501683916.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9 RANDOM SEED=729602724 node130.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.79 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.79 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.79 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.79 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: 31805972 kB MemAvailable: 32022612 kB Buffers: 104164 kB Cached: 392976 kB SwapCached: 0 kB Active: 245960 kB Inactive: 310884 kB Active(anon): 60008 kB Inactive(anon): 8556 kB Active(file): 185952 kB Inactive(file): 302328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7844 kB Writeback: 0 kB AnonPages: 59404 kB Mapped: 27888 kB Shmem: 8868 kB Slab: 112308 kB SReclaimable: 88388 kB SUnreclaim: 23920 kB KernelStack: 3440 kB PageTables: 4284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 281548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 61856 MiB End job on node130 at 2017-08-02 16:15:27