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) | 59555 | 2519.82 | 2520.01 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-kra30b.xml |
| MD5SUM | 96027ecb9680ebc7e976d400499bbdbc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 47490 |
| Best CPU time to get the best result obtained on this benchmark | 2520.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 930 |
| Number of constraints | 436 |
| Number of domains | 2 |
| Minimum domain size | 5 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":5,"count":435},{"size":30,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":3,"count":435},{"arity":30,"count":1}] |
| Number of extensional constraints | 435 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":435},{"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-4408482-1569792486.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: 5..30 0.10/0.13 c | 0.10/0.13 c | Constraints: 437 0.10/0.13 c | Arity: 3..435 -- Ternary: 435 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: 435 (nb tuples: 870..870) -- (shared: 434) 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 66965 0.10/0.13 c 1 calls to solver(id=0): best=66965 lower=0 upper=66964 0.21/0.23 o 66515 0.31/0.33 o 66375 0.31/0.33 c 3 calls to solver(id=0): best=66375 lower=0 upper=66374 0.41/0.43 o 65875 0.41/0.49 o 64695 0.41/0.49 c 5 calls to solver(id=0): best=64695 lower=0 upper=64694 2.79/2.86 o 64550 2.89/2.91 o 63005 2.89/2.91 c 7 calls to solver(id=0): best=63005 lower=0 upper=63004 8.79/8.86 o 62740 25.28/25.35 o 62075 25.28/25.35 c 9 calls to solver(id=0): best=62075 lower=0 upper=62074 25.38/25.47 o 61835 28.09/28.14 o 61735 28.09/28.14 c 11 calls to solver(id=0): best=61735 lower=0 upper=61734 30.78/30.80 o 61575 33.38/33.47 o 61230 33.38/33.47 c 13 calls to solver(id=0): best=61230 lower=0 upper=61229 36.09/36.14 o 61030 38.88/38.92 o 60935 38.88/38.92 c 15 calls to solver(id=0): best=60935 lower=0 upper=60934 41.48/41.59 o 60920 44.18/44.23 o 60670 44.18/44.23 c 17 calls to solver(id=0): best=60670 lower=0 upper=60669 46.88/46.92 o 60570 49.48/49.58 o 59980 49.48/49.58 c 19 calls to solver(id=0): best=59980 lower=0 upper=59979 52.18/52.26 o 59780 54.88/54.99 o 59555 54.88/54.99 c 21 calls to solver(id=0): best=59555 lower=0 upper=59554 2519.81/2520.00 2519.81/2520.00 c *** INTERRUPTED *** 2519.81/2520.00 c call to solver : 21 2519.81/2520.00 c 2519.81/2520.00 c restarts : 718 2519.81/2520.00 c conflicts : 10560355 (4191 /sec) 2519.81/2520.00 c decisions : 47399208 (18811 /sec) 2519.81/2520.00 c propagations : 1523002022 (604415 /sec) 2519.81/2520.00 c root propagations : 19177 2519.81/2520.00 c filter calls : 2547312382 (1010920 /sec) 2519.81/2520.00 c useless filter calls : 2064053680 (81 %) 2519.81/2520.00 c Memory used : 34.59 MB 2519.81/2520.00 c Best bound time (wc) : 54.9862 s 2519.81/2520.00 c CPU time : 2519.8 s 2519.81/2520.00 c real time : 2520 s 2519.81/2520.00 2519.81/2520.00 c nb Solutions = 21 2519.81/2520.00 s SATISFIABLE 2519.81/2520.00 c Best value found: 59555 2519.81/2520.00 2519.81/2520.00 2519.81/2520.00 v <instantiation type='solution' cost='59555'> 2519.81/2520.00 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> 2519.81/2520.01 v <values>* 1 0 1 0 0 0 0 2 0 1 0 1 0 0 1 1 1 1 0 1 1 0 4 4 0 0 1 0 0 * * 3 2 3 0 0 0 0 0 1 * 0 0 0 1 2 0 0 0 0 2 * * * * * * * * * * * 3 4 2 0 0 0 1 3 * 3 0 0 1 3 3 3 2 3 3 * * * * * * * * * * * * 3 0 0 1 1 0 2 * 0 0 0 2 2 2 3 3 2 2 * * * * * * * * * * * * * 2 0 0 0 1 3 * 3 0 0 1 3 3 3 2 3 3 * * * * * * * * * * * * * * 0 0 0 0 0 * 0 0 4 1 0 0 0 4 0 0 * * * * * * * * * * * * * * * 0 0 2 0 * 4 4 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * * 0 0 1 * 0 0 0 0 1 1 0 0 1 1 * * * * * * * * * * * * * * * * * 0 1 * 1 1 0 1 1 1 0 0 1 1 * * * * * * * * * * * * * * * * * * 4 * 0 0 0 2 2 2 0 3 2 2 * * * * * * * * * * * * * * * * * * * * 0 0 0 2 2 2 2 3 2 2 * * * * * * * * * 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 * * * * * * * * * * * * * 0 4 1 0 0 4 0 0 0 * * * * * * * * * * * * * * * * * * * * * * 0 1 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 0 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 3 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 4 0 0 * 0 0 0 0 0 0 0 * 0 0 0 0 0 0 4 4 0 0 * 0 0 0 0 0 0 0 0 0 0 * * 0 0 0 3 0 0 * 4 2 2 2 0 0 0 0 0 3 * 4 3 0 1 3 0 3 0 0 3 * * * 4 0 3 0 0 * 0 2 3 2 0 0 0 0 0 0 * 4 0 0 1 0 0 0 0 0 0 * * * * 0 2 1 0 * 0 0 0 0 4 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 * * * * * 0 0 0 * 3 0 2 0 0 0 0 0 0 2 * 2 0 0 0 2 2 0 0 2 2 * * * * * * 0 0 * 2 1 2 1 0 0 0 2 0 1 * 3 0 0 2 1 2 3 0 2 1 * * * * * * * 0 * 0 0 0 0 2 0 2 0 0 0 * 0 0 0 0 0 0 0 4 0 0 * * * * * * * * 20 7 15 0 16 17 27 23 22 14 3 18 12 9 13 21 4 2 10 25 5 1 29 28 6 8 26 19 11 24 </values> 2519.81/2520.01 v </instantiation> 2519.81/2520.01
OK 59555
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 (14693 MiB free)
memory of node 1: 16384 MiB (13040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408482-1569792486/watcher-4408482-1569792486 -o /tmp/evaluation-result-4408482-1569792486/solver-4408482-1569792486 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1201 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408482-1569792486.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2104, runsolver pid=2101
[startup+0.100149 s]*
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28391180/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=34888 memory=11340 CPUtime=0.1 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 3049 0 0 0 10 0 0 0 20 0 1 0 555519856 35725312 2835 33554432000 4194304 6211132 140733179351232 140733179347768 5039026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8722 2835 873 493 0 2027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34888 KiB
Current children cumulated memory: 11340 KiB
[startup+0.209863 s]*
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28391092/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35020 memory=11604 CPUtime=0.21 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 3068 0 0 0 21 0 0 0 20 0 1 0 555519856 35860480 2901 33554432000 4194304 6211132 140733179351232 140733179339112 5039132 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8755 2901 873 493 0 2060 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35020 KiB
Current children cumulated memory: 11604 KiB
[startup+0.309648 s]*
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28391020/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35152 memory=11604 CPUtime=0.31 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 3093 0 0 0 31 0 0 0 20 0 1 0 555519856 35995648 2901 33554432000 4194304 6211132 140733179351232 140733179339112 5039026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8788 2901 873 493 0 2093 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 11604 KiB
[startup+0.700307 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28391020/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35152 memory=11604 CPUtime=0.69 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 3122 0 0 0 69 0 0 0 20 0 1 0 555519856 35995648 2901 33554432000 4194304 6211132 140733179351232 140733179339112 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8788 2901 873 493 0 2093 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 11604 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28391020/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35284 memory=11868 CPUtime=1.49 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 3133 0 0 0 149 0 0 0 20 0 1 0 555519856 36130816 2967 33554432000 4194304 6211132 140733179351232 140733179348632 5035290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8821 2967 874 493 0 2126 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35284 KiB
Current children cumulated memory: 11868 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2105
/proc/meminfo: memFree=28390780/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=3.1 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 5162 0 0 0 310 0 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179348632 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2106
/proc/meminfo: memFree=28390484/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=6.29 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 7132 0 0 0 629 0 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5035344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2106
/proc/meminfo: memFree=28390740/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=12.69 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 9141 0 0 0 1269 0 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179349368 5155832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2108
/proc/meminfo: memFree=28390588/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=25.48 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 13139 0 0 0 2548 0 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179349368 5038944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2109
/proc/meminfo: memFree=28389928/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=51.09 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 15155 0 0 0 5109 0 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5039137 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2174
/proc/meminfo: memFree=28052388/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=102.28 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 17142 0 0 0 10227 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2188
/proc/meminfo: memFree=28049760/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=162.28 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 17622 0 0 0 16227 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5038686 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2192
/proc/meminfo: memFree=28049844/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=222.27 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 18102 0 0 0 22226 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2196
/proc/meminfo: memFree=28046572/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=282.27 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 18582 0 0 0 28226 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5193731 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2202
/proc/meminfo: memFree=28043664/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=342.26 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 19062 0 0 0 34225 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5157011 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2206
/proc/meminfo: memFree=28042880/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=402.26 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 19541 0 0 0 40225 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5039178 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2210
/proc/meminfo: memFree=28043108/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=462.25 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 20020 0 0 0 46224 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5157572 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
################
# More data... #
################
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2343
/proc/meminfo: memFree=28037216/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=1782.15 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 30264 0 0 0 178214 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5039022 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2349
/proc/meminfo: memFree=28037068/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=1842.14 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 30705 0 0 0 184213 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5389446 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2353
/proc/meminfo: memFree=28036940/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=1902.14 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 31146 0 0 0 190213 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2366
/proc/meminfo: memFree=28036088/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=1962.14 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 31626 0 0 0 196213 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5409471 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2395
/proc/meminfo: memFree=28036152/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2022.13 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 32059 0 0 0 202212 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5038971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2399
/proc/meminfo: memFree=28035860/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2082.13 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 32492 0 0 0 208212 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5039650 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2405
/proc/meminfo: memFree=28035364/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2142.12 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 32971 0 0 0 214211 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2409
/proc/meminfo: memFree=28035812/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2202.12 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 33402 0 0 0 220211 1 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2413
/proc/meminfo: memFree=28035888/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2262.12 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 33830 0 0 0 226210 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5037858 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2430
/proc/meminfo: memFree=28035440/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2322.12 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 34285 0 0 0 232210 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5039185 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 2434
/proc/meminfo: memFree=28036076/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2382.11 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 34739 0 0 0 238209 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5038992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2441
/proc/meminfo: memFree=28035048/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2442.11 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 35162 0 0 0 244209 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5037808 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 2447
/proc/meminfo: memFree=28035060/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2502.1 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 35585 0 0 0 250208 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5038992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/200 2447
/proc/meminfo: memFree=28034812/32770624 swapFree=66956692/67108860
[pid=2104] ppid=2101 vsize=35412 memory=11976 CPUtime=2519.81 cores=0,2,4,6
/proc/2104/stat : 2104 (cosoco) R 2101 2104 1161 0 -1 4202496 36015 0 0 0 251979 2 0 0 20 0 1 0 555519856 36261888 2994 33554432000 4194304 6211132 140733179351232 140733179339112 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33046528 140733179356171 140733179356273 140733179356273 140733179359182 0
/proc/2104/statm: 8853 2994 874 493 0 2158 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 11976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 2104 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.8 s, system=0.021998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.82
CPU user time (s): 2519.8
CPU system time (s): 0.021998
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 35412
Max. memory (cumulated for all children) (KiB): 11976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.021998
maximum resident set size= 12040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36076
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= 16
involuntary context switches= 1945
# summary of solver processes directly reported to runsolver:
# pid: 2104
# total CPU time (s): 2519.82
# total CPU user time (s): 2519.8
# total CPU system time (s): 0.021998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.91541 second user time and 16.7805 second system time
The end
Begin job on node151 at 2019-09-29 23:27:25 IDJOB=4408482 IDBENCH=123138 IDSOLVER=2874 FILE ID=node151/4408482-1569792486 RUNJOBID= node151-1569787351-1201 PBS_JOBID= 21705814 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-kra30b.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408482-1569792486/watcher-4408482-1569792486 -o /tmp/evaluation-result-4408482-1569792486/solver-4408482-1569792486 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1201 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408482-1569792486.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96027ecb9680ebc7e976d400499bbdbc RANDOM SEED=1320885402 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28398768 kB MemAvailable: 31774084 kB Buffers: 167712 kB Cached: 3543284 kB SwapCached: 50572 kB Active: 1928468 kB Inactive: 1891112 kB Active(anon): 76624 kB Inactive(anon): 111440 kB Active(file): 1851844 kB Inactive(file): 1779672 kB Unevictable: 108504 kB Mlocked: 108504 kB SwapTotal: 67108860 kB SwapFree: 66956692 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 166580 kB Mapped: 27456 kB Shmem: 70732 kB Slab: 147840 kB SReclaimable: 119272 kB SUnreclaim: 28568 kB KernelStack: 3552 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 621780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62024 MiB End job on node151 at 2019-09-30 00:09:25