Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 25 | 129.802 | 16.3261 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-018.xml |
MD5SUM | 656c4a2fb65f2a7fc120fc4ddb475e5d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 9.78389 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 341 |
Number of constraints | 187 |
Number of domains | 35 |
Minimum domain size | 2 |
Maximum domain size | 35 |
Distribution of domain sizes | [{"size":2,"count":172},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":0,"count":136},{"degree":2,"count":187},{"degree":17,"count":18}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 18 |
Distribution of constraint arities | [{"arity":2,"count":18},{"arity":3,"count":154},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 170 |
Distribution of constraint types | [{"type":"intension","count":170},{"type":"sum","count":17}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409510-1569826408.xml 0.00/0.01 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 35tuples 0.00/0.06 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 33tuples 0.00/0.06 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 31tuples 0.00/0.06 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 29tuples 0.00/0.06 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 27tuples 0.00/0.06 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 25tuples 0.00/0.06 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 23tuples 0.00/0.06 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 21tuples 0.00/0.06 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 19tuples 0.00/0.06 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 17tuples 0.00/0.06 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 15tuples 0.00/0.06 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 13tuples 0.00/0.06 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 11tuples 0.00/0.06 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 9tuples 0.00/0.06 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 7tuples 0.00/0.06 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 5tuples 0.00/0.06 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 3tuples 0.00/0.07 c enable optimization 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.06 s 0.00/0.07 c | 0.00/0.07 c | Variables: 341 0.00/0.07 c | Domain Sizes: 2..35 0.00/0.07 c | 0.00/0.07 c | Constraints: 188 0.00/0.07 c | Arity: 2..18 -- Binary: 18 -- Ternary: 154 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | Extension: 170 (nb tuples: 3..35) -- (shared: 1216) 0.00/0.07 c | Sum: 18 0.00/0.07 c | 0.00/0.07 c | Objective: Minimize Sum 0.00/0.07 0.00/0.07 c ========================================================================================================= 0.00/0.07 c Parallel mode: Portfolio 0.00/0.07 c [pFactory][Group N°0] created (threads:8). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.07 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.07 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.07 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.07 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.07 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.07 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.07 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.07 c [pFactory][Group N°0] task 2 launched on thread 3. 0.00/0.07 c [pFactory][Group N°0] task 1 launched on thread 5. 0.00/0.07 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.07 o 233 0.00/0.07 o 185 0.00/0.07 o 153 0.00/0.07 o 129 0.00/0.08 o 97 0.00/0.08 o 65 0.00/0.09 o 57 0.00/0.09 o 49 0.35/0.11 o 41 1.22/0.30 o 33 2.00/0.40 o 25 129.60/16.32 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 7. 129.60/16.32 c [pFactory][Group N°0] Thread N°0 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°1 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°2 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°3 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°4 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°5 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°6 is joined. 129.60/16.32 c [pFactory][Group N°0] Thread N°7 is joined. 129.60/16.32 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1) 129.60/16.32 s OPTIMUM FOUND 129.60/16.32 c call to solver : 10 129.60/16.32 c 129.60/16.32 c restarts : 8429 129.60/16.32 c conflicts : 98140 (756 /sec) 129.60/16.32 c decisions : 1046330 (8062 /sec) 129.60/16.32 c propagations : 17384146 (133941 /sec) 129.60/16.32 c root propagations : 817 129.60/16.32 c filter calls : 25687887 (197919 /sec) 129.60/16.32 c useless filter calls : 14855762 (57 %) 129.60/16.32 c Memory used : 577.04 MB 129.60/16.32 c Best bound time (wc) : 0.399902 s 129.60/16.32 c CPU time : 129.79 s 129.60/16.32 c real time : 16.3195 s 129.60/16.32 129.60/16.32 129.60/16.32 v <instantiation type='solution' cost='25'> 129.60/16.32 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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[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][1] 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[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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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> 129.60/16.32 v <values>1 1 0 -1 0 -1 0 1 -2 -1 -2 -1 -2 1 -2 -1 0 1 1 0 1 0 1 0 1 4 1 4 1 4 1 4 1 0 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 * * * * * * * 1 1 1 1 -1 -1 * * * -1 * * * * * * * 1 -1 1 1 -1 * * * * -1 * * * * * * * -1 -1 1 1 * * * * * 1 * * * * * * * -1 -1 1 * * * * * * 1 * * * * * * * -1 -1 * * * * * * * 1 * * * * * * * -1 * * * * * * * * 1 * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 * -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 * * -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 * * * 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 * * * * 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 * * * * * -1 1 1 -1 1 1 -1 -1 1 1 -1 * * * * * * 1 -1 -1 -1 1 1 1 -1 1 -1 * * * * * * * -1 1 -1 -1 1 -1 1 -1 1 1 * * * * * * * 1 1 -1 -1 -1 -1 1 -1 * -1 * * * * * * * 1 1 -1 1 -1 -1 1 * * </values> 129.60/16.32 v </instantiation> 129.60/16.32
OK 25
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 (15276 MiB free) memory of node 1: 16384 MiB (15726 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409510-1569826408/watcher-4409510-1569826408 -o /tmp/evaluation-result-4409510-1569826408/solver-4409510-1569826408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569816268-30830 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409510-1569826408.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=32116, runsolver pid=32113 Current StackSize limit: 8192 KiB [startup+0.100836 s]* /proc/loadavg: 8.33 8.48 7.91 9/202 32125 /proc/meminfo: memFree=31740208/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=12504 CPUtime=0.35 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 3440 0 0 0 35 0 0 0 20 0 9 0 558908526 638631936 3126 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3126 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=4134692831991786133 CPUtime=0.03 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 82 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322625026744 5409489 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=0 CPUtime=0.03 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 83 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322616634400 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=140257317275264 CPUtime=0.03 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 80 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322608241256 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=0 CPUtime=0.03 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322599848992 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=0 CPUtime=0.03 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322591455848 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=0 CPUtime=0.03 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 69 0 0 0 3 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322583063824 5037821 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=-1 CPUtime=0.04 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 75 0 0 0 4 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322574671120 5149088 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=0 CPUtime=0.02 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322566277736 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 12504 KiB [startup+0.21084 s]* /proc/loadavg: 8.33 8.48 7.91 9/202 32125 /proc/meminfo: memFree=31739944/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=12504 CPUtime=1.22 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 3450 0 0 0 122 0 0 0 20 0 9 0 558908526 638631936 3126 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3126 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=7310027617963868211 CPUtime=0.14 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 83 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322625026664 5397427 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=288230591823085591 CPUtime=0.14 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 87 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322616634400 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=140257321438519 CPUtime=0.14 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 81 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322608241256 5035312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=-1 CPUtime=0.14 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 82 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322599848992 5008831 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=0 CPUtime=0.14 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322591455848 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=0 CPUtime=0.14 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 69 0 0 0 14 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322583063824 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=-1 CPUtime=0.15 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 75 0 0 0 15 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322574671120 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=0 CPUtime=0.12 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 12 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322566277736 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 1.22 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 12504 KiB [startup+0.309836 s]* /proc/loadavg: 8.33 8.48 7.91 9/202 32125 /proc/meminfo: memFree=31739944/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=12504 CPUtime=2 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 3463 0 0 0 200 0 0 0 20 0 9 0 558908526 638631936 3126 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3126 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=0.24 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 86 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322625027344 5396704 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 87 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322616634400 5035322 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 81 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322608241064 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 82 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322599848992 5009388 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322591455848 5409471 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 76 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322583063824 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=0 CPUtime=0.24 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 24 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322574671120 5148990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=0 CPUtime=0.21 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 21 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322566277736 5380247 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 2 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 12504 KiB [startup+0.705835 s] /proc/loadavg: 8.33 8.48 7.91 9/202 32125 /proc/meminfo: memFree=31740100/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=12504 CPUtime=5.06 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 3488 0 0 0 506 0 0 0 20 0 9 0 558908526 638631936 3126 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3126 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=2836 CPUtime=0.63 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 89 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322625026744 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=1540 CPUtime=0.63 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 89 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322616633880 5186344 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=1732 CPUtime=0.63 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 87 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322608241256 5035240 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=6176 CPUtime=0.63 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 85 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322599848632 5039695 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=772 CPUtime=0.63 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 82 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322591455928 5158038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=140261612242559 CPUtime=0.63 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 78 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322583063224 5035326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=-9123011406873206402 CPUtime=0.63 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 80 0 0 0 63 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322574670440 5250266 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=7079746850842632256 CPUtime=0.58 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 81 0 0 0 58 0 0 0 20 0 9 0 558908533 638631936 3126 33554432000 4194304 6211132 140727906578160 140322566277816 5397262 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 5.06 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 12504 KiB [startup+1.50084 s] /proc/loadavg: 8.33 8.48 7.91 9/202 32125 /proc/meminfo: memFree=31739380/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13052 CPUtime=11.4 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 4312 0 0 0 1140 0 0 0 20 0 9 0 558908526 638631936 3263 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3263 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=10592 CPUtime=1.42 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 196 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322625026744 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=984 CPUtime=1.42 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 191 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322616633880 5038587 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=2004 CPUtime=1.42 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 194 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322608241256 5193776 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=1432 CPUtime=1.42 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 203 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322599848632 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=1060 CPUtime=1.42 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 176 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322591455928 5038697 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=740 CPUtime=1.42 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 174 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322583063224 5151152 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=1228 CPUtime=1.42 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 172 0 0 0 142 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322574670440 5158060 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=9564 CPUtime=1.36 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 189 0 0 0 136 0 0 0 20 0 9 0 558908533 638631936 3263 33554432000 4194304 6211132 140727906578160 140322566277816 5039189 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 11.4 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13052 KiB [startup+3.10983 s] /proc/loadavg: 8.31 8.47 7.91 9/202 32125 /proc/meminfo: memFree=31739420/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13060 CPUtime=24.24 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 5103 0 0 0 2424 0 0 0 20 0 9 0 558908526 638631936 3265 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3265 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=0 CPUtime=3.03 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 295 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322625026744 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=13052 CPUtime=3.03 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 297 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322616633880 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=7018666936408105829 CPUtime=3.03 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 283 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322608241256 5009042 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=-6804530833007812508 CPUtime=3.03 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 307 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322599848632 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=3620 CPUtime=3.03 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 279 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322591455928 5009214 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=10592 CPUtime=3.03 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 279 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322583063224 5404210 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=984 CPUtime=3.03 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 260 0 0 0 303 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322574670440 5039022 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=2.94 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 286 0 0 0 294 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322566277816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 24.24 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13060 KiB [startup+6.30083 s] /proc/loadavg: 8.31 8.47 7.91 9/202 32125 /proc/meminfo: memFree=31739600/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13060 CPUtime=49.74 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 6718 0 0 0 4973 1 0 0 20 0 9 0 558908526 638631936 3265 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3265 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=56 CPUtime=6.22 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 507 0 0 0 622 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322625026744 5148719 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=140261612242559 CPUtime=6.22 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 521 0 0 0 622 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322616633880 5250497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=280514380434864 CPUtime=6.22 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 482 0 0 0 622 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322608241256 5035337 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=140111161330154 CPUtime=6.22 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 500 0 0 0 622 0 0 0 20 0 9 0 558908533 638631936 3265 33554432000 4194304 6211132 140727906578160 140322599848632 5035232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 ################ # More data... # ################ Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8008 s] /proc/loadavg: 8.28 8.46 7.91 9/201 32125 /proc/meminfo: memFree=31740800/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13076 CPUtime=101.65 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 8349 0 0 0 10164 1 0 0 20 0 9 0 558908526 638631936 3269 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3269 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=2836 CPUtime=12.72 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 763 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322625026744 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=1540 CPUtime=12.72 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 708 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322616633880 5193776 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=1732 CPUtime=12.72 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 687 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322608241256 5390144 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=1032 CPUtime=12.72 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 685 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322599848632 5389440 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=1032 CPUtime=12.72 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 655 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322591455928 5151098 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=1032 CPUtime=12.71 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 678 0 0 0 1271 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322583063064 5390162 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=1032 CPUtime=12.72 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 655 0 0 0 1272 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322574670440 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=13060 CPUtime=12.52 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 701 0 0 0 1252 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322566277816 5397419 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 101.65 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13076 KiB [startup+14.4008 s] /proc/loadavg: 8.26 8.45 7.91 9/201 32125 /proc/meminfo: memFree=31740924/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13076 CPUtime=114.43 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 8356 0 0 0 11442 1 0 0 20 0 9 0 558908526 638631936 3269 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3269 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=13076 CPUtime=14.32 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 764 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322625026744 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=14.32 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 708 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322616633880 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=6944656592455360604 CPUtime=14.32 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 687 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322608241256 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=6944656592455360604 CPUtime=14.32 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 686 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322599848632 5149030 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=6944656592455360604 CPUtime=14.32 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 655 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322591455928 5193780 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=6944656592455360604 CPUtime=14.31 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 678 0 0 0 1431 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322583063064 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=1440 CPUtime=14.32 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 656 0 0 0 1432 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322574670440 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=784 CPUtime=14.09 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 705 0 0 0 1409 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322566277816 5250311 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 114.43 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13076 KiB [startup+15.2008 s] /proc/loadavg: 8.26 8.45 7.91 9/201 32125 /proc/meminfo: memFree=31740924/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13076 CPUtime=120.82 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 8356 0 0 0 12081 1 0 0 20 0 9 0 558908526 638631936 3269 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3269 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=111628 CPUtime=15.12 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 764 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322625026744 5396441 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=804 CPUtime=15.12 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 708 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322616633880 5035240 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=1808 CPUtime=15.12 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 687 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322608241256 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=1432 CPUtime=15.12 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 686 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322599848632 5392110 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=1060 CPUtime=15.12 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 655 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322591455928 5035344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=740 CPUtime=15.11 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 678 0 0 0 1511 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322583063064 5396791 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=1228 CPUtime=15.12 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 656 0 0 0 1512 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322574670440 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=9564 CPUtime=14.88 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 705 0 0 0 1488 0 0 0 20 0 9 0 558908533 638631936 3269 33554432000 4194304 6211132 140727906578160 140322566277816 5009195 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 120.82 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13076 KiB [startup+16.0008 s]* /proc/loadavg: 8.26 8.45 7.91 9/201 32125 /proc/meminfo: memFree=31740936/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13080 CPUtime=127.28 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 9159 0 0 0 12727 1 0 0 20 0 9 0 558908526 638631936 3270 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3270 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=15.93 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 866 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322625026744 5035272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=2116 CPUtime=15.93 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 822 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322616633880 5038816 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=12028 CPUtime=15.93 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 799 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322608241256 5149278 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=496 CPUtime=15.93 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 773 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322599848632 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=1564 CPUtime=15.93 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 739 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322591455928 5396444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=15.92 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 770 0 0 0 1592 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322583063064 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=1540 CPUtime=15.93 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 754 0 0 0 1593 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322574670440 5035232 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=1732 CPUtime=15.68 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 819 0 0 0 1568 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322566277816 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 127.28 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13080 KiB [startup+16.2008 s] /proc/loadavg: 8.26 8.45 7.91 9/201 32125 /proc/meminfo: memFree=31740936/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13080 CPUtime=128.8 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 9169 0 0 0 12879 1 0 0 20 0 9 0 558908526 638631936 3270 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3270 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=772 CPUtime=16.12 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 867 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322625026744 5391746 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=952 CPUtime=16.12 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 823 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322616633880 5151144 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=14008 CPUtime=16.12 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 799 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322608241256 5409471 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=0 CPUtime=16.12 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 773 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322599848632 5039125 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=0 CPUtime=16.12 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 740 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322591455928 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=2209 CPUtime=16.11 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 770 0 0 0 1611 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322583063064 5396791 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=13076 CPUtime=16.12 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 756 0 0 0 1612 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322574670440 5037744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=6935054825532540783 CPUtime=15.87 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 824 0 0 0 1587 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322566277816 5193740 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 128.8 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13080 KiB [startup+16.3008 s] /proc/loadavg: 8.26 8.45 7.91 9/201 32125 /proc/meminfo: memFree=31740936/32770624 swapFree=66997708/67108860 [pid=32116] ppid=32113 vsize=623664 memory=13080 CPUtime=129.6 cores=0-7 /proc/32116/stat : 32116 (cosoco) S 32113 32116 30803 0 -1 1077944320 9169 0 0 0 12959 1 0 0 20 0 9 0 558908526 638631936 3270 33554432000 4194304 6211132 140727906578160 140727906576416 140322648170231 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 /proc/32116/statm: 155916 3270 892 493 0 149221 0 [pid=32116/tid=32118] ppid=32113 vsize=623664 memory=13080 CPUtime=16.22 cores=0-7 /proc/32116/task/32118/stat : 32118 (cosoco) R 32113 32116 30803 0 -1 4202560 867 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322625026744 5035232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32119] ppid=32113 vsize=623664 memory=13076 CPUtime=16.22 cores=0-7 /proc/32116/task/32119/stat : 32119 (cosoco) R 32113 32116 30803 0 -1 4202560 823 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322616633880 5009388 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32120] ppid=32113 vsize=623664 memory=13080 CPUtime=16.22 cores=0-7 /proc/32116/task/32120/stat : 32120 (cosoco) R 32113 32116 30803 0 -1 4202560 799 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322608241256 5039609 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32121] ppid=32113 vsize=623664 memory=13060 CPUtime=16.22 cores=0-7 /proc/32116/task/32121/stat : 32121 (cosoco) R 32113 32116 30803 0 -1 4202560 773 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322599848632 5250283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32122] ppid=32113 vsize=623664 memory=1562 CPUtime=16.22 cores=0-7 /proc/32116/task/32122/stat : 32122 (cosoco) R 32113 32116 30803 0 -1 4202560 740 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322591455928 5148887 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32123] ppid=32113 vsize=623664 memory=1561 CPUtime=16.21 cores=0-7 /proc/32116/task/32123/stat : 32123 (cosoco) R 32113 32116 30803 0 -1 4202560 770 0 0 0 1621 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322583063064 5151098 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32124] ppid=32113 vsize=623664 memory=13076 CPUtime=16.22 cores=0-7 /proc/32116/task/32124/stat : 32124 (cosoco) R 32113 32116 30803 0 -1 4202560 756 0 0 0 1622 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322574670440 5035347 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 [pid=32116/tid=32125] ppid=32113 vsize=623664 memory=1432 CPUtime=15.97 cores=0-7 /proc/32116/task/32125/stat : 32125 (cosoco) R 32113 32116 30803 0 -1 4202560 824 0 0 0 1597 0 0 0 20 0 9 0 558908533 638631936 3270 33554432000 4194304 6211132 140727906578160 140322566277816 5158217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33034240 140727906579473 140727906579565 140727906579565 140727906582478 0 Current children cumulated CPU time: 129.6 s Current children cumulated vsize: 623664 KiB Current children cumulated memory: 13080 KiB Child status: 0 Real time (s): 16.3261 CPU time (s): 129.802 CPU user time (s): 129.79 CPU system time (s): 0.011991 CPU usage (%): 795.059 Max. virtual memory (cumulated for all children) (KiB): 623664 Max. memory (cumulated for all children) (KiB): 13080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 129.79 system time used= 0.011991 maximum resident set size= 13304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9254 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= 437 involuntary context switches= 1145 # summary of solver processes directly reported to runsolver: # pid: 32116 # total CPU time (s): 129.802 # total CPU user time (s): 129.79 # total CPU system time (s): 0.011991 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.08705 second user time and 0.186604 second system time The end
Begin job on node126 at 2019-09-30 08:52:50 IDJOB=4409510 IDBENCH=127042 IDSOLVER=2877 FILE ID=node126/4409510-1569826408 RUNJOBID= node126-1569816268-30830 PBS_JOBID= 21705904 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-018.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409510-1569826408/watcher-4409510-1569826408 -o /tmp/evaluation-result-4409510-1569826408/solver-4409510-1569826408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569816268-30830 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409510-1569826408.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 656c4a2fb65f2a7fc120fc4ddb475e5d RANDOM SEED=980132902 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31746868 kB MemAvailable: 31856988 kB Buffers: 107904 kB Cached: 320288 kB SwapCached: 7400 kB Active: 321720 kB Inactive: 118160 kB Active(anon): 2592 kB Inactive(anon): 84368 kB Active(file): 319128 kB Inactive(file): 33792 kB Unevictable: 109440 kB Mlocked: 109440 kB SwapTotal: 67108860 kB SwapFree: 66997708 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 185476 kB Mapped: 27080 kB Shmem: 66832 kB Slab: 175736 kB SReclaimable: 146072 kB SUnreclaim: 29664 kB KernelStack: 3760 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2019-09-30 08:53:06