Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 2337 | 2400.76 | 303.913 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml |
| MD5SUM | 45202abbf2fd4260704b0005edccc47f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1130 |
| Best CPU time to get the best result obtained on this benchmark | 2400.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2352 |
| Number of constraints | 2303 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 93 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 47 |
| Distribution of constraint arities | [{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 47 |
| Distribution of constraint types | [{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246297-1500687408.xml" -tl '2400s' -p 8 -x 3 0.00/0.22 c [HOME/instance-4246297-1500687408.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.28 c 8 solvers in parallel 0.00/0.34 c parse instance... 4.90/1.48 c solve instance... 6.15/1.63 o 5436 6.15/1.66 o 2974 21.88/3.66 o 2842 21.88/3.67 o 2800 21.88/3.68 o 2774 21.88/3.69 o 2712 46.97/6.90 o 2705 47.66/6.93 o 2701 51.51/7.43 o 2511 70.52/9.81 o 2493 179.01/23.54 o 2484 220.91/28.88 o 2451 346.73/44.71 o 2430 509.64/65.27 o 2399 1106.05/140.27 o 2376 1475.57/186.72 o 2359 1542.45/195.77 o 2344 1847.25/234.33 o 2337 2400.76/303.95 s SATISFIABLE 2400.76/303.95 v <instantiation> 2400.76/303.95 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[0][45] x[0][46] x[0][47] 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[1][45] x[1][46] x[1][47] 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[2][45] x[2][46] x[2][47] 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[3][45] x[3][46] x[3][47] 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[4][45] x[4][46] x[4][47] 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[5][45] x[5][46] x[5][47] 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[6][45] x[6][46] x[6][47] 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[7][45] x[7][46] x[7][47] 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[8][45] x[8][46] x[8][47] 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[9][45] x[9][46] x[9][47] 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[10][45] x[10][46] x[10][47] 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[11][45] x[11][46] x[11][47] 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[12][45] x[12][46] x[12][47] 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[13][45] x[13][46] x[13][47] 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[14][45] x[14][46] x[14][47] 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[15][45] x[15][46] x[15][47] 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[16][45] x[16][46] x[16][47] 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[17][45] x[17][46] x[17][47] 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[18][45] x[18][46] x[18][47] 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[19][45] x[19][46] x[19][47] 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[20][45] x[20][46] x[20][47] 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[21][45] x[21][46] x[21][47] 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[22][45] x[22][46] x[22][47] 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[23][45] x[23][46] x[23][47] 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[24][45] x[24][46] x[24][47] 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[25][45] x[25][46] x[25][47] 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[26][45] x[26][46] x[26][47] 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[27][45] x[27][46] x[27][47] 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[28][45] x[28][46] x[28][47] 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[29][45] x[29][46] x[29][47] 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[30][45] x[30][46] x[30][47] 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[31][45] x[31][46] x[31][47] 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[32][45] x[32][46] x[32][47] 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[33][45] x[33][46] x[33][47] 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[34][45] x[34][46] x[34][47] 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[35][45] x[35][46] x[35][47] 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[36][45] x[36][46] x[36][47] 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[37][45] x[37][46] x[37][47] 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[38][45] x[38][46] x[38][47] 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[39][45] x[39][46] x[39][47] 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[40][45] x[40][46] x[40][47] 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[41][45] x[41][46] x[41][47] 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[42][45] x[42][46] x[42][47] 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[43][45] x[43][46] x[43][47] 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] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] 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] u[45] u[46] u[47] </list> 2400.76/303.95 v <values>0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 99 15 75 70 100 42 96 78 41 26 40 52 94 15 58 54 15 82 91 100 59 100 100 98 69 70 55 13 100 85 76 87 39 54 67 39 78 95 31 24 20 53 61 28 31 51 86 </values> 2400.76/303.95 v </instantiation> 2400.76/303.95 c Unexpected resolution interruption!
OK 2337
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-4246297-1500687408/watcher-4246297-1500687408 -o /tmp/evaluation-result-4246297-1500687408/solver-4246297-1500687408 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2138250875 HOME/instance-4246297-1500687408.xml pid=32360 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 16.23 15.66 14.97 11/275 32363 /proc/meminfo: memFree=31182712/32770624 swapFree=5972/231300 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [startup+0.100061 s] /proc/loadavg: 16.23 15.66 14.97 11/275 32363 /proc/meminfo: memFree=31182712/32770624 swapFree=5972/231300 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200285 s] /proc/loadavg: 16.23 15.66 14.97 11/275 32363 /proc/meminfo: memFree=31182712/32770624 swapFree=5972/231300 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300369 s] /proc/loadavg: 16.23 15.66 14.97 11/275 32363 /proc/meminfo: memFree=31182712/32770624 swapFree=5972/231300 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700197 s] /proc/loadavg: 16.23 15.66 14.97 11/275 32363 /proc/meminfo: memFree=31182712/32770624 swapFree=5972/231300 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50109 s] /proc/loadavg: 16.23 15.66 14.97 13/296 32396 /proc/meminfo: memFree=31028504/32770624 swapFree=5972/235168 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [pid=32364] ppid=32363 vsize=13269256 CPUtime=5.43 cores=0,2,4,6,8,10,12,14 /proc/32364/stat : 32364 (java) S 32363 32363 14626 0 -1 1077944320 22213 0 0 0 522 21 0 0 20 0 20 0 4010352 13587718144 57925 33554432000 4194304 4196468 140735291051952 140735291034496 139656186101495 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 /proc/32364/statm: 3317314 57925 3257 1 0 3304547 0 [pid=32364/tid=32365] ppid=32363 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32365/stat : 32365 (java) R 32363 32363 14626 0 -1 4202560 7551 0 0 0 135 6 0 0 20 0 20 0 4010352 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656190324000 139656171781617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32367] ppid=32363 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32367/stat : 32367 (java) S 32363 32363 14626 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656104581776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32368] ppid=32363 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32368/stat : 32368 (java) S 32363 32363 14626 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656103528976 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32369] ppid=32363 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32369/stat : 32369 (java) S 32363 32363 14626 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656102476176 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32370] ppid=32363 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32370/stat : 32370 (java) S 32363 32363 14626 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656101423376 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32371] ppid=32363 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32371/stat : 32371 (java) S 32363 32363 14626 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656100371600 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32372] ppid=32363 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32372/stat : 32372 (java) S 32363 32363 14626 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656099318800 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32373] ppid=32363 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32373/stat : 32373 (java) S 32363 32363 14626 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656098266000 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32374] ppid=32363 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32374/stat : 32374 (java) S 32363 32363 14626 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 20 0 4010353 13587718144 57925 33554432000 4194304 4196468 140735291051952 139656097213200 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32375] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32375/stat : 32375 (java) S 32363 32363 14626 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 4010355 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655648364912 139656186112642 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32376] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32376/stat : 32376 (java) S 32363 32363 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4010356 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655647310944 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32377] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32377/stat : 32377 (java) S 32363 32363 14626 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4010356 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655646258048 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32385] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32385/stat : 32385 (java) S 32363 32363 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655645206352 139656186120091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32386] ppid=32363 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32386/stat : 32386 (java) R 32363 32363 14626 0 -1 4202560 4466 0 0 0 98 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655644147760 139656169660550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32387] ppid=32363 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32387/stat : 32387 (java) R 32363 32363 14626 0 -1 4202560 2182 0 0 0 98 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655643092912 139656165362865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32388] ppid=32363 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32388/stat : 32388 (java) R 32363 32363 14626 0 -1 4202560 3189 0 0 0 104 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655642036576 139656164112338 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32389] ppid=32363 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32389/stat : 32389 (java) S 32363 32363 14626 0 -1 1077944384 2784 0 0 0 66 1 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655640996336 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32390] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32390/stat : 32390 (java) S 32363 32363 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655639943776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32391] ppid=32363 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32391/stat : 32391 (java) S 32363 32363 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4010361 13587718144 57925 33554432000 4194304 4196468 140735291051952 139655638891056 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 Current children cumulated CPU time (s) 5.43 Current children cumulated vsize (KiB) 13278768 [startup+3.10154 s] /proc/loadavg: 16.23 15.66 14.97 22/304 32420 /proc/meminfo: memFree=30939084/32770624 swapFree=5972/238160 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [pid=32364] ppid=32363 vsize=13801768 CPUtime=17.91 cores=0,2,4,6,8,10,12,14 /proc/32364/stat : 32364 (java) S 32363 32363 14626 0 -1 1077944320 30171 0 0 0 1754 37 0 0 20 0 28 0 4010352 14133010432 98707 33554432000 4194304 4196468 140735291051952 140735291034496 139656186101495 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 /proc/32364/statm: 3450442 98707 3282 1 0 3437675 0 [pid=32364/tid=32365] ppid=32363 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32365/stat : 32365 (java) S 32363 32363 14626 0 -1 1077944384 7581 0 0 0 136 6 0 0 20 0 28 0 4010352 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656190342272 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32367] ppid=32363 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32367/stat : 32367 (java) S 32363 32363 14626 0 -1 1077944384 47 0 0 0 2 2 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656104581776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32368] ppid=32363 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32368/stat : 32368 (java) S 32363 32363 14626 0 -1 1077944384 92 0 0 0 5 3 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656103528976 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32369] ppid=32363 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32369/stat : 32369 (java) S 32363 32363 14626 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656102476176 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32370] ppid=32363 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32370/stat : 32370 (java) S 32363 32363 14626 0 -1 1077944384 86 0 0 0 4 3 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656101423376 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32371] ppid=32363 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32371/stat : 32371 (java) S 32363 32363 14626 0 -1 1077944384 64 0 0 0 3 1 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656100371600 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32372] ppid=32363 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32372/stat : 32372 (java) S 32363 32363 14626 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656099318800 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32373] ppid=32363 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32373/stat : 32373 (java) S 32363 32363 14626 0 -1 1077944384 103 0 0 0 5 2 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656098266000 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32374] ppid=32363 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32374/stat : 32374 (java) S 32363 32363 14626 0 -1 1077944384 689 0 0 0 2 2 0 0 20 0 28 0 4010353 14133010432 98707 33554432000 4194304 4196468 140735291051952 139656097213200 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32375] ppid=32363 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32375/stat : 32375 (java) S 32363 32363 14626 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 28 0 4010355 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655648364912 139656186112642 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32376] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32376/stat : 32376 (java) S 32363 32363 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655647310944 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32377] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32377/stat : 32377 (java) S 32363 32363 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655646258048 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32385] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32385/stat : 32385 (java) S 32363 32363 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655645206352 139656186120091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32386] ppid=32363 vsize=13801768 CPUtime=2.25 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32386/stat : 32386 (java) S 32363 32363 14626 0 -1 1077944384 5936 0 0 0 223 2 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655644155032 139656186111701 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32387] ppid=32363 vsize=13801768 CPUtime=2.45 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32387/stat : 32387 (java) R 32363 32363 14626 0 -1 4202560 3935 0 0 0 245 0 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655643090256 139656172162850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32388] ppid=32363 vsize=13801768 CPUtime=2.28 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32388/stat : 32388 (java) R 32363 32363 14626 0 -1 4202560 3987 0 0 0 228 0 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655642041624 139656171782225 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32389] ppid=32363 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32389/stat : 32389 (java) R 32363 32363 14626 0 -1 4202560 4295 0 0 0 107 1 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655640996144 139656186113430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32390] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32390/stat : 32390 (java) S 32363 32363 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655639943776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32391] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32391/stat : 32391 (java) S 32363 32363 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655638891056 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32413] ppid=32363 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32413/stat : 32413 (java) R 32363 32363 14626 0 -1 4202560 57 0 0 0 88 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655558183128 139655784704633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32414] ppid=32363 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32414/stat : 32414 (java) R 32363 32363 14626 0 -1 4202560 76 0 0 0 92 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655629823064 139655786113333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32415] ppid=32363 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32415/stat : 32415 (java) R 32363 32363 14626 0 -1 4202560 235 0 0 0 90 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655630876880 139655786182458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32416] ppid=32363 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32416/stat : 32416 (java) R 32363 32363 14626 0 -1 4202560 93 0 0 0 85 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655557132520 139655786534032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32417] ppid=32363 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32417/stat : 32417 (java) R 32363 32363 14626 0 -1 4202560 128 0 0 0 96 1 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655559237816 139655781494739 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32418] ppid=32363 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32418/stat : 32418 (java) R 32363 32363 14626 0 -1 4202560 148 0 0 0 75 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655628770904 139655784703855 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32419] ppid=32363 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32419/stat : 32419 (java) R 32363 32363 14626 0 -1 4202560 64 0 0 0 113 0 0 0 20 0 28 0 4010518 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655627718424 139655786177167 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32420] ppid=32363 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32420/stat : 32420 (java) R 32363 32363 14626 0 -1 4202560 68 0 0 0 80 0 0 0 20 0 28 0 4010520 14133010432 98707 33554432000 4194304 4196468 140735291051952 139655556079512 139655781494262 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 Current children cumulated CPU time (s) 17.91 Current children cumulated vsize (KiB) 13811280 [startup+6.30154 s] /proc/loadavg: 16.13 15.65 14.97 18/304 32452 /proc/meminfo: memFree=30759644/32770624 swapFree=5972/241132 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [pid=32364] ppid=32363 vsize=13801768 CPUtime=43.01 cores=0,2,4,6,8,10,12,14 /proc/32364/stat : 32364 (java) S 32363 32363 14626 0 -1 1077944320 31823 0 0 0 4248 53 0 0 20 0 28 0 4010352 14133010432 115333 33554432000 4194304 4196468 140735291051952 140735291034496 139656186101495 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 /proc/32364/statm: 3450442 115333 3287 1 0 3437675 0 [pid=32364/tid=32365] ppid=32363 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32365/stat : 32365 (java) S 32363 32363 14626 0 -1 1077944384 7610 0 0 0 137 6 0 0 20 0 28 0 4010352 14133010432 115333 33554432000 4194304 4196468 140735291051952 139656190342272 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32367] ppid=32363 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32367/stat : 32367 (java) S 32363 32363 14626 0 -1 1077944384 58 0 0 0 5 3 0 0 20 0 28 0 4010353 14133010432 115333 33554432000 4194304 4196468 140735291051952 139656104581776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32368] ppid=32363 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32368/stat : 32368 (java) S 32363 32363 14626 0 -1 1077944384 104 0 0 0 7 4 0 0 20 0 28 0 4010353 14133010432 115333 33554432000 4194304 4196468 140735291051952 139656103528976 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32369] ppid=32363 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32369/stat : 32369 (java) S 32363 32363 14626 0 -1 1077944384 61 0 0 0 5 4 0 0 20 0 28 0 4010353 14133010432 115333 33554432000 4194304 4196468 140735291051952 139656102476176 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32370] ppid=32363 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32370/stat : 32370 (java) S 32363 32363 14626 0 -1 1077944384 99 0 0 0 6 4 0 0 20 0 28 0 4010353 14133010432 115333 33554432000 4194304 4196468 140735291051952 139656101423376 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 ################ # More data... # ################ [pid=32364/tid=354] ppid=32363 vsize=13801768 CPUtime=47.85 cores=0,2,4,6,8,10,12,14 /proc/32364/task/354/stat : 354 (java) R 32363 32363 14626 0 -1 4202560 1603 0 0 0 4785 0 0 0 20 0 28 0 4033785 14133010432 861261 33554432000 4194304 4196468 140735291051952 139655557133096 139655786113320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=355] ppid=32363 vsize=13801768 CPUtime=46.78 cores=0,2,4,6,8,10,12,14 /proc/32364/task/355/stat : 355 (java) R 32363 32363 14626 0 -1 4202560 1019 0 0 0 4678 0 0 0 20 0 28 0 4033785 14133010432 861261 33554432000 4194304 4196468 140735291051952 139655558184600 139655781494739 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 Current children cumulated CPU time (s) 2229.22 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.902 s] /proc/loadavg: 15.73 15.71 15.19 17/302 365 /proc/meminfo: memFree=24848852/32770624 swapFree=5972/255360 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [pid=32364] ppid=32363 vsize=13801768 CPUtime=2400.76 cores=0,2,4,6,8,10,12,14 /proc/32364/stat : 32364 (java) S 32363 32363 14626 0 -1 1077944320 178690 0 0 0 239812 264 0 0 20 0 28 0 4010352 14133010432 856734 33554432000 4194304 4196468 140735291051952 140735291034496 139656186101495 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 /proc/32364/statm: 3450442 856734 3290 1 0 3437675 0 [pid=32364/tid=32365] ppid=32363 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32365/stat : 32365 (java) S 32363 32363 14626 0 -1 1077944384 8823 0 0 0 140 6 0 0 20 0 28 0 4010352 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656190342272 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32367] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32367/stat : 32367 (java) S 32363 32363 14626 0 -1 1077944384 2174 0 0 0 19 19 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656104581776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32368] ppid=32363 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32368/stat : 32368 (java) S 32363 32363 14626 0 -1 1077944384 957 0 0 0 22 19 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656103528976 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32369] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32369/stat : 32369 (java) S 32363 32363 14626 0 -1 1077944384 2105 0 0 0 21 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656102476176 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32370] ppid=32363 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32370/stat : 32370 (java) S 32363 32363 14626 0 -1 1077944384 1680 0 0 0 23 16 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656101423376 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32371] ppid=32363 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32371/stat : 32371 (java) S 32363 32363 14626 0 -1 1077944384 3318 0 0 0 22 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656100371600 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32372] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32372/stat : 32372 (java) S 32363 32363 14626 0 -1 1077944384 1974 0 0 0 21 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656099318800 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32373] ppid=32363 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32373/stat : 32373 (java) S 32363 32363 14626 0 -1 1077944384 1445 0 0 0 24 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656098266000 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32374] ppid=32363 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32374/stat : 32374 (java) S 32363 32363 14626 0 -1 1077944384 1307 0 0 0 18 18 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656097213200 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32375] ppid=32363 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32375/stat : 32375 (java) S 32363 32363 14626 0 -1 1077944384 6960 0 0 0 13 21 0 0 20 0 28 0 4010355 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655648364912 139656186112642 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32376] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32376/stat : 32376 (java) S 32363 32363 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655647310944 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32377] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32377/stat : 32377 (java) S 32363 32363 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655646258048 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32385] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32385/stat : 32385 (java) S 32363 32363 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655645206352 139656186120091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32386] ppid=32363 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32386/stat : 32386 (java) S 32363 32363 14626 0 -1 1077944384 14916 0 0 0 364 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655644154736 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32387] ppid=32363 vsize=13801768 CPUtime=4.56 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32387/stat : 32387 (java) S 32363 32363 14626 0 -1 1077944384 21227 0 0 0 454 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655643101936 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32388] ppid=32363 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32388/stat : 32388 (java) S 32363 32363 14626 0 -1 1077944384 15780 0 0 0 399 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655642049136 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32389] ppid=32363 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32389/stat : 32389 (java) S 32363 32363 14626 0 -1 1077944384 16449 0 0 0 134 3 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655640996336 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32390] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32390/stat : 32390 (java) S 32363 32363 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655639943776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32391] ppid=32363 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32391/stat : 32391 (java) S 32363 32363 14626 0 -1 1077944384 1740 0 0 0 7 5 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655638891056 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=348] ppid=32363 vsize=13801768 CPUtime=69.16 cores=0,2,4,6,8,10,12,14 /proc/32364/task/348/stat : 348 (java) R 32363 32363 14626 0 -1 4202560 658 0 0 0 6916 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655627717160 139655786177088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=349] ppid=32363 vsize=13801768 CPUtime=69.17 cores=0,2,4,6,8,10,12,14 /proc/32364/task/349/stat : 349 (java) R 32363 32363 14626 0 -1 4202560 1794 0 0 0 6917 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655559237912 139655787784568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=350] ppid=32363 vsize=13801768 CPUtime=69.33 cores=0,2,4,6,8,10,12,14 /proc/32364/task/350/stat : 350 (java) R 32363 32363 14626 0 -1 4202560 2109 0 0 0 6932 1 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655628771616 139655778490612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=351] ppid=32363 vsize=13801768 CPUtime=69.16 cores=0,2,4,6,8,10,12,14 /proc/32364/task/351/stat : 351 (java) R 32363 32363 14626 0 -1 4202560 1656 0 0 0 6916 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655630877192 139655787147100 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=352] ppid=32363 vsize=13801768 CPUtime=69.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/352/stat : 352 (java) R 32363 32363 14626 0 -1 4202560 1052 0 0 0 6941 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655556080008 139655785008689 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=353] ppid=32363 vsize=13801768 CPUtime=68.96 cores=0,2,4,6,8,10,12,14 /proc/32364/task/353/stat : 353 (java) R 32363 32363 14626 0 -1 4202560 428 0 0 0 6896 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655629824072 139655784704633 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=354] ppid=32363 vsize=13801768 CPUtime=69.13 cores=0,2,4,6,8,10,12,14 /proc/32364/task/354/stat : 354 (java) R 32363 32363 14626 0 -1 4202560 1823 0 0 0 6913 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655557132072 139655781494391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=355] ppid=32363 vsize=13801768 CPUtime=68.06 cores=0,2,4,6,8,10,12,14 /proc/32364/task/355/stat : 355 (java) R 32363 32363 14626 0 -1 4202560 1133 0 0 0 6806 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655558184824 139655784141120 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 Current children cumulated CPU time (s) 2400.76 Current children cumulated vsize (KiB) 13811280 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 32364 sig 9 ??? kill 32363 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+303.902 s] /proc/loadavg: 15.73 15.71 15.19 17/302 365 /proc/meminfo: memFree=24848852/32770624 swapFree=5972/255360 [pid=32363] ppid=32360 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32363/stat : 32363 (xcsp3-exec) S 32360 32363 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4010351 9740288 346 33554432000 4194304 5098028 140723077259504 140723077257608 139905023808124 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27049984 140723077268622 140723077268832 140723077268832 140723077271531 0 /proc/32363/statm: 2378 346 289 221 0 87 0 [pid=32364] ppid=32363 vsize=13801768 CPUtime=2400.76 cores=0,2,4,6,8,10,12,14 /proc/32364/stat : 32364 (java) S 32363 32363 14626 0 -1 1077944320 178690 0 0 0 239812 264 0 0 20 0 28 0 4010352 14133010432 856734 33554432000 4194304 4196468 140735291051952 140735291034496 139656186101495 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 /proc/32364/statm: 3450442 856734 3290 1 0 3437675 0 [pid=32364/tid=32365] ppid=32363 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32365/stat : 32365 (java) S 32363 32363 14626 0 -1 1077944384 8823 0 0 0 140 6 0 0 20 0 28 0 4010352 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656190342272 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32367] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32367/stat : 32367 (java) S 32363 32363 14626 0 -1 1077944384 2174 0 0 0 19 19 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656104581776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32368] ppid=32363 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32368/stat : 32368 (java) S 32363 32363 14626 0 -1 1077944384 957 0 0 0 22 19 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656103528976 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32369] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32369/stat : 32369 (java) S 32363 32363 14626 0 -1 1077944384 2105 0 0 0 21 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656102476176 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32370] ppid=32363 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32370/stat : 32370 (java) S 32363 32363 14626 0 -1 1077944384 1680 0 0 0 23 16 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656101423376 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32371] ppid=32363 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32371/stat : 32371 (java) S 32363 32363 14626 0 -1 1077944384 3318 0 0 0 22 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656100371600 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32372] ppid=32363 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32372/stat : 32372 (java) S 32363 32363 14626 0 -1 1077944384 1974 0 0 0 21 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656099318800 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32373] ppid=32363 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32373/stat : 32373 (java) S 32363 32363 14626 0 -1 1077944384 1445 0 0 0 24 17 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656098266000 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32374] ppid=32363 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32374/stat : 32374 (java) S 32363 32363 14626 0 -1 1077944384 1307 0 0 0 18 18 0 0 20 0 28 0 4010353 14133010432 856734 33554432000 4194304 4196468 140735291051952 139656097213200 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32375] ppid=32363 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32375/stat : 32375 (java) S 32363 32363 14626 0 -1 1077944384 6960 0 0 0 13 21 0 0 20 0 28 0 4010355 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655648364912 139656186112642 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32376] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32376/stat : 32376 (java) S 32363 32363 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655647310944 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32377] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32377/stat : 32377 (java) S 32363 32363 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4010356 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655646258048 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32385] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32385/stat : 32385 (java) S 32363 32363 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655645206352 139656186120091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32386] ppid=32363 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32386/stat : 32386 (java) S 32363 32363 14626 0 -1 1077944384 14916 0 0 0 364 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655644154736 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32387] ppid=32363 vsize=13801768 CPUtime=4.56 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32387/stat : 32387 (java) S 32363 32363 14626 0 -1 1077944384 21227 0 0 0 454 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655643101936 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32388] ppid=32363 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32388/stat : 32388 (java) S 32363 32363 14626 0 -1 1077944384 15780 0 0 0 399 2 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655642049136 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32389] ppid=32363 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32389/stat : 32389 (java) S 32363 32363 14626 0 -1 1077944384 16449 0 0 0 134 3 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655640996336 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32390] ppid=32363 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32390/stat : 32390 (java) S 32363 32363 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655639943776 139656186111701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=32391] ppid=32363 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/32364/task/32391/stat : 32391 (java) S 32363 32363 14626 0 -1 1077944384 1740 0 0 0 7 5 0 0 20 0 28 0 4010361 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655638891056 139656186112642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=348] ppid=32363 vsize=13801768 CPUtime=69.16 cores=0,2,4,6,8,10,12,14 /proc/32364/task/348/stat : 348 (java) R 32363 32363 14626 0 -1 4202560 658 0 0 0 6916 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655627717160 139655786177088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=349] ppid=32363 vsize=13801768 CPUtime=69.17 cores=0,2,4,6,8,10,12,14 /proc/32364/task/349/stat : 349 (java) R 32363 32363 14626 0 -1 4202560 1794 0 0 0 6917 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655559237912 139655787784568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=350] ppid=32363 vsize=13801768 CPUtime=69.33 cores=0,2,4,6,8,10,12,14 /proc/32364/task/350/stat : 350 (java) R 32363 32363 14626 0 -1 4202560 2109 0 0 0 6932 1 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655628771616 139655778490612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=351] ppid=32363 vsize=13801768 CPUtime=69.16 cores=0,2,4,6,8,10,12,14 /proc/32364/task/351/stat : 351 (java) R 32363 32363 14626 0 -1 4202560 1656 0 0 0 6916 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655630877192 139655787147100 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=352] ppid=32363 vsize=13801768 CPUtime=69.41 cores=0,2,4,6,8,10,12,14 /proc/32364/task/352/stat : 352 (java) R 32363 32363 14626 0 -1 4202560 1052 0 0 0 6941 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655556080008 139655785008689 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=353] ppid=32363 vsize=13801768 CPUtime=68.96 cores=0,2,4,6,8,10,12,14 /proc/32364/task/353/stat : 353 (java) R 32363 32363 14626 0 -1 4202560 428 0 0 0 6896 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655629824072 139655784704633 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=354] ppid=32363 vsize=13801768 CPUtime=69.13 cores=0,2,4,6,8,10,12,14 /proc/32364/task/354/stat : 354 (java) R 32363 32363 14626 0 -1 4202560 1823 0 0 0 6913 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655557132072 139655781494391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 [pid=32364/tid=355] ppid=32363 vsize=13801768 CPUtime=68.06 cores=0,2,4,6,8,10,12,14 /proc/32364/task/355/stat : 355 (java) R 32363 32363 14626 0 -1 4202560 1133 0 0 0 6806 0 0 0 20 0 28 0 4033785 14133010432 856734 33554432000 4194304 4196468 140735291051952 139655558184824 139655784141120 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38223872 140735291057340 140735291057516 140735291057516 140735291060175 0 Current children cumulated CPU time (s) 2400.76 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32363 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=3212 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0.003212 # while last known CPU time is 2400.76 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.913 CPU time (s): 2400.76 CPU user time (s): 2398.12 CPU system time (s): 2.64 CPU usage (%): 789.951 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.003212 system time used= 0 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 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= 4 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.65642 second user time and 4.32351 second system time The end
Begin job on node105 at 2017-07-22 03:36:49 IDJOB=4246297 IDBENCH=124397 IDSOLVER=2626 FILE ID=node105/4246297-1500687408 RUNJOBID= node105-1500682495-14657 PBS_JOBID= 20623326 Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246297-1500687408/watcher-4246297-1500687408 -o /tmp/evaluation-result-4246297-1500687408/solver-4246297-1500687408 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2138250875 HOME/instance-4246297-1500687408.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=2138250875 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31183632 kB MemAvailable: 31273944 kB Buffers: 64452 kB Cached: 320848 kB SwapCached: 0 kB Active: 937452 kB Inactive: 239940 kB Active(anon): 795236 kB Inactive(anon): 8640 kB Active(file): 142216 kB Inactive(file): 231300 kB Unevictable: 5972 kB Mlocked: 6004 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8224 kB Writeback: 0 kB AnonPages: 808016 kB Mapped: 43788 kB Shmem: 8884 kB Slab: 98264 kB SReclaimable: 65260 kB SUnreclaim: 33004 kB KernelStack: 5072 kB PageTables: 7068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2136944 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 673792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61992 MiB End job on node105 at 2017-07-22 03:41:53