Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 2229 | 19955.199 | 2520.1899 |
| 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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280642-1503132209.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4280642-1503132209.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 4.27/1.22 c solve instance... 4.82/1.39 o 5436 5.55/1.41 o 5361 5.55/1.43 o 5360 5.55/1.47 o 3085 14.14/2.51 o 2842 14.14/2.52 o 2800 14.14/2.53 o 2774 14.14/2.54 o 2712 19.54/3.29 o 2417 20.36/3.38 o 2398 20.90/3.40 o 2374 20.90/3.42 o 2366 51.85/7.37 o 2364 1352.06/170.79 o 2328 1352.17/170.81 o 2324 1352.17/170.81 o 2322 1352.17/170.82 o 2321 1352.17/170.85 o 2314 1352.17/170.87 o 2303 1357.98/172.74 o 2295 9500.43/1197.49 o 2281 9570.32/1206.34 o 2267 9570.32/1206.38 o 2263 9570.32/1206.39 o 2233 9655.80/1217.16 o 2229 19954.25/2520.09 s SATISFIABLE 19954.25/2520.09 v <instantiation> 19954.25/2520.09 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> 19954.25/2520.09 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 27 65 74 62 84 96 49 61 23 51 47 71 85 51 43 40 99 23 64 99 17 72 25 25 62 46 74 9 76 33 98 67 85 88 13 48 50 69 20 59 34 4 13 7 16 92 78 </values> 19954.25/2520.09 v </instantiation> 19954.25/2520.09 c Unexpected resolution interruption!
OK 2229
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12617 MiB free)
memory of node 1: 16384 MiB (13793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280642-1503132209/watcher-4280642-1503132209 -o /tmp/evaluation-result-4280642-1503132209/solver-4280642-1503132209 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2113884902 HOME/instance-4280642-1503132209.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10823, runsolver pid=10820
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 7.82 8.11 8.20 3/199 10844
/proc/meminfo: memFree=27031288/32770624 swapFree=67108860/67108860
[pid=10823] ppid=10820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10823/stat : 10823 (xcsp3-exec) S 10820 10823 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146308960 9740288 346 33554432000 4194304 5098028 140723091145552 140723091143656 139770330509948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19300352 140723091149924 140723091150135 140723091150135 140723091152875 0
/proc/10823/statm: 2378 346 289 221 0 87 0
[pid=10825] ppid=10823 vsize=25999808 memory=25604 CPUtime=0.11 cores=0-7
/proc/10825/stat : 10825 (java) S 10823 10823 10779 0 -1 1077944320 5312 0 0 0 10 1 0 0 20 0 20 0 146308960 26623803392 6401 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6499952 6401 2855 1 0 6488269 0
[pid=10825/tid=10826] ppid=10823 vsize=25999808 memory=8256393824992927385 CPUtime=0.09 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) R 10823 10823 10779 0 -1 4202560 3276 0 0 0 8 1 0 0 20 0 20 0 146308961 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118782957120 140118764800398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10823 vsize=25999808 memory=732370628509354981 CPUtime=0 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10823 vsize=25999808 memory=140490171901568 CPUtime=0 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10830] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10830/stat : 10830 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118333713296 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10831] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10831/stat : 10831 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118332660240 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10832] ppid=10823 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10825/task/10832/stat : 10832 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118331607696 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10833] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10833/stat : 10833 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118330554640 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10834] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10834/stat : 10834 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26623803392 6401 33554432000 4194304 4196468 140732501798000 140118329502096 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10835] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10835/stat : 10835 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308963 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117906041584 140118778743426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10836] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10836/stat : 10836 (java) S 10823 10823 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146308964 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117904987808 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10837] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10837/stat : 10837 (java) S 10823 10823 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146308964 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117903934704 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10838] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10838/stat : 10838 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308966 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117902883280 140118778750875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10839] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10839/stat : 10839 (java) S 10823 10823 10779 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 146308966 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117901830384 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10840] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10840/stat : 10840 (java) S 10823 10823 10779 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 146308966 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117900777840 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10841] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10841/stat : 10841 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308966 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117899724784 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10842] ppid=10823 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10825/task/10842/stat : 10842 (java) R 10823 10823 10779 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 146308966 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117898672240 140118778744214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10843] ppid=10823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10843/stat : 10843 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308967 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117897620448 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10844] ppid=10823 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10825/task/10844/stat : 10844 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308967 26623803392 6401 33554432000 4194304 4196468 140732501798000 140117896567984 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26988 KiB
[startup+0.21031 s]*
/proc/loadavg: 7.82 8.11 8.20 2/199 10844
/proc/meminfo: memFree=27021580/32770624 swapFree=67108860/67108860
[pid=10823] ppid=10820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10823/stat : 10823 (xcsp3-exec) S 10820 10823 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146308960 9740288 346 33554432000 4194304 5098028 140723091145552 140723091143656 139770330509948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19300352 140723091149924 140723091150135 140723091150135 140723091152875 0
/proc/10823/statm: 2378 346 289 221 0 87 0
[pid=10825] ppid=10823 vsize=26004064 memory=38380 CPUtime=0.32 cores=0-7
/proc/10825/stat : 10825 (java) S 10823 10823 10779 0 -1 1077944320 8082 0 0 0 30 2 0 0 20 0 20 0 146308960 26628161536 9595 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6501016 9595 3085 1 0 6488269 0
[pid=10825/tid=10826] ppid=10823 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) R 10823 10823 10779 0 -1 4202560 5010 0 0 0 17 2 0 0 20 0 20 0 146308961 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118782953272 140118762812766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10823 vsize=26004064 memory=732370628509354981 CPUtime=0 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10823 vsize=26004064 memory=140490171901568 CPUtime=0 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10830] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10830/stat : 10830 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118333713296 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10831] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10831/stat : 10831 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118332660240 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10832] ppid=10823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10825/task/10832/stat : 10832 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118331607696 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10833] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10833/stat : 10833 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118330554640 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10834] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10834/stat : 10834 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 9595 33554432000 4194304 4196468 140732501798000 140118329502096 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10835] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10835/stat : 10835 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308963 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117906041584 140118778743426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10836] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10836/stat : 10836 (java) S 10823 10823 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146308964 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117904987808 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10837] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10837/stat : 10837 (java) S 10823 10823 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146308964 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117903934704 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10838] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10838/stat : 10838 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308966 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117902883280 140118778750875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10839] ppid=10823 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10825/task/10839/stat : 10839 (java) S 10823 10823 10779 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 146308966 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117901830384 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10840] ppid=10823 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/10825/task/10840/stat : 10840 (java) S 10823 10823 10779 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 146308966 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117900777840 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10841] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10841/stat : 10841 (java) S 10823 10823 10779 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 146308966 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117899724784 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10842] ppid=10823 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/10825/task/10842/stat : 10842 (java) S 10823 10823 10779 0 -1 1077944384 868 0 0 0 7 0 0 0 20 0 20 0 146308966 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117898672240 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10843] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10843/stat : 10843 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308967 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117897620448 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10844] ppid=10823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10825/task/10844/stat : 10844 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308967 26628161536 9595 33554432000 4194304 4196468 140732501798000 140117896567984 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39764 KiB
[startup+0.310034 s]*
/proc/loadavg: 7.82 8.11 8.20 3/199 10844
/proc/meminfo: memFree=27014448/32770624 swapFree=67108860/67108860
[pid=10823] ppid=10820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10823/stat : 10823 (xcsp3-exec) S 10820 10823 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146308960 9740288 346 33554432000 4194304 5098028 140723091145552 140723091143656 139770330509948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19300352 140723091149924 140723091150135 140723091150135 140723091152875 0
/proc/10823/statm: 2378 346 289 221 0 87 0
[pid=10825] ppid=10823 vsize=26004064 memory=43296 CPUtime=0.5 cores=0-7
/proc/10825/stat : 10825 (java) S 10823 10823 10779 0 -1 1077944320 8992 0 0 0 47 3 0 0 20 0 20 0 146308960 26628161536 10824 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6501016 10824 3109 1 0 6488269 0
[pid=10825/tid=10826] ppid=10823 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) R 10823 10823 10779 0 -1 4202560 5689 0 0 0 27 2 0 0 20 0 20 0 146308961 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118782971456 140118414956624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10830] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10830/stat : 10830 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118333713296 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10831] ppid=10823 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10825/task/10831/stat : 10831 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118332660240 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10832] ppid=10823 vsize=26004064 memory=140490058068911 CPUtime=0 cores=0-7
/proc/10825/task/10832/stat : 10832 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118331607696 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10833] ppid=10823 vsize=26004064 memory=140490058071216 CPUtime=0 cores=0-7
/proc/10825/task/10833/stat : 10833 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118330554640 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10834] ppid=10823 vsize=26004064 memory=140490058073520 CPUtime=0 cores=0-7
/proc/10825/task/10834/stat : 10834 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26628161536 10824 33554432000 4194304 4196468 140732501798000 140118329502096 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10835] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10835/stat : 10835 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308963 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117906041584 140118778743426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10836] ppid=10823 vsize=26004064 memory=280980116154000 CPUtime=0 cores=0-7
/proc/10825/task/10836/stat : 10836 (java) S 10823 10823 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146308964 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117904987808 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10837] ppid=10823 vsize=26004064 memory=280980116160912 CPUtime=0 cores=0-7
/proc/10825/task/10837/stat : 10837 (java) S 10823 10823 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146308964 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117903934704 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10838] ppid=10823 vsize=26004064 memory=280980116102192 CPUtime=0 cores=0-7
/proc/10825/task/10838/stat : 10838 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308966 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117902883280 140118778750875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10839] ppid=10823 vsize=26004064 memory=280980116174736 CPUtime=0.01 cores=0-7
/proc/10825/task/10839/stat : 10839 (java) S 10823 10823 10779 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 146308966 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117901830384 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10840] ppid=10823 vsize=26004064 memory=280980116181648 CPUtime=0.03 cores=0-7
/proc/10825/task/10840/stat : 10840 (java) S 10823 10823 10779 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 20 0 146308966 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117900777840 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10841] ppid=10823 vsize=26004064 memory=280980116179344 CPUtime=0.02 cores=0-7
/proc/10825/task/10841/stat : 10841 (java) S 10823 10823 10779 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 146308966 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117899724784 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10842] ppid=10823 vsize=26004064 memory=280980116195504 CPUtime=0.12 cores=0-7
/proc/10825/task/10842/stat : 10842 (java) R 10823 10823 10779 0 -1 4202560 1014 0 0 0 12 0 0 0 20 0 20 0 146308966 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117898672240 140118771829163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10843] ppid=10823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10843/stat : 10843 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308967 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117897620448 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10844] ppid=10823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10825/task/10844/stat : 10844 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308967 26628161536 10824 33554432000 4194304 4196468 140732501798000 140117896567984 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44680 KiB
[startup+0.700955 s]
/proc/loadavg: 7.82 8.11 8.20 5/199 10844
/proc/meminfo: memFree=26986220/32770624 swapFree=67108860/67108860
[pid=10823] ppid=10820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10823/stat : 10823 (xcsp3-exec) S 10820 10823 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146308960 9740288 346 33554432000 4194304 5098028 140723091145552 140723091143656 139770330509948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19300352 140723091149924 140723091150135 140723091150135 140723091152875 0
/proc/10823/statm: 2378 346 289 221 0 87 0
[pid=10825] ppid=10823 vsize=26006188 memory=99356 CPUtime=2.07 cores=0-7
/proc/10825/stat : 10825 (java) S 10823 10823 10779 0 -1 1077944320 13943 0 0 0 201 6 0 0 20 0 20 0 146308960 26630336512 24839 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6501547 24839 3205 1 0 6488781 0
[pid=10825/tid=10826] ppid=10823 vsize=26006188 memory=280980116490432 CPUtime=0.67 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) R 10823 10823 10779 0 -1 4202560 6379 0 0 0 63 4 0 0 20 0 20 0 146308961 26630336512 24839 33554432000 4194304 4196468 140732501798000 140118782967552 140118762812766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10823 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146308962 26630336512 24839 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10823 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146308962 26630336512 24839 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10823 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10823 10823 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146308962 26630336512 24839 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
################
# More data... #
################
[pid=10825/tid=11067] ppid=10823 vsize=26538700 memory=1384 CPUtime=1261.73 cores=0-7
/proc/10825/task/11067/stat : 11067 (java) R 10823 10823 10779 0 -1 4202560 15749 0 0 0 126165 8 0 0 20 0 28 0 146430676 27175628800 619177 33554432000 4194304 4196468 140732501798000 140117887504208 140118421657302 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11068] ppid=10823 vsize=26538700 memory=2485420 CPUtime=1261.05 cores=0-7
/proc/10825/task/11068/stat : 11068 (java) R 10823 10823 10779 0 -1 4202560 14817 0 0 0 126098 7 0 0 20 0 28 0 146430676 27175628800 619177 33554432000 4194304 4196468 140732501798000 140117886452216 140118421657302 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11069] ppid=10823 vsize=26538700 memory=4140 CPUtime=1271.09 cores=0-7
/proc/10825/task/11069/stat : 11069 (java) R 10823 10823 10779 0 -1 4202560 64585 0 0 0 127069 40 0 0 20 0 28 0 146430676 27175628800 619177 33554432000 4194304 4196468 140732501798000 140117884346736 140118424157086 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current children cumulated CPU time: 19814.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2478092 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.17 8.22 8.22 9/207 11117
/proc/meminfo: memFree=24597588/32770624 swapFree=67108860/67108860
[pid=10823] ppid=10820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10823/stat : 10823 (xcsp3-exec) S 10820 10823 10779 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146308960 9740288 346 33554432000 4194304 5098028 140723091145552 140723091143656 139770330509948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19300352 140723091149924 140723091150135 140723091150135 140723091152875 0
/proc/10823/statm: 2378 346 289 221 0 87 0
[pid=10825] ppid=10823 vsize=26538700 memory=2451572 CPUtime=19954.2 cores=0-7
/proc/10825/stat : 10825 (java) S 10823 10823 10779 0 -1 1077944320 1123470 0 0 0 1993773 1652 0 0 20 0 28 0 146308960 27175628800 612893 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6634675 612893 3304 1 0 6621909 0
[pid=10825/tid=10826] ppid=10823 vsize=26538700 memory=1398720917958146503 CPUtime=1.23 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) S 10823 10823 10779 0 -1 1077944384 7198 0 0 0 117 6 0 0 20 0 28 0 146308961 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118782973056 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10823 vsize=26538700 memory=-7003737579269690708 CPUtime=8.16 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10823 10823 10779 0 -1 1077944384 42007 0 0 0 764 52 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10823 vsize=26538700 memory=840 CPUtime=8.13 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10823 10823 10779 0 -1 1077944384 47820 0 0 0 761 52 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10823 vsize=26538700 memory=1696 CPUtime=8.17 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10823 10823 10779 0 -1 1077944384 47327 0 0 0 761 56 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10830] ppid=10823 vsize=26538700 memory=920 CPUtime=8.07 cores=0-7
/proc/10825/task/10830/stat : 10830 (java) S 10823 10823 10779 0 -1 1077944384 43606 0 0 0 757 50 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118333713296 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10831] ppid=10823 vsize=26538700 memory=3888 CPUtime=8.11 cores=0-7
/proc/10825/task/10831/stat : 10831 (java) S 10823 10823 10779 0 -1 1077944384 45960 0 0 0 758 53 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118332660240 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10832] ppid=10823 vsize=26538700 memory=1152 CPUtime=8.09 cores=0-7
/proc/10825/task/10832/stat : 10832 (java) S 10823 10823 10779 0 -1 1077944384 44107 0 0 0 757 52 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118331607696 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10833] ppid=10823 vsize=26538700 memory=1384 CPUtime=8.07 cores=0-7
/proc/10825/task/10833/stat : 10833 (java) S 10823 10823 10779 0 -1 1077944384 46273 0 0 0 756 51 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118330554640 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10834] ppid=10823 vsize=26538700 memory=2469532 CPUtime=8.14 cores=0-7
/proc/10825/task/10834/stat : 10834 (java) S 10823 10823 10779 0 -1 1077944384 45216 0 0 0 762 52 0 0 20 0 28 0 146308962 27175628800 612893 33554432000 4194304 4196468 140732501798000 140118329502096 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10835] ppid=10823 vsize=26538700 memory=4616 CPUtime=15.3 cores=0-7
/proc/10825/task/10835/stat : 10835 (java) S 10823 10823 10779 0 -1 1077944384 261946 0 0 0 656 874 0 0 20 0 28 0 146308963 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117906041584 140118778743426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10836] ppid=10823 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/10825/task/10836/stat : 10836 (java) S 10823 10823 10779 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146308964 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117904987872 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10837] ppid=10823 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/10825/task/10837/stat : 10837 (java) S 10823 10823 10779 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 146308964 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117903934720 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10838] ppid=10823 vsize=26538700 memory=13144 CPUtime=0 cores=0-7
/proc/10825/task/10838/stat : 10838 (java) S 10823 10823 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146308966 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117902883280 140118778750875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10839] ppid=10823 vsize=26538700 memory=1944 CPUtime=2.82 cores=0-7
/proc/10825/task/10839/stat : 10839 (java) S 10823 10823 10779 0 -1 1077944384 14918 0 0 0 278 4 0 0 20 0 28 0 146308966 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117901830384 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10840] ppid=10823 vsize=26538700 memory=1196 CPUtime=3.23 cores=0-7
/proc/10825/task/10840/stat : 10840 (java) S 10823 10823 10779 0 -1 1077944384 16758 0 0 0 319 4 0 0 20 0 28 0 146308966 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117900777840 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10841] ppid=10823 vsize=26538700 memory=8588 CPUtime=2.71 cores=0-7
/proc/10825/task/10841/stat : 10841 (java) S 10823 10823 10779 0 -1 1077944384 12553 0 0 0 269 2 0 0 20 0 28 0 146308966 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117899724784 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10842] ppid=10823 vsize=26538700 memory=1228 CPUtime=0.95 cores=0-7
/proc/10825/task/10842/stat : 10842 (java) S 10823 10823 10779 0 -1 1077944384 15768 0 0 0 93 2 0 0 20 0 28 0 146308966 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117898672240 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10843] ppid=10823 vsize=26538700 memory=15880 CPUtime=0 cores=0-7
/proc/10825/task/10843/stat : 10843 (java) S 10823 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146308967 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117897620448 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10844] ppid=10823 vsize=26538700 memory=18476 CPUtime=0.69 cores=0-7
/proc/10825/task/10844/stat : 10844 (java) S 10823 10823 10779 0 -1 1077944384 9150 0 0 0 17 52 0 0 20 0 28 0 146308967 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117896567984 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11062] ppid=10823 vsize=26538700 memory=6791534058613427641 CPUtime=1278.98 cores=0-7
/proc/10825/task/11062/stat : 11062 (java) R 10823 10823 10779 0 -1 4202560 15409 0 0 0 127891 7 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117881187576 140118422148862 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11063] ppid=10823 vsize=26538700 memory=2336 CPUtime=1279.08 cores=0-7
/proc/10825/task/11063/stat : 11063 (java) R 10823 10823 10779 0 -1 4202560 14541 0 0 0 127900 8 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117888557488 140118423200799 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11064] ppid=10823 vsize=26538700 memory=1724 CPUtime=1279.99 cores=0-7
/proc/10825/task/11064/stat : 11064 (java) R 10823 10823 10779 0 -1 4202560 47014 0 0 0 127984 15 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117882243040 140118423200785 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11065] ppid=10823 vsize=26538700 memory=1012 CPUtime=1277.96 cores=0-7
/proc/10825/task/11065/stat : 11065 (java) R 10823 10823 10779 0 -1 4202560 38477 0 0 0 127775 21 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117885399088 140118424694109 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11066] ppid=10823 vsize=26538700 memory=1716 CPUtime=1279.08 cores=0-7
/proc/10825/task/11066/stat : 11066 (java) R 10823 10823 10779 0 -1 4202560 36905 0 0 0 127890 18 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117883293432 140118415992428 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11067] ppid=10823 vsize=26538700 memory=5792 CPUtime=1279.03 cores=0-7
/proc/10825/task/11067/stat : 11067 (java) R 10823 10823 10779 0 -1 4202560 16106 0 0 0 127895 8 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117887504248 140118421842700 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11068] ppid=10823 vsize=26538700 memory=4616 CPUtime=1278.37 cores=0-7
/proc/10825/task/11068/stat : 11068 (java) R 10823 10823 10779 0 -1 4202560 15206 0 0 0 127830 7 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117886452728 140118419149003 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11069] ppid=10823 vsize=26538700 memory=40680 CPUtime=1288.49 cores=0-7
/proc/10825/task/11069/stat : 11069 (java) R 10823 10823 10779 0 -1 4202560 66070 0 0 0 128808 41 0 0 20 0 28 0 146430676 27175628800 612893 33554432000 4194304 4196468 140732501798000 140117884346672 140118425691536 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current children cumulated CPU time: 19954.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2452956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 10823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001847 s, system=0 s
[startup+2520.19 s]
# the end of solver process 10825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19938.7 s, system=16.5749 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.13 s]*
/proc/loadavg: 8.17 8.22 8.22 3/205 11119
/proc/meminfo: memFree=24598292/32770624 swapFree=67108860/67108860
[pid=10825] ppid=10820 vsize=26671828 memory=2451632 CPUtime=19955.1 cores=0-7
/proc/10825/stat : 10825 (java) S 10820 10823 10779 0 -1 1077944320 1123650 0 0 0 1993859 1653 0 0 20 0 27 0 146308960 27311951872 612908 33554432000 4194304 4196468 140732501798000 140732501780544 140118778732279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
/proc/10825/statm: 6667957 612908 3304 1 0 6655191 0
[pid=10825/tid=10826] ppid=10820 vsize=26671828 memory=1398720917958146503 CPUtime=1.23 cores=0-7
/proc/10825/task/10826/stat : 10826 (java) S 10820 10823 10779 0 -1 1077944384 7198 0 0 0 117 6 0 0 20 0 27 0 146308961 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118782973056 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10827] ppid=10820 vsize=26671828 memory=-7003737579269690708 CPUtime=8.16 cores=0-7
/proc/10825/task/10827/stat : 10827 (java) S 10820 10823 10779 0 -1 1077944384 42007 0 0 0 764 52 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118746291216 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10828] ppid=10820 vsize=26671828 memory=1236 CPUtime=8.13 cores=0-7
/proc/10825/task/10828/stat : 10828 (java) S 10820 10823 10779 0 -1 1077944384 47820 0 0 0 761 52 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118335818896 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10829] ppid=10820 vsize=26671828 memory=644 CPUtime=8.17 cores=0-7
/proc/10825/task/10829/stat : 10829 (java) S 10820 10823 10779 0 -1 1077944384 47327 0 0 0 761 56 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118334765840 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10830] ppid=10820 vsize=26671828 memory=1788 CPUtime=8.07 cores=0-7
/proc/10825/task/10830/stat : 10830 (java) S 10820 10823 10779 0 -1 1077944384 43606 0 0 0 757 50 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118333713296 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10831] ppid=10820 vsize=26671828 memory=956 CPUtime=8.11 cores=0-7
/proc/10825/task/10831/stat : 10831 (java) S 10820 10823 10779 0 -1 1077944384 45960 0 0 0 758 53 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118332660240 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10832] ppid=10820 vsize=26671828 memory=6791534058613427641 CPUtime=8.09 cores=0-7
/proc/10825/task/10832/stat : 10832 (java) S 10820 10823 10779 0 -1 1077944384 44107 0 0 0 757 52 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118331607696 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10833] ppid=10820 vsize=26671828 memory=4104 CPUtime=8.07 cores=0-7
/proc/10825/task/10833/stat : 10833 (java) S 10820 10823 10779 0 -1 1077944384 46273 0 0 0 756 51 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118330554640 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10834] ppid=10820 vsize=26671828 memory=1398720917958146503 CPUtime=8.14 cores=0-7
/proc/10825/task/10834/stat : 10834 (java) S 10820 10823 10779 0 -1 1077944384 45216 0 0 0 762 52 0 0 20 0 27 0 146308962 27311951872 612908 33554432000 4194304 4196468 140732501798000 140118329502096 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10835] ppid=10820 vsize=26671828 memory=-7003737579269690708 CPUtime=15.33 cores=0-7
/proc/10825/task/10835/stat : 10835 (java) R 10820 10823 10779 0 -1 4202560 261946 0 0 0 657 876 0 0 20 0 27 0 146308963 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117906041720 140118771360487 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10836] ppid=10820 vsize=26671828 memory=928 CPUtime=0 cores=0-7
/proc/10825/task/10836/stat : 10836 (java) S 10820 10823 10779 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 27 0 146308964 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117904987872 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10837] ppid=10820 vsize=26671828 memory=1568 CPUtime=0 cores=0-7
/proc/10825/task/10837/stat : 10837 (java) S 10820 10823 10779 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 27 0 146308964 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117903934720 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10839] ppid=10820 vsize=26671828 memory=2240 CPUtime=2.82 cores=0-7
/proc/10825/task/10839/stat : 10839 (java) S 10820 10823 10779 0 -1 1077944384 14918 0 0 0 278 4 0 0 20 0 27 0 146308966 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117901830384 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10840] ppid=10820 vsize=26671828 memory=4128 CPUtime=3.23 cores=0-7
/proc/10825/task/10840/stat : 10840 (java) S 10820 10823 10779 0 -1 1077944384 16759 0 0 0 319 4 0 0 20 0 27 0 146308966 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117900777600 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10841] ppid=10820 vsize=26671828 memory=2204 CPUtime=2.71 cores=0-7
/proc/10825/task/10841/stat : 10841 (java) S 10820 10823 10779 0 -1 1077944384 12553 0 0 0 269 2 0 0 20 0 27 0 146308966 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117899724784 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10842] ppid=10820 vsize=26671828 memory=7788 CPUtime=0.95 cores=0-7
/proc/10825/task/10842/stat : 10842 (java) S 10820 10823 10779 0 -1 1077944384 15803 0 0 0 93 2 0 0 20 0 27 0 146308966 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117898672240 140118778743426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=10843] ppid=10820 vsize=26671828 memory=840 CPUtime=0 cores=0-7
/proc/10825/task/10843/stat : 10843 (java) S 10820 10823 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 146308967 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117897620448 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11062] ppid=10820 vsize=26671828 memory=1696 CPUtime=1279.08 cores=0-7
/proc/10825/task/11062/stat : 11062 (java) S 10820 10823 10779 0 -1 1077944384 15409 0 0 0 127901 7 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117881188128 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11063] ppid=10820 vsize=26671828 memory=920 CPUtime=1279.18 cores=0-7
/proc/10825/task/11063/stat : 11063 (java) S 10820 10823 10779 0 -1 1077944384 14541 0 0 0 127910 8 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117888557984 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11064] ppid=10820 vsize=26671828 memory=3888 CPUtime=1280.09 cores=0-7
/proc/10825/task/11064/stat : 11064 (java) S 10820 10823 10779 0 -1 1077944384 47015 0 0 0 127994 15 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117882240672 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11065] ppid=10820 vsize=26671828 memory=1152 CPUtime=1278.06 cores=0-7
/proc/10825/task/11065/stat : 11065 (java) S 10820 10823 10779 0 -1 1077944384 38477 0 0 0 127785 21 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117885399712 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11066] ppid=10820 vsize=26671828 memory=1384 CPUtime=1279.18 cores=0-7
/proc/10825/task/11066/stat : 11066 (java) S 10820 10823 10779 0 -1 1077944384 36906 0 0 0 127900 18 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117883293856 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11067] ppid=10820 vsize=26671828 memory=2467992 CPUtime=1279.13 cores=0-7
/proc/10825/task/11067/stat : 11067 (java) S 10820 10823 10779 0 -1 1077944384 16106 0 0 0 127905 8 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117887504112 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11068] ppid=10820 vsize=26671828 memory=1716 CPUtime=1278.47 cores=0-7
/proc/10825/task/11068/stat : 11068 (java) S 10820 10823 10779 0 -1 1077944384 15207 0 0 0 127840 7 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117886452592 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11069] ppid=10820 vsize=26671828 memory=5792 CPUtime=1288.62 cores=0-7
/proc/10825/task/11069/stat : 11069 (java) R 10820 10823 10779 0 -1 4202560 66070 0 0 0 128821 41 0 0 20 0 27 0 146430676 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117884346672 140118425691569 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
[pid=10825/tid=11118] ppid=10820 vsize=26671828 memory=4616 CPUtime=0 cores=0-7
/proc/10825/task/11118/stat : 11118 (java) S 10820 10823 10779 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 27 0 146560965 27311951872 612908 33554432000 4194304 4196468 140732501798000 140117880140272 140118778742485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24440832 140732501800082 140732501800259 140732501800259 140732501802959 0
Current cumulated CPU time of completed processes: 0.001847 s
Current children cumulated CPU time: 19955.1 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 2451632 KiB
Child status: 143
Real time (s): 2520.19
CPU time (s): 19955.2
CPU user time (s): 19938.7
CPU system time (s): 16.5749
CPU usage (%): 791.813
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 2543088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19938.7
system time used= 16.5749
maximum resident set size= 2561752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1124188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225049
involuntary context switches= 213606
# summary of solver processes directly reported to runsolver:
# pid: 10823,10825
# total CPU time (s): 19955.2
# total CPU user time (s): 19938.7
# total CPU system time (s): 16.5749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.3264 second user time and 24.4891 second system time
The end
Begin job on node103 at 2017-08-19 10:29:09 IDJOB=4280642 IDBENCH=124397 IDSOLVER=2675 FILE ID=node103/4280642-1503132209 RUNJOBID= node103-1503131349-10806 PBS_JOBID= 20630787 Free space on /tmp= 61652 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280642-1503132209/watcher-4280642-1503132209 -o /tmp/evaluation-result-4280642-1503132209/solver-4280642-1503132209 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2113884902 HOME/instance-4280642-1503132209.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=2113884902 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27046512 kB MemAvailable: 31975284 kB Buffers: 231096 kB Cached: 4991896 kB SwapCached: 0 kB Active: 995080 kB Inactive: 4283480 kB Active(anon): 4940 kB Inactive(anon): 86700 kB Active(file): 990140 kB Inactive(file): 4196780 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7796 kB Writeback: 0 kB AnonPages: 62260 kB Mapped: 50460 kB Shmem: 33420 kB Slab: 141968 kB SReclaimable: 115372 kB SUnreclaim: 26596 kB KernelStack: 3088 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61644 MiB End job on node103 at 2017-08-19 11:11:09