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 parallel | SAT (TO) | 999 | 2011.03 | 252.025 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
| MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 935 |
| Best CPU time to get the best result obtained on this benchmark | 2400.46 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 812 |
| Number of constraints | 381 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 378 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 379 |
| Distribution of constraint types | [{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.09/0.15 c 0.09/0.15 c This is cosoco 2.00 -- 0.09/0.15 c 0.09/0.15 c command line: cosoco -model -nbcores=8 HOME/instance-4410067-1569828878.xml 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 0.09/0.15 0 523.21/65.71 c enable optimization 523.21/65.71 c ========================================[ Problem Statistics ]=========================================== 523.21/65.71 c | 523.21/65.71 c | Parse time : 0.14 s 523.21/65.71 c | 523.21/65.71 c | Variables: 812 523.21/65.71 c | Domain Sizes: 1000..1001 523.21/65.71 c | 523.21/65.71 c | Constraints: 408 523.21/65.71 c | Arity: 1..378 -- Unary: 2 -- Binary: 27 -- Ternary: 378 523.21/65.71 c | 523.21/65.71 c | Types: 523.21/65.71 c | (X - Y < k): 27 523.21/65.71 c | All Different: 1 523.21/65.71 c | Intension: 1 523.21/65.71 c | Sum: 378 523.21/65.71 c | Unary: 1 523.21/65.71 c | 523.21/65.71 c | Objective: Minimize Intension 523.21/65.71 523.21/65.71 c ========================================================================================================= 523.21/65.71 c Parallel mode: Portfolio 523.21/65.71 c [pFactory][Group N°0] created (threads:8). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 523.21/65.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 523.21/65.71 c [pFactory][Group N°0] concurrent mode: enabled. 523.21/65.71 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 523.21/65.71 c [pFactory][Group N°0] task 7 launched on thread 1. 523.21/65.71 c [pFactory][Group N°0] task 6 launched on thread 0. 523.21/65.71 c [pFactory][Group N°0] task 5 launched on thread 5. 523.21/65.71 c [pFactory][Group N°0] task 4 launched on thread 2. 523.21/65.71 c [pFactory][Group N°0] task 3 launched on thread 6. 523.21/65.71 c [pFactory][Group N°0] task 2 launched on thread 7. 523.21/65.71 c [pFactory][Group N°0] task 1 launched on thread 3. 523.21/65.71 c [pFactory][Group N°0] task 0 launched on thread 4. 523.21/65.71 o 1000 817.06/102.51 o 999 2010.92/252.02 2010.92/252.02 c *** INTERRUPTED *** 2010.92/252.02 c call to solver : 2 2010.92/252.02 c 2010.92/252.02 c restarts : 7389 2010.92/252.02 c conflicts : 51053 (25 /sec) 2010.92/252.02 c decisions : 102579 (51 /sec) 2010.92/252.02 c propagations : 3117507796 (1550389 /sec) 2010.92/252.02 c root propagations : 7636 2010.92/252.02 c filter calls : 22017604 (10950 /sec) 2010.92/252.02 c useless filter calls : 6079866 (27 %) 2010.92/252.02 c Memory used : 669.39 MB 2010.92/252.02 c Best bound time (wc) : 102.511 s 2010.92/252.02 c CPU time : 2010.79 s 2010.92/252.02 c real time : 252.016 s 2010.92/252.02 2010.92/252.02 s SATISFIABLE 2010.92/252.02 c Best value found: 999 2010.92/252.02 2010.92/252.02 2010.92/252.02 v <instantiation type='solution' cost='999'> 2010.92/252.02 v <list>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[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2010.92/252.02 v <values>0 609 652 698 737 763 812 840 873 892 921 10 937 961 974 988 991 992 997 999 22 42 57 116 248 289 391 559 * 609 652 698 737 763 812 840 873 892 921 10 937 961 974 988 991 992 997 999 22 42 57 116 248 289 391 559 * * 43 89 128 154 203 231 264 283 312 * 328 352 365 379 382 383 388 390 * * * * * * * * * * * 46 85 111 160 188 221 240 269 * 285 309 322 336 339 340 345 347 * * * * * * * * * * * * 39 65 114 142 175 194 223 * 239 263 276 290 293 294 299 301 * * * * * * * * * * * * * 26 75 103 136 155 184 * 200 224 237 251 254 255 260 262 * * * * * * * * * * * * * * 49 77 110 129 158 * 174 198 211 225 228 229 234 236 * * * * * * * * * * * * * * * 28 61 80 109 * 125 149 162 176 179 180 185 187 * * * * * * * * * * * * * * * * 33 52 81 * 97 121 134 148 151 152 157 159 * * * * * * * * * * * * * * * * * 19 48 * 64 88 101 115 118 119 124 126 * * * * * * * * * * * * * * * * * * 29 * 45 69 82 96 99 100 105 107 * * * * * * * * * * * * * * * * * * * * 16 40 53 67 70 71 76 78 * * * * * * * * * 599 642 688 727 753 802 830 863 882 911 * 927 951 964 978 981 982 987 989 12 32 47 106 238 279 381 549 * * * * * * * * * * * * * 24 37 51 54 55 60 62 * * * * * * * * * * * * * * * * * * * * * * 13 27 30 31 36 38 * * * * * * * * * * * * * * * * * * * * * * * 14 17 18 23 25 * * * * * * * * * * * * * * * * * * * * * * * * 3 4 9 11 * * * * * * * * * * * * * * * * * * * * * * * * * 1 6 8 * * * * * * * * * * * * * * * * * * * * * * * * * * 5 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 587 630 676 715 741 790 818 851 870 899 * 915 939 952 966 969 970 975 977 * 20 35 94 226 267 369 537 * 567 610 656 695 721 770 798 831 850 879 * 895 919 932 946 949 950 955 957 * * 15 74 206 247 349 517 * 552 595 641 680 706 755 783 816 835 864 * 880 904 917 931 934 935 940 942 * * * 59 191 232 334 502 * 493 536 582 621 647 696 724 757 776 805 * 821 845 858 872 875 876 881 883 * * * * 132 173 275 443 * 361 404 450 489 515 564 592 625 644 673 * 689 713 726 740 743 744 749 751 * * * * * 41 143 311 * 320 363 409 448 474 523 551 584 603 632 * 648 672 685 699 702 703 708 710 * * * * * * 102 270 * 218 261 307 346 372 421 449 482 501 530 * 546 570 583 597 600 601 606 608 * * * * * * * 168 * 50 93 139 178 204 253 281 314 333 362 * 378 402 415 429 432 433 438 440 * * * * * * * * </values> 2010.92/252.02 v </instantiation> 2010.92/252.02
OK 999
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 (15268 MiB free)
memory of node 1: 16384 MiB (15676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410067-1569828878/watcher-4410067-1569828878 -o /tmp/evaluation-result-4410067-1569828878/solver-4410067-1569828878 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410067-1569828878.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25223, runsolver pid=25220
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 7.96 6.50 6.97 2/193 25224
/proc/meminfo: memFree=31627712/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=87940 memory=64148 CPUtime=0.09 cores=0-7
/proc/25223/stat : 25223 (cosoco) R 25220 25223 23681 0 -1 4202496 16251 0 0 0 8 1 0 0 20 0 1 0 559154526 90050560 16037 33554432000 4194304 6211132 140723410668672 140723410665208 140545086090213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 21985 16037 821 493 0 15290 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 64148 KiB
[startup+0.212546 s]*
/proc/loadavg: 7.96 6.50 6.97 9/201 25232
/proc/meminfo: memFree=31611472/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=79892 CPUtime=0.59 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 20804 0 0 0 57 2 0 0 20 0 9 0 559154526 706125824 19973 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 19973 872 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=8316850467074736180 CPUtime=0.05 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 325 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545078987792 5149714 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=9369 CPUtime=0.05 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 330 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545070595088 5078765 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=139676815387973 CPUtime=0.05 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545062202384 5149714 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=-1 CPUtime=0.04 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 4 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545053809288 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545045416976 5390068 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545037024272 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545028631568 5149706 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545020238864 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79892 KiB
[startup+0.310537 s]*
/proc/loadavg: 7.96 6.50 6.97 9/201 25232
/proc/meminfo: memFree=31611472/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=79892 CPUtime=1.36 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 20804 0 0 0 134 2 0 0 20 0 9 0 559154526 706125824 19973 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 19973 872 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=1398722017469774279 CPUtime=0.15 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 325 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545078987792 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=4872558044660077418 CPUtime=0.15 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 330 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545070595088 5149721 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545062202384 5149732 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=0 CPUtime=0.13 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 13 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545053809288 5149786 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545045416976 5396634 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545037024272 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545028631568 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545020238864 5150097 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79892 KiB
[startup+0.700542 s]
/proc/loadavg: 7.96 6.50 6.97 9/201 25232
/proc/meminfo: memFree=31610804/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=79892 CPUtime=4.38 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 20804 0 0 0 436 2 0 0 20 0 9 0 559154526 706125824 19973 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 19973 872 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=2832 CPUtime=0.53 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 325 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545078987792 5149680 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=1192 CPUtime=0.52 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 330 0 0 0 52 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545070595088 5149680 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=940 CPUtime=0.53 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545062202384 5186301 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=14008 CPUtime=0.5 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 50 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545053809288 5075934 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=12040 CPUtime=0.53 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545045416976 5149714 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=139681106273919 CPUtime=0.53 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545037024272 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=7667218306769966952 CPUtime=0.53 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545028631568 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=7740116988498237028 CPUtime=0.53 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 559154542 706125824 19973 33554432000 4194304 6211132 140723410668672 140545020238864 5078762 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79892 KiB
[startup+1.50054 s]
/proc/loadavg: 7.96 6.50 6.97 9/201 25232
/proc/meminfo: memFree=31610804/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=81744 CPUtime=10.77 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 32560 0 0 0 1069 8 0 0 20 0 9 0 559154526 706125824 20436 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 20436 873 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=0 CPUtime=1.33 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 1544 0 0 0 132 1 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545078987416 5149714 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=139676631433217 CPUtime=1.3 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 1545 0 0 0 130 0 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545070595088 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=139680926400925 CPUtime=1.32 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 1649 0 0 0 131 1 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545062202384 5075275 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=139680926400939 CPUtime=1.3 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 2065 0 0 0 130 0 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545053809792 5389855 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=139680926400959 CPUtime=1.33 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 1834 0 0 0 133 0 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545045416992 5186331 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=139680926401057 CPUtime=1.33 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 1509 0 0 0 132 1 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545037024272 5389840 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=1060 CPUtime=1.32 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 2105 0 0 0 132 0 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545028631456 5149706 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=4004 CPUtime=1.33 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 2086 0 0 0 132 1 0 0 20 0 9 0 559154542 706125824 20436 33554432000 4194304 6211132 140723410668672 140545020238864 5150094 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 10.77 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 81744 KiB
[startup+3.11054 s]
/proc/loadavg: 8.05 6.54 6.98 9/201 25232
/proc/meminfo: memFree=31610060/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=82232 CPUtime=23.62 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 33628 0 0 0 2354 8 0 0 20 0 9 0 559154526 706125824 20558 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 20558 873 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=82060 CPUtime=2.94 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 1594 0 0 0 293 1 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545078987640 5075367 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=12040 CPUtime=2.88 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 1858 0 0 0 288 0 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545070594976 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=0 CPUtime=2.93 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 1994 0 0 0 292 1 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545062202232 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=4206450465634149686 CPUtime=2.9 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 2126 0 0 0 290 0 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545053809680 5207617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=56 CPUtime=2.93 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 1886 0 0 0 293 0 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545045416976 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=0 CPUtime=2.94 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 1564 0 0 0 293 1 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545037024160 5186331 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=0 CPUtime=2.93 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 2180 0 0 0 293 0 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545028631568 5149680 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=0 CPUtime=2.94 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 2203 0 0 0 293 1 0 0 20 0 9 0 559154542 706125824 20558 33554432000 4194304 6211132 140723410668672 140545020238712 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 23.62 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 82232 KiB
[startup+6.30154 s]
/proc/loadavg: 8.05 6.54 6.98 9/201 25232
/proc/meminfo: memFree=31609280/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=83452 CPUtime=49.11 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 56916 0 0 0 4900 11 0 0 20 0 9 0 559154526 706125824 20863 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 20863 873 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=68 CPUtime=6.13 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 4789 0 0 0 612 1 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545078987904 5149721 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=349 CPUtime=6.03 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 4187 0 0 0 603 0 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545070594936 5149732 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=352 CPUtime=6.12 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 5323 0 0 0 611 1 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545062202008 5149728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=10600 CPUtime=6.09 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 5359 0 0 0 609 0 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545053809680 5207536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=984 CPUtime=6.12 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 4733 0 0 0 612 0 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545045416824 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=2004 CPUtime=6.12 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 3600 0 0 0 611 1 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545037024024 5149690 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=82856 CPUtime=6.12 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 5201 0 0 0 612 0 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545028630920 5389929 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=6944656425122961013 CPUtime=6.13 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 5501 0 0 0 612 1 0 0 20 0 9 0 559154542 706125824 20863 33554432000 4194304 6211132 140723410668672 140545020238616 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 49.11 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 83452 KiB
[startup+12.7005 s]
/proc/loadavg: 8.12 6.58 6.99 9/201 25232
/proc/meminfo: memFree=31609124/32770624 swapFree=66975632/67108860
################
# More data... #
################
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 12876 0 0 0 2529 2 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545062201784 5397248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=87144 CPUtime=25.29 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 12577 0 0 0 2528 1 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545053809528 5389992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=87144 CPUtime=25.32 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 12072 0 0 0 2531 1 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545045416248 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=4465 CPUtime=25.32 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 10954 0 0 0 2530 2 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545037023944 5076402 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=2209 CPUtime=25.31 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 12382 0 0 0 2530 1 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545028631568 5074376 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=780 CPUtime=25.32 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 11631 0 0 0 2530 2 0 0 20 0 9 0 559154542 706125824 21945 33554432000 4194304 6211132 140723410668672 140545020238712 5150084 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 202.4 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 87780 KiB
[startup+51.1105 s]
/proc/loadavg: 8.27 6.82 7.06 9/201 25234
/proc/meminfo: memFree=31601296/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=689576 memory=90532 CPUtime=406.73 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 120696 0 0 0 40655 18 0 0 20 0 9 0 559154526 706125824 22633 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 172394 22633 873 493 0 165699 0
[pid=25223/tid=25225] ppid=25220 vsize=689576 memory=279353330254393 CPUtime=50.92 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 11796 0 0 0 5090 2 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545078987904 5079440 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=689576 memory=90464 CPUtime=50.26 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 11254 0 0 0 5025 1 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545070594760 5082393 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=689576 memory=984 CPUtime=50.9 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 13949 0 0 0 5088 2 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545062202232 5079432 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=689576 memory=2004 CPUtime=50.81 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 13640 0 0 0 5080 1 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545053809432 5149924 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=689576 memory=1398722017469774279 CPUtime=50.9 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 12950 0 0 0 5089 1 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545045416976 5149786 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=689576 memory=4872558044660077418 CPUtime=50.91 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 11969 0 0 0 5089 2 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545037023848 5079049 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=689576 memory=90464 CPUtime=50.89 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 13316 0 0 0 5088 1 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545028631568 5393394 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=689576 memory=90464 CPUtime=50.89 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 13599 0 0 0 5087 2 0 0 20 0 9 0 559154542 706125824 22633 33554432000 4194304 6211132 140723410668672 140545020238136 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 406.73 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 90532 KiB
[startup+102.301 s]
/proc/loadavg: 8.27 7.05 7.12 9/200 25237
/proc/meminfo: memFree=31603652/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=685448 memory=90264 CPUtime=815.46 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 133371 0 0 0 81525 21 0 0 20 0 9 0 559154526 701898752 22566 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 171362 22566 873 493 0 164667 0
[pid=25223/tid=25225] ppid=25220 vsize=685448 memory=90212 CPUtime=102.1 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 13040 0 0 0 10208 2 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545078987064 5150109 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=685448 memory=139676698665281 CPUtime=101.44 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 12854 0 0 0 10143 1 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545070594744 5074413 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=685448 memory=279353397428992 CPUtime=102.09 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 15631 0 0 0 10207 2 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545062202040 5075571 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=685448 memory=0 CPUtime=101.29 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 15245 0 0 0 10127 2 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545053809080 5078762 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=685448 memory=90212 CPUtime=102.08 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 14487 0 0 0 10207 1 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545045416976 5186321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=685448 memory=1192 CPUtime=102.09 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 13604 0 0 0 10207 2 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545037023928 5081320 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=685448 memory=940 CPUtime=102.08 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 14975 0 0 0 10206 2 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545028631240 5078872 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=685448 memory=8243122710528917583 CPUtime=102.06 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 15312 0 0 0 10203 3 0 0 20 0 9 0 559154542 701898752 22566 33554432000 4194304 6211132 140723410668672 140545020238864 5150124 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 815.46 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 90264 KiB
[startup+162.301 s]
/proc/loadavg: 8.10 7.22 7.17 9/201 25242
/proc/meminfo: memFree=31602528/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=685448 memory=90536 CPUtime=1294.56 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 136722 0 0 0 129435 21 0 0 20 0 9 0 559154526 701898752 22634 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 171362 22634 873 493 0 164667 0
[pid=25223/tid=25225] ppid=25220 vsize=685448 memory=90532 CPUtime=162.1 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 13429 0 0 0 16208 2 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545078987792 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=685448 memory=90512 CPUtime=161.44 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 13270 0 0 0 16143 1 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545070594744 5082411 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=685448 memory=90536 CPUtime=162.08 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 16105 0 0 0 16206 2 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545062202040 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=685448 memory=90536 CPUtime=160.44 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 15823 0 0 0 16042 2 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545053809568 5081952 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=685448 memory=90536 CPUtime=162.07 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 14782 0 0 0 16206 1 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545045416976 5078728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=685448 memory=90536 CPUtime=162.08 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 13911 0 0 0 16206 2 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545037023928 5149709 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=685448 memory=3620 CPUtime=162.06 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 15484 0 0 0 16204 2 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545028631224 5079344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=685448 memory=1436 CPUtime=162.04 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 15695 0 0 0 16201 3 0 0 20 0 9 0 559154542 701898752 22634 33554432000 4194304 6211132 140723410668672 140545020238864 5149706 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 1294.56 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 90536 KiB
[startup+222.301 s]
/proc/loadavg: 8.04 7.36 7.23 9/200 25245
/proc/meminfo: memFree=31603564/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=685448 memory=91136 CPUtime=1773.68 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 139989 0 0 0 177346 22 0 0 20 0 9 0 559154526 701898752 22784 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 171362 22784 873 493 0 164667 0
[pid=25223/tid=25225] ppid=25220 vsize=685448 memory=3620 CPUtime=222.11 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 13972 0 0 0 22209 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545078987192 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=685448 memory=91000 CPUtime=221.43 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 13545 0 0 0 22141 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545070594744 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=685448 memory=90996 CPUtime=222.07 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 16572 0 0 0 22205 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545062202040 5081956 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=685448 memory=91000 CPUtime=219.6 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 16262 0 0 0 21958 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545053809432 5081371 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=685448 memory=90996 CPUtime=222.06 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 15217 0 0 0 22205 1 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545045416976 5081322 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=685448 memory=90696 CPUtime=222.08 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 14215 0 0 0 22206 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545037024120 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=685448 memory=90996 CPUtime=222.06 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 15908 0 0 0 22204 2 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545028631568 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=685448 memory=91000 CPUtime=222.03 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 16075 0 0 0 22200 3 0 0 20 0 9 0 559154542 701898752 22784 33554432000 4194304 6211132 140723410668672 140545020238520 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 1773.68 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 91136 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.02 7.42 7.25 9/201 25248
/proc/meminfo: memFree=31600432/32770624 swapFree=66975632/67108860
[pid=25223] ppid=25220 vsize=685448 memory=91220 CPUtime=2010.92 cores=0-7
/proc/25223/stat : 25223 (cosoco) S 25220 25223 23681 0 -1 1077944320 140149 0 0 0 201069 23 0 0 20 0 9 0 559154526 701898752 22805 33554432000 4194304 6211132 140723410668672 140723410666928 140545102130935 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
/proc/25223/statm: 171362 22805 873 493 0 164667 0
[pid=25223/tid=25225] ppid=25220 vsize=685448 memory=940 CPUtime=251.81 cores=0-7
/proc/25223/task/25225/stat : 25225 (cosoco) R 25220 25223 23681 0 -1 4202560 13978 0 0 0 25179 2 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545078987272 5081375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25226] ppid=25220 vsize=685448 memory=4872558044660077418 CPUtime=251.14 cores=0-7
/proc/25223/task/25226/stat : 25226 (cosoco) R 25220 25223 23681 0 -1 4202560 13564 0 0 0 25112 2 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545070595088 5149680 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25227] ppid=25220 vsize=685448 memory=10600 CPUtime=251.78 cores=0-7
/proc/25223/task/25227/stat : 25227 (cosoco) R 25220 25223 23681 0 -1 4202560 16587 0 0 0 25175 3 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545062202040 5081385 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25228] ppid=25220 vsize=685448 memory=6935054825532540783 CPUtime=248.89 cores=0-7
/proc/25223/task/25228/stat : 25228 (cosoco) R 25220 25223 23681 0 -1 4202560 16290 0 0 0 24887 2 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545053809336 5149937 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25229] ppid=25220 vsize=685448 memory=2004 CPUtime=251.77 cores=0-7
/proc/25223/task/25229/stat : 25229 (cosoco) R 25220 25223 23681 0 -1 4202560 15249 0 0 0 25176 1 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545045416632 5081728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25230] ppid=25220 vsize=685448 memory=1436 CPUtime=251.78 cores=0-7
/proc/25223/task/25230/stat : 25230 (cosoco) R 25220 25223 23681 0 -1 4202560 14232 0 0 0 25176 2 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545037023928 5075234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25231] ppid=25220 vsize=685448 memory=1192 CPUtime=251.77 cores=0-7
/proc/25223/task/25231/stat : 25231 (cosoco) R 25220 25223 23681 0 -1 4202560 15937 0 0 0 25175 2 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545028631416 5081349 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
[pid=25223/tid=25232] ppid=25220 vsize=685448 memory=940 CPUtime=251.73 cores=0-7
/proc/25223/task/25232/stat : 25232 (cosoco) R 25220 25223 23681 0 -1 4202560 16089 0 0 0 25170 3 0 0 20 0 9 0 559154542 701898752 22805 33554432000 4194304 6211132 140723410668672 140545020238712 5149718 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18726912 140723410670614 140723410670706 140723410670706 140723410673614 0
Current children cumulated CPU time: 2010.92 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 91220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.025 s]
# the end of solver process 25223 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2010.79 s, system=0.232852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.025
CPU time (s): 2011.03
CPU user time (s): 2010.79
CPU system time (s): 0.232852
CPU usage (%): 797.949
Max. virtual memory (cumulated for all children) (KiB): 689576
Max. memory (cumulated for all children) (KiB): 91324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2010.79
system time used= 0.232852
maximum resident set size= 91772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140217
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= 701
involuntary context switches= 16538
# summary of solver processes directly reported to runsolver:
# pid: 25223
# total CPU time (s): 2011.03
# total CPU user time (s): 2010.79
# total CPU system time (s): 0.232852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21703 second user time and 2.31157 second system time
The end
Begin job on node125 at 2019-09-30 09:33:55 IDJOB=4410067 IDBENCH=126211 IDSOLVER=2878 FILE ID=node125/4410067-1569828878 RUNJOBID= node125-1569817883-23708 PBS_JOBID= 21705920 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410067-1569828878/watcher-4410067-1569828878 -o /tmp/evaluation-result-4410067-1569828878/solver-4410067-1569828878 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410067-1569828878.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=598714736 node125.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.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 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: 31686360 kB MemAvailable: 31846116 kB Buffers: 107924 kB Cached: 391324 kB SwapCached: 29876 kB Active: 366484 kB Inactive: 169160 kB Active(anon): 5808 kB Inactive(anon): 111328 kB Active(file): 360676 kB Inactive(file): 57832 kB Unevictable: 106456 kB Mlocked: 106456 kB SwapTotal: 67108860 kB SwapFree: 66975632 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 122664 kB Mapped: 26960 kB Shmem: 72012 kB Slab: 143384 kB SReclaimable: 114168 kB SUnreclaim: 29216 kB KernelStack: 3728 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node125 at 2019-09-30 09:38:07