Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | SAT (TO) | 992 | 20120.7 | 2520.02 |
| 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 | 914 |
| Best CPU time to get the best result obtained on this benchmark | 19852.1 |
| 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.10/0.15 c 0.10/0.15 c This is cosoco 2.00 -- 0.10/0.15 c 0.10/0.15 c command line: cosoco -model -nbcores=8 HOME/instance-4398507-1568602604.xml 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 2645.51/331.57 c enable optimization 2645.51/331.57 c ========================================[ Problem Statistics ]=========================================== 2645.51/331.57 c | 2645.51/331.57 c | Parse time : 0.13 s 2645.51/331.57 c | 2645.51/331.57 c | Variables: 812 2645.51/331.57 c | Domain Sizes: 1000..1001 2645.51/331.57 c | 2645.51/331.57 c | Constraints: 408 2645.51/331.57 c | Arity: 1..378 -- Unary: 2 -- Binary: 27 -- Ternary: 378 2645.51/331.57 c | 2645.51/331.57 c | Types: 2645.51/331.57 c | (X - Y < k): 27 2645.51/331.57 c | All Different: 1 2645.51/331.57 c | Intension: 1 2645.51/331.57 c | Sum: 378 2645.51/331.57 c | Unary: 1 2645.51/331.57 c | 2645.51/331.57 c | Objective: Minimize Intension 2645.51/331.57 2645.51/331.57 c ========================================================================================================= 2645.51/331.57 c Parallel mode: Portfolio 2645.51/331.57 c [pFactory][Group N°0] created (threads:8). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2645.51/331.57 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2645.51/331.57 c [pFactory][Group N°0] concurrent mode: enabled. 2645.51/331.57 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2645.51/331.57 c [pFactory][Group N°0] task 7 launched on thread 5. 2645.51/331.57 c [pFactory][Group N°0] task 6 launched on thread 0. 2645.51/331.57 c [pFactory][Group N°0] task 5 launched on thread 2. 2645.51/331.57 c [pFactory][Group N°0] task 4 launched on thread 6. 2645.51/331.57 c [pFactory][Group N°0] task 3 launched on thread 7. 2645.51/331.57 c [pFactory][Group N°0] task 2 launched on thread 3. 2645.51/331.57 c [pFactory][Group N°0] task 1 launched on thread 1. 2645.51/331.57 c [pFactory][Group N°0] task 0 launched on thread 4. 2645.51/331.57 o 1000 6134.18/768.49 o 999 8697.28/1089.41 o 998 11558.26/1447.77 o 997 13224.71/1656.43 o 993 15369.51/1925.09 o 992 20120.55/2520.02 20120.55/2520.02 c *** INTERRUPTED *** 20120.55/2520.02 c call to solver : 6 20120.55/2520.02 c 20120.55/2520.02 c restarts : 117160 20120.55/2520.02 c conflicts : 297741 (15 /sec) 20120.55/2520.02 c decisions : 1022048 (51 /sec) 20120.55/2520.02 c propagations : 27298336728 (1356756 /sec) 20120.55/2520.02 c root propagations : 7636 20120.55/2520.02 c filter calls : 212754700 (10574 /sec) 20120.55/2520.02 c useless filter calls : 63411574 (29 %) 20120.55/2520.02 c Memory used : 669.39 MB 20120.55/2520.02 c Best bound time (wc) : 1925.09 s 20120.55/2520.02 c CPU time : 20120.3 s 20120.55/2520.02 c real time : 2520.02 s 20120.55/2520.02 20120.55/2520.02 s SATISFIABLE 20120.55/2520.02 c Best value found: 992 20120.55/2520.02 20120.55/2520.02 20120.55/2520.02 v <instantiation type='solution' cost='992'> 20120.55/2520.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> 20120.55/2520.02 v <values>0 272 308 366 417 478 728 751 791 825 855 3 904 946 960 973 981 985 991 992 5 20 29 57 73 95 128 188 * 272 308 366 417 478 728 751 791 825 855 3 904 946 960 973 981 985 991 992 5 20 29 57 73 95 128 188 * * 36 94 145 206 456 479 519 553 583 * 632 674 688 701 709 713 719 720 * * * * * * * * * * * 58 109 170 420 443 483 517 547 * 596 638 652 665 673 677 683 684 * * * * * * * * * * * * 51 112 362 385 425 459 489 * 538 580 594 607 615 619 625 626 * * * * * * * * * * * * * 61 311 334 374 408 438 * 487 529 543 556 564 568 574 575 * * * * * * * * * * * * * * 250 273 313 347 377 * 426 468 482 495 503 507 513 514 * * * * * * * * * * * * * * * 23 63 97 127 * 176 218 232 245 253 257 263 264 * * * * * * * * * * * * * * * * 40 74 104 * 153 195 209 222 230 234 240 241 * * * * * * * * * * * * * * * * * 34 64 * 113 155 169 182 190 194 200 201 * * * * * * * * * * * * * * * * * * 30 * 79 121 135 148 156 160 166 167 * * * * * * * * * * * * * * * * * * * * 49 91 105 118 126 130 136 137 * * * * * * * * * 269 305 363 414 475 725 748 788 822 852 * 901 943 957 970 978 982 988 989 2 17 26 54 70 92 125 185 * * * * * * * * * * * * * 42 56 69 77 81 87 88 * * * * * * * * * * * * * * * * * * * * * * 14 27 35 39 45 46 * * * * * * * * * * * * * * * * * * * * * * * 13 21 25 31 32 * * * * * * * * * * * * * * * * * * * * * * * * 8 12 18 19 * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 11 * * * * * * * * * * * * * * * * * * * * * * * * * * 6 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 267 303 361 412 473 723 746 786 820 850 * 899 941 955 968 976 980 986 987 * 15 24 52 68 90 123 183 * 252 288 346 397 458 708 731 771 805 835 * 884 926 940 953 961 965 971 972 * * 9 37 53 75 108 168 * 243 279 337 388 449 699 722 762 796 826 * 875 917 931 944 952 956 962 963 * * * 28 44 66 99 159 * 215 251 309 360 421 671 694 734 768 798 * 847 889 903 916 924 928 934 935 * * * * 16 38 71 131 * 199 235 293 344 405 655 678 718 752 782 * 831 873 887 900 908 912 918 919 * * * * * 22 55 115 * 177 213 271 322 383 633 656 696 730 760 * 809 851 865 878 886 890 896 897 * * * * * * 33 93 * 144 180 238 289 350 600 623 663 697 727 * 776 818 832 845 853 857 863 864 * * * * * * * 60 * 84 120 178 229 290 540 563 603 637 667 * 716 758 772 785 793 797 803 804 * * * * * * * * </values> 20120.55/2520.02 v </instantiation> 20120.55/2520.02
OK 992
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 (15384 MiB free)
memory of node 1: 16384 MiB (13414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398507-1568602604/watcher-4398507-1568602604 -o /tmp/evaluation-result-4398507-1568602604/solver-4398507-1568602604 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398507-1568602604.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=22088, runsolver pid=22085
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 8.13 5.66 3.39 2/191 22089
/proc/meminfo: memFree=29431264/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=87940 memory=64152 CPUtime=0.1 cores=0-7
/proc/22088/stat : 22088 (cosoco) R 22085 22088 21287 0 -1 4202496 16259 0 0 0 8 2 0 0 20 0 1 0 436196894 90050560 16038 33554432000 4194304 6211092 140736563720720 140736563717256 140550268132325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 21985 16038 821 493 0 15290 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 64152 KiB
[startup+0.210501 s]*
/proc/loadavg: 8.13 5.66 3.39 9/199 22097
/proc/meminfo: memFree=29415208/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=689576 memory=79584 CPUtime=0.6 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 20807 0 0 0 57 3 0 0 20 0 9 0 436196894 706125824 19896 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172394 19896 872 493 0 165699 0
[pid=22088/tid=22090] ppid=22085 vsize=689576 memory=8316850467074736180 CPUtime=0.05 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 326 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550261029904 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=689576 memory=9230 CPUtime=0.05 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550252637200 5186258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=689576 memory=288370362838173312 CPUtime=0.05 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 323 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550244244496 5081443 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550235851792 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550227459088 5390145 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 330 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550219066384 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550210673680 5078848 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=689576 memory=0 CPUtime=0.04 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 4 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550202280976 5149700 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79584 KiB
[startup+0.3105 s]*
/proc/loadavg: 8.13 5.66 3.39 9/199 22097
/proc/meminfo: memFree=29415208/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=689576 memory=79584 CPUtime=1.38 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 20807 0 0 0 135 3 0 0 20 0 9 0 436196894 706125824 19896 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172394 19896 872 493 0 165699 0
[pid=22088/tid=22090] ppid=22085 vsize=689576 memory=1398722017469774279 CPUtime=0.15 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 326 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550261029904 5078771 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=689576 memory=4872558044660077418 CPUtime=0.15 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550252637200 5193696 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 323 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550244244496 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550235851792 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550227459088 5149677 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 330 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550219066384 5397223 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550210673680 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=689576 memory=0 CPUtime=0.13 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 13 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550202280976 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79584 KiB
[startup+0.7005 s]
/proc/loadavg: 8.13 5.66 3.39 11/201 22099
/proc/meminfo: memFree=29414308/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=689576 memory=79584 CPUtime=4.4 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 20807 0 0 0 437 3 0 0 20 0 9 0 436196894 706125824 19896 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172394 19896 872 493 0 165699 0
[pid=22088/tid=22090] ppid=22085 vsize=689576 memory=2832 CPUtime=0.53 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 326 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550261029904 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=689576 memory=8020 CPUtime=0.53 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550252637200 5186269 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=689576 memory=10428 CPUtime=0.53 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 323 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550244244496 5150092 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=689576 memory=14012 CPUtime=0.53 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550235851792 5150080 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=689576 memory=14080 CPUtime=0.53 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550227459088 5079052 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=689576 memory=139990981428863 CPUtime=0.53 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 330 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550219066384 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=689576 memory=7307485572722549846 CPUtime=0.53 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550210673680 5150884 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=689576 memory=7307485572722549846 CPUtime=0.49 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 321 0 0 0 49 0 0 0 20 0 9 0 436196910 706125824 19896 33554432000 4194304 6211092 140736563720720 140550202280976 5149648 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 79584 KiB
[startup+1.5015 s]
/proc/loadavg: 8.13 5.66 3.39 9/200 22099
/proc/meminfo: memFree=29413704/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=689576 memory=81360 CPUtime=10.8 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 32386 0 0 0 1072 8 0 0 20 0 9 0 436196894 706125824 20340 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172394 20340 873 493 0 165699 0
[pid=22088/tid=22090] ppid=22085 vsize=689576 memory=5936411989060904810 CPUtime=1.33 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 1350 0 0 0 132 1 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550261029752 5149658 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=689576 memory=279973080760128 CPUtime=1.33 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 2162 0 0 0 133 0 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550252637200 5075581 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=689576 memory=279973080578880 CPUtime=1.33 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 1602 0 0 0 132 1 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550244244248 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=689576 memory=279973080577728 CPUtime=1.33 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 2429 0 0 0 133 0 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550235851792 5149679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=689576 memory=7245577201579234449 CPUtime=1.32 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 1125 0 0 0 132 0 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550227459088 5149686 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=689576 memory=279973080713696 CPUtime=1.33 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 2006 0 0 0 133 0 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550219066496 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=689576 memory=3472706920869110303 CPUtime=1.33 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 1533 0 0 0 132 1 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550210673680 5390147 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=689576 memory=4206990163530600606 CPUtime=1.27 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 1956 0 0 0 127 0 0 0 20 0 9 0 436196910 706125824 20340 33554432000 4194304 6211092 140736563720720 140550202280976 5453926 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 81360 KiB
[startup+3.1105 s]
/proc/loadavg: 8.13 5.66 3.39 9/200 22099
/proc/meminfo: memFree=29412836/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=690088 memory=82524 CPUtime=23.64 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 33776 0 0 0 2356 8 0 0 20 0 9 0 436196894 706650112 20631 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172522 20631 873 493 0 165827 0
[pid=22088/tid=22090] ppid=22085 vsize=690088 memory=273 CPUtime=2.94 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 1436 0 0 0 293 1 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550261029792 5149648 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=690088 memory=0 CPUtime=2.94 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 2248 0 0 0 294 0 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550252637200 5186269 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=690088 memory=0 CPUtime=2.94 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 1687 0 0 0 293 1 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550244244496 5148958 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=690088 memory=0 CPUtime=2.94 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 2551 0 0 0 294 0 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550235851544 5149686 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=690088 memory=3834448431417909408 CPUtime=2.93 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 1210 0 0 0 293 0 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550227459200 5079432 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=690088 memory=82516 CPUtime=2.94 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 2469 0 0 0 294 0 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550219065864 5078752 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=690088 memory=0 CPUtime=2.94 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 1890 0 0 0 293 1 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550210673528 5186176 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=690088 memory=0 CPUtime=2.86 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 2062 0 0 0 286 0 0 0 20 0 9 0 436196910 706650112 20631 33554432000 4194304 6211092 140736563720720 140550202280248 5150086 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 23.64 s
Current children cumulated vsize: 690088 KiB
Current children cumulated memory: 82524 KiB
[startup+6.30151 s]
/proc/loadavg: 8.20 5.72 3.42 9/200 22099
/proc/meminfo: memFree=29412476/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=690088 memory=83316 CPUtime=49.04 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 61134 0 0 0 4894 10 0 0 20 0 9 0 436196894 706650112 20829 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 172522 20829 873 493 0 165827 0
[pid=22088/tid=22090] ppid=22085 vsize=690088 memory=0 CPUtime=6.12 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 4994 0 0 0 611 1 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550261029304 5149689 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=690088 memory=3612 CPUtime=6.12 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 6167 0 0 0 612 0 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550252637200 5150080 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=690088 memory=45120 CPUtime=6.12 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 5041 0 0 0 611 1 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550244244496 5149700 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=690088 memory=83304 CPUtime=6.12 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 6533 0 0 0 612 0 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550235851544 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=690088 memory=6147501797235970135 CPUtime=6.1 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 4080 0 0 0 609 1 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550227459200 5149658 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=690088 memory=83304 CPUtime=6.12 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 5502 0 0 0 612 0 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550219065864 5149648 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=690088 memory=1044 CPUtime=6.12 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 5096 0 0 0 611 1 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550210673680 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=690088 memory=139986540367953 CPUtime=6 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 5498 0 0 0 600 0 0 0 20 0 9 0 436196910 706650112 20829 33554432000 4194304 6211092 140736563720720 140550202280248 5149682 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 49.04 s
Current children cumulated vsize: 690088 KiB
Current children cumulated memory: 83316 KiB
[startup+12.7015 s]
/proc/loadavg: 8.18 5.76 3.45 9/199 22099
/proc/meminfo: memFree=29411912/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=690088 memory=83984 CPUtime=100.14 cores=0-7
################
# More data... #
################
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 16705 0 0 0 226181 2 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550244244608 5149667 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=92772 CPUtime=2248.5 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17189 0 0 0 224846 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550235851640 5149754 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=92772 CPUtime=2261.71 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17073 0 0 0 226166 5 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550227459344 5390145 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=988 CPUtime=2257.33 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 17654 0 0 0 225729 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550219066040 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=2020 CPUtime=2261.73 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 19439 0 0 0 226169 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550210673336 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=92772 CPUtime=2247.91 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16817 0 0 0 224787 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550202280728 5397235 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 18062.7 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92772 KiB
[startup+2322.3 s]
/proc/loadavg: 8.32 8.31 7.86 9/200 22296
/proc/meminfo: memFree=29404524/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=685448 memory=92772 CPUtime=18541.8 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 161960 0 0 0 1854149 35 0 0 20 0 9 0 436196894 701898752 23193 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 171362 23193 873 493 0 164667 0
[pid=22088/tid=22090] ppid=22085 vsize=685448 memory=92772 CPUtime=2321.68 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 17650 0 0 0 232164 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550261030160 5082361 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=685448 memory=92772 CPUtime=2321.8 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 20553 0 0 0 232178 2 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550252636856 5075560 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=685448 memory=14012 CPUtime=2321.81 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 16824 0 0 0 232179 2 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550244244608 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=92772 CPUtime=2308.5 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17229 0 0 0 230846 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550235851640 5074413 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=92772 CPUtime=2321.7 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17253 0 0 0 232165 5 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550227459344 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=92772 CPUtime=2316.5 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 17772 0 0 0 231646 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550219066040 5078762 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=92772 CPUtime=2321.72 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 19613 0 0 0 232168 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550210673336 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=92772 CPUtime=2307.9 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16843 0 0 0 230786 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550202280728 5149811 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 18541.8 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92772 KiB
[startup+2382.3 s]
/proc/loadavg: 8.15 8.26 7.87 9/199 22299
/proc/meminfo: memFree=29404288/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=685448 memory=92772 CPUtime=19020.9 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 162847 0 0 0 1902059 35 0 0 20 0 9 0 436196894 701898752 23193 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 171362 23193 873 493 0 164667 0
[pid=22088/tid=22090] ppid=22085 vsize=685448 memory=92772 CPUtime=2381.67 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 17790 0 0 0 238163 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550261030160 5081762 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=685448 memory=92772 CPUtime=2381.8 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 20709 0 0 0 238177 3 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550252636856 5389990 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=685448 memory=92772 CPUtime=2381.81 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 16933 0 0 0 238179 2 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550244244608 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=3612 CPUtime=2368.5 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17257 0 0 0 236846 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550235851640 5149658 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=92772 CPUtime=2381.69 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17413 0 0 0 238164 5 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550227459344 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=92772 CPUtime=2376.01 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 17900 0 0 0 237597 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550219066040 5082228 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=92772 CPUtime=2381.72 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 19750 0 0 0 238168 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550210673336 5149689 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=92772 CPUtime=2367.53 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16872 0 0 0 236749 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550202280728 5081375 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 19020.9 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92772 KiB
[startup+2442.3 s]
/proc/loadavg: 8.19 8.26 7.89 9/199 22304
/proc/meminfo: memFree=29404612/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=685448 memory=92772 CPUtime=19500 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 163727 0 0 0 1949967 36 0 0 20 0 9 0 436196894 701898752 23193 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 171362 23193 873 493 0 164667 0
[pid=22088/tid=22090] ppid=22085 vsize=685448 memory=92772 CPUtime=2441.66 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 17927 0 0 0 244162 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550261030160 5078762 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=685448 memory=92772 CPUtime=2441.79 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 20855 0 0 0 244176 3 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550252636856 5150052 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=685448 memory=92772 CPUtime=2441.81 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 17031 0 0 0 244179 2 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550244244608 5079440 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=92772 CPUtime=2428.5 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17298 0 0 0 242846 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550235851640 5075944 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=6935054825532540783 CPUtime=2441.67 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17592 0 0 0 244162 5 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550227459344 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=1056 CPUtime=2435.65 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 18009 0 0 0 243561 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550219066040 5079440 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=92772 CPUtime=2441.71 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 19898 0 0 0 244167 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550210673336 5082389 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=92772 CPUtime=2427.03 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16894 0 0 0 242699 4 0 0 20 0 9 0 436196910 701898752 23193 33554432000 4194304 6211092 140736563720720 140550202280728 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 19500 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92772 KiB
[startup+2502.3 s]
/proc/loadavg: 8.16 8.24 7.91 9/199 22307
/proc/meminfo: memFree=29403868/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=685448 memory=92788 CPUtime=19979.2 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 164780 0 0 0 1997879 36 0 0 20 0 9 0 436196894 701898752 23197 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 171362 23197 873 493 0 164667 0
[pid=22088/tid=22090] ppid=22085 vsize=685448 memory=92772 CPUtime=2501.65 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 18123 0 0 0 250161 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550261030160 5079076 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=685448 memory=92772 CPUtime=2501.78 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 21014 0 0 0 250175 3 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550252636856 5149700 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=685448 memory=6935054825532540783 CPUtime=2501.8 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 17137 0 0 0 250178 2 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550244244608 5078861 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=1056 CPUtime=2488.5 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17335 0 0 0 248846 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550235851640 5079352 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=92772 CPUtime=2501.66 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17783 0 0 0 250161 5 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550227459344 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=92788 CPUtime=2494.82 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 18178 0 0 0 249478 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550219065736 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=45184 CPUtime=2501.7 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 20059 0 0 0 250166 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550210673336 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=0 CPUtime=2487.01 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16928 0 0 0 248697 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550202280728 5149677 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 19979.1 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.12 8.23 7.91 9/199 22307
/proc/meminfo: memFree=29403868/32770624 swapFree=66958308/67108860
[pid=22088] ppid=22085 vsize=685448 memory=92788 CPUtime=20120.6 cores=0-7
/proc/22088/stat : 22088 (cosoco) S 22085 22088 21287 0 -1 1077944320 164784 0 0 0 2012019 36 0 0 20 0 9 0 436196894 701898752 23197 33554432000 4194304 6211092 140736563720720 140736563718976 140550284173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
/proc/22088/statm: 171362 23197 873 493 0 164667 0
[pid=22088/tid=22090] ppid=22085 vsize=685448 memory=1398722017469774279 CPUtime=2519.36 cores=0-7
/proc/22088/task/22090/stat : 22090 (cosoco) R 22085 22088 21287 0 -1 4202560 18123 0 0 0 251932 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550261030160 5074419 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22091] ppid=22085 vsize=685448 memory=4872558044660077418 CPUtime=2519.49 cores=0-7
/proc/22088/task/22091/stat : 22091 (cosoco) R 22085 22088 21287 0 -1 4202560 21014 0 0 0 251946 3 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550252636856 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22092] ppid=22085 vsize=685448 memory=508 CPUtime=2519.5 cores=0-7
/proc/22088/task/22092/stat : 22092 (cosoco) R 22085 22088 21287 0 -1 4202560 17137 0 0 0 251948 2 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550244244608 5082405 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22093] ppid=22085 vsize=685448 memory=1560 CPUtime=2506.2 cores=0-7
/proc/22088/task/22093/stat : 22093 (cosoco) R 22085 22088 21287 0 -1 4202560 17335 0 0 0 250616 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550235851640 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22094] ppid=22085 vsize=685448 memory=932 CPUtime=2519.36 cores=0-7
/proc/22088/task/22094/stat : 22094 (cosoco) R 22085 22088 21287 0 -1 4202560 17784 0 0 0 251931 5 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550227459344 5149674 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22095] ppid=22085 vsize=685448 memory=1568 CPUtime=2512.28 cores=0-7
/proc/22088/task/22095/stat : 22095 (cosoco) R 22085 22088 21287 0 -1 4202560 18179 0 0 0 251224 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550219065736 5082431 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22096] ppid=22085 vsize=685448 memory=1444 CPUtime=2519.41 cores=0-7
/proc/22088/task/22096/stat : 22096 (cosoco) R 22085 22088 21287 0 -1 4202560 20061 0 0 0 251937 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550210673336 5082803 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
[pid=22088/tid=22097] ppid=22085 vsize=685448 memory=1760 CPUtime=2504.72 cores=0-7
/proc/22088/task/22097/stat : 22097 (cosoco) R 22085 22088 21287 0 -1 4202560 16928 0 0 0 250468 4 0 0 20 0 9 0 436196910 701898752 23197 33554432000 4194304 6211092 140736563720720 140550202280728 5393040 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 26607616 140736563729425 140736563729517 140736563729517 140736563732430 0
Current children cumulated CPU time: 20120.5 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 92788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22088 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20120.3 s, system=0.369757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 20120.7
CPU user time (s): 20120.3
CPU system time (s): 0.369757
CPU usage (%): 798.432
Max. virtual memory (cumulated for all children) (KiB): 692648
Max. memory (cumulated for all children) (KiB): 96436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20120.3
system time used= 0.369757
maximum resident set size= 96436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164835
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= 948
involuntary context switches= 164505
# summary of solver processes directly reported to runsolver:
# pid: 22088
# total CPU time (s): 20120.7
# total CPU user time (s): 20120.3
# total CPU system time (s): 0.369757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5075 second user time and 22.295 second system time
The end
Begin job on node145 at 2019-09-16 04:56:02 IDJOB=4398507 IDBENCH=126211 IDSOLVER=2851 FILE ID=node145/4398507-1568602604 RUNJOBID= node145-1568597210-21314 PBS_JOBID= 21703405 Free space on /tmp= 59532 MiB SOLVER NAME= cosoco 2.O 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-4398507-1568602604/watcher-4398507-1568602604 -o /tmp/evaluation-result-4398507-1568602604/solver-4398507-1568602604 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398507-1568602604.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=1830822067 node145.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.59 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.59 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.59 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.59 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: 29490444 kB MemAvailable: 31851560 kB Buffers: 161540 kB Cached: 2491228 kB SwapCached: 41084 kB Active: 1268508 kB Inactive: 1427768 kB Active(anon): 7048 kB Inactive(anon): 85464 kB Active(file): 1261460 kB Inactive(file): 1342304 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958308 kB Dirty: 2812 kB Writeback: 4 kB AnonPages: 113508 kB Mapped: 46708 kB Shmem: 40604 kB Slab: 174364 kB SReclaimable: 146376 kB SUnreclaim: 27988 kB KernelStack: 3424 kB PageTables: 5884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59528 MiB End job on node145 at 2019-09-16 05:38:02