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) | 4 | 20104.2 | 2520.03 |
| Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
| MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2520 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2025 |
| Number of constraints | 14190 |
| Number of domains | 1 |
| Minimum domain size | 990 |
| Maximum domain size | 990 |
| Distribution of domain sizes | [{"size":990,"count":990}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":14190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"nValues","count":14190}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
15.82/3.55 c 15.82/3.55 c This is cosoco 2.00 -- 15.82/3.55 c 15.82/3.55 c command line: cosoco -model -nbcores=8 HOME/instance-4409738-1569829275.xml 15.82/3.55 c enable optimization 15.82/3.55 c ========================================[ Problem Statistics ]=========================================== 15.82/3.55 c | 15.82/3.55 c | Parse time : 1.35 s 15.82/3.55 c | 15.82/3.55 c | Variables: 2025 15.82/3.55 c | Domain Sizes: 990..990 15.82/3.55 c | 15.82/3.55 c | Constraints: 14191 15.82/3.55 c | Arity: 3..990 -- Ternary: 14190 15.82/3.55 c | 15.82/3.55 c | Types: 15.82/3.55 c | Max constant: 1 15.82/3.55 c | Not All Equal: 14190 15.82/3.55 c | 15.82/3.55 c | Objective: Minimize Max constant 15.82/3.55 15.82/3.55 c ========================================================================================================= 15.82/3.55 c Parallel mode: Portfolio 15.82/3.55 c [pFactory][Group N°0] created (threads:8). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 15.82/3.55 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 15.82/3.55 c [pFactory][Group N°0] concurrent mode: enabled. 15.82/3.55 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 15.82/3.55 c [pFactory][Group N°0] task 7 launched on thread 0. 15.82/3.55 c [pFactory][Group N°0] task 6 launched on thread 2. 15.82/3.55 c [pFactory][Group N°0] task 5 launched on thread 1. 15.82/3.55 c [pFactory][Group N°0] task 4 launched on thread 5. 15.82/3.55 c [pFactory][Group N°0] task 3 launched on thread 6. 15.82/3.55 c [pFactory][Group N°0] task 2 launched on thread 7. 15.82/3.55 c [pFactory][Group N°0] task 1 launched on thread 4. 15.82/3.55 c [pFactory][Group N°0] task 0 launched on thread 3. 15.82/3.55 o 989 30.12/5.32 o 988 30.12/5.33 o 6 36.96/6.30 o 5 37.82/6.45 o 4 20104.04/2520.02 20104.04/2520.02 c *** INTERRUPTED *** 20104.04/2520.02 c call to solver : 3 20104.04/2520.02 c 20104.04/2520.02 c restarts : 247745 20104.04/2520.02 c conflicts : 2213101 (110 /sec) 20104.04/2520.02 c decisions : 35059156 (1744 /sec) 20104.04/2520.02 c propagations : 183172623 (9114 /sec) 20104.04/2520.02 c root propagations : 981560 20104.04/2520.02 c filter calls : 5102526439 (253875 /sec) 20104.04/2520.02 c useless filter calls : 4961631725 (97 %) 20104.04/2520.02 c Memory used : 1653.70 MB 20104.04/2520.02 c Best bound time (wc) : 6.44914 s 20104.04/2520.02 c CPU time : 20098.6 s 20104.04/2520.02 c real time : 2520.02 s 20104.04/2520.02 20104.04/2520.02 s SATISFIABLE 20104.04/2520.02 c Best value found: 4 20104.04/2520.02 20104.04/2520.02 20104.04/2520.02 v <instantiation type='solution' cost='4'> 20104.04/2520.02 v <list>x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 20104.04/2520.02 v <values>* 0 0 3 0 0 0 3 3 0 1 4 1 1 0 2 0 4 1 3 3 2 2 4 4 2 4 1 4 1 3 2 2 2 2 0 1 2 1 1 4 4 3 4 1 * * 4 2 1 3 3 3 0 1 0 * 1 0 2 3 4 0 1 3 4 1 * 3 3 4 2 4 2 0 0 2 2 * 1 1 1 1 0 * * * * * * * * * 0 1 4 2 0 0 4 2 * 0 1 3 3 3 0 0 1 1 4 * 0 4 3 4 1 0 3 1 3 1 * 1 3 2 2 3 * * * * * * * * * * 1 3 4 4 4 2 4 * 1 0 4 3 0 3 3 0 4 2 * 2 3 2 1 4 4 2 1 1 0 * 2 0 0 2 0 * * * * * * * * * * * 1 1 3 1 4 4 * 0 4 1 4 3 3 3 0 0 2 * 2 3 3 0 4 1 3 3 2 3 * 4 3 3 2 0 * * * * * * * * * * * * 4 0 0 2 3 * 1 2 2 2 3 1 4 0 4 1 * 2 0 2 1 4 0 2 3 3 2 * 4 3 0 2 2 * * * * * * * * * * * * * 2 0 4 0 * 0 2 2 0 1 3 1 2 3 3 * 0 0 4 3 1 2 4 0 1 4 * 2 3 4 0 2 * * * * * * * * * * * * * * 2 1 2 * 3 0 3 0 4 4 1 4 0 3 * 4 2 2 4 3 3 2 0 3 2 * 3 2 1 0 0 * * * * * * * * * * * * * * * 2 1 * 4 3 0 2 4 2 3 4 0 0 * 2 3 0 1 3 2 4 4 3 4 * 0 3 3 4 2 * * * * * * * * * * * * * * * * 2 * 0 1 1 0 4 0 2 4 3 3 * 3 2 0 2 3 0 1 2 2 0 * 3 4 2 4 1 * * * * * * * * * * * * * * * * * * 4 2 0 2 1 3 0 4 3 3 * 2 1 0 3 3 2 3 4 1 3 * 2 4 0 4 3 * * * * * * * 1 4 0 4 0 3 1 3 0 3 * 2 2 0 3 3 2 0 4 1 2 2 1 1 1 0 1 3 0 4 4 4 0 0 4 2 3 1 0 0 1 4 2 3 * * * * * * * * * * * * * 4 0 1 0 4 3 1 1 4 * 2 4 3 4 4 4 3 3 2 3 * 2 3 3 2 4 * * * * * * * * * * * * * * * * * * * * 0 3 3 3 2 4 2 3 * 1 2 4 3 0 1 4 2 2 4 * 3 4 4 4 3 * * * * * * * * * * * * * * * * * * * * * 0 4 2 1 1 3 1 * 3 3 1 1 1 0 4 4 0 3 * 4 4 1 1 0 * * * * * * * * * * * * * * * * * * * * * * 1 4 0 2 2 4 * 4 2 1 0 3 1 0 2 4 3 * 1 0 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 0 1 3 0 * 2 0 0 0 2 4 0 0 2 2 * 2 1 1 2 4 * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 0 * 1 0 4 2 2 3 4 4 2 4 * 4 4 4 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 3 * 3 1 2 3 0 2 4 4 0 2 * 3 2 4 4 3 * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 * 2 4 3 3 0 1 3 0 2 3 * 4 3 3 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 2 0 2 1 2 3 1 4 4 2 * 2 0 3 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 4 2 2 0 4 4 1 4 * 4 4 4 3 1 * * * * * * * 2 2 4 1 2 0 0 2 4 1 * 4 1 0 3 3 0 1 2 1 3 * 4 2 0 0 2 3 4 2 3 1 4 0 2 1 1 1 0 3 4 0 0 1 * * * * * * * * * * * * * * * * * * * * * * * * 2 0 2 0 3 0 3 0 4 * 4 2 4 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 0 2 4 4 0 4 * 3 4 4 4 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 4 1 1 4 1 * 3 0 2 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 4 4 0 4 * 4 4 4 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 4 4 0 * 0 0 4 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 1 3 * 4 3 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 0 * 3 1 2 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 * 3 0 1 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 0 2 1 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 2 3 4 * * * * * * * 4 2 1 4 1 3 4 0 1 0 * 0 2 2 0 3 0 1 0 1 4 * 1 4 1 2 3 0 2 3 0 3 * 1 1 3 1 0 4 3 3 4 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 3 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 1 2 3 1 1 4 2 4 * 0 2 4 2 2 2 4 3 3 0 * 4 0 2 4 3 4 2 0 4 0 * 3 1 0 0 0 * 1 0 3 1 2 * 4 0 3 4 4 2 3 1 1 0 * 4 0 4 0 2 1 1 0 0 0 * 3 2 2 3 1 1 2 1 4 0 * 1 3 4 0 0 * * 0 2 3 2 * 0 4 2 0 3 0 0 2 1 1 * 2 4 2 3 2 1 1 1 3 1 * 3 2 0 3 0 0 3 4 0 1 * 1 2 1 1 3 * * * 0 2 0 * 2 2 1 2 1 4 1 4 2 1 * 0 4 4 3 3 2 0 2 1 0 * 0 0 3 4 1 4 3 0 3 0 * 2 3 0 1 4 * * * * 4 4 * 2 2 0 1 0 3 4 3 0 3 * 4 1 3 2 3 1 4 1 0 0 * 2 1 2 1 1 3 0 3 0 1 * 4 4 1 3 2 * * * * * 2 * 4 0 3 3 0 1 2 1 3 0 * 2 3 2 0 0 1 2 3 0 1 * 4 1 1 2 2 1 4 4 3 0 * 0 1 2 0 0 * * * * * * </values> 20104.04/2520.02 v </instantiation> 20104.04/2520.02
OK 4
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 (14990 MiB free)
memory of node 1: 16384 MiB (15227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409738-1569829275/watcher-4409738-1569829275 -o /tmp/evaluation-result-4409738-1569829275/solver-4409738-1569829275 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569829231-16747 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409738-1569829275.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=16912, runsolver pid=16909
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 7.49 7.24 7.19 2/192 16913
/proc/meminfo: memFree=30811964/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=158184 memory=134332 CPUtime=0.1 cores=0-7
/proc/16912/stat : 16912 (cosoco) R 16909 16912 16720 0 -1 4202496 33787 0 0 0 6 4 0 0 20 0 1 0 558867477 161980416 33583 33554432000 4194304 6211132 140736556461136 140736556457672 140453972350080 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 39546 33583 786 493 0 32851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 158184 KiB
Current children cumulated memory: 134332 KiB
[startup+0.209 s]*
/proc/loadavg: 7.49 7.24 7.19 2/192 16913
/proc/meminfo: memFree=30811280/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=158552 memory=134596 CPUtime=0.21 cores=0-7
/proc/16912/stat : 16912 (cosoco) R 16909 16912 16720 0 -1 4202496 33870 0 0 0 17 4 0 0 20 0 1 0 558867477 162357248 33649 33554432000 4194304 6211132 140736556461136 140736556457672 5818125 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 39638 33649 809 493 0 32943 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 158552 KiB
Current children cumulated memory: 134596 KiB
[startup+0.30865 s]*
/proc/loadavg: 7.49 7.24 7.19 2/192 16913
/proc/meminfo: memFree=30810908/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=158876 memory=134888 CPUtime=0.31 cores=0-7
/proc/16912/stat : 16912 (cosoco) R 16909 16912 16720 0 -1 4202496 33996 0 0 0 27 4 0 0 20 0 1 0 558867477 162689024 33722 33554432000 4194304 6211132 140736556461136 140736556457672 140453956287461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 39719 33722 809 493 0 33024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 158876 KiB
Current children cumulated memory: 134888 KiB
[startup+0.700374 s]
/proc/loadavg: 7.49 7.24 7.19 2/192 16913
/proc/meminfo: memFree=30691124/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=414900 memory=391228 CPUtime=0.69 cores=0-7
/proc/16912/stat : 16912 (cosoco) R 16909 16912 16720 0 -1 4202496 98027 0 0 0 56 13 0 0 20 0 1 0 558867477 424857600 97807 33554432000 4194304 6211132 140736556461136 140736556457672 140453956287461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 103725 97807 835 493 0 97030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 414900 KiB
Current children cumulated memory: 391228 KiB
[startup+1.50033 s]
/proc/loadavg: 7.49 7.24 7.19 2/192 16913
/proc/meminfo: memFree=30337964/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=990208 memory=966484 CPUtime=1.48 cores=0-7
/proc/16912/stat : 16912 (cosoco) R 16909 16912 16720 0 -1 4202496 241843 0 0 0 116 32 0 0 20 0 1 0 558867477 1013972992 241621 33554432000 4194304 6211132 140736556461136 140736556456024 140453956287461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 247552 241621 835 493 0 240857 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 990208 KiB
Current children cumulated memory: 966484 KiB
[startup+3.11861 s]
/proc/loadavg: 7.53 7.25 7.19 9/200 16921
/proc/meminfo: memFree=29860944/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1085424 CPUtime=12.73 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 295281 0 0 0 1223 50 0 0 20 0 9 0 558867477 1734029312 271356 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 271356 872 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=7449279377511035954 CPUtime=1.37 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 2835 0 0 0 135 2 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453949184648 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=281330692658048 CPUtime=1.37 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 3786 0 0 0 137 0 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453940791864 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=213288075953189 CPUtime=1.39 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 2479 0 0 0 136 3 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453932399320 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=213288075953190 CPUtime=1.36 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 3360 0 0 0 136 0 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453924006616 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=56 CPUtime=1.34 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 2376 0 0 0 132 2 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453915613800 5392378 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=-8172468297011507069 CPUtime=1.38 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 3635 0 0 0 138 0 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453907221096 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=10 CPUtime=1.36 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 3738 0 0 0 135 1 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453898828344 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=0 CPUtime=1.38 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 2727 0 0 0 136 2 0 0 20 0 9 0 558867649 1734029312 271356 33554432000 4194304 6211132 140736556461136 140453890435800 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1085424 KiB
[startup+6.30063 s]
/proc/loadavg: 7.53 7.25 7.19 6/200 16921
/proc/meminfo: memFree=29462432/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1783524 memory=1468840 CPUtime=36.96 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 654819 0 0 0 3549 147 0 0 20 0 9 0 558867477 1826328576 367210 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 445881 367210 875 493 0 439186 0
[pid=16912/tid=16914] ppid=16909 vsize=1783524 memory=0 CPUtime=4.37 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 55670 0 0 0 416 21 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453949184616 5179655 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1783524 memory=0 CPUtime=4.44 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 57600 0 0 0 436 8 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453940791864 5179448 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1783524 memory=0 CPUtime=4.43 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 58955 0 0 0 421 22 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453932399632 5009142 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1783524 memory=0 CPUtime=4.38 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 36507 0 0 0 432 6 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453924007240 5397258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1783524 memory=1037764 CPUtime=4.38 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 33242 0 0 0 429 9 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453915613752 5179355 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1783524 memory=1097132 CPUtime=4.41 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 58569 0 0 0 433 8 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453907221096 5179495 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1783524 memory=7449279377511035954 CPUtime=4.37 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) D 16909 16912 16720 0 -1 4202560 54778 0 0 0 416 21 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453898828392 140453956763223 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1783524 memory=346 CPUtime=4.4 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) D 16909 16912 16720 0 -1 4202560 29162 0 0 0 429 11 0 0 20 0 9 0 558867649 1826328576 367210 33554432000 4194304 6211132 140736556461136 140453890435640 140453956763223 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 36.96 s
Current children cumulated vsize: 1783524 KiB
Current children cumulated memory: 1468840 KiB
[startup+12.7046 s]
/proc/loadavg: 7.57 7.27 7.19 9/200 16921
/proc/meminfo: memFree=29553500/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1391796 CPUtime=88.07 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 811807 0 0 0 8646 161 0 0 20 0 9 0 558867477 1734029312 347949 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 347949 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1391780 CPUtime=10.77 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 77958 0 0 0 1054 23 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453949184616 5098114 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1051 CPUtime=10.84 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 81102 0 0 0 1074 10 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453940791912 5097943 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=1060 CPUtime=10.82 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 83516 0 0 0 1059 23 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453932399888 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=56 CPUtime=10.78 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 48353 0 0 0 1071 7 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453924006456 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1966182 CPUtime=10.71 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 47801 0 0 0 1058 13 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453915613752 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1391764 CPUtime=10.81 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 80254 0 0 0 1071 10 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453907221048 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=5184025527460 CPUtime=10.77 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 80442 0 0 0 1053 24 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453898828344 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=281330693261056 CPUtime=10.79 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 42036 0 0 0 1067 12 0 0 20 0 9 0 558867649 1734029312 347949 33554432000 4194304 6211132 140736556461136 140453890435640 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 88.07 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1391796 KiB
[startup+25.5006 s]
/proc/loadavg: 7.81 7.34 7.22 9/201 16923
/proc/meminfo: memFree=29554156/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1392152 CPUtime=190.23 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 1005934 0 0 0 18844 179 0 0 20 0 9 0 558867477 1734029312 348038 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348038 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1392152 CPUtime=23.57 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 107583 0 0 0 2332 25 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453949184616 5098127 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1392136 CPUtime=23.62 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 111727 0 0 0 2350 12 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453940791864 5392297 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=33 CPUtime=23.62 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 112416 0 0 0 2335 27 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453932399888 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1392136 CPUtime=23.57 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 63338 0 0 0 2349 8 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453924006456 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=10604 CPUtime=23.33 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 62100 0 0 0 2316 17 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453915613752 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1392108 CPUtime=23.59 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 109658 0 0 0 2348 11 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453907221048 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=5184025527460 CPUtime=23.56 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 109178 0 0 0 2330 26 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453898828344 5097939 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=3620 CPUtime=23.58 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 59589 0 0 0 2345 13 0 0 20 0 9 0 558867649 1734029312 348038 33554432000 4194304 6211132 140736556461136 140453890435640 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 190.23 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1392152 KiB
[startup+51.1106 s]
/proc/loadavg: 7.94 7.41 7.24 9/200 16924
/proc/meminfo: memFree=29554740/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1392444 CPUtime=394.61 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 1299411 0 0 0 39252 209 0 0 20 0 9 0 558867477 1734029312 348111 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348111 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=4898 CPUtime=49.02 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 151302 0 0 0 4874 28 0 0 20 0 9 0 558867649 1734029312 348111 33554432000 4194304 6211132 140736556461136 140453949184568 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1392368 CPUtime=49.21 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 154707 0 0 0 4906 15 0 0 20 0 9 0 558867649 1734029312 348111 33554432000 4194304 6211132 140736556461136 140453940791864 5008831 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=281329820502514 CPUtime=49.21 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 156785 0 0 0 4891 30 0 0 20 0 9 0 558867649 1734029312 348111 33554432000 4194304 6211132 140736556461136 140453932399888 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1392368 CPUtime=49.16 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 81428 0 0 0 4906 10 0 0 20 0 9 0 558867649 1734029312 348111 33554432000 4194304 6211132 140736556461136 140453924006504 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=984 CPUtime=48.83 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 80946 0 0 0 4860 23 0 0 20 0 9 0 558867649 1734029312 348111 33554432000 4194304 6211132 140736556461136 140453915613752 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
################
# More data... #
################
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 323925 0 0 0 224999 68 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453932399888 5098114 0 0 4096 8405026 0 0 0 -1 5 0 0 23 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=3620 CPUtime=2257.66 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 211728 0 0 0 225716 50 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453924006456 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 26 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1393672 CPUtime=2256.78 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 221810 0 0 0 225612 66 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453915613752 5097924 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=3620 CPUtime=2259.09 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325258 0 0 0 225853 56 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453907221096 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=1660 CPUtime=2257.49 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 453898 0 0 0 225663 86 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453898828392 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=1393672 CPUtime=2247.3 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 265579 0 0 0 224662 68 0 0 20 0 9 0 558867649 1734029312 348418 33554432000 4194304 6211132 140736556461136 140453890435640 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 18046.3 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393672 KiB
[startup+2322.3 s]
/proc/loadavg: 8.15 8.18 8.19 9/199 17111
/proc/meminfo: memFree=29553448/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1393688 CPUtime=18525.4 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 2720758 0 0 0 1851990 550 0 0 20 0 9 0 558867477 1734029312 348422 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348422 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2316.29 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 329098 0 0 0 231561 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453949184616 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 26 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2319.23 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 318143 0 0 0 231875 48 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453940792256 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 28 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2310.66 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 324035 0 0 0 230998 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453932399888 5112689 0 0 4096 8405026 0 0 0 -1 5 0 0 23 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2317.66 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 211834 0 0 0 231716 50 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453924006456 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2316.77 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 222026 0 0 0 231611 66 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453915613752 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2319.07 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325340 0 0 0 231851 56 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453907221096 5008824 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=3620 CPUtime=2317.47 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 454103 0 0 0 231661 86 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453898828392 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=6935054825532540783 CPUtime=2306.46 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 265834 0 0 0 230578 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453890435640 5112709 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 18525.4 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393688 KiB
[startup+2382.3 s]
/proc/loadavg: 8.63 8.30 8.23 9/201 17123
/proc/meminfo: memFree=29552420/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1393688 CPUtime=19004.5 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 2722047 0 0 0 1899895 551 0 0 20 0 9 0 558867477 1734029312 348422 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348422 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2376.28 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 329308 0 0 0 237560 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453949184568 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 26 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2379.2 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 318274 0 0 0 237872 48 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453940792256 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 29 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=0 CPUtime=2370.65 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 324110 0 0 0 236997 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453932399888 5392747 0 0 4096 8405026 0 0 0 -1 5 0 0 23 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2377.65 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 211992 0 0 0 237715 50 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453924006456 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2376.75 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 222190 0 0 0 237609 66 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453915613752 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2379.03 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325462 0 0 0 237847 56 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453907221096 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=1393688 CPUtime=2377.45 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 454263 0 0 0 237659 86 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453898828392 5097840 0 0 4096 8405026 0 0 0 -1 3 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=2580 CPUtime=2365.64 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 266103 0 0 0 236496 68 0 0 20 0 9 0 558867649 1734029312 348422 33554432000 4194304 6211132 140736556461136 140453890435640 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 19004.5 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393688 KiB
[startup+2442.3 s]
/proc/loadavg: 8.75 8.39 8.26 9/201 17126
/proc/meminfo: memFree=29553068/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1393696 CPUtime=19483.6 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 2723529 0 0 0 1947803 552 0 0 20 0 9 0 558867477 1734029312 348424 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348424 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2436.27 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 329660 0 0 0 243559 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453949184568 5409497 0 0 4096 8405026 0 0 0 -1 4 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2439.18 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 318409 0 0 0 243870 48 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453940792256 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 29 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2430.63 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 324190 0 0 0 242995 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453932399888 5098114 0 0 4096 8405026 0 0 0 -1 5 0 0 23 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2437.64 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 212122 0 0 0 243714 50 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453924006456 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2436.75 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 222455 0 0 0 243608 67 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453915613752 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2439.02 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325543 0 0 0 243846 56 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453907221096 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2437.45 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 454475 0 0 0 243659 86 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453898828392 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 28 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2424.81 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 266330 0 0 0 242413 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453890435640 5009142 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 19483.5 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393696 KiB
[startup+2502.3 s]
/proc/loadavg: 8.28 8.32 8.25 9/201 17131
/proc/meminfo: memFree=29552752/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1393696 CPUtime=19962.6 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 2724894 0 0 0 1995711 553 0 0 20 0 9 0 558867477 1734029312 348424 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348424 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=4024 CPUtime=2496.26 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 329817 0 0 0 249558 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453949184568 5098110 0 0 4096 8405026 0 0 0 -1 4 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2499.17 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 318493 0 0 0 249869 48 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453940792256 5392747 0 0 4096 8405026 0 0 0 -1 0 0 0 29 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2490.62 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 324273 0 0 0 248994 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453932399888 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 24 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2497.63 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 212264 0 0 0 249713 50 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453924006456 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2496.74 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 222595 0 0 0 249607 67 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453915613752 5097939 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2499.01 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325726 0 0 0 249845 56 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453907221096 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2497.46 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 454698 0 0 0 249659 87 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453898828392 5392293 0 0 4096 8405026 0 0 0 -1 3 0 0 28 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=1393696 CPUtime=2483.97 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 266683 0 0 0 248329 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453890435640 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 19962.6 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.20 8.30 8.24 9/201 17132
/proc/meminfo: memFree=29553056/32770624 swapFree=66976580/67108860
[pid=16912] ppid=16909 vsize=1693388 memory=1393696 CPUtime=20104 cores=0-7
/proc/16912/stat : 16912 (cosoco) S 16909 16912 16720 0 -1 1077944320 2725202 0 0 0 2009851 553 0 0 20 0 9 0 558867477 1734029312 348424 33554432000 4194304 6211132 140736556461136 140736556459392 140453972328183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
/proc/16912/statm: 423347 348424 875 493 0 416652 0
[pid=16912/tid=16914] ppid=16909 vsize=1693388 memory=1398720917958146503 CPUtime=2513.97 cores=0-7
/proc/16912/task/16914/stat : 16914 (cosoco) R 16909 16912 16720 0 -1 4202560 329876 0 0 0 251329 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453949184568 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16915] ppid=16909 vsize=1693388 memory=111636 CPUtime=2516.87 cores=0-7
/proc/16912/task/16915/stat : 16915 (cosoco) R 16909 16912 16720 0 -1 4202560 318509 0 0 0 251639 48 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453940792256 5392384 0 0 4096 8405026 0 0 0 -1 0 0 0 29 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16916] ppid=16909 vsize=1693388 memory=800 CPUtime=2508.32 cores=0-7
/proc/16912/task/16916/stat : 16916 (cosoco) R 16909 16912 16720 0 -1 4202560 324286 0 0 0 250764 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453932399888 5392371 0 0 4096 8405026 0 0 0 -1 5 0 0 24 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16917] ppid=16909 vsize=1693388 memory=1804 CPUtime=2515.33 cores=0-7
/proc/16912/task/16917/stat : 16917 (cosoco) R 16909 16912 16720 0 -1 4202560 212304 0 0 0 251483 50 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453924006456 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 27 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16918] ppid=16909 vsize=1693388 memory=4872558044660077418 CPUtime=2514.45 cores=0-7
/proc/16912/task/16918/stat : 16918 (cosoco) R 16909 16912 16720 0 -1 4202560 222650 0 0 0 251378 67 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453915613752 5097939 0 0 4096 8405026 0 0 0 -1 1 0 0 30 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16919] ppid=16909 vsize=1693388 memory=4036 CPUtime=2516.71 cores=0-7
/proc/16912/task/16919/stat : 16919 (cosoco) R 16909 16912 16720 0 -1 4202560 325770 0 0 0 251615 56 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453907221096 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 25 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16920] ppid=16909 vsize=1693388 memory=1408 CPUtime=2515.16 cores=0-7
/proc/16912/task/16920/stat : 16920 (cosoco) R 16909 16912 16720 0 -1 4202560 454723 0 0 0 251429 87 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453898828392 5409493 0 0 4096 8405026 0 0 0 -1 3 0 0 28 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
[pid=16912/tid=16921] ppid=16909 vsize=1693388 memory=2916 CPUtime=2501.44 cores=0-7
/proc/16912/task/16921/stat : 16921 (cosoco) R 16909 16912 16720 0 -1 4202560 266739 0 0 0 250076 68 0 0 20 0 9 0 558867649 1734029312 348424 33554432000 4194304 6211132 140736556461136 140453890435640 5409508 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 20299776 140736556463121 140736556463213 140736556463213 140736556466126 0
Current children cumulated CPU time: 20104 s
Current children cumulated vsize: 1693388 KiB
Current children cumulated memory: 1393696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 16912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20098.6 s, system=5.54236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.03
CPU time (s): 20104.2
CPU user time (s): 20098.6
CPU system time (s): 5.54236
CPU usage (%): 797.775
Max. virtual memory (cumulated for all children) (KiB): 1865452
Max. memory (cumulated for all children) (KiB): 1525912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20098.6
system time used= 5.54236
maximum resident set size= 1534804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2725254
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= 65834
involuntary context switches= 178180
# summary of solver processes directly reported to runsolver:
# pid: 16912
# total CPU time (s): 20104.2
# total CPU user time (s): 20098.6
# total CPU system time (s): 5.54236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8107 second user time and 22.0236 second system time
The end
Begin job on node124 at 2019-09-30 09:40:33 IDJOB=4409738 IDBENCH=133905 IDSOLVER=2877 FILE ID=node124/4409738-1569829275 RUNJOBID= node124-1569829231-16747 PBS_JOBID= 21705938 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409738-1569829275/watcher-4409738-1569829275 -o /tmp/evaluation-result-4409738-1569829275/solver-4409738-1569829275 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569829231-16747 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409738-1569829275.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=571125164 node124.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.47 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.47 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.47 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.47 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: 30942772 kB MemAvailable: 31842976 kB Buffers: 120560 kB Cached: 1120196 kB SwapCached: 29128 kB Active: 879056 kB Inactive: 394420 kB Active(anon): 3732 kB Inactive(anon): 111208 kB Active(file): 875324 kB Inactive(file): 283212 kB Unevictable: 109528 kB Mlocked: 109528 kB SwapTotal: 67108860 kB SwapFree: 66976580 kB Dirty: 3520 kB Writeback: 0 kB AnonPages: 114792 kB Mapped: 26836 kB Shmem: 73488 kB Slab: 144024 kB SReclaimable: 115004 kB SUnreclaim: 29020 kB KernelStack: 3376 kB PageTables: 5004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2019-09-30 10:22:33