Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 93923 | 2400.1 | 2400.4 |
| 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.09/0.14 c 0.09/0.14 c This is cosoco 2.00 -- 0.09/0.14 c 0.09/0.14 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394693-1568331072.xml 0.09/0.14 c enable optimization 0.09/0.14 c ========================================[ Problem Statistics ]=========================================== 0.09/0.14 c | 0.09/0.14 c | Parse time : 0.02 s 0.09/0.14 c | 0.09/0.14 c | Variables: 930 0.09/0.14 c | Domain Sizes: 29..30 0.09/0.14 c | 0.09/0.14 c | Constraints: 421 0.09/0.14 c | Arity: 3..419 -- Ternary: 419 0.09/0.14 c | 0.09/0.14 c | Types: 0.09/0.14 c | All Different: 1 0.09/0.14 c | Extension: 419 (nb tuples: 870..870) -- (shared: 418) 0.09/0.14 c | Sum: 1 0.09/0.14 c | 0.09/0.14 c | Objective: Minimize Sum 0.09/0.14 0.09/0.14 c ========================================================================================================= 0.09/0.14 o 96551 0.09/0.14 c 1 calls to solver(id=0): best=96551 lower=0 upper=96550 3.38/3.40 o 96524 7.58/7.65 o 96439 7.58/7.65 c 3 calls to solver(id=0): best=96439 lower=0 upper=96438 8.88/8.91 o 96046 10.38/10.44 o 95042 10.38/10.44 c 5 calls to solver(id=0): best=95042 lower=0 upper=95041 11.88/11.94 o 94939 13.38/13.46 o 94570 13.38/13.46 c 7 calls to solver(id=0): best=94570 lower=0 upper=94569 14.88/14.94 o 94509 16.38/16.43 o 94338 16.38/16.43 c 9 calls to solver(id=0): best=94338 lower=0 upper=94337 17.88/17.90 o 94124 19.28/19.31 o 93923 19.28/19.31 c 11 calls to solver(id=0): best=93923 lower=0 upper=93922 2400.09/2400.40 2400.09/2400.40 c *** INTERRUPTED *** 2400.09/2400.40 c call to solver : 11 2400.09/2400.40 c 2400.09/2400.40 c restarts : 210 2400.09/2400.40 c conflicts : 1583260 (660 /sec) 2400.09/2400.40 c decisions : 26680396 (11116 /sec) 2400.09/2400.40 c propagations : 520391927 (216823 /sec) 2400.09/2400.40 c root propagations : 419 2400.09/2400.40 c filter calls : 178114951 (74212 /sec) 2400.09/2400.40 c useless filter calls : 133680664 (75 %) 2400.09/2400.40 c Memory used : 35.88 MB 2400.09/2400.40 c Best bound time (wc) : 19.3114 s 2400.09/2400.40 c CPU time : 2400.08 s 2400.09/2400.40 c real time : 2400.4 s 2400.09/2400.40 2400.09/2400.40 c nb Solutions = 11 2400.09/2400.40 s SATISFIABLE 2400.09/2400.40 c Best value found: 93923 2400.09/2400.40 2400.09/2400.40 2400.09/2400.40 v <instantiation type='solution' cost='93923'> 2400.09/2400.40 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.09/2400.40 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.09/2400.40 v </instantiation> 2400.09/2400.40
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 (12853 MiB free)
memory of node 1: 16384 MiB (13294 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394693-1568331072/watcher-4394693-1568331072 -o /tmp/evaluation-result-4394693-1568331072/solver-4394693-1568331072 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394693-1568331072.xml
running on 4 cores: 0,2,4,6
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
solver pid=23280, runsolver pid=23277
Current StackSize limit: 8192 KiB
[startup+0.100889 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26767872/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=34616 memory=11076 CPUtime=0.09 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 2974 0 0 0 9 0 0 0 20 0 1 0 409354570 35446784 2769 33554432000 4194304 6210612 140722638766640 140722638763960 5034848 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 8654 2769 858 493 0 1959 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34616 KiB
Current children cumulated memory: 11076 KiB
[startup+0.209716 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26767500/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=35672 memory=12132 CPUtime=0.2 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 3225 0 0 0 20 0 0 0 20 0 1 0 409354570 36528128 3033 33554432000 4194304 6210612 140722638766640 140722638763960 5249729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 8918 3033 868 493 0 2223 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 12132 KiB
[startup+0.309385 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26767128/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=35936 memory=12396 CPUtime=0.3 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 3282 0 0 0 30 0 0 0 20 0 1 0 409354570 36798464 3099 33554432000 4194304 6210612 140722638766640 140722638763960 5249727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 8984 3099 869 493 0 2289 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 12396 KiB
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 23281
/proc/meminfo: memFree=26767128/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36068 memory=12660 CPUtime=0.68 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 3332 0 0 0 68 0 0 0 20 0 1 0 409354570 36933632 3165 33554432000 4194304 6210612 140722638766640 140722638763960 5157655 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9017 3165 869 493 0 2322 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 12660 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 23281
/proc/meminfo: memFree=26766400/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36200 memory=12660 CPUtime=1.48 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 3369 0 0 0 148 0 0 0 20 0 1 0 409354570 37068800 3165 33554432000 4194304 6210612 140722638766640 140722638764040 5249727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9050 3165 869 493 0 2355 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36200 KiB
Current children cumulated memory: 12660 KiB
[startup+3.10962 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26766672/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36332 memory=12888 CPUtime=3.09 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 5481 0 0 0 309 0 0 0 20 0 1 0 409354570 37203968 3222 33554432000 4194304 6210612 140722638766640 140722638763848 5249733 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9083 3222 869 493 0 2388 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12888 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26766592/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36332 memory=12980 CPUtime=6.28 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 7772 0 0 0 628 0 0 0 20 0 1 0 409354570 37203968 3245 33554432000 4194304 6210612 140722638766640 140722638764776 5249724 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9083 3245 869 493 0 2388 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12980 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23281
/proc/meminfo: memFree=26766420/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36332 memory=12996 CPUtime=12.69 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 10060 0 0 0 1268 1 0 0 20 0 1 0 409354570 37203968 3249 33554432000 4194304 6210612 140722638766640 140722638764776 5249664 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9083 3249 869 493 0 2388 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 12996 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 23282
/proc/meminfo: memFree=26765724/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36464 memory=13040 CPUtime=25.48 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 13075 0 0 0 2547 1 0 0 20 0 1 0 409354570 37339136 3260 33554432000 4194304 6210612 140722638766640 140722638754520 5155864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9116 3260 869 493 0 2421 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13040 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 23284
/proc/meminfo: memFree=26766236/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36464 memory=13068 CPUtime=51.08 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 13805 0 0 0 5107 1 0 0 20 0 1 0 409354570 37339136 3267 33554432000 4194304 6210612 140722638766640 140722638754520 5249727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9116 3267 869 493 0 2421 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13068 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23288
/proc/meminfo: memFree=26766752/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36464 memory=13100 CPUtime=102.26 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 14540 0 0 0 10225 1 0 0 20 0 1 0 409354570 37339136 3275 33554432000 4194304 6210612 140722638766640 140722638754520 5155432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9116 3275 869 493 0 2421 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 13100 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23292
/proc/meminfo: memFree=26765496/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13132 CPUtime=162.25 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 15284 0 0 0 16224 1 0 0 20 0 1 0 409354570 37474304 3283 33554432000 4194304 6210612 140722638766640 140722638763960 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3283 869 493 0 2454 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13132 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 23298
/proc/meminfo: memFree=26765368/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13160 CPUtime=222.25 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 16028 0 0 0 22224 1 0 0 20 0 1 0 409354570 37474304 3290 33554432000 4194304 6210612 140722638766640 140722638763960 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3290 869 493 0 2454 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13160 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23302
/proc/meminfo: memFree=26765576/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13184 CPUtime=282.24 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 16779 0 0 0 28223 1 0 0 20 0 1 0 409354570 37474304 3296 33554432000 4194304 6210612 140722638766640 140722638763960 5249724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3296 869 493 0 2454 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13184 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23306
/proc/meminfo: memFree=26765204/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13200 CPUtime=342.23 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 17534 0 0 0 34222 1 0 0 20 0 1 0 409354570 37474304 3300 33554432000 4194304 6210612 140722638766640 140722638763960 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3300 869 493 0 2454 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13200 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23312
/proc/meminfo: memFree=26764972/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13212 CPUtime=402.22 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 18288 0 0 0 40221 1 0 0 20 0 1 0 409354570 37474304 3303 33554432000 4194304 6210612 140722638766640 140722638763960 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3303 869 493 0 2454 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13212 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23316
/proc/meminfo: memFree=26764568/32770624 swapFree=66927160/67108860
[pid=23280] ppid=23277 vsize=36596 memory=13212 CPUtime=462.22 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 19039 0 0 0 46221 1 0 0 20 0 1 0 409354570 37474304 3303 33554432000 4194304 6210612 140722638766640 140722638763960 5249901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9149 3303 869 493 0 2454 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 13212 KiB
################
# More data... #
################
/proc/23280/statm: 9183 3339 869 493 0 2488 0
Current children cumulated CPU time: 1602.08 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13356 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/199 23426
/proc/meminfo: memFree=26765380/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13364 CPUtime=1662.07 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 33989 0 0 0 166206 1 0 0 20 0 1 0 409354570 37613568 3341 33554432000 4194304 6210612 140722638766640 140722638763928 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3341 869 493 0 2488 0
Current children cumulated CPU time: 1662.07 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13364 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/199 23432
/proc/meminfo: memFree=26765196/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13380 CPUtime=1722.07 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 34786 0 0 0 172206 1 0 0 20 0 1 0 409354570 37613568 3345 33554432000 4194304 6210612 140722638766640 140722638763928 5380107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3345 869 493 0 2488 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13380 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23444
/proc/meminfo: memFree=26764640/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13380 CPUtime=1782.06 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 35463 0 0 0 178205 1 0 0 20 0 1 0 409354570 37613568 3345 33554432000 4194304 6210612 140722638766640 140722638763928 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3345 869 493 0 2488 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13380 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23474
/proc/meminfo: memFree=26763780/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13380 CPUtime=1842.05 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 36134 0 0 0 184204 1 0 0 20 0 1 0 409354570 37613568 3345 33554432000 4194304 6210612 140722638766640 140722638763928 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3345 869 493 0 2488 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13380 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23480
/proc/meminfo: memFree=26765152/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13388 CPUtime=1902.05 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 36947 0 0 0 190204 1 0 0 20 0 1 0 409354570 37613568 3347 33554432000 4194304 6210612 140722638766640 140722638763928 5034969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3347 869 493 0 2488 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13388 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23485
/proc/meminfo: memFree=26765140/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=1962.04 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 37633 0 0 0 196203 1 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 23491
/proc/meminfo: memFree=26764568/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2022.04 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 38319 0 0 0 202202 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23620
/proc/meminfo: memFree=26764508/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2082.03 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 39118 0 0 0 208201 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5034848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23624
/proc/meminfo: memFree=26764248/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2142.02 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 39795 0 0 0 214200 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23631
/proc/meminfo: memFree=26763412/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2202.02 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 40473 0 0 0 220200 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5157172 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23635
/proc/meminfo: memFree=26763188/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2262.01 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 41161 0 0 0 226199 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5155432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23639
/proc/meminfo: memFree=26763860/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2322 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 41942 0 0 0 232198 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5034904 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23652
/proc/meminfo: memFree=26762540/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2381.99 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 42617 0 0 0 238197 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5155439 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23652
/proc/meminfo: memFree=26763632/32770624 swapFree=66927164/67108860
[pid=23280] ppid=23277 vsize=36732 memory=13392 CPUtime=2400.09 cores=0,2,4,6
/proc/23280/stat : 23280 (cosoco) R 23277 23280 21907 0 -1 4202496 43267 0 0 0 240007 2 0 0 20 0 1 0 409354570 37613568 3348 33554432000 4194304 6210612 140722638766640 140722638763928 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 36110336 140722638775307 140722638775409 140722638775409 140722638778318 0
/proc/23280/statm: 9183 3348 869 493 0 2488 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 36732 KiB
Current children cumulated memory: 13392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.4 s]
# the end of solver process 23280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.08 s, system=0.026996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.026996
CPU usage (%): 99.9876
Max. virtual memory (cumulated for all children) (KiB): 36732
Max. memory (cumulated for all children) (KiB): 13392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.026996
maximum resident set size= 13460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43342
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= 17
involuntary context switches= 3044
# summary of solver processes directly reported to runsolver:
# pid: 23280
# total CPU time (s): 2400.1
# total CPU user time (s): 2400.08
# total CPU system time (s): 0.026996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26225 second user time and 16.2621 second system time
The end
Begin job on node137 at 2019-09-13 01:30:30 IDJOB=4394693 IDBENCH=123078 IDSOLVER=2830 FILE ID=node137/4394693-1568331072 RUNJOBID= node137-1568323498-21938 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 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-4394693-1568331072/watcher-4394693-1568331072 -o /tmp/evaluation-result-4394693-1568331072/solver-4394693-1568331072 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394693-1568331072.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 205bdfbfcc3ea2dee357f2e21bf6ef88 RANDOM SEED=1649620621 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 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: 26775396 kB MemAvailable: 31803440 kB Buffers: 135500 kB Cached: 5157764 kB SwapCached: 77556 kB Active: 1362432 kB Inactive: 4013088 kB Active(anon): 6248 kB Inactive(anon): 117532 kB Active(file): 1356184 kB Inactive(file): 3895556 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927160 kB Dirty: 2824 kB Writeback: 176 kB AnonPages: 118932 kB Mapped: 44980 kB Shmem: 32692 kB Slab: 213444 kB SReclaimable: 184276 kB SUnreclaim: 29168 kB KernelStack: 3520 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 528908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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= 61232 MiB End job on node137 at 2019-09-13 02:10:31