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.06 | 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-4397601-1568575186.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.34 o 96524 7.49/7.52 o 96439 7.49/7.52 c 3 calls to solver(id=0): best=96439 lower=0 upper=96438 8.69/8.76 o 96046 10.19/10.28 o 95042 10.19/10.28 c 5 calls to solver(id=0): best=95042 lower=0 upper=95041 11.69/11.76 o 94939 13.19/13.27 o 94570 13.19/13.27 c 7 calls to solver(id=0): best=94570 lower=0 upper=94569 14.69/14.73 o 94509 16.19/16.20 o 94338 16.19/16.20 c 9 calls to solver(id=0): best=94338 lower=0 upper=94337 17.59/17.69 o 94124 19.10/19.16 o 93923 19.10/19.16 c 11 calls to solver(id=0): best=93923 lower=0 upper=93922 2400.05/2400.10 2400.05/2400.10 c *** INTERRUPTED *** 2400.05/2400.10 c call to solver : 11 2400.05/2400.10 c 2400.05/2400.10 c restarts : 210 2400.05/2400.10 c conflicts : 1623073 (676 /sec) 2400.05/2400.10 c decisions : 27315579 (11381 /sec) 2400.05/2400.10 c propagations : 533183661 (222156 /sec) 2400.05/2400.10 c root propagations : 419 2400.05/2400.10 c filter calls : 182329496 (75969 /sec) 2400.05/2400.10 c useless filter calls : 136836741 (75 %) 2400.05/2400.10 c Memory used : 35.88 MB 2400.05/2400.10 c Best bound time (wc) : 19.1584 s 2400.05/2400.10 c CPU time : 2400.04 s 2400.05/2400.10 c real time : 2400.11 s 2400.05/2400.10 2400.05/2400.10 c nb Solutions = 11 2400.05/2400.10 s SATISFIABLE 2400.05/2400.10 c Best value found: 93923 2400.05/2400.10 2400.05/2400.10 2400.05/2400.10 v <instantiation type='solution' cost='93923'> 2400.05/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.05/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.05/2400.11 v </instantiation> 2400.05/2400.11
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 (13890 MiB free)
memory of node 1: 16384 MiB (15617 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397601-1568575186/watcher-4397601-1568575186 -o /tmp/evaluation-result-4397601-1568575186/solver-4397601-1568575186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568572893-29520 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397601-1568575186.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=29974, runsolver pid=29971
[startup+0.100162 s]*
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30208584/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=34748 memory=11340 CPUtime=0.1 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 3005 0 0 0 10 0 0 0 20 0 1 0 433787029 35581952 2835 33554432000 4194304 6211092 140726318183392 140726318179928 5250293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 8687 2835 873 493 0 1992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34748 KiB
Current children cumulated memory: 11340 KiB
[startup+0.209809 s]*
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30205980/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=35672 memory=12132 CPUtime=0.21 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 3230 0 0 0 21 0 0 0 20 0 1 0 433787029 36528128 3033 33554432000 4194304 6211092 140726318183392 140726318179928 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 8918 3033 873 493 0 2223 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 12132 KiB
[startup+0.309564 s]*
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30203764/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=35936 memory=12396 CPUtime=0.31 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 3287 0 0 0 31 0 0 0 20 0 1 0 433787029 36798464 3099 33554432000 4194304 6211092 140726318183392 140726318179928 5157544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 8984 3099 874 493 0 2289 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 12396 KiB
[startup+0.700289 s]
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30199048/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36068 memory=12660 CPUtime=0.69 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 3337 0 0 0 69 0 0 0 20 0 1 0 433787029 36933632 3165 33554432000 4194304 6211092 140726318183392 140726318180792 5250293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9017 3165 874 493 0 2322 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 12660 KiB
[startup+1.5003 s]
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30199048/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36332 memory=12660 CPUtime=1.49 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 3385 0 0 0 149 0 0 0 20 0 1 0 433787029 37203968 3165 33554432000 4194304 6211092 140726318183392 140726318180792 5155804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9083 3165 874 493 0 2388 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12660 KiB
[startup+3.10946 s]
/proc/loadavg: 2.08 2.03 1.87 3/198 29975
/proc/meminfo: memFree=30196808/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36332 memory=12908 CPUtime=3.1 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 5486 0 0 0 310 0 0 0 20 0 1 0 433787029 37203968 3227 33554432000 4194304 6211092 140726318183392 140726318180600 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9083 3227 874 493 0 2388 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12908 KiB
[startup+6.30029 s]
/proc/loadavg: 2.08 2.03 1.87 3/199 29977
/proc/meminfo: memFree=30194452/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36332 memory=13000 CPUtime=6.29 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 7777 0 0 0 629 0 0 0 20 0 1 0 433787029 37203968 3250 33554432000 4194304 6211092 140726318183392 140726318181528 5156232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9083 3250 874 493 0 2388 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 13000 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 1.87 3/198 29977
/proc/meminfo: memFree=30192788/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36332 memory=13020 CPUtime=12.69 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 12161 0 0 0 1269 0 0 0 20 0 1 0 433787029 37203968 3255 33554432000 4194304 6211092 140726318183392 140726318181528 5250287 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9083 3255 874 493 0 2388 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 13020 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 1.87 3/198 29977
/proc/meminfo: memFree=30192560/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36464 memory=13060 CPUtime=25.49 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 14490 0 0 0 2549 0 0 0 20 0 1 0 433787029 37339136 3265 33554432000 4194304 6211092 140726318183392 140726318171272 5158020 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9116 3265 874 493 0 2421 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13060 KiB
[startup+51.1091 s]
/proc/loadavg: 2.04 2.03 1.88 3/199 29979
/proc/meminfo: memFree=30192544/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36464 memory=13076 CPUtime=51.1 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 16622 0 0 0 5110 0 0 0 20 0 1 0 433787029 37339136 3269 33554432000 4194304 6211092 140726318183392 140726318171272 5250275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9116 3269 874 493 0 2421 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13076 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/198 29983
/proc/meminfo: memFree=30191944/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36464 memory=13136 CPUtime=102.29 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 20306 0 0 0 10229 0 0 0 20 0 1 0 433787029 37339136 3284 33554432000 4194304 6211092 140726318183392 140726318171272 5155804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9116 3284 874 493 0 2421 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13136 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/198 29987
/proc/meminfo: memFree=30191340/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13172 CPUtime=162.28 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 21123 0 0 0 16228 0 0 0 20 0 1 0 433787029 37474304 3293 33554432000 4194304 6211092 140726318183392 140726318180712 5250287 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3293 874 493 0 2454 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13172 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/197 29992
/proc/meminfo: memFree=30191980/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13188 CPUtime=222.28 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 21464 0 0 0 22228 0 0 0 20 0 1 0 433787029 37474304 3297 33554432000 4194304 6211092 140726318183392 140726318180712 5155804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3297 874 493 0 2454 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13188 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/197 29998
/proc/meminfo: memFree=30191976/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13212 CPUtime=282.28 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 21744 0 0 0 28228 0 0 0 20 0 1 0 433787029 37474304 3303 33554432000 4194304 6211092 140726318183392 140726318180712 5250241 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3303 874 493 0 2454 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13212 KiB
[startup+342.3 s]
/proc/loadavg: 2.40 2.13 1.95 3/197 30002
/proc/meminfo: memFree=30191568/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13224 CPUtime=342.28 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 22061 0 0 0 34228 0 0 0 20 0 1 0 433787029 37474304 3306 33554432000 4194304 6211092 140726318183392 140726318180712 5250287 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3306 874 493 0 2454 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13224 KiB
[startup+402.3 s]
/proc/loadavg: 2.15 2.11 1.95 3/197 30007
/proc/meminfo: memFree=30191276/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13232 CPUtime=402.27 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 22379 0 0 0 40227 0 0 0 20 0 1 0 433787029 37474304 3308 33554432000 4194304 6211092 140726318183392 140726318180712 5250450 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3308 874 493 0 2454 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13232 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.09 1.95 3/197 30013
/proc/meminfo: memFree=30191628/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36596 memory=13232 CPUtime=462.28 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 22689 0 0 0 46227 1 0 0 20 0 1 0 433787029 37474304 3308 33554432000 4194304 6211092 140726318183392 140726318180712 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9149 3308 874 493 0 2454 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13232 KiB
################
# More data... #
################
/proc/29974/statm: 9183 3349 874 493 0 2488 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13396 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/198 30135
/proc/meminfo: memFree=30190424/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13400 CPUtime=1722.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 29465 0 0 0 172224 1 0 0 20 0 1 0 433787029 37613568 3350 33554432000 4194304 6211092 140726318183392 140726318180680 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3350 874 493 0 2488 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13400 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/198 30139
/proc/meminfo: memFree=30190420/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13400 CPUtime=1782.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 29762 0 0 0 178224 1 0 0 20 0 1 0 433787029 37613568 3350 33554432000 4194304 6211092 140726318183392 140726318180680 5156232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3350 874 493 0 2488 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13400 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.05 1.99 3/198 30143
/proc/meminfo: memFree=30189992/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13408 CPUtime=1842.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 30106 0 0 0 184224 1 0 0 20 0 1 0 433787029 37613568 3352 33554432000 4194304 6211092 140726318183392 140726318180680 5039132 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3352 874 493 0 2488 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13408 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/198 30149
/proc/meminfo: memFree=30190148/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=1902.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 30391 0 0 0 190224 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5193744 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/198 30153
/proc/meminfo: memFree=30189760/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=1962.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 30669 0 0 0 196224 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/197 30159
/proc/meminfo: memFree=30189404/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2022.25 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 30963 0 0 0 202224 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5155800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/197 30165
/proc/meminfo: memFree=30189892/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2082.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 31309 0 0 0 208223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5158006 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/197 30169
/proc/meminfo: memFree=30189892/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2142.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 31593 0 0 0 214223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 30174
/proc/meminfo: memFree=30190220/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2202.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 31875 0 0 0 220223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5035263 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 30180
/proc/meminfo: memFree=30190156/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2262.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 32238 0 0 0 226223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 30191
/proc/meminfo: memFree=30189712/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2322.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 32515 0 0 0 232223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/198 30218
/proc/meminfo: memFree=30189424/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2382.24 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 32826 0 0 0 238223 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5193744 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.00 6/211 30249
/proc/meminfo: memFree=30195156/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2400.05 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 32830 0 0 0 240004 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5156144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 29974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.015999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.00 6/211 30249
/proc/meminfo: memFree=30195156/32770624 swapFree=66932316/67108860
[pid=29974] ppid=29971 vsize=36732 memory=13412 CPUtime=2400.05 cores=1,3,5,7
/proc/29974/stat : 29974 (cosoco) R 29971 29974 29488 0 -1 4202496 32830 0 0 0 240004 1 0 0 20 0 1 0 433787029 37613568 3353 33554432000 4194304 6211092 140726318183392 140726318180680 5156144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35459072 140726318191627 140726318191729 140726318191729 140726318194638 0
/proc/29974/statm: 9183 3353 874 493 0 2488 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13412 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.06
CPU user time (s): 2400.04
CPU system time (s): 0.015999
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 36732
Max. memory (cumulated for all children) (KiB): 13412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.015999
maximum resident set size= 13476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32888
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= 10
involuntary context switches= 850
# summary of solver processes directly reported to runsolver:
# pid: 29974
# total CPU time (s): 2400.06
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.015999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61455 second user time and 15.3911 second system time
The end
Begin job on node139 at 2019-09-15 21:21:36 IDJOB=4397601 IDBENCH=123078 IDSOLVER=2849 FILE ID=node139/4397601-1568575186 RUNJOBID= node139-1568572893-29520 PBS_JOBID= 21703316 Free space on /tmp= 59556 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-4397601-1568575186/watcher-4397601-1568575186 -o /tmp/evaluation-result-4397601-1568575186/solver-4397601-1568575186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568572893-29520 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397601-1568575186.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 205bdfbfcc3ea2dee357f2e21bf6ef88 RANDOM SEED=1007110592 node139.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.57 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.57 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.57 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.57 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: 30216776 kB MemAvailable: 31769672 kB Buffers: 153520 kB Cached: 1686616 kB SwapCached: 74324 kB Active: 646144 kB Inactive: 1320324 kB Active(anon): 51512 kB Inactive(anon): 123660 kB Active(file): 594632 kB Inactive(file): 1196664 kB Unevictable: 107092 kB Mlocked: 107092 kB SwapTotal: 67108860 kB SwapFree: 66932316 kB Dirty: 5396 kB Writeback: 0 kB AnonPages: 160632 kB Mapped: 49220 kB Shmem: 40516 kB Slab: 183092 kB SReclaimable: 154868 kB SUnreclaim: 28224 kB KernelStack: 3552 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 573416 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59552 MiB End job on node139 at 2019-09-15 22:01:36