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-08-18) | SAT (TO) | 2417 | 2520.02 | 2442.9099 |
| 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.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283582-1503197814.xml" -tl '2520s' -p 1 -x 3 0.18/0.23 c [HOME/instance-4283582-1503197814.xml, -tl, 2520s, -p, 1, -x, 3] 0.18/0.29 c simple solver 0.36/0.36 c parse instance... 1.94/0.85 c solve instance... 10.95/4.11 o 2922 10.95/4.13 o 2901 10.95/4.14 o 2856 10.95/4.19 o 2824 11.26/4.22 o 2813 11.26/4.24 o 2771 11.26/4.25 o 2728 11.26/4.28 o 2717 11.26/4.30 o 2704 11.86/4.42 o 2698 11.86/4.45 o 2681 1064.67/1028.18 o 2675 1064.67/1028.20 o 2673 1064.80/1028.24 o 2654 1064.80/1028.29 o 2622 1064.91/1028.39 o 2577 1175.18/1135.70 o 2576 1175.18/1135.71 o 2506 1175.18/1135.73 o 2500 1175.18/1135.75 o 2495 1175.18/1135.75 o 2489 1175.18/1135.79 o 2484 1175.18/1135.79 o 2475 1175.33/1135.80 o 2434 1175.33/1135.81 o 2427 1175.33/1135.83 o 2425 1175.33/1135.84 o 2419 1175.33/1135.85 o 2417 2520.00/2442.90 s SATISFIABLE 2520.00/2442.90 v <instantiation> 2520.00/2442.90 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.00/2442.90 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.00/2442.90 v </instantiation> 2520.00/2442.90 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 (15288 MiB free)
memory of node 1: 16384 MiB (14790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283582-1503197814/watcher-4283582-1503197814 -o /tmp/evaluation-result-4283582-1503197814/solver-4283582-1503197814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 141783911 HOME/instance-4283582-1503197814.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=26988, runsolver pid=26985
[startup+0.100197 s]*
/proc/loadavg: 1.40 1.53 1.66 3/206 26998
/proc/meminfo: memFree=30790308/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13907304 memory=20932 CPUtime=0.06 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 4619 0 0 0 5 1 0 0 20 0 14 0 121976433 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3476826 5233 2553 1 0 3466323 0
[pid=26990/tid=26991] ppid=26988 vsize=13907304 memory=-8713483618642983003 CPUtime=0.04 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) D 26988 26988 8557 0 -1 4202560 2794 0 0 0 4 0 0 0 20 0 14 0 121976434 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058992969632 140058988754173 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13907304 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121976434 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13907304 memory=140291849102976 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121976434 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121976434 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121976434 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13907304 memory=140291849102976 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121976436 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121976436 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058466125088 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121976436 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058465072752 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121976439 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 121976439 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 14 0 121976439 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13907304 memory=140291849102976 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 121976439 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121976439 14241079296 5233 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22312 KiB
[startup+0.210758 s]*
/proc/loadavg: 1.40 1.53 1.66 5/212 27004
/proc/meminfo: memFree=30782492/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13974352 memory=30736 CPUtime=0.18 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 6137 0 0 0 17 1 0 0 20 0 15 0 121976433 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3493588 7684 2961 1 0 3482964 0
[pid=26990/tid=26991] ppid=26988 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 3476 0 0 0 11 0 0 0 20 0 15 0 121976434 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058992962800 140058988753498 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13974352 memory=288370668000814720 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121976434 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13974352 memory=140291849102976 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121976436 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121976436 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058466125088 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121976436 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058465072752 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) R 26988 26988 8557 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 121976439 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) R 26988 26988 8557 0 -1 4202560 490 0 0 0 1 0 0 0 20 0 15 0 121976439 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058967978675 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13974352 memory=140291849102976 CPUtime=0.03 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) R 26988 26988 8557 0 -1 4202560 696 0 0 0 3 0 0 0 20 0 15 0 121976439 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058460858792 140058988744086 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13974352 memory=140291849102976 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976443 14309736448 7684 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32116 KiB
[startup+0.310738 s]*
/proc/loadavg: 1.40 1.53 1.66 3/212 27004
/proc/meminfo: memFree=30771192/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13978608 memory=40292 CPUtime=0.36 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 9754 0 0 0 33 3 0 0 20 0 15 0 121976433 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3494652 10073 3045 1 0 3482964 0
[pid=26990/tid=26991] ppid=26988 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 6926 0 0 0 19 2 0 0 20 0 15 0 121976434 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058992941888 140058972812638 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13978608 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121976434 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121976436 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121976436 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058466125088 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121976436 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058465072752 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 121976439 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 121976439 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 121976439 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976443 14314094592 10073 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41672 KiB
[startup+0.70117 s]
/proc/loadavg: 1.40 1.53 1.66 6/212 27004
/proc/meminfo: memFree=30751456/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13980732 memory=86752 CPUtime=1.54 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 13839 0 0 0 148 6 0 0 20 0 15 0 121976433 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3495183 21688 3174 1 0 3483476 0
[pid=26990/tid=26991] ppid=26988 vsize=13980732 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 8006 0 0 0 55 4 0 0 20 0 15 0 121976434 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058992969280 140058629733504 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13980732 memory=280583503002112 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13980732 memory=6916 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976434 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13980732 memory=8382303839524789344 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121976434 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13980732 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058466125088 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13980732 memory=8761640388318109335 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058465072752 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13980732 memory=-6876588628754522503 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13980732 memory=-7029379521808015264 CPUtime=0.31 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) R 26988 26988 8557 0 -1 4202560 1187 0 0 0 31 0 0 0 20 0 15 0 121976439 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058462954480 140058988753498 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) R 26988 26988 8557 0 -1 4202560 1558 0 0 0 28 0 0 0 20 0 15 0 121976439 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058461901144 140058970255069 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) R 26988 26988 8557 0 -1 4202560 1781 0 0 0 32 0 0 0 20 0 15 0 121976439 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058972812638 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) R 26988 26988 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121976443 14316269568 21688 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 88132 KiB
[startup+1.5009 s]
/proc/loadavg: 1.40 1.53 1.66 5/212 27004
/proc/meminfo: memFree=30705724/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13980732 memory=148932 CPUtime=3.77 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 23760 0 0 0 369 8 0 0 20 0 15 0 121976433 14316269568 37233 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
################
# More data... #
################
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058465072768 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13980732 memory=65824 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13980732 memory=832848 CPUtime=5.51 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 28211 0 0 0 547 4 0 0 20 0 15 0 121976439 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.41 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 26313 0 0 0 538 3 0 0 20 0 15 0 121976439 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13980732 memory=4629799972190126725 CPUtime=0.98 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 11558 0 0 0 96 2 0 0 20 0 15 0 121976439 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13980732 memory=4144 CPUtime=1.34 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1282 0 0 0 70 64 0 0 20 0 15 0 121976443 14316269568 200518 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 2457.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 803452 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.56 1.63 3/213 27250
/proc/meminfo: memFree=29783848/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13980732 memory=1007952 CPUtime=2519.39 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 274162 0 0 0 251419 520 0 0 20 0 15 0 121976433 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3495183 251988 3260 1 0 3483476 0
[pid=26990/tid=26991] ppid=26988 vsize=13980732 memory=1380 CPUtime=2419.09 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 87217 0 0 0 241876 33 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058992971440 140058636402860 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.59 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 15966 0 0 0 2057 102 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.52 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 15380 0 0 0 2046 106 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13980732 memory=950484 CPUtime=21.49 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 16012 0 0 0 2045 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.54 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 14032 0 0 0 2050 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0.79 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 56662 0 0 0 66 13 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058466125152 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058465072768 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.51 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 28213 0 0 0 547 4 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.41 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 26315 0 0 0 538 3 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0.98 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 11722 0 0 0 96 2 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13980732 memory=1380 CPUtime=1.37 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1299 0 0 0 71 66 0 0 20 0 15 0 121976443 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 2519.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.9 s]
/proc/loadavg: 1.29 1.56 1.63 3/213 27250
/proc/meminfo: memFree=29783848/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13980732 memory=1007952 CPUtime=2520 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 274164 0 0 0 251479 521 0 0 20 0 15 0 121976433 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3495183 251988 3260 1 0 3483476 0
[pid=26990/tid=26991] ppid=26988 vsize=13980732 memory=1007952 CPUtime=2419.69 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 87219 0 0 0 241936 33 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058992971440 140058636402860 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.59 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 15966 0 0 0 2057 102 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13980732 memory=950484 CPUtime=21.52 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 15380 0 0 0 2046 106 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.49 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 16012 0 0 0 2045 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.54 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 14032 0 0 0 2050 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13980732 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 56662 0 0 0 66 13 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058466125152 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058465072768 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.51 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 28213 0 0 0 547 4 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.41 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 26315 0 0 0 538 3 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0.98 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 11722 0 0 0 96 2 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13980732 memory=1380 CPUtime=1.37 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1299 0 0 0 71 66 0 0 20 0 15 0 121976443 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.91 s]
# the end of solver process 26988 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000915 s, system=0.000915 s
[startup+2442.91 s]
# the end of solver process 26990 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.8 s, system=5.21763 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.9 s]
/proc/loadavg: 1.29 1.56 1.63 3/213 27250
/proc/meminfo: memFree=29783848/32770624 swapFree=67105588/67108860
[pid=26988] ppid=26985 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26988/stat : 26988 (xcsp3-exec) S 26985 26988 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121976428 9740288 345 18446744073709551615 4194304 5098028 140731050650160 140731050648264 139709866988156 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 31440896 140731050652025 140731050652229 140731050652229 140731050655723 0
/proc/26988/statm: 2378 345 289 221 0 87 0
[pid=26990] ppid=26988 vsize=13980732 memory=1007952 CPUtime=2520 cores=0,2,4,6
/proc/26990/stat : 26990 (java) S 26988 26988 8557 0 -1 1077944320 274164 0 0 0 251479 521 0 0 20 0 15 0 121976433 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140734997483248 140058988732151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
/proc/26990/statm: 3495183 251988 3260 1 0 3483476 0
[pid=26990/tid=26991] ppid=26988 vsize=13980732 memory=1007952 CPUtime=2419.69 cores=0,2,4,6
/proc/26990/task/26991/stat : 26991 (java) R 26988 26988 8557 0 -1 4202560 87219 0 0 0 241936 33 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058992971440 140058636402860 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26992] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.59 cores=0,2,4,6
/proc/26990/task/26992/stat : 26992 (java) S 26988 26988 8557 0 -1 1077944384 15966 0 0 0 2057 102 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058951838096 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26993] ppid=26988 vsize=13980732 memory=950484 CPUtime=21.52 cores=0,2,4,6
/proc/26990/task/26993/stat : 26993 (java) S 26988 26988 8557 0 -1 1077944384 15380 0 0 0 2046 106 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058588166416 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26994] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.49 cores=0,2,4,6
/proc/26990/task/26994/stat : 26994 (java) S 26988 26988 8557 0 -1 1077944384 16012 0 0 0 2045 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058587114128 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26995] ppid=26988 vsize=13980732 memory=1007952 CPUtime=21.54 cores=0,2,4,6
/proc/26990/task/26995/stat : 26995 (java) S 26988 26988 8557 0 -1 1077944384 14032 0 0 0 2050 104 0 0 20 0 15 0 121976434 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058586061328 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26996] ppid=26988 vsize=13980732 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/26990/task/26996/stat : 26996 (java) S 26988 26988 8557 0 -1 1077944384 56662 0 0 0 66 13 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058467179120 140058988743298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26997] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26997/stat : 26997 (java) S 26988 26988 8557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058466125152 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26998] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26998/stat : 26998 (java) S 26988 26988 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121976436 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058465072768 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=26999] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0 cores=0,2,4,6
/proc/26990/task/26999/stat : 26999 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058464021072 140058988750747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27000] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.51 cores=0,2,4,6
/proc/26990/task/27000/stat : 27000 (java) S 26988 26988 8557 0 -1 1077944384 28213 0 0 0 547 4 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058462967920 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27001] ppid=26988 vsize=13980732 memory=1380 CPUtime=5.41 cores=0,2,4,6
/proc/26990/task/27001/stat : 27001 (java) S 26988 26988 8557 0 -1 1077944384 26315 0 0 0 538 3 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058461915120 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27002] ppid=26988 vsize=13980732 memory=1007952 CPUtime=0.98 cores=0,2,4,6
/proc/26990/task/27002/stat : 27002 (java) S 26988 26988 8557 0 -1 1077944384 11722 0 0 0 96 2 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058460862832 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27003] ppid=26988 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26990/task/27003/stat : 27003 (java) S 26988 26988 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121976439 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058459810272 140058988742357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
[pid=26990/tid=27004] ppid=26988 vsize=13980732 memory=1380 CPUtime=1.37 cores=0,2,4,6
/proc/26990/task/27004/stat : 27004 (java) S 26988 26988 8557 0 -1 1077944384 1299 0 0 0 71 66 0 0 20 0 15 0 121976443 14316269568 251988 18446744073709551615 4194304 4196468 140734997500704 140058458758064 140058988743298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11038720 140734997508529 140734997508705 140734997508705 140734997512143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009332 KiB
Child status: 143
Real time (s): 2442.91
CPU time (s): 2520.02
CPU user time (s): 2514.8
CPU system time (s): 5.21763
CPU usage (%): 103.156
Max. virtual memory (cumulated for all children) (KiB): 13992436
Max. memory (cumulated for all children) (KiB): 1570264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.8
system time used= 5.21763
maximum resident set size= 1570776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64963
involuntary context switches= 4160
# summary of solver processes directly reported to runsolver:
# pid: 26988,26990
# total CPU time (s): 2520.02
# total CPU user time (s): 2514.8
# total CPU system time (s): 5.21763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.67 second user time and 25.7591 second system time
The end
Begin job on node126 at 2017-08-20 04:42:49 IDJOB=4283582 IDBENCH=124397 IDSOLVER=2679 FILE ID=node126/4283582-1503197814 RUNJOBID= node126-1503172173-21712 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-4283582-1503197814/watcher-4283582-1503197814 -o /tmp/evaluation-result-4283582-1503197814/solver-4283582-1503197814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 141783911 HOME/instance-4283582-1503197814.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=141783911 node126.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.81 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.81 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.81 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.81 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: 30800572 kB MemAvailable: 31408296 kB Buffers: 317600 kB Cached: 580484 kB SwapCached: 524 kB Active: 1118276 kB Inactive: 378308 kB Active(anon): 554324 kB Inactive(anon): 93904 kB Active(file): 563952 kB Inactive(file): 284404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 7536 kB Writeback: 0 kB AnonPages: 599928 kB Mapped: 72284 kB Shmem: 49824 kB Slab: 177308 kB SReclaimable: 150408 kB SUnreclaim: 26900 kB KernelStack: 3504 kB PageTables: 6092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1241248 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node126 at 2017-08-20 05:23:32