Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 1883 | 1920.28 | 243.035 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml |
MD5SUM | f0cf802901bcec45e39016390e9d5929 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1344 |
Best CPU time to get the best result obtained on this benchmark | 251.899 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 2499 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
Minimum variable degree | 0 |
Maximum variable degree | 97 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 49 |
Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.09 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254878-1501683963.xml" -tl '1920s' -p 8 -x 0 0.00/0.27 c [HOME/instance-4254878-1501683963.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.33 c 8 solvers in parallel 0.00/0.40 c parse instance... 4.61/1.47 c solve instance... 5.00/1.59 o 5726 5.75/1.62 o 5692 5.75/1.65 o 3159 9.62/2.15 o 3148 11.97/2.42 o 3116 13.47/2.61 o 3075 14.22/2.79 o 3068 15.03/2.85 o 2746 15.03/2.87 o 2725 17.28/3.13 o 2713 18.84/3.37 o 2697 18.84/3.40 o 2654 19.45/3.46 o 2652 20.75/3.68 o 2624 21.40/3.76 o 2508 23.44/4.00 o 2497 23.44/4.05 o 2486 23.71/4.18 o 2472 23.71/4.19 o 2461 23.95/4.23 o 2456 24.37/4.36 o 2454 24.37/4.36 o 2450 24.76/4.52 o 2443 29.33/5.13 o 2408 29.33/5.17 o 2404 33.86/5.79 o 2307 34.46/5.81 o 2294 34.46/5.85 o 2283 34.46/5.88 o 2278 34.80/5.90 o 2268 34.80/5.95 o 2258 34.80/5.96 o 2250 64.06/9.95 o 2248 64.06/9.96 o 2241 65.02/10.43 o 2238 70.42/11.14 o 2235 70.42/11.15 o 2219 115.72/16.85 o 2037 284.82/38.06 o 2031 284.82/38.08 o 2023 284.82/38.08 o 2021 419.42/54.93 o 2014 419.42/54.94 o 2001 419.42/54.95 o 1953 419.42/54.95 o 1948 419.42/54.97 o 1938 419.42/54.98 o 1937 419.95/55.01 o 1883 1920.28/243.07 s SATISFIABLE 1920.28/243.07 v <instantiation> 1920.28/243.07 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[0][48] x[0][49] 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[1][48] x[1][49] 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[2][48] x[2][49] 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[3][48] x[3][49] 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[4][48] x[4][49] 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[5][48] x[5][49] 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[6][48] x[6][49] 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[7][48] x[7][49] 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[8][48] x[8][49] 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[9][48] x[9][49] 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[10][48] x[10][49] 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[11][48] x[11][49] 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[12][48] x[12][49] 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[13][48] x[13][49] 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[14][48] x[14][49] 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[15][48] x[15][49] 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[16][48] x[16][49] 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[17][48] x[17][49] 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[18][48] x[18][49] 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[19][48] x[19][49] 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[20][48] x[20][49] 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[21][48] x[21][49] 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[22][48] x[22][49] 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[23][48] x[23][49] 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[24][48] x[24][49] 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[25][48] x[25][49] 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[26][48] x[26][49] 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[27][48] x[27][49] 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[28][48] x[28][49] 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[29][48] x[29][49] 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[30][48] x[30][49] 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[31][48] x[31][49] 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[32][48] x[32][49] 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[33][48] x[33][49] 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[34][48] x[34][49] 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[35][48] x[35][49] 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[36][48] x[36][49] 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[37][48] x[37][49] 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[38][48] x[38][49] 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[39][48] x[39][49] 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[40][48] x[40][49] 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[41][48] x[41][49] 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[42][48] x[42][49] 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[43][48] x[43][49] 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[44][48] x[44][49] 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[45][48] x[45][49] 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[46][48] x[46][49] 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] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] 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] u[48] u[49] </list> 1920.28/243.08 v <values>0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 28 71 21 36 95 13 38 39 93 52 44 59 44 77 16 34 51 48 26 33 22 40 68 8 61 2 57 12 36 23 19 69 81 96 14 62 66 36 18 73 59 72 74 81 38 16 27 76 71 </values> 1920.28/243.08 v </instantiation> 1920.28/243.08 c Unexpected resolution interruption!
OK 1883
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254878-1501683963/watcher-4254878-1501683963 -o /tmp/evaluation-result-4254878-1501683963/solver-4254878-1501683963 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2118341652 HOME/instance-4254878-1501683963.xml pid=2695 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 7.96 8.20 7.58 2/174 2698 /proc/meminfo: memFree=31757240/32770624 swapFree=0/255316 [pid=2698] ppid=2695 vsize=23672 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (runsolver) D 2695 2698 24937 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17016556 24240128 106 18446744073709551615 4194304 4338465 140727536626432 140727536624072 140385919148759 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11362304 140727536627794 140727536628291 140727536628291 140727536631754 0 /proc/2698/statm: 5918 106 53 36 0 2156 0 [startup+0.100129 s] /proc/loadavg: 7.96 8.20 7.58 2/174 2698 /proc/meminfo: memFree=31757240/32770624 swapFree=0/255316 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200354 s] /proc/loadavg: 7.96 8.20 7.58 2/174 2698 /proc/meminfo: memFree=31757240/32770624 swapFree=0/255316 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300285 s] /proc/loadavg: 7.96 8.20 7.58 2/174 2698 /proc/meminfo: memFree=31757240/32770624 swapFree=0/255316 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700162 s] /proc/loadavg: 7.96 8.20 7.58 2/174 2698 /proc/meminfo: memFree=31757240/32770624 swapFree=0/255316 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50081 s] /proc/loadavg: 7.96 8.20 7.58 5/195 2719 /proc/meminfo: memFree=31595332/32770624 swapFree=0/255072 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 [pid=2700] ppid=2698 vsize=26534456 CPUtime=5 cores=0-7 /proc/2700/stat : 2700 (java) S 2698 2698 24937 0 -1 1077944320 19168 0 0 0 487 13 0 0 20 0 28 0 17016565 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140737280309120 140439876296439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 /proc/2700/statm: 6633614 58888 3215 1 0 6621915 0 [pid=2700/tid=2701] ppid=2698 vsize=26534456 CPUtime=1.28 cores=0-7 /proc/2700/task/2701/stat : 2701 (java) S 2698 2698 24937 0 -1 1077944384 8802 0 0 0 123 5 0 0 20 0 28 0 17016565 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439880537216 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2702] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2702/stat : 2702 (java) S 2698 2698 24937 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439803222672 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2703] ppid=2698 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/2700/task/2703/stat : 2703 (java) S 2698 2698 24937 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439802169872 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2704] ppid=2698 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/2700/task/2704/stat : 2704 (java) S 2698 2698 24937 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439801117072 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2705] ppid=2698 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/2700/task/2705/stat : 2705 (java) S 2698 2698 24937 0 -1 1077944384 26 0 0 0 3 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439800064272 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2706] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2706/stat : 2706 (java) S 2698 2698 24937 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439799012496 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2707] ppid=2698 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/2700/task/2707/stat : 2707 (java) S 2698 2698 24937 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439797959696 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2708] ppid=2698 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/2700/task/2708/stat : 2708 (java) S 2698 2698 24937 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439796906896 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2709] ppid=2698 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/2700/task/2709/stat : 2709 (java) S 2698 2698 24937 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 17016566 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140439795854096 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2710] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2710/stat : 2710 (java) S 2698 2698 24937 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 17016567 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438555109744 140439876307586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2711] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2711/stat : 2711 (java) S 2698 2698 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17016568 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438554055776 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2712] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2712/stat : 2712 (java) S 2698 2698 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17016568 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438553002880 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2713] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2713/stat : 2713 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438551951184 140439876315035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2714] ppid=2698 vsize=26534456 CPUtime=0.96 cores=0-7 /proc/2700/task/2714/stat : 2714 (java) R 2698 2698 24937 0 -1 4202560 2098 0 0 0 96 0 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438550899696 140439857821765 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2715] ppid=2698 vsize=26534456 CPUtime=0.98 cores=0-7 /proc/2700/task/2715/stat : 2715 (java) R 2698 2698 24937 0 -1 4202560 1840 0 0 0 98 0 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438549845952 140439857822014 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2716] ppid=2698 vsize=26534456 CPUtime=0.95 cores=0-7 /proc/2700/task/2716/stat : 2716 (java) R 2698 2698 24937 0 -1 4202560 1891 0 0 0 95 0 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438548783760 140439861196924 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2717] ppid=2698 vsize=26534456 CPUtime=0.54 cores=0-7 /proc/2700/task/2717/stat : 2717 (java) R 2698 2698 24937 0 -1 1077944384 2669 0 0 0 53 1 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438547741168 140439876307586 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2718] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2718/stat : 2718 (java) S 2698 2698 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17016571 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438546688608 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2719] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2719/stat : 2719 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016575 27171282944 58888 18446744073709551615 4194304 4196468 140737280326576 140438545635888 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 26543968 [startup+3.10217 s] /proc/loadavg: 7.96 8.20 7.58 12/203 2759 /proc/meminfo: memFree=31500660/32770624 swapFree=0/255072 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 [pid=2700] ppid=2698 vsize=26534456 CPUtime=17.28 cores=0-7 /proc/2700/stat : 2700 (java) S 2698 2698 24937 0 -1 1077944320 22793 0 0 0 1704 24 0 0 20 0 28 0 17016565 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140737280309120 140439876296439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 /proc/2700/statm: 6633614 95806 3243 1 0 6621915 0 [pid=2700/tid=2701] ppid=2698 vsize=26534456 CPUtime=1.31 cores=0-7 /proc/2700/task/2701/stat : 2701 (java) S 2698 2698 24937 0 -1 1077944384 8805 0 0 0 126 5 0 0 20 0 28 0 17016565 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439880537216 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2702] ppid=2698 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/2700/task/2702/stat : 2702 (java) S 2698 2698 24937 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439803222672 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2703] ppid=2698 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/2700/task/2703/stat : 2703 (java) S 2698 2698 24937 0 -1 1077944384 53 0 0 0 3 1 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439802169872 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2704] ppid=2698 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/2700/task/2704/stat : 2704 (java) S 2698 2698 24937 0 -1 1077944384 60 0 0 0 4 1 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439801117072 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2705] ppid=2698 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/2700/task/2705/stat : 2705 (java) S 2698 2698 24937 0 -1 1077944384 56 0 0 0 5 1 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439800064272 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2706] ppid=2698 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/2700/task/2706/stat : 2706 (java) S 2698 2698 24937 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439799012496 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2707] ppid=2698 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/2700/task/2707/stat : 2707 (java) S 2698 2698 24937 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439797959696 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2708] ppid=2698 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/2700/task/2708/stat : 2708 (java) S 2698 2698 24937 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439796906896 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2709] ppid=2698 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/2700/task/2709/stat : 2709 (java) S 2698 2698 24937 0 -1 1077944384 45 0 0 0 3 1 0 0 20 0 28 0 17016566 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140439795854096 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2710] ppid=2698 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/2700/task/2710/stat : 2710 (java) S 2698 2698 24937 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 17016567 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438555109744 140439876307586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2711] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2711/stat : 2711 (java) S 2698 2698 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17016568 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438554055776 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2712] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2712/stat : 2712 (java) S 2698 2698 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17016568 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438553002880 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2713] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2713/stat : 2713 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438551951184 140439876315035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2714] ppid=2698 vsize=26534456 CPUtime=2.01 cores=0-7 /proc/2700/task/2714/stat : 2714 (java) R 2698 2698 24937 0 -1 4202560 3071 0 0 0 201 0 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438550880584 140439869013591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2715] ppid=2698 vsize=26534456 CPUtime=1.83 cores=0-7 /proc/2700/task/2715/stat : 2715 (java) D 2698 2698 24937 0 -1 4202560 2000 0 0 0 183 0 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438549833584 140439854239904 0 4 1 16800974 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2716] ppid=2698 vsize=26534456 CPUtime=1.89 cores=0-7 /proc/2700/task/2716/stat : 2716 (java) R 2698 2698 24937 0 -1 4202560 2076 0 0 0 189 0 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438548786456 140439859707311 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2717] ppid=2698 vsize=26534456 CPUtime=0.82 cores=0-7 /proc/2700/task/2717/stat : 2717 (java) R 2698 2698 24937 0 -1 1077944384 3169 0 0 0 81 1 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438547741168 140439876307586 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2718] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2718/stat : 2718 (java) S 2698 2698 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17016571 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438546688608 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2719] ppid=2698 vsize=26534456 CPUtime=0 cores=0-7 /proc/2700/task/2719/stat : 2719 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016575 27171282944 95806 18446744073709551615 4194304 4196468 140737280326576 140438545635888 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 Current children cumulated CPU time (s) 17.28 Current children cumulated vsize (KiB) 26543968 [startup+6.30117 s] /proc/loadavg: 8.12 8.23 7.60 9/203 2927 /proc/meminfo: memFree=31116212/32770624 swapFree=0/255084 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 [pid=2700] ppid=2698 vsize=26735176 CPUtime=37.84 cores=0-7 /proc/2700/stat : 2700 (java) S 2698 2698 24937 0 -1 1077944320 27539 0 0 0 3741 43 0 0 20 0 28 0 17016565 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140737280309120 140439876296439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 /proc/2700/statm: 6683794 163002 3253 1 0 6672095 0 [pid=2700/tid=2701] ppid=2698 vsize=26735176 CPUtime=1.35 cores=0-7 /proc/2700/task/2701/stat : 2701 (java) S 2698 2698 24937 0 -1 1077944384 8813 0 0 0 129 6 0 0 20 0 28 0 17016565 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439880537216 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2702] ppid=2698 vsize=26735176 CPUtime=0.06 cores=0-7 /proc/2700/task/2702/stat : 2702 (java) S 2698 2698 24937 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439803222672 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2703] ppid=2698 vsize=26735176 CPUtime=0.08 cores=0-7 /proc/2700/task/2703/stat : 2703 (java) S 2698 2698 24937 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439802169872 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2704] ppid=2698 vsize=26735176 CPUtime=0.08 cores=0-7 /proc/2700/task/2704/stat : 2704 (java) S 2698 2698 24937 0 -1 1077944384 84 0 0 0 6 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439801117072 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2705] ppid=2698 vsize=26735176 CPUtime=0.09 cores=0-7 /proc/2700/task/2705/stat : 2705 (java) S 2698 2698 24937 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439800064272 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2706] ppid=2698 vsize=26735176 CPUtime=0.05 cores=0-7 /proc/2700/task/2706/stat : 2706 (java) S 2698 2698 24937 0 -1 1077944384 39 0 0 0 4 1 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439799012496 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2707] ppid=2698 vsize=26735176 CPUtime=0.06 cores=0-7 /proc/2700/task/2707/stat : 2707 (java) S 2698 2698 24937 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439797959696 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2708] ppid=2698 vsize=26735176 CPUtime=0.06 cores=0-7 /proc/2700/task/2708/stat : 2708 (java) S 2698 2698 24937 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439796906896 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2709] ppid=2698 vsize=26735176 CPUtime=0.05 cores=0-7 /proc/2700/task/2709/stat : 2709 (java) S 2698 2698 24937 0 -1 1077944384 56 0 0 0 4 1 0 0 20 0 28 0 17016566 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140439795854096 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2710] ppid=2698 vsize=26735176 CPUtime=0.01 cores=0-7 /proc/2700/task/2710/stat : 2710 (java) S 2698 2698 24937 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 28 0 17016567 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140438555109744 140439876307586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2711] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2711/stat : 2711 (java) S 2698 2698 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140438554055776 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2712] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2712/stat : 2712 (java) S 2698 2698 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140438553002880 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2713] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2713/stat : 2713 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016571 27376820224 163002 18446744073709551615 4194304 4196468 140737280326576 140438551951184 140439876315035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 ################ # More data... # ################ [pid=2700/tid=3111] ppid=2698 vsize=26735176 CPUtime=106.59 cores=0-7 /proc/2700/task/3111/stat : 3111 (java) R 2698 2698 24937 0 -1 4202560 842 0 0 0 10658 1 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438528647272 140439484112195 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3112] ppid=2698 vsize=26735176 CPUtime=107.17 cores=0-7 /proc/2700/task/3112/stat : 3112 (java) R 2698 2698 24937 0 -1 4202560 4385 0 0 0 10703 14 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438531805192 140439478884599 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 Current children cumulated CPU time (s) 1276.19 Current children cumulated vsize (KiB) 26744688 [startup+222.307 s] /proc/loadavg: 8.19 8.17 7.70 9/201 3115 /proc/meminfo: memFree=28323980/32770624 swapFree=0/255108 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 [pid=2700] ppid=2698 vsize=26735176 CPUtime=1755.15 cores=0-7 /proc/2700/stat : 2700 (java) S 2698 2698 24937 0 -1 1077944320 117622 0 0 0 175282 233 0 0 20 0 28 0 17016565 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140737280309120 140439876296439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 /proc/2700/statm: 6683794 860709 3254 1 0 6672095 0 [pid=2700/tid=2701] ppid=2698 vsize=26735176 CPUtime=1.37 cores=0-7 /proc/2700/task/2701/stat : 2701 (java) S 2698 2698 24937 0 -1 1077944384 9501 0 0 0 131 6 0 0 20 0 28 0 17016565 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439880537216 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2702] ppid=2698 vsize=26735176 CPUtime=0.12 cores=0-7 /proc/2700/task/2702/stat : 2702 (java) S 2698 2698 24937 0 -1 1077944384 236 0 0 0 8 4 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439803222672 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2703] ppid=2698 vsize=26735176 CPUtime=0.15 cores=0-7 /proc/2700/task/2703/stat : 2703 (java) S 2698 2698 24937 0 -1 1077944384 347 0 0 0 10 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439802169872 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2704] ppid=2698 vsize=26735176 CPUtime=0.15 cores=0-7 /proc/2700/task/2704/stat : 2704 (java) S 2698 2698 24937 0 -1 1077944384 651 0 0 0 10 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439801117072 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2705] ppid=2698 vsize=26735176 CPUtime=0.16 cores=0-7 /proc/2700/task/2705/stat : 2705 (java) S 2698 2698 24937 0 -1 1077944384 1096 0 0 0 11 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439800064272 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2706] ppid=2698 vsize=26735176 CPUtime=0.12 cores=0-7 /proc/2700/task/2706/stat : 2706 (java) S 2698 2698 24937 0 -1 1077944384 276 0 0 0 8 4 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439799012496 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2707] ppid=2698 vsize=26735176 CPUtime=0.13 cores=0-7 /proc/2700/task/2707/stat : 2707 (java) S 2698 2698 24937 0 -1 1077944384 626 0 0 0 8 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439797959696 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2708] ppid=2698 vsize=26735176 CPUtime=0.13 cores=0-7 /proc/2700/task/2708/stat : 2708 (java) S 2698 2698 24937 0 -1 1077944384 337 0 0 0 8 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439796906896 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2709] ppid=2698 vsize=26735176 CPUtime=0.13 cores=0-7 /proc/2700/task/2709/stat : 2709 (java) S 2698 2698 24937 0 -1 1077944384 727 0 0 0 8 5 0 0 20 0 28 0 17016566 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140439795854096 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2710] ppid=2698 vsize=26735176 CPUtime=0.08 cores=0-7 /proc/2700/task/2710/stat : 2710 (java) S 2698 2698 24937 0 -1 1077944384 3141 0 0 0 4 4 0 0 20 0 28 0 17016567 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438555109744 140439876307586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2711] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2711/stat : 2711 (java) S 2698 2698 24937 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438554055776 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2712] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2712/stat : 2712 (java) S 2698 2698 24937 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438553002880 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2713] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2713/stat : 2713 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438551951184 140439876315035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2714] ppid=2698 vsize=26735176 CPUtime=2.94 cores=0-7 /proc/2700/task/2714/stat : 2714 (java) S 2698 2698 24937 0 -1 1077944384 10440 0 0 0 291 3 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438550899568 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2715] ppid=2698 vsize=26735176 CPUtime=2.8 cores=0-7 /proc/2700/task/2715/stat : 2715 (java) S 2698 2698 24937 0 -1 1077944384 8695 0 0 0 279 1 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438549846768 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2716] ppid=2698 vsize=26735176 CPUtime=2.56 cores=0-7 /proc/2700/task/2716/stat : 2716 (java) S 2698 2698 24937 0 -1 1077944384 7950 0 0 0 254 2 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438548793968 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2717] ppid=2698 vsize=26735176 CPUtime=0.98 cores=0-7 /proc/2700/task/2717/stat : 2717 (java) S 2698 2698 24937 0 -1 1077944384 9112 0 0 0 96 2 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438547741168 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2718] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2718/stat : 2718 (java) S 2698 2698 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17016571 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438546688608 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2719] ppid=2698 vsize=26735176 CPUtime=0.07 cores=0-7 /proc/2700/task/2719/stat : 2719 (java) S 2698 2698 24937 0 -1 1077944384 1511 0 0 0 4 3 0 0 20 0 28 0 17016575 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438545635888 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3105] ppid=2698 vsize=26735176 CPUtime=167.01 cores=0-7 /proc/2700/task/3105/stat : 3105 (java) R 2698 2698 24937 0 -1 4202560 1734 0 0 0 16701 0 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438526541256 140439482068738 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3106] ppid=2698 vsize=26735176 CPUtime=167.19 cores=0-7 /proc/2700/task/3106/stat : 3106 (java) R 2698 2698 24937 0 -1 4202560 6246 0 0 0 16712 7 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438530752216 140439481937334 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3107] ppid=2698 vsize=26735176 CPUtime=167.16 cores=0-7 /proc/2700/task/3107/stat : 3107 (java) R 2698 2698 24937 0 -1 4202560 1171 0 0 0 16716 0 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438527595320 140439483223108 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3108] ppid=2698 vsize=26735176 CPUtime=167.02 cores=0-7 /proc/2700/task/3108/stat : 3108 (java) R 2698 2698 24937 0 -1 4202560 1631 0 0 0 16699 3 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438529700648 140439482324864 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3109] ppid=2698 vsize=26735176 CPUtime=166.89 cores=0-7 /proc/2700/task/3109/stat : 3109 (java) R 2698 2698 24937 0 -1 4202560 3810 0 0 0 16680 9 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438534963360 140439484596074 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3110] ppid=2698 vsize=26735176 CPUtime=166.51 cores=0-7 /proc/2700/task/3110/stat : 3110 (java) R 2698 2698 24937 0 -1 4202560 11584 0 0 0 16603 48 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438532858136 140439484596032 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3111] ppid=2698 vsize=26735176 CPUtime=165.85 cores=0-7 /proc/2700/task/3111/stat : 3111 (java) R 2698 2698 24937 0 -1 4202560 1364 0 0 0 16583 2 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438528647272 140439482907114 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3112] ppid=2698 vsize=26735176 CPUtime=167.15 cores=0-7 /proc/2700/task/3112/stat : 3112 (java) R 2698 2698 24937 0 -1 4202560 6893 0 0 0 16692 23 0 0 20 0 28 0 17022057 27376820224 860709 18446744073709551615 4194304 4196468 140737280326576 140438531805336 140439482906731 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 Current children cumulated CPU time (s) 1755.15 Current children cumulated vsize (KiB) 26744688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+243.001 s] /proc/loadavg: 8.42 8.22 7.73 9/201 3115 /proc/meminfo: memFree=28326948/32770624 swapFree=0/255112 [pid=2698] ppid=2695 vsize=9512 CPUtime=0 cores=0-7 /proc/2698/stat : 2698 (xcsp3-exec) S 2695 2698 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17016556 9740288 344 18446744073709551615 4194304 5098028 140734947929216 140734947927320 140295377560188 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33435648 140734947930514 140734947930724 140734947930724 140734947934187 0 /proc/2698/statm: 2378 344 289 221 0 87 0 [pid=2700] ppid=2698 vsize=26735176 CPUtime=1920.28 cores=0-7 /proc/2700/stat : 2700 (java) S 2698 2698 24937 0 -1 1077944320 120223 0 0 0 191789 239 0 0 20 0 28 0 17016565 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140737280309120 140439876296439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 /proc/2700/statm: 6683794 859936 3254 1 0 6672095 0 [pid=2700/tid=2701] ppid=2698 vsize=26735176 CPUtime=1.37 cores=0-7 /proc/2700/task/2701/stat : 2701 (java) S 2698 2698 24937 0 -1 1077944384 9501 0 0 0 131 6 0 0 20 0 28 0 17016565 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439880537216 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2702] ppid=2698 vsize=26735176 CPUtime=0.13 cores=0-7 /proc/2700/task/2702/stat : 2702 (java) S 2698 2698 24937 0 -1 1077944384 313 0 0 0 9 4 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439803222672 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2703] ppid=2698 vsize=26735176 CPUtime=0.16 cores=0-7 /proc/2700/task/2703/stat : 2703 (java) S 2698 2698 24937 0 -1 1077944384 413 0 0 0 10 6 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439802169872 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2704] ppid=2698 vsize=26735176 CPUtime=0.16 cores=0-7 /proc/2700/task/2704/stat : 2704 (java) S 2698 2698 24937 0 -1 1077944384 1013 0 0 0 11 5 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439801117072 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2705] ppid=2698 vsize=26735176 CPUtime=0.18 cores=0-7 /proc/2700/task/2705/stat : 2705 (java) S 2698 2698 24937 0 -1 1077944384 1163 0 0 0 12 6 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439800064272 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2706] ppid=2698 vsize=26735176 CPUtime=0.14 cores=0-7 /proc/2700/task/2706/stat : 2706 (java) S 2698 2698 24937 0 -1 1077944384 305 0 0 0 9 5 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439799012496 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2707] ppid=2698 vsize=26735176 CPUtime=0.14 cores=0-7 /proc/2700/task/2707/stat : 2707 (java) S 2698 2698 24937 0 -1 1077944384 684 0 0 0 9 5 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439797959696 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2708] ppid=2698 vsize=26735176 CPUtime=0.15 cores=0-7 /proc/2700/task/2708/stat : 2708 (java) S 2698 2698 24937 0 -1 1077944384 364 0 0 0 9 6 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439796906896 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2709] ppid=2698 vsize=26735176 CPUtime=0.14 cores=0-7 /proc/2700/task/2709/stat : 2709 (java) S 2698 2698 24937 0 -1 1077944384 754 0 0 0 9 5 0 0 20 0 28 0 17016566 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140439795854096 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2710] ppid=2698 vsize=26735176 CPUtime=0.09 cores=0-7 /proc/2700/task/2710/stat : 2710 (java) S 2698 2698 24937 0 -1 1077944384 3402 0 0 0 5 4 0 0 20 0 28 0 17016567 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438555109744 140439876307586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2711] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2711/stat : 2711 (java) S 2698 2698 24937 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438554055776 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2712] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2712/stat : 2712 (java) S 2698 2698 24937 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 17016568 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438553002880 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2713] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2713/stat : 2713 (java) S 2698 2698 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438551951184 140439876315035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2714] ppid=2698 vsize=26735176 CPUtime=2.94 cores=0-7 /proc/2700/task/2714/stat : 2714 (java) S 2698 2698 24937 0 -1 1077944384 10975 0 0 0 291 3 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438550899568 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2715] ppid=2698 vsize=26735176 CPUtime=2.8 cores=0-7 /proc/2700/task/2715/stat : 2715 (java) S 2698 2698 24937 0 -1 1077944384 8695 0 0 0 279 1 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438549846768 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2716] ppid=2698 vsize=26735176 CPUtime=2.56 cores=0-7 /proc/2700/task/2716/stat : 2716 (java) S 2698 2698 24937 0 -1 1077944384 7950 0 0 0 254 2 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438548793968 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2717] ppid=2698 vsize=26735176 CPUtime=0.98 cores=0-7 /proc/2700/task/2717/stat : 2717 (java) S 2698 2698 24937 0 -1 1077944384 9112 0 0 0 96 2 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438547741168 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2718] ppid=2698 vsize=26735176 CPUtime=0 cores=0-7 /proc/2700/task/2718/stat : 2718 (java) S 2698 2698 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17016571 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438546688608 140439876306645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=2719] ppid=2698 vsize=26735176 CPUtime=0.08 cores=0-7 /proc/2700/task/2719/stat : 2719 (java) S 2698 2698 24937 0 -1 1077944384 1518 0 0 0 5 3 0 0 20 0 28 0 17016575 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438545635888 140439876307586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3105] ppid=2698 vsize=26735176 CPUtime=187.68 cores=0-7 /proc/2700/task/3105/stat : 3105 (java) R 2698 2698 24937 0 -1 4202560 1737 0 0 0 18768 0 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438526540488 140439478884222 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3106] ppid=2698 vsize=26735176 CPUtime=187.85 cores=0-7 /proc/2700/task/3106/stat : 3106 (java) R 2698 2698 24937 0 -1 4202560 6589 0 0 0 18778 7 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438530754736 140439482311804 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3107] ppid=2698 vsize=26735176 CPUtime=187.83 cores=0-7 /proc/2700/task/3107/stat : 3107 (java) R 2698 2698 24937 0 -1 4202560 1177 0 0 0 18783 0 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438527595736 140439484112310 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3108] ppid=2698 vsize=26735176 CPUtime=187.68 cores=0-7 /proc/2700/task/3108/stat : 3108 (java) R 2698 2698 24937 0 -1 4202560 1683 0 0 0 18765 3 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438529700536 140439482906925 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3109] ppid=2698 vsize=26735176 CPUtime=187.56 cores=0-7 /proc/2700/task/3109/stat : 3109 (java) R 2698 2698 24937 0 -1 4202560 3916 0 0 0 18747 9 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438534963360 140439484061504 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3110] ppid=2698 vsize=26735176 CPUtime=187.18 cores=0-7 /proc/2700/task/3110/stat : 3110 (java) R 2698 2698 24937 0 -1 4202560 11881 0 0 0 18669 49 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438532858280 140439484596059 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3111] ppid=2698 vsize=26735176 CPUtime=186.2 cores=0-7 /proc/2700/task/3111/stat : 3111 (java) R 2698 2698 24937 0 -1 4202560 1368 0 0 0 18618 2 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438528647096 140439484112310 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 [pid=2700/tid=3112] ppid=2698 vsize=26735176 CPUtime=187.82 cores=0-7 /proc/2700/task/3112/stat : 3112 (java) R 2698 2698 24937 0 -1 4202560 7167 0 0 0 18758 24 0 0 20 0 28 0 17022057 27376820224 859936 18446744073709551615 4194304 4196468 140737280326576 140438531805512 140439484112227 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22568960 140737280332240 140737280332416 140737280332416 140737280335823 0 Current children cumulated CPU time (s) 1920.28 Current children cumulated vsize (KiB) 26744688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2700 sig 9 ??? kill 2698 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2698 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=968 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=968 # CPU time returned by wait4() is 0.001936 # while last known CPU time is 1920.28 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 243.035 CPU time (s): 1920.28 CPU user time (s): 1917.89 CPU system time (s): 2.39 CPU usage (%): 790.124 Max. virtual memory (cumulated for all children) (KiB): 26744688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000968 system time used= 0.000968 maximum resident set size= 1380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.03276 second user time and 1.63878 second system time The end
Begin job on node131 at 2017-08-02 16:12:06 IDJOB=4254878 IDBENCH=124431 IDSOLVER=2636 FILE ID=node131/4254878-1501683963 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254878-1501683963/watcher-4254878-1501683963 -o /tmp/evaluation-result-4254878-1501683963/solver-4254878-1501683963 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2118341652 HOME/instance-4254878-1501683963.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929 RANDOM SEED=2118341652 node131.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 : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31758664 kB MemAvailable: 32012956 kB Buffers: 135992 kB Cached: 406316 kB SwapCached: 0 kB Active: 328704 kB Inactive: 272040 kB Active(anon): 58672 kB Inactive(anon): 16724 kB Active(file): 270032 kB Inactive(file): 255316 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7840 kB Writeback: 0 kB AnonPages: 80364 kB Mapped: 31028 kB Shmem: 17064 kB Slab: 114132 kB SReclaimable: 89556 kB SUnreclaim: 24576 kB KernelStack: 3456 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-08-02 16:16:09