Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 2417 | 2520.0901 | 2442.3201 |
| 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.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272302-1502758904.xml" -tl '2520s' -p 1 -x 3 0.05/0.30 c [HOME/instance-4272302-1502758904.xml, -tl, 2520s, -p, 1, -x, 3] 0.24/0.36 c simple solver 0.41/0.42 c parse instance... 2.01/0.92 c solve instance... 10.57/4.27 o 2922 10.79/4.38 o 2901 10.91/4.40 o 2856 10.91/4.45 o 2824 10.91/4.48 o 2813 11.24/4.50 o 2771 11.24/4.52 o 2728 11.24/4.55 o 2717 11.24/4.56 o 2704 11.84/4.70 o 2698 11.84/4.75 o 2681 1052.91/1016.34 o 2675 1052.91/1016.35 o 2673 1052.91/1016.39 o 2654 1053.05/1016.44 o 2622 1053.16/1016.55 o 2577 1164.48/1124.03 o 2576 1164.48/1124.04 o 2506 1164.48/1124.06 o 2500 1164.48/1124.08 o 2495 1164.48/1124.09 o 2489 1164.61/1124.12 o 2484 1164.61/1124.13 o 2475 1164.61/1124.14 o 2434 1164.61/1124.14 o 2427 1164.61/1124.16 o 2425 1164.61/1124.18 o 2419 1164.61/1124.19 o 2417 2520.06/2442.30 s SATISFIABLE 2520.06/2442.30 v <instantiation> 2520.06/2442.30 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> 2520.06/2442.30 v <values>0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 60 39 28 69 64 40 87 57 67 86 97 22 38 33 20 33 15 61 80 83 55 5 12 74 16 43 15 42 69 66 2 15 38 58 100 25 23 98 31 9 29 47 18 68 90 56 85 </values> 2520.06/2442.30 v </instantiation> 2520.06/2442.30 c Unexpected resolution interruption!
OK 2417
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 (14210 MiB free)
memory of node 1: 16384 MiB (15353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272302-1502758904/watcher-4272302-1502758904 -o /tmp/evaluation-result-4272302-1502758904/solver-4272302-1502758904 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1624373510 HOME/instance-4272302-1502758904.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29360, runsolver pid=29357
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.78 1.58 1.58 2/196 29361
/proc/meminfo: memFree=30273444/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9508 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) R 29357 29360 897 0 -1 4202496 475 0 0 0 0 0 0 0 20 0 1 0 78111044 9736192 286 18446744073709551615 4194304 5098028 140723213735296 140723213735296 4482016 0 0 5 65536 0 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2377 286 236 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1144 KiB
[startup+0.208991 s]*
/proc/loadavg: 1.78 1.58 1.58 2/210 29375
/proc/meminfo: memFree=30262676/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13973868 memory=21096 CPUtime=0.05 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 4693 0 0 0 4 1 0 0 20 0 15 0 78111055 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3493467 5274 2574 1 0 3482964 0
[pid=29362/tid=29363] ppid=29360 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 2852 0 0 0 4 1 0 0 20 0 15 0 78111056 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139698234907232 139698223342965 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13973868 memory=140579509101803 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111056 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13973868 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111058 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78111058 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697775338272 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78111058 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697774285936 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) R 29360 29360 897 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 78111061 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111061 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13973868 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) R 29360 29360 897 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 15 0 78111061 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230686298 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13973868 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111066 14309240832 5274 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 22476 KiB
[startup+0.310497 s]*
/proc/loadavg: 1.78 1.58 1.58 3/211 29376
/proc/meminfo: memFree=30251252/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13977964 memory=35724 CPUtime=0.24 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 6922 0 0 0 22 2 0 0 20 0 15 0 78111055 14313435136 8931 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3494491 8931 2939 1 0 3483867 0
[pid=29362/tid=29363] ppid=29360 vsize=13977964 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 4291 0 0 0 13 1 0 0 20 0 15 0 78111056 14313435136 8997 18446744073709551615 4194304 4196468 140732990501248 139698234866928 139698222955392 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13977964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14313435136 9063 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13977964 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14313435136 9063 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13977964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14313435136 9063 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13977964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111056 14313435136 9063 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13977964 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111058 14313435136 9129 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13977964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78111058 14313435136 9129 18446744073709551615 4194304 4196468 140732990501248 139697775338272 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13977964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78111058 14313435136 9129 18446744073709551615 4194304 4196468 140732990501248 139697774285936 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13977964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14313435136 9129 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13977964 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 15 0 78111061 14313435136 9195 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13977964 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 312 0 0 0 1 0 0 0 20 0 15 0 78111061 14313435136 9195 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13977964 memory=140579509073536 CPUtime=0.05 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 718 0 0 0 5 0 0 0 20 0 15 0 78111061 14313435136 9195 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13977964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14313435136 9195 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13977964 memory=140579509073536 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111066 14313435136 9261 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13987476 KiB
Current children cumulated memory: 37104 KiB
[startup+0.701747 s]
/proc/loadavg: 1.78 1.58 1.58 8/211 29376
/proc/meminfo: memFree=30233768/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13978684 memory=78040 CPUtime=1.3 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 13217 0 0 0 124 6 0 0 20 0 15 0 78111055 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3494671 19510 3162 1 0 3482964 0
[pid=29362/tid=29363] ppid=29360 vsize=13978684 memory=1228 CPUtime=0.52 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 7924 0 0 0 48 4 0 0 20 0 15 0 78111056 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139698234901488 139697857651296 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13978684 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13978684 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13978684 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111056 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13978684 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78111058 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13978684 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78111058 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697775338272 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78111058 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697774285936 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13978684 memory=3691036483452495974 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13978684 memory=281158759828544 CPUtime=0.24 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) R 29360 29360 897 0 -1 4202560 1260 0 0 0 24 0 0 0 20 0 15 0 78111061 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697772175320 139698214161680 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13978684 memory=281158759828736 CPUtime=0.23 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) R 29360 29360 897 0 -1 4202560 1055 0 0 0 23 0 0 0 20 0 15 0 78111061 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697703600976 139698212187280 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13978684 memory=281158759828928 CPUtime=0.29 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) R 29360 29360 897 0 -1 4202560 1671 0 0 0 29 0 0 0 20 0 15 0 78111061 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697702556368 139698223761787 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13978684 memory=281158759829120 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13978684 memory=281158759829312 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111066 14314172416 19510 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79420 KiB
[startup+1.50082 s]
/proc/loadavg: 1.88 1.60 1.59 6/211 29376
/proc/meminfo: memFree=30181524/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=134876 CPUtime=3.54 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 20609 0 0 0 346 8 0 0 20 0 15 0 78111055 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3495183 33719 3191 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=15541816741092861 CPUtime=1.31 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 9027 0 0 0 125 6 0 0 20 0 15 0 78111056 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139698234901288 139697859804237 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=281158759763488 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78111056 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=101772 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78111056 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697775338272 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697774285936 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=42964 CPUtime=0.84 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 3745 0 0 0 84 0 0 0 20 0 15 0 78111061 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1292 CPUtime=0.86 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 3902 0 0 0 86 0 0 0 20 0 15 0 78111061 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=33 CPUtime=0.49 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 2623 0 0 0 49 0 0 0 20 0 15 0 78111061 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 78111066 14316269568 33719 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
################
# More data... #
################
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697774285952 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=5.66 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 27287 0 0 0 563 3 0 0 20 0 15 0 78111061 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1292 CPUtime=5.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 22585 0 0 0 554 3 0 0 20 0 15 0 78111061 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=2316 CPUtime=0.96 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 10347 0 0 0 94 2 0 0 20 0 15 0 78111061 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=976600 CPUtime=1.25 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1381 0 0 0 59 66 0 0 20 0 15 0 78111066 14316269568 239918 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 2458.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 961052 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.72 1.74 6/211 29661
/proc/meminfo: memFree=29067964/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=1132784 CPUtime=2520.06 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 283349 0 0 0 251433 573 0 0 20 0 15 0 78111055 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3495183 283196 3254 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=1102056 CPUtime=2419.42 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 86323 0 0 0 241904 38 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698234904528 139697861224640 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=1005560 CPUtime=21.55 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 20241 0 0 0 2044 111 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=1052776 CPUtime=21.6 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 19669 0 0 0 2046 114 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.57 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 22203 0 0 0 2042 115 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.54 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 18519 0 0 0 2037 117 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0.79 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 53427 0 0 0 65 14 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=1083624 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697775338336 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697774285952 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=5.67 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 27287 0 0 0 563 4 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1077480 CPUtime=5.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 22585 0 0 0 554 3 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 10347 0 0 0 94 2 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=-8774313645642428999 CPUtime=1.28 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1385 0 0 0 60 68 0 0 20 0 15 0 78111066 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1134164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.3 s]
/proc/loadavg: 1.86 1.72 1.74 6/211 29661
/proc/meminfo: memFree=29067964/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=1132784 CPUtime=2520.06 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 283349 0 0 0 251433 573 0 0 20 0 15 0 78111055 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3495183 283196 3254 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=1102056 CPUtime=2419.42 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 86323 0 0 0 241904 38 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698234904528 139697861224640 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=1005560 CPUtime=21.55 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 20241 0 0 0 2044 111 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=1052776 CPUtime=21.6 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 19669 0 0 0 2046 114 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.57 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 22203 0 0 0 2042 115 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.54 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 18519 0 0 0 2037 117 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0.79 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 53427 0 0 0 65 14 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=1083624 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697775338336 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697774285952 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=5.67 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 27287 0 0 0 563 4 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1077480 CPUtime=5.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 22585 0 0 0 554 3 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 10347 0 0 0 94 2 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=-8774313645642428999 CPUtime=1.28 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1385 0 0 0 60 68 0 0 20 0 15 0 78111066 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1134164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.31 s]
# the end of solver process 29360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001708 s, system=0.000932 s
[startup+2442.32 s]
# the end of solver process 29362 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.35 s, system=5.74159 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+2442.3 s]
/proc/loadavg: 1.86 1.72 1.74 6/211 29661
/proc/meminfo: memFree=29067964/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78111044 9740288 345 18446744073709551615 4194304 5098028 140723213735296 140723213733400 140463972393596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 33353728 140723213742456 140723213742661 140723213742661 140723213746155 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=1132784 CPUtime=2520.06 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 897 0 -1 1077944320 283349 0 0 0 251433 573 0 0 20 0 15 0 78111055 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 140732990483792 139698230664951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
/proc/29362/statm: 3495183 283196 3254 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=1102056 CPUtime=2419.42 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 897 0 -1 4202560 86323 0 0 0 241904 38 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698234904528 139697861224640 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=1005560 CPUtime=21.55 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 897 0 -1 1077944384 20241 0 0 0 2044 111 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698187631504 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=1052776 CPUtime=21.6 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 897 0 -1 1077944384 19669 0 0 0 2046 114 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698186578704 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.57 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 897 0 -1 1077944384 22203 0 0 0 2042 115 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698185526416 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=1077480 CPUtime=21.54 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 897 0 -1 1077944384 18519 0 0 0 2037 117 0 0 20 0 15 0 78111056 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139698184473616 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0.79 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 897 0 -1 1077944384 53427 0 0 0 65 14 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697776392304 139698230676098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=1083624 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697775338336 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 78111058 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697774285952 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697773234256 139698230683547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=5.67 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 897 0 -1 1077944384 27287 0 0 0 563 4 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697772182128 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1077480 CPUtime=5.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 897 0 -1 1077944384 22585 0 0 0 554 3 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697703610864 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 897 0 -1 1077944384 10347 0 0 0 94 2 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697702558576 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1077480 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78111061 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697701506016 139698230675157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=-8774313645642428999 CPUtime=1.28 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 897 0 -1 1077944384 1385 0 0 0 60 68 0 0 20 0 15 0 78111066 14316269568 283196 18446744073709551615 4194304 4196468 140732990501248 139697700452784 139698230676098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22540288 140732990509489 140732990509665 140732990509665 140732990513103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1134164 KiB
Child status: 143
Real time (s): 2442.32
CPU time (s): 2520.09
CPU user time (s): 2514.35
CPU system time (s): 5.74159
CPU usage (%): 103.185
Max. virtual memory (cumulated for all children) (KiB): 13994448
Max. memory (cumulated for all children) (KiB): 1598408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.35
system time used= 5.74159
maximum resident set size= 1607628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64423
involuntary context switches= 3076
# summary of solver processes directly reported to runsolver:
# pid: 29360,29362
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.35
# total CPU system time (s): 5.74159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5927 second user time and 24.2269 second system time
The end
Begin job on node125 at 2017-08-15 02:47:38 IDJOB=4272302 IDBENCH=124397 IDSOLVER=2664 FILE ID=node125/4272302-1502758904 RUNJOBID= node125-1502662595-11629 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272302-1502758904/watcher-4272302-1502758904 -o /tmp/evaluation-result-4272302-1502758904/solver-4272302-1502758904 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1624373510 HOME/instance-4272302-1502758904.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=1624373510 node125.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.07 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.07 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.07 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.07 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: 30273564 kB MemAvailable: 31248900 kB Buffers: 299680 kB Cached: 969312 kB SwapCached: 0 kB Active: 1458552 kB Inactive: 604012 kB Active(anon): 793784 kB Inactive(anon): 33100 kB Active(file): 664768 kB Inactive(file): 570912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7780 kB Writeback: 4 kB AnonPages: 793140 kB Mapped: 62736 kB Shmem: 33444 kB Slab: 137032 kB SReclaimable: 110980 kB SUnreclaim: 26052 kB KernelStack: 3456 kB PageTables: 6756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1396060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 704512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-15 03:28:20