Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 93923 | 2400.03 | 2400.11 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa30b.xml |
| MD5SUM | 205bdfbfcc3ea2dee357f2e21bf6ef88 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 93923 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 930 |
| Number of constraints | 420 |
| Number of domains | 2 |
| Minimum domain size | 29 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":29,"count":419},{"size":30,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":0,"count":481},{"degree":2,"count":419},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":5},{"degree":29,"count":15},{"degree":30,"count":8}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":3,"count":419},{"arity":30,"count":1}] |
| Number of extensional constraints | 419 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":419},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.10/0.13 c 0.10/0.13 c This is cosoco 2.00 -- 0.10/0.13 c 0.10/0.13 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408861-1569790104.xml 0.10/0.13 c enable optimization 0.10/0.13 c ========================================[ Problem Statistics ]=========================================== 0.10/0.13 c | 0.10/0.13 c | Parse time : 0.02 s 0.10/0.13 c | 0.10/0.13 c | Variables: 930 0.10/0.13 c | Domain Sizes: 29..30 0.10/0.13 c | 0.10/0.13 c | Constraints: 421 0.10/0.13 c | Arity: 3..419 -- Ternary: 419 0.10/0.13 c | 0.10/0.13 c | Types: 0.10/0.13 c | All Different: 1 0.10/0.13 c | Extension: 419 (nb tuples: 870..870) -- (shared: 418) 0.10/0.13 c | Sum: 1 0.10/0.13 c | 0.10/0.13 c | Objective: Minimize Sum 0.10/0.13 0.10/0.13 c ========================================================================================================= 0.10/0.13 o 96551 0.10/0.13 c 1 calls to solver(id=0): best=96551 lower=0 upper=96550 3.29/3.36 o 96524 7.49/7.59 o 96439 7.49/7.59 c 3 calls to solver(id=0): best=96439 lower=0 upper=96438 8.79/8.84 o 96046 10.29/10.37 o 95042 10.29/10.37 c 5 calls to solver(id=0): best=95042 lower=0 upper=95041 11.79/11.86 o 94939 13.29/13.37 o 94570 13.29/13.38 c 7 calls to solver(id=0): best=94570 lower=0 upper=94569 14.79/14.85 o 94509 16.29/16.32 o 94338 16.29/16.33 c 9 calls to solver(id=0): best=94338 lower=0 upper=94337 17.79/17.83 o 94124 19.29/19.30 o 93923 19.29/19.30 c 11 calls to solver(id=0): best=93923 lower=0 upper=93922 2400.02/2400.10 2400.02/2400.10 c *** INTERRUPTED *** 2400.02/2400.10 c call to solver : 11 2400.02/2400.10 c 2400.02/2400.10 c restarts : 210 2400.02/2400.10 c conflicts : 1598048 (666 /sec) 2400.02/2400.10 c decisions : 26922239 (11218 /sec) 2400.02/2400.10 c propagations : 525231309 (218845 /sec) 2400.02/2400.10 c root propagations : 419 2400.02/2400.10 c filter calls : 179700643 (74875 /sec) 2400.02/2400.10 c useless filter calls : 134867286 (75 %) 2400.02/2400.10 c Memory used : 35.88 MB 2400.02/2400.10 c Best bound time (wc) : 19.3033 s 2400.02/2400.10 c CPU time : 2400.01 s 2400.02/2400.10 c real time : 2400.1 s 2400.02/2400.10 2400.02/2400.10 c nb Solutions = 11 2400.02/2400.10 s SATISFIABLE 2400.02/2400.10 c Best value found: 93923 2400.02/2400.10 2400.02/2400.10 2400.02/2400.10 v <instantiation type='solution' cost='93923'> 2400.02/2400.10 v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2400.02/2400.10 v <values>* 24 5 18 14 8 9 19 18 16 20 17 12 * 6 17 12 13 19 11 26 24 9 14 15 28 20 * 12 10 * * 12 16 18 14 20 22 * 9 15 * 12 8 9 17 24 24 8 19 11 23 * * * * * * * * * * * 24 18 7 28 20 18 19 15 * 20 17 16 13 17 15 * 5 15 14 * * * * * * * * * * * * 17 12 11 14 19 4 22 * 13 22 14 27 11 19 25 9 17 8 * * * * * * * * * * * * * 15 * 14 9 10 20 * 16 21 21 28 19 18 17 14 24 16 * * * * * * * * * * * * * * 5 25 15 17 9 * 27 14 16 17 5 16 14 13 30 7 * * * * * * * * * * * * * * * 9 8 24 22 * 20 26 11 13 10 * 26 * 6 15 * * * * * * * * * * * * * * * * 12 15 28 * 17 7 17 11 6 29 12 19 13 13 * * * * * * * * * * * * * * * * * 16 15 * 15 14 16 21 14 26 12 11 17 11 * * * * * * * * * * * * * * * * * * 14 * 14 16 * 22 10 23 22 14 18 20 * * * * * * * * * * * * * * * * * * * * 10 21 7 20 6 6 16 21 15 21 * * * * * * * * * 16 10 20 26 17 20 7 6 * 20 * 16 26 9 25 24 14 22 22 20 9 12 15 20 16 19 28 6 17 * * * * * * * * * * * * * 19 9 13 9 19 13 28 9 17 * * * * * * * * * * * * * * * * * * * * * * 16 10 20 14 12 7 12 * * * * * * * * * * * * * * * * * * * * * * * * 20 21 4 7 12 8 * * * * * * * * * * * * * * * * * * * * * * * * * 17 14 16 7 9 16 * * * * * * * * * * * * * * * * * * * * * * * * * 11 22 6 25 20 * * * * * * * * * * * * * * * * * * * * * * * * * * 14 26 17 14 * * * * * * * * * * * * * * * * * * * * * * * * * * * 19 22 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 25 5 9 28 * 16 20 12 8 * 18 19 9 3 18 29 5 15 10 16 * 14 5 18 27 14 17 16 * 17 27 27 17 17 17 28 20 12 * * 15 20 13 19 7 18 10 21 13 21 * * 4 19 14 17 22 4 * 10 20 16 28 13 10 9 21 16 9 * 13 18 15 16 28 11 10 18 22 7 * * * 9 13 12 7 9 * 8 16 6 23 20 7 17 3 19 4 * 5 22 20 19 12 9 12 15 20 17 * * * * 6 15 15 19 * 16 10 18 15 9 12 11 17 7 5 * 22 24 19 13 17 20 18 14 19 22 * * * * * 13 14 * * 11 16 27 19 22 3 * 14 9 16 * 15 20 29 16 17 12 17 22 20 29 * * * * * * 28 16 * 11 23 22 10 22 15 15 5 7 24 * 20 18 19 24 9 24 14 18 21 * * * * * * * * 16 * 13 20 29 17 10 18 13 22 14 28 * 12 13 24 12 23 9 23 11 19 26 * * * * * * * * 11 20 10 1 19 7 17 29 12 5 22 13 6 28 27 23 14 21 24 9 16 2 0 8 3 26 4 15 25 18 </values> 2400.02/2400.10 v </instantiation> 2400.02/2400.10
OK 93923
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15288 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408861-1569790104/watcher-4408861-1569790104 -o /tmp/evaluation-result-4408861-1569790104/solver-4408861-1569790104 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17164 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408861-1569790104.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18043, runsolver pid=18040
[startup+0.100168 s]*
/proc/loadavg: 2.00 2.01 1.90 3/199 18044
/proc/meminfo: memFree=31626076/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=34748 memory=11336 CPUtime=0.1 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 3001 0 0 0 10 0 0 0 20 0 1 0 555263505 35581952 2834 33554432000 4194304 6211132 140726036318832 140726036315368 140035568540645 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 8687 2834 873 493 0 1992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34748 KiB
Current children cumulated memory: 11336 KiB
[startup+0.209724 s]*
/proc/loadavg: 2.00 2.01 1.90 3/199 18044
/proc/meminfo: memFree=31624960/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=35672 memory=12128 CPUtime=0.21 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 3229 0 0 0 21 0 0 0 20 0 1 0 555263505 36528128 3032 33554432000 4194304 6211132 140726036318832 140726036315368 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 8918 3032 873 493 0 2223 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 12128 KiB
[startup+0.309419 s]*
/proc/loadavg: 1.84 1.98 1.89 3/199 18044
/proc/meminfo: memFree=31624960/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=35936 memory=12392 CPUtime=0.31 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 3286 0 0 0 31 0 0 0 20 0 1 0 555263505 36798464 3098 33554432000 4194304 6211132 140726036318832 140726036315368 5250311 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 8984 3098 874 493 0 2289 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 12392 KiB
[startup+0.700281 s]
/proc/loadavg: 1.84 1.98 1.89 3/199 18044
/proc/meminfo: memFree=31624588/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36068 memory=12656 CPUtime=0.69 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 3336 0 0 0 69 0 0 0 20 0 1 0 555263505 36933632 3164 33554432000 4194304 6211132 140726036318832 140726036316232 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9017 3164 874 493 0 2322 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 12656 KiB
[startup+1.50029 s]
/proc/loadavg: 1.84 1.98 1.89 3/199 18044
/proc/meminfo: memFree=31624400/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36200 memory=12656 CPUtime=1.49 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 3380 0 0 0 149 0 0 0 20 0 1 0 555263505 37068800 3164 33554432000 4194304 6211132 140726036318832 140726036316232 5156264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9050 3164 874 493 0 2355 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36200 KiB
Current children cumulated memory: 12656 KiB
[startup+3.1093 s]
/proc/loadavg: 1.84 1.98 1.89 3/199 18044
/proc/meminfo: memFree=31624152/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36332 memory=12904 CPUtime=3.1 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 5486 0 0 0 310 0 0 0 20 0 1 0 555263505 37203968 3226 33554432000 4194304 6211132 140726036318832 140726036316040 5158032 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9083 3226 874 493 0 2388 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12904 KiB
[startup+6.30029 s]
/proc/loadavg: 1.86 1.98 1.89 3/199 18044
/proc/meminfo: memFree=31624152/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36332 memory=12996 CPUtime=6.29 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 7777 0 0 0 629 0 0 0 20 0 1 0 555263505 37203968 3249 33554432000 4194304 6211132 140726036318832 140726036316968 5155832 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9083 3249 874 493 0 2388 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12996 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 1.89 3/199 18046
/proc/meminfo: memFree=31623944/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36332 memory=13016 CPUtime=12.69 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 12161 0 0 0 1269 0 0 0 20 0 1 0 555263505 37203968 3254 33554432000 4194304 6211132 140726036318832 140726036316968 5155832 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9083 3254 874 493 0 2388 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 13016 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 1.89 3/199 18046
/proc/meminfo: memFree=31624604/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36464 memory=13056 CPUtime=25.48 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 14489 0 0 0 2548 0 0 0 20 0 1 0 555263505 37339136 3264 33554432000 4194304 6211132 140726036318832 140726036306712 5156028 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9116 3264 874 493 0 2421 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13056 KiB
[startup+51.109 s]
/proc/loadavg: 1.93 1.99 1.89 3/199 18047
/proc/meminfo: memFree=31624768/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36464 memory=13072 CPUtime=51.09 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 16620 0 0 0 5109 0 0 0 20 0 1 0 555263505 37339136 3268 33554432000 4194304 6211132 140726036318832 140726036306712 5155832 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9116 3268 874 493 0 2421 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13072 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.90 3/199 18052
/proc/meminfo: memFree=31623696/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36464 memory=13132 CPUtime=102.28 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 20305 0 0 0 10228 0 0 0 20 0 1 0 555263505 37339136 3283 33554432000 4194304 6211132 140726036318832 140726036306712 5250482 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9116 3283 874 493 0 2421 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13132 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.90 3/199 18063
/proc/meminfo: memFree=31623896/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13168 CPUtime=162.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 21151 0 0 0 16227 0 0 0 20 0 1 0 555263505 37474304 3292 33554432000 4194304 6211132 140726036318832 140726036316152 5250321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3292 874 493 0 2454 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13168 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 18067
/proc/meminfo: memFree=31624276/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13184 CPUtime=222.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 21445 0 0 0 22227 0 0 0 20 0 1 0 555263505 37474304 3296 33554432000 4194304 6211132 140726036318832 140726036316152 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3296 874 493 0 2454 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13184 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 18073
/proc/meminfo: memFree=31623152/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13208 CPUtime=282.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 21731 0 0 0 28227 0 0 0 20 0 1 0 555263505 37474304 3302 33554432000 4194304 6211132 140726036318832 140726036316152 5250307 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3302 874 493 0 2454 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13208 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 18077
/proc/meminfo: memFree=31623836/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13220 CPUtime=342.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 22019 0 0 0 34227 0 0 0 20 0 1 0 555263505 37474304 3305 33554432000 4194304 6211132 140726036318832 140726036316152 5250307 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3305 874 493 0 2454 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13220 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 18081
/proc/meminfo: memFree=31623868/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13228 CPUtime=402.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 22327 0 0 0 40227 0 0 0 20 0 1 0 555263505 37474304 3307 33554432000 4194304 6211132 140726036318832 140726036316152 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3307 874 493 0 2454 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/199 18088
/proc/meminfo: memFree=31622944/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36596 memory=13228 CPUtime=462.27 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 22613 0 0 0 46226 1 0 0 20 0 1 0 555263505 37474304 3307 33554432000 4194304 6211132 140726036318832 140726036316152 5250321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9149 3307 874 493 0 2454 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13228 KiB
################
# More data... #
################
/proc/18043/statm: 9183 3348 874 493 0 2488 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18226
/proc/meminfo: memFree=31622752/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13396 CPUtime=1722.23 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 29183 0 0 0 172222 1 0 0 20 0 1 0 555263505 37613568 3349 33554432000 4194304 6211132 140726036318832 140726036316120 5250325 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3349 874 493 0 2488 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13396 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18230
/proc/meminfo: memFree=31623068/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13396 CPUtime=1782.23 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 29486 0 0 0 178222 1 0 0 20 0 1 0 555263505 37613568 3349 33554432000 4194304 6211132 140726036318832 140726036316120 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3349 874 493 0 2488 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13396 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18234
/proc/meminfo: memFree=31623136/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13400 CPUtime=1842.23 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 29831 0 0 0 184222 1 0 0 20 0 1 0 555263505 37613568 3350 33554432000 4194304 6211132 140726036318832 140726036316120 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3350 874 493 0 2488 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13400 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18240
/proc/meminfo: memFree=31622864/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=1902.22 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 30142 0 0 0 190221 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 18253
/proc/meminfo: memFree=31622524/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=1962.22 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 30459 0 0 0 196221 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5156165 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 18257
/proc/meminfo: memFree=31623672/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2022.22 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 30774 0 0 0 202221 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5156264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/201 18265
/proc/meminfo: memFree=31622284/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2082.22 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 31113 0 0 0 208221 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250316 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2142.3 s]
/proc/loadavg: 1.89 1.96 1.95 3/201 18332
/proc/meminfo: memFree=31453180/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2142.22 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 31424 0 0 0 214221 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2202.3 s]
/proc/loadavg: 1.96 1.96 1.95 3/201 18336
/proc/meminfo: memFree=31450600/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2202.21 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 31735 0 0 0 220220 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2262.3 s]
/proc/loadavg: 2.07 1.99 1.96 3/199 18343
/proc/meminfo: memFree=31442588/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2262.21 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 32066 0 0 0 226220 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 1.99 1.96 3/199 18347
/proc/meminfo: memFree=31438580/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2322.21 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 32378 0 0 0 232220 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5250319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 1.99 1.96 3/199 18351
/proc/meminfo: memFree=31438608/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2382.21 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 32689 0 0 0 238220 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5157594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.01 1.99 1.96 3/199 18355
/proc/meminfo: memFree=31438480/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2400.02 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 32692 0 0 0 240001 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5155836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 18043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.019999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.01 1.99 1.96 3/199 18355
/proc/meminfo: memFree=31438480/32770624 swapFree=66999256/67108860
[pid=18043] ppid=18040 vsize=36732 memory=13408 CPUtime=2400.02 cores=1,3,5,7
/proc/18043/stat : 18043 (cosoco) R 18040 18043 17132 0 -1 4202496 32692 0 0 0 240001 1 0 0 20 0 1 0 555263505 37613568 3352 33554432000 4194304 6211132 140726036318832 140726036316120 5155836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23977984 140726036325387 140726036325489 140726036325489 140726036328398 0
/proc/18043/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.03
CPU user time (s): 2400.01
CPU system time (s): 0.019999
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 36732
Max. memory (cumulated for all children) (KiB): 13408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.019999
maximum resident set size= 13472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32746
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= 18
involuntary context switches= 775
# summary of solver processes directly reported to runsolver:
# pid: 18043
# total CPU time (s): 2400.03
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.019999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.76112 second user time and 15.1503 second system time
The end
Begin job on node103 at 2019-09-29 22:47:25 IDJOB=4408861 IDBENCH=123078 IDSOLVER=2875 FILE ID=node103/4408861-1569790104 RUNJOBID= node103-1569787336-17164 PBS_JOBID= 21705840 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa30b.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408861-1569790104/watcher-4408861-1569790104 -o /tmp/evaluation-result-4408861-1569790104/solver-4408861-1569790104 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17164 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408861-1569790104.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 205bdfbfcc3ea2dee357f2e21bf6ef88 RANDOM SEED=1860090025 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 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: 31633836 kB MemAvailable: 31841636 kB Buffers: 160348 kB Cached: 392500 kB SwapCached: 7000 kB Active: 360372 kB Inactive: 236552 kB Active(anon): 51680 kB Inactive(anon): 74928 kB Active(file): 308692 kB Inactive(file): 161624 kB Unevictable: 107020 kB Mlocked: 107020 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 145840 kB Mapped: 28220 kB Shmem: 73656 kB Slab: 135664 kB SReclaimable: 106636 kB SUnreclaim: 29028 kB KernelStack: 3552 kB PageTables: 5860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 597888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61992 MiB End job on node103 at 2019-09-29 23:27:26