Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 983 | 2010.88 | 252.025 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 935 |
Best CPU time to get the best result obtained on this benchmark | 2400.46 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 812 |
Number of constraints | 381 |
Number of domains | 2 |
Minimum domain size | 1000 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
Minimum variable degree | 0 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 378 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 379 |
Distribution of constraint types | [{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.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-4398807-1568608599.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 341.09/42.94 c enable optimization 341.09/42.94 c ========================================[ Problem Statistics ]=========================================== 341.09/42.94 c | 341.09/42.94 c | Parse time : 0.13 s 341.09/42.94 c | 341.09/42.94 c | Variables: 812 341.09/42.94 c | Domain Sizes: 1000..1001 341.09/42.94 c | 341.09/42.94 c | Constraints: 408 341.09/42.94 c | Arity: 1..378 -- Unary: 2 -- Binary: 27 -- Ternary: 378 341.09/42.94 c | 341.09/42.94 c | Types: 341.09/42.94 c | (X - Y < k): 27 341.09/42.94 c | All Different: 1 341.09/42.94 c | Intension: 1 341.09/42.94 c | Sum: 378 341.09/42.94 c | Unary: 1 341.09/42.94 c | 341.09/42.94 c | Objective: Minimize Intension 341.09/42.94 341.09/42.94 c ========================================================================================================= 341.09/42.94 c Parallel mode: Portfolio 341.09/42.94 c [pFactory][Group N°0] created (threads:8). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 341.09/42.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 341.09/42.94 c [pFactory][Group N°0] concurrent mode: enabled. 341.09/42.94 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 341.09/42.94 c [pFactory][Group N°0] task 7 launched on thread 6. 341.09/42.94 c [pFactory][Group N°0] task 6 launched on thread 0. 341.09/42.94 c [pFactory][Group N°0] task 5 launched on thread 1. 341.09/42.94 c [pFactory][Group N°0] task 4 launched on thread 2. 341.09/42.94 c [pFactory][Group N°0] task 3 launched on thread 7. 341.09/42.94 c [pFactory][Group N°0] task 2 launched on thread 3. 341.09/42.94 c [pFactory][Group N°0] task 1 launched on thread 5. 341.09/42.94 c [pFactory][Group N°0] task 0 launched on thread 4. 341.09/42.94 o 1000 712.39/89.47 o 983 2010.77/252.02 2010.77/252.02 c *** INTERRUPTED *** 2010.77/252.02 c call to solver : 2 2010.77/252.02 c 2010.77/252.02 c restarts : 7259 2010.77/252.02 c conflicts : 50245 (25 /sec) 2010.77/252.02 c decisions : 90776 (45 /sec) 2010.77/252.02 c propagations : 2611919045 (1299061 /sec) 2010.77/252.02 c root propagations : 7636 2010.77/252.02 c filter calls : 22521478 (11201 /sec) 2010.77/252.02 c useless filter calls : 5837510 (25 %) 2010.77/252.02 c Memory used : 669.39 MB 2010.77/252.02 c Best bound time (wc) : 89.4748 s 2010.77/252.02 c CPU time : 2010.62 s 2010.77/252.02 c real time : 252.018 s 2010.77/252.02 2010.77/252.02 s SATISFIABLE 2010.77/252.02 c Best value found: 983 2010.77/252.02 2010.77/252.02 2010.77/252.02 v <instantiation type='solution' cost='983'> 2010.77/252.02 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2010.77/252.02 v <values>0 121 147 196 299 309 329 351 372 425 502 1 556 606 673 755 823 882 923 983 6 9 13 24 38 40 57 85 * 121 147 196 299 309 329 351 372 425 502 1 556 606 673 755 823 882 923 983 6 9 13 24 38 40 57 85 * * 26 75 178 188 208 230 251 304 381 * 435 485 552 634 702 761 802 862 * * * * * * * * * * * 49 152 162 182 204 225 278 355 * 409 459 526 608 676 735 776 836 * * * * * * * * * * * * 103 113 133 155 176 229 306 * 360 410 477 559 627 686 727 787 * * * * * * * * * * * * * 10 30 52 73 126 203 * 257 307 374 456 524 583 624 684 * * * * * * * * * * * * * * 20 42 63 116 193 * 247 297 364 446 514 573 614 674 * * * * * * * * * * * * * * * 22 43 96 173 * 227 277 344 426 494 553 594 654 * * * * * * * * * * * * * * * * 21 74 151 * 205 255 322 404 472 531 572 632 * * * * * * * * * * * * * * * * * 53 130 * 184 234 301 383 451 510 551 611 * * * * * * * * * * * * * * * * * * 77 * 131 181 248 330 398 457 498 558 * * * * * * * * * * * * * * * * * * * * 54 104 171 253 321 380 421 481 * * * * * * * * * 120 146 195 298 308 328 350 371 424 501 * 555 605 672 754 822 881 922 982 5 8 12 23 37 39 56 84 * * * * * * * * * * * * * 50 117 199 267 326 367 427 * * * * * * * * * * * * * * * * * * * * * * 67 149 217 276 317 377 * * * * * * * * * * * * * * * * * * * * * * * 82 150 209 250 310 * * * * * * * * * * * * * * * * * * * * * * * * 68 127 168 228 * * * * * * * * * * * * * * * * * * * * * * * * * 59 100 160 * * * * * * * * * * * * * * * * * * * * * * * * * * 41 101 * * * * * * * * * * * * * * * * * * * * * * * * * * * 60 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 115 141 190 293 303 323 345 366 419 496 * 550 600 667 749 817 876 917 977 * 3 7 18 32 34 51 79 * 112 138 187 290 300 320 342 363 416 493 * 547 597 664 746 814 873 914 974 * * 4 15 29 31 48 76 * 108 134 183 286 296 316 338 359 412 489 * 543 593 660 742 810 869 910 970 * * * 11 25 27 44 72 * 97 123 172 275 285 305 327 348 401 478 * 532 582 649 731 799 858 899 959 * * * * 14 16 33 61 * 83 109 158 261 271 291 313 334 387 464 * 518 568 635 717 785 844 885 945 * * * * * 2 19 47 * 81 107 156 259 269 289 311 332 385 462 * 516 566 633 715 783 842 883 943 * * * * * * 17 45 * 64 90 139 242 252 272 294 315 368 445 * 499 549 616 698 766 825 866 926 * * * * * * * 28 * 36 62 111 214 224 244 266 287 340 417 * 471 521 588 670 738 797 838 898 * * * * * * * * </values> 2010.77/252.02 v </instantiation> 2010.77/252.02
OK 983
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 (15382 MiB free) memory of node 1: 16384 MiB (13409 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398807-1568608599/watcher-4398807-1568608599 -o /tmp/evaluation-result-4398807-1568608599/solver-4398807-1568608599 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398807-1568608599.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23327, runsolver pid=23324 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.14 6.63 6.92 2/191 23328 /proc/meminfo: memFree=29423288/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=88072 memory=64416 CPUtime=0.1 cores=0-7 /proc/23327/stat : 23327 (cosoco) R 23324 23327 21287 0 -1 4202496 16280 0 0 0 8 2 0 0 20 0 1 0 436796439 90185728 16104 33554432000 4194304 6211092 140726696752768 140726696749304 140553344105445 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 22018 16104 821 493 0 15323 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 88072 KiB Current children cumulated memory: 64416 KiB [startup+0.212496 s]* /proc/loadavg: 7.14 6.63 6.92 9/199 23336 /proc/meminfo: memFree=29406772/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=689576 memory=79864 CPUtime=0.59 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 20810 0 0 0 56 3 0 0 20 0 9 0 436796439 706125824 19966 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172394 19966 872 493 0 165699 0 [pid=23327/tid=23329] ppid=23324 vsize=689576 memory=8316850467074736180 CPUtime=0.05 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553337003024 5149658 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=689576 memory=9230 CPUtime=0.05 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553328610320 5151001 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=689576 memory=4051181865303582368 CPUtime=0.05 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553320217616 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=689576 memory=-1 CPUtime=0.04 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 325 0 0 0 4 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553311824984 5149674 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=689576 memory=0 CPUtime=0.05 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553303432208 5149674 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=689576 memory=0 CPUtime=0.05 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553295039504 5149648 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 328 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553286646800 5150880 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=689576 memory=0 CPUtime=0.05 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553278254096 5476887 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 689576 KiB Current children cumulated memory: 79864 KiB [startup+0.310492 s]* /proc/loadavg: 7.14 6.63 6.92 9/199 23336 /proc/meminfo: memFree=29407216/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=689576 memory=79864 CPUtime=1.36 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 20810 0 0 0 133 3 0 0 20 0 9 0 436796439 706125824 19966 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172394 19966 872 493 0 165699 0 [pid=23327/tid=23329] ppid=23324 vsize=689576 memory=1398722017469774279 CPUtime=0.15 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553337003024 5149658 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=689576 memory=4872558044660077418 CPUtime=0.15 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553328610320 5075743 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=689576 memory=0 CPUtime=0.15 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553320217616 5075234 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=689576 memory=0 CPUtime=0.13 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 325 0 0 0 13 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553311824984 5150894 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=689576 memory=0 CPUtime=0.15 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553303432208 5389893 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=689576 memory=0 CPUtime=0.15 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553295039504 5186281 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=689576 memory=0 CPUtime=0.15 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 328 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553286646800 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=689576 memory=0 CPUtime=0.15 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 15 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553278254096 5397226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 1.36 s Current children cumulated vsize: 689576 KiB Current children cumulated memory: 79864 KiB [startup+0.701497 s] /proc/loadavg: 7.14 6.63 6.92 9/199 23336 /proc/meminfo: memFree=29407216/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=689576 memory=79864 CPUtime=4.4 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 20810 0 0 0 437 3 0 0 20 0 9 0 436796439 706125824 19966 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172394 19966 872 493 0 165699 0 [pid=23327/tid=23329] ppid=23324 vsize=689576 memory=2832 CPUtime=0.53 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553337003024 5150056 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=689576 memory=8020 CPUtime=0.53 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 323 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553328610320 5149674 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=689576 memory=10428 CPUtime=0.53 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553320217616 5076405 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=689576 memory=14012 CPUtime=0.49 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 325 0 0 0 49 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553311824984 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=689576 memory=14080 CPUtime=0.53 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553303432208 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=689576 memory=139913121539711 CPUtime=0.53 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553295039504 5389808 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=689576 memory=5787213848521040722 CPUtime=0.53 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 328 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553286646800 5149689 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=689576 memory=5787213844226073426 CPUtime=0.53 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 322 0 0 0 53 0 0 0 20 0 9 0 436796455 706125824 19966 33554432000 4194304 6211092 140726696752768 140553278254096 5079036 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 4.4 s Current children cumulated vsize: 689576 KiB Current children cumulated memory: 79864 KiB [startup+1.5015 s] /proc/loadavg: 7.14 6.63 6.92 9/199 23336 /proc/meminfo: memFree=29407216/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=689576 memory=81660 CPUtime=10.79 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 32360 0 0 0 1071 8 0 0 20 0 9 0 436796439 706125824 20415 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172394 20415 872 493 0 165699 0 [pid=23327/tid=23329] ppid=23324 vsize=689576 memory=0 CPUtime=1.33 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 1907 0 0 0 133 0 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553337003024 5149658 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=689576 memory=298326588 CPUtime=1.33 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 1930 0 0 0 133 0 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553328610208 5078864 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=689576 memory=0 CPUtime=1.33 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 1533 0 0 0 132 1 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553320217616 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=689576 memory=0 CPUtime=1.27 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 2516 0 0 0 127 0 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553311824760 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=689576 memory=55 CPUtime=1.33 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 1424 0 0 0 132 1 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553303432096 5389938 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=689576 memory=0 CPUtime=1.33 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 2316 0 0 0 133 0 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553295039504 5149754 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=689576 memory=776 CPUtime=1.32 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 1055 0 0 0 132 0 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553286646800 5149648 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=689576 memory=1056 CPUtime=1.33 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 1455 0 0 0 132 1 0 0 20 0 9 0 436796455 706125824 20415 33554432000 4194304 6211092 140726696752768 140553278253984 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 10.79 s Current children cumulated vsize: 689576 KiB Current children cumulated memory: 81660 KiB [startup+3.1105 s] /proc/loadavg: 7.14 6.63 6.92 9/199 23336 /proc/meminfo: memFree=29405996/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=690088 memory=82632 CPUtime=23.62 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 33752 0 0 0 2354 8 0 0 20 0 9 0 436796439 706650112 20658 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172522 20658 872 493 0 165827 0 [pid=23327/tid=23329] ppid=23324 vsize=690088 memory=14012 CPUtime=2.94 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 1973 0 0 0 294 0 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553337002816 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=690088 memory=14080 CPUtime=2.94 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 1993 0 0 0 294 0 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553328610208 5081393 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=690088 memory=279817388000448 CPUtime=2.93 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 2009 0 0 0 292 1 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553320216888 5078762 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=690088 memory=4351111050182420022 CPUtime=2.86 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 2620 0 0 0 286 0 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553311824664 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=690088 memory=56 CPUtime=2.94 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 1491 0 0 0 293 1 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553303432096 5079432 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=690088 memory=0 CPUtime=2.94 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 2383 0 0 0 294 0 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553295039392 5078852 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=690088 memory=0 CPUtime=2.94 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 1509 0 0 0 293 1 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553286646592 5078762 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=690088 memory=0 CPUtime=2.94 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 1550 0 0 0 293 1 0 0 20 0 9 0 436796455 706650112 20658 33554432000 4194304 6211092 140726696752768 140553278253944 5075705 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 23.62 s Current children cumulated vsize: 690088 KiB Current children cumulated memory: 82632 KiB [startup+6.30149 s] /proc/loadavg: 7.29 6.67 6.93 9/199 23336 /proc/meminfo: memFree=29406312/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=690088 memory=83504 CPUtime=49.1 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 68197 0 0 0 4898 12 0 0 20 0 9 0 436796439 706650112 20876 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 172522 20876 872 493 0 165827 0 [pid=23327/tid=23329] ppid=23324 vsize=690088 memory=83504 CPUtime=6.12 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 5946 0 0 0 612 0 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553337002376 5389960 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=690088 memory=776 CPUtime=6.12 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 6069 0 0 0 612 0 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553328609992 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=690088 memory=0 CPUtime=6.12 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 7296 0 0 0 611 1 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553320217288 5393072 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=690088 memory=15859 CPUtime=6 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 7444 0 0 0 600 0 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553311824664 5149667 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=690088 memory=12 CPUtime=6.13 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 5329 0 0 0 611 2 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553303432056 5186224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=690088 memory=2123 CPUtime=6.12 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 7173 0 0 0 612 0 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553295039504 5150065 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=690088 memory=4488 CPUtime=6.12 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 5814 0 0 0 611 1 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553286646200 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=690088 memory=0 CPUtime=6.12 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 4902 0 0 0 611 1 0 0 20 0 9 0 436796455 706650112 20876 33554432000 4194304 6211092 140726696752768 140553278253944 5149674 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 49.1 s Current children cumulated vsize: 690088 KiB Current children cumulated memory: 83504 KiB [startup+12.7015 s] /proc/loadavg: 7.43 6.70 6.95 9/199 23336 /proc/meminfo: memFree=29403320/32770624 swapFree=66958316/67108860 ################ # More data... # ################ /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 12347 0 0 0 2528 2 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553320217016 5390088 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=690088 memory=288230617509003574 CPUtime=24.92 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 13622 0 0 0 2491 1 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553311824760 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=690088 memory=0 CPUtime=25.31 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 9379 0 0 0 2528 3 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553303432056 5149674 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=690088 memory=0 CPUtime=25.31 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 11445 0 0 0 2530 1 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553295039032 5075168 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=690088 memory=0 CPUtime=25.31 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 10452 0 0 0 2529 2 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553286646648 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=690088 memory=2020 CPUtime=25.31 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 9076 0 0 0 2529 2 0 0 20 0 9 0 436796455 706650112 22024 33554432000 4194304 6211092 140726696752768 140553278253848 5149648 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 202.3 s Current children cumulated vsize: 690088 KiB Current children cumulated memory: 88096 KiB [startup+51.1105 s] /proc/loadavg: 8.01 6.95 7.02 9/200 23340 /proc/meminfo: memFree=29400124/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=685448 memory=88676 CPUtime=406.64 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 118521 0 0 0 40642 22 0 0 20 0 9 0 436796439 701898752 22169 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 171362 22169 873 493 0 164667 0 [pid=23327/tid=23329] ppid=23324 vsize=685448 memory=279817388066784 CPUtime=50.76 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 11173 0 0 0 5075 1 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553337003336 5078872 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=685448 memory=279817388189888 CPUtime=50.9 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 11797 0 0 0 5089 1 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553328610432 5149674 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=685448 memory=65 CPUtime=50.89 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 14342 0 0 0 5087 2 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553320217272 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=685448 memory=4757 CPUtime=50.47 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 15227 0 0 0 5045 2 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553311825224 5393384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=685448 memory=139908694247176 CPUtime=50.9 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 11030 0 0 0 5087 3 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553303432208 5186269 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=685448 memory=1196 CPUtime=50.72 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 13731 0 0 0 5071 1 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553295039816 5081301 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=685448 memory=1044 CPUtime=50.87 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 11900 0 0 0 5085 2 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553286646472 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=685448 memory=712 CPUtime=50.91 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 11097 0 0 0 5088 3 0 0 20 0 9 0 436796455 701898752 22169 33554432000 4194304 6211092 140726696752768 140553278253752 5149648 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 406.64 s Current children cumulated vsize: 685448 KiB Current children cumulated memory: 88676 KiB [startup+102.301 s] /proc/loadavg: 8.40 7.22 7.10 10/200 23342 /proc/meminfo: memFree=29400484/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=685448 memory=92236 CPUtime=815.41 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 135095 0 0 0 81517 24 0 0 20 0 9 0 436796439 701898752 23059 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 171362 23059 873 493 0 164667 0 [pid=23327/tid=23329] ppid=23324 vsize=685448 memory=89320 CPUtime=101.85 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 13363 0 0 0 10183 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553337002680 5075508 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=685448 memory=92236 CPUtime=102.1 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 13888 0 0 0 10208 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553328609976 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=685448 memory=0 CPUtime=102.07 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 16203 0 0 0 10205 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553320217272 5149674 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=685448 memory=10191 CPUtime=101.65 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 17723 0 0 0 10163 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553311824568 5075591 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=685448 memory=92236 CPUtime=102.08 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 12662 0 0 0 10205 3 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553303432096 5389987 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=685448 memory=92236 CPUtime=101.91 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 16244 0 0 0 10189 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553295039504 5079039 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=685448 memory=164 CPUtime=101.43 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 13646 0 0 0 10141 2 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553286646456 5082367 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=685448 memory=91164 CPUtime=102.09 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 13142 0 0 0 10206 3 0 0 20 0 9 0 436796455 701898752 23059 33554432000 4194304 6211092 140726696752768 140553278254096 5149696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 815.41 s Current children cumulated vsize: 685448 KiB Current children cumulated memory: 92236 KiB [startup+162.301 s] /proc/loadavg: 8.27 7.40 7.18 9/200 23345 /proc/meminfo: memFree=29399592/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=685448 memory=92240 CPUtime=1294.51 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 140193 0 0 0 129427 24 0 0 20 0 9 0 436796439 701898752 23060 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 171362 23060 873 493 0 164667 0 [pid=23327/tid=23329] ppid=23324 vsize=685448 memory=92236 CPUtime=161.13 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 13969 0 0 0 16111 2 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553337002680 5081305 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=685448 memory=92236 CPUtime=162.02 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 14575 0 0 0 16200 2 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553328609976 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=685448 memory=92240 CPUtime=162.06 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 16855 0 0 0 16204 2 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553320217272 5081280 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=685448 memory=92240 CPUtime=161.64 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 18416 0 0 0 16162 2 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553311824568 5149648 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=685448 memory=92236 CPUtime=162.07 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 13191 0 0 0 16204 3 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553303432096 5076483 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=685448 memory=92240 CPUtime=161.91 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 17118 0 0 0 16189 2 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553295039504 5149674 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=685448 memory=92240 CPUtime=161.38 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 14075 0 0 0 16135 3 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553286646456 5079039 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=685448 memory=92240 CPUtime=162.08 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 13770 0 0 0 16205 3 0 0 20 0 9 0 436796455 701898752 23060 33554432000 4194304 6211092 140726696752768 140553278254096 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 1294.51 s Current children cumulated vsize: 685448 KiB Current children cumulated memory: 92240 KiB [startup+222.301 s] /proc/loadavg: 8.10 7.51 7.23 9/201 23350 /proc/meminfo: memFree=29396524/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=685448 memory=93324 CPUtime=1773.6 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 145442 0 0 0 177335 25 0 0 20 0 9 0 436796439 701898752 23331 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 171362 23331 873 493 0 164667 0 [pid=23327/tid=23329] ppid=23324 vsize=685448 memory=93324 CPUtime=220.29 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 14674 0 0 0 22027 2 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553337002680 5078752 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=685448 memory=93324 CPUtime=222 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 15203 0 0 0 22198 2 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553328609976 5078923 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=685448 memory=93324 CPUtime=222.04 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 17537 0 0 0 22202 2 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553320217272 5074413 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=685448 memory=93324 CPUtime=221.63 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 19115 0 0 0 22161 2 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553311824912 5082784 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=685448 memory=45296 CPUtime=222.06 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 13653 0 0 0 22203 3 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553303432208 5081341 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=685448 memory=93324 CPUtime=221.9 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 17910 0 0 0 22188 2 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553295039392 5075269 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=685448 memory=93324 CPUtime=221.38 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 14587 0 0 0 22135 3 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553286646456 5186239 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=685448 memory=93324 CPUtime=222.06 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 14539 0 0 0 22203 3 0 0 20 0 9 0 436796455 701898752 23331 33554432000 4194304 6211092 140726696752768 140553278253752 5075900 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 1773.6 s Current children cumulated vsize: 685448 KiB Current children cumulated memory: 93324 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.06 7.56 7.25 9/202 23360 /proc/meminfo: memFree=29397268/32770624 swapFree=66958316/67108860 [pid=23327] ppid=23324 vsize=685448 memory=93400 CPUtime=2010.77 cores=0-7 /proc/23327/stat : 23327 (cosoco) S 23324 23327 21287 0 -1 1077944320 145874 0 0 0 201052 25 0 0 20 0 9 0 436796439 701898752 23350 33554432000 4194304 6211092 140726696752768 140726696751024 140553360146167 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 /proc/23327/statm: 171362 23350 873 493 0 164667 0 [pid=23327/tid=23329] ppid=23324 vsize=685448 memory=1398722017469774279 CPUtime=249.74 cores=0-7 /proc/23327/task/23329/stat : 23329 (cosoco) R 23324 23327 21287 0 -1 4202560 14759 0 0 0 24972 2 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553337002504 5081349 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23330] ppid=23324 vsize=685448 memory=4872558044660077418 CPUtime=251.7 cores=0-7 /proc/23327/task/23330/stat : 23330 (cosoco) R 23324 23327 21287 0 -1 4202560 15257 0 0 0 25168 2 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553328609976 5078861 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23331] ppid=23324 vsize=685448 memory=916 CPUtime=251.73 cores=0-7 /proc/23327/task/23331/stat : 23331 (cosoco) R 23324 23327 21287 0 -1 4202560 17587 0 0 0 25171 2 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553320217464 5081359 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23332] ppid=23324 vsize=685448 memory=4556 CPUtime=251.17 cores=0-7 /proc/23327/task/23332/stat : 23332 (cosoco) R 23324 23327 21287 0 -1 4202560 19158 0 0 0 25115 2 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553311824912 5397429 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23333] ppid=23324 vsize=685448 memory=4100 CPUtime=251.77 cores=0-7 /proc/23327/task/23333/stat : 23333 (cosoco) R 23324 23327 21287 0 -1 4202560 13693 0 0 0 25174 3 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553303431960 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23334] ppid=23324 vsize=685448 memory=1408 CPUtime=251.6 cores=0-7 /proc/23327/task/23334/stat : 23334 (cosoco) R 23324 23327 21287 0 -1 4202560 17961 0 0 0 25158 2 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553295039392 5078861 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23335] ppid=23324 vsize=685448 memory=2756 CPUtime=251.08 cores=0-7 /proc/23327/task/23335/stat : 23335 (cosoco) R 23324 23327 21287 0 -1 4202560 14636 0 0 0 25105 3 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553286646648 5082381 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 [pid=23327/tid=23336] ppid=23324 vsize=685448 memory=93392 CPUtime=251.76 cores=0-7 /proc/23327/task/23336/stat : 23336 (cosoco) R 23324 23327 21287 0 -1 4202560 14599 0 0 0 25173 3 0 0 20 0 9 0 436796455 701898752 23350 33554432000 4194304 6211092 140726696752768 140553278253752 5076389 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12910592 140726696760342 140726696760434 140726696760434 140726696763342 0 Current children cumulated CPU time: 2010.77 s Current children cumulated vsize: 685448 KiB Current children cumulated memory: 93400 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.025 s] # the end of solver process 23327 was just reported to runsolver # cumulated CPU time of all completed processes: user=2010.62 s, system=0.26084 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.025 CPU time (s): 2010.88 CPU user time (s): 2010.62 CPU system time (s): 0.26084 CPU usage (%): 797.891 Max. virtual memory (cumulated for all children) (KiB): 690088 Max. memory (cumulated for all children) (KiB): 93400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2010.62 system time used= 0.26084 maximum resident set size= 93904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145917 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= 808 involuntary context switches= 16591 # summary of solver processes directly reported to runsolver: # pid: 23327 # total CPU time (s): 2010.88 # total CPU user time (s): 2010.62 # total CPU system time (s): 0.26084 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.32468 second user time and 2.20195 second system time The end
Begin job on node145 at 2019-09-16 06:35:58 IDJOB=4398807 IDBENCH=126211 IDSOLVER=2852 FILE ID=node145/4398807-1568608599 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-4398807-1568608599/watcher-4398807-1568608599 -o /tmp/evaluation-result-4398807-1568608599/solver-4398807-1568608599 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398807-1568608599.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=1341777486 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: 29484192 kB MemAvailable: 31850664 kB Buffers: 164884 kB Cached: 2493240 kB SwapCached: 41076 kB Active: 1270652 kB Inactive: 1430544 kB Active(anon): 6836 kB Inactive(anon): 85464 kB Active(file): 1263816 kB Inactive(file): 1345080 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958316 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 170504 kB Mapped: 47012 kB Shmem: 40612 kB Slab: 174980 kB SReclaimable: 146820 kB SUnreclaim: 28160 kB KernelStack: 3712 kB PageTables: 4940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 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 06:40:10