Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 48 | 488.242 | 61.2097 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t13-4.xml |
MD5SUM | b990a8dd86881825c48c70a9797e9fb6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 48 |
Best CPU time to get the best result obtained on this benchmark | 17.0244 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 693 |
Number of constraints | 75 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":189},{"size":5,"count":63},{"size":7,"count":126},{"size":10,"count":63},{"size":17,"count":63},{"size":19,"count":63},{"size":20,"count":63},{"size":21,"count":63}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":693}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 630 |
Distribution of constraint arities | [{"arity":11,"count":63},{"arity":63,"count":11},{"arity":630,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":73}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4409917-1569828833.xml 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.09 c enable optimization 0.00/0.09 c ========================================[ Problem Statistics ]=========================================== 0.00/0.09 c | 0.00/0.09 c | Parse time : 0.02 s 0.00/0.09 c | 0.00/0.09 c | Variables: 693 0.00/0.09 c | Domain Sizes: 2..21 0.00/0.09 c | 0.00/0.09 c | Constraints: 198 0.00/0.09 c | Arity: 2..63 -- Binary: 62 0.00/0.09 c | 0.00/0.09 c | Types: 0.00/0.09 c | (X -Y <= k): 62 0.00/0.09 c | Lex: 62 0.00/0.09 c | Sum: 74 0.00/0.09 c | 0.00/0.09 c | Objective: Minimize Sum 0.00/0.09 0.00/0.09 c ========================================================================================================= 0.00/0.09 c Parallel mode: Portfolio 0.00/0.09 c [pFactory][Group N°0] created (threads:8). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.09 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.09 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.09 c [pFactory][Group N°0] task 7 launched on thread 5. 0.00/0.09 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.09 c [pFactory][Group N°0] task 5 launched on thread 7. 0.00/0.09 c [pFactory][Group N°0] task 4 launched on thread 0. 0.00/0.09 c [pFactory][Group N°0] task 3 launched on thread 4. 0.00/0.09 c [pFactory][Group N°0] task 2 launched on thread 2. 0.00/0.09 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.09 c [pFactory][Group N°0] task 0 launched on thread 6. 0.00/0.09 o 63 0.58/0.12 o 61 0.58/0.13 o 59 0.58/0.16 o 52 1.45/0.22 o 51 1.45/0.27 o 50 1.45/0.30 o 48 487.38/61.20 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 5. 487.38/61.20 c [pFactory][Group N°0] Thread N°0 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°1 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°2 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°3 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°4 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°5 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°6 is joined. 487.38/61.20 c [pFactory][Group N°0] Thread N°7 is joined. 487.38/61.20 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°7) 487.38/61.20 s OPTIMUM FOUND 487.38/61.20 c call to solver : 6 487.38/61.20 c 487.38/61.20 c restarts : 28338 487.38/61.20 c conflicts : 273889 (562 /sec) 487.38/61.20 c decisions : 4699718 (9637 /sec) 487.38/61.20 c propagations : 23443289 (48070 /sec) 487.38/61.20 c root propagations : 5103 487.38/61.20 c filter calls : 30913950 (63388 /sec) 487.38/61.20 c useless filter calls : 25431501 (82 %) 487.38/61.20 c Memory used : 579.11 MB 487.38/61.20 c Best bound time (wc) : 0.302437 s 487.38/61.20 c CPU time : 487.693 s 487.38/61.20 c real time : 61.2022 s 487.38/61.20 487.38/61.20 487.38/61.20 v <instantiation type='solution' cost='48'> 487.38/61.20 v <list>p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[6] p[7] p[8] p[9] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list> 487.38/61.20 v <values>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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 </values> 487.38/61.20 v </instantiation> 487.38/61.20
OK 48
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 (13823 MiB free) memory of node 1: 16384 MiB (15735 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409917-1569828833/watcher-4409917-1569828833 -o /tmp/evaluation-result-4409917-1569828833/solver-4409917-1569828833 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1569816999-10284 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409917-1569828833.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 threadsolver pid=11854, runsolver pid=11851 Starting watchdog threadsolver pid=11854, runsolver pid=11851 Current StackSize limit: 8192 KiB [startup+0.100396 s]* /proc/loadavg: 1.18 3.06 5.02 9/200 11863 /proc/meminfo: memFree=30247612/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=629400 memory=25608 CPUtime=0.58 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 7266 0 0 0 56 2 0 0 20 0 9 0 559121854 644505600 6402 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 157350 6402 884 493 0 150655 0 [pid=11854/tid=11856] ppid=11851 vsize=629400 memory=4134692831991786133 CPUtime=0.07 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 513 0 0 0 7 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913171037216 139913178135358 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=629400 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 429 0 0 0 6 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913162644072 139913178135358 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=629400 memory=139722050049664 CPUtime=0.06 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 493 0 0 0 6 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913154251368 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=629400 memory=0 CPUtime=0.06 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 592 0 0 0 6 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913145859088 5149260 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=629400 memory=0 CPUtime=0.07 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 462 0 0 0 7 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913137466400 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=629400 memory=0 CPUtime=0.07 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 606 0 0 0 7 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913129073256 5149493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=629400 memory=-1 CPUtime=0.06 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913120680392 5092196 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=629400 memory=0 CPUtime=0.07 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 533 0 0 0 7 0 0 0 20 0 9 0 559121857 644505600 6402 33554432000 4194304 6211132 140732002474000 139913112287672 5148766 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 0.58 s Current children cumulated vsize: 629400 KiB Current children cumulated memory: 25608 KiB [startup+0.210397 s]* /proc/loadavg: 1.18 3.06 5.02 9/200 11863 /proc/meminfo: memFree=30244480/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=626820 memory=27428 CPUtime=1.45 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 8144 0 0 0 143 2 0 0 20 0 9 0 559121854 641863680 6857 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156705 6857 884 493 0 150010 0 [pid=11854/tid=11856] ppid=11851 vsize=626820 memory=8316850467074736180 CPUtime=0.18 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 689 0 0 0 18 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913171037456 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=626820 memory=1943650 CPUtime=0.17 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 590 0 0 0 17 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913162644072 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=626820 memory=139722054183124 CPUtime=0.17 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 590 0 0 0 17 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913154251368 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=626820 memory=-1 CPUtime=0.16 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 634 0 0 0 16 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913145858664 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=626820 memory=0 CPUtime=0.18 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 467 0 0 0 18 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913137465800 5250283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=626820 memory=0 CPUtime=0.18 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 611 0 0 0 18 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913129073256 5149152 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=626820 memory=-1 CPUtime=0.16 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 551 0 0 0 16 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913120680976 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=626820 memory=0 CPUtime=0.18 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 688 0 0 0 18 0 0 0 20 0 9 0 559121857 641863680 6857 33554432000 4194304 6211132 140732002474000 139913112287848 5092273 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 1.45 s Current children cumulated vsize: 626820 KiB Current children cumulated memory: 27428 KiB [startup+0.310395 s]* /proc/loadavg: 1.18 3.06 5.02 9/200 11863 /proc/meminfo: memFree=30244108/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=28728 CPUtime=2.23 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 8420 0 0 0 221 2 0 0 20 0 9 0 559121854 640806912 7182 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7182 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=0.28 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 730 0 0 0 28 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913171037456 5409493 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 615 0 0 0 27 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913162643912 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=0 CPUtime=0.27 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 598 0 0 0 27 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913154251368 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=0 CPUtime=0.25 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 659 0 0 0 25 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913145858664 5409456 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=6656426216303648864 CPUtime=0.28 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 577 0 0 0 28 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913137465800 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=0 CPUtime=0.28 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 612 0 0 0 28 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913129073336 5409463 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=0 CPUtime=0.26 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 561 0 0 0 26 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913120680976 5409497 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=0 CPUtime=0.28 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 743 0 0 0 28 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913112288528 5409493 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 2.23 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 28728 KiB [startup+0.701395 s] /proc/loadavg: 1.18 3.06 5.02 9/201 11865 /proc/meminfo: memFree=30243220/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=28728 CPUtime=5.26 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 8449 0 0 0 523 3 0 0 20 0 9 0 559121854 640806912 7182 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7182 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=1436 CPUtime=0.65 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 730 0 0 0 65 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913171037456 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=892 CPUtime=0.65 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 617 0 0 0 65 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913162644496 5409497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=1764 CPUtime=0.66 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 613 0 0 0 66 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913154251368 5409493 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=111628 CPUtime=0.61 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 659 0 0 0 61 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913145859200 5091747 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=800 CPUtime=0.66 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 584 0 0 0 66 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913137466384 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=4713745541279610410 CPUtime=0.66 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 617 0 0 0 66 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913129073336 5091739 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=-6520471753822164382 CPUtime=0.64 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 561 0 0 0 63 1 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913120680552 5149152 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=-8253362762722141311 CPUtime=0.66 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 743 0 0 0 66 0 0 0 20 0 9 0 559121857 640806912 7182 33554432000 4194304 6211132 140732002474000 139913112288528 5092113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 5.26 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 28728 KiB [startup+1.5014 s] /proc/loadavg: 1.18 3.06 5.02 9/201 11865 /proc/meminfo: memFree=30243220/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=11.65 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 12815 0 0 0 1159 6 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=5787213827163574627 CPUtime=1.45 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 1269 0 0 0 145 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037456 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=5787213827146797411 CPUtime=1.45 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 1211 0 0 0 145 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=5787213827096465763 CPUtime=1.46 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 1123 0 0 0 146 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251368 5009164 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=5787213827046134115 CPUtime=1.4 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 1328 0 0 0 140 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=0 CPUtime=1.46 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 1041 0 0 0 146 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5148719 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=8316868033356759116 CPUtime=1.46 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 1191 0 0 0 146 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5149224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=1944129 CPUtime=1.45 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 978 0 0 0 141 4 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409493 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=3548455 CPUtime=1.46 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 1349 0 0 0 146 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5149042 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 11.65 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+3.10939 s] /proc/loadavg: 1.18 3.06 5.02 9/201 11865 /proc/meminfo: memFree=30238064/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=24.48 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 16510 0 0 0 2437 11 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=165 CPUtime=3.06 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 1805 0 0 0 306 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037456 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=165 CPUtime=3.06 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 1675 0 0 0 306 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5149699 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=165 CPUtime=3.06 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 1520 0 0 0 306 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251368 5250316 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=28728 CPUtime=2.98 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 1820 0 0 0 298 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=5520 CPUtime=3.06 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 1524 0 0 0 306 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=1412 CPUtime=3.06 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 1668 0 0 0 306 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5149042 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=2220 CPUtime=3.04 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 1399 0 0 0 296 8 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=3620 CPUtime=3.07 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 1774 0 0 0 307 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5149478 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 24.48 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+12.4944 s] /proc/loadavg: 1.18 3.06 5.02 9/201 11865 /proc/meminfo: memFree=30238064/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=99.47 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 29678 0 0 0 9909 38 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=15679352650079272 CPUtime=12.43 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 2886 0 0 0 1243 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=0 CPUtime=12.44 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 3935 0 0 0 1244 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5149985 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=0 CPUtime=12.45 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2487 0 0 0 1245 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5409481 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=12.36 cores=0-7 ################ # More data... # ################ /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 5090 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=29288 CPUtime=50.49 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 5049 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5148896 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=29288 CPUtime=51.04 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 5104 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5250311 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=29288 CPUtime=51.05 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 4984 0 0 0 5105 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5091023 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=1853 CPUtime=50.82 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4454 0 0 0 5032 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=1875 CPUtime=51.05 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4941 0 0 0 5105 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 407.51 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+61.2096 s] # the end of solver process 11854 was just reported to runsolver # cumulated CPU time of all completed processes: user=487.693 s, system=0.548739 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+54.0004 s] /proc/loadavg: 5.42 3.95 5.22 9/199 11871 /proc/meminfo: memFree=31440656/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=430.67 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 35144 0 0 0 43013 54 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=29288 CPUtime=53.93 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 3394 0 0 0 5393 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5158060 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=1664 CPUtime=53.94 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 4457 0 0 0 5394 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5149244 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=1164 CPUtime=53.79 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 5379 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=11604 CPUtime=53.35 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 5335 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=1664 CPUtime=53.94 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 5394 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5149253 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=1164 CPUtime=53.95 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 4984 0 0 0 5395 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=1040 CPUtime=53.72 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4454 0 0 0 5322 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409497 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=53.95 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4941 0 0 0 5395 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 430.67 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+57.2004 s]* /proc/loadavg: 5.62 4.02 5.24 9/199 11871 /proc/meminfo: memFree=31440656/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=456.28 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 35161 0 0 0 45574 54 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=57.14 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 3394 0 0 0 5714 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5404051 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=4872558044660077418 CPUtime=57.14 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 4457 0 0 0 5714 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=1556 CPUtime=57 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 5700 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=532 CPUtime=56.51 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 5651 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5092128 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=928 CPUtime=57.15 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 5715 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5148711 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=1556 CPUtime=57.16 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 5001 0 0 0 5716 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=1976 CPUtime=56.93 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4454 0 0 0 5643 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=1808 CPUtime=57.15 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4941 0 0 0 5715 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5155377 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 456.28 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+58.8004 s] /proc/loadavg: 5.62 4.02 5.24 9/199 11871 /proc/meminfo: memFree=31440660/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=469 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 35162 0 0 0 46846 54 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=3620 CPUtime=58.73 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 3394 0 0 0 5873 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5157128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=29288 CPUtime=58.74 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 4457 0 0 0 5874 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=29288 CPUtime=58.59 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 5859 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5149055 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=1388 CPUtime=58.09 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 5809 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=58.74 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 5874 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5149152 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=5983787760370555104 CPUtime=58.75 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 5002 0 0 0 5875 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5186344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=0 CPUtime=58.52 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4454 0 0 0 5802 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5409471 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=6946866654921323415 CPUtime=58.74 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4941 0 0 0 5874 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 469 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+60.4004 s] /proc/loadavg: 5.81 4.08 5.25 9/199 11871 /proc/meminfo: memFree=31440784/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=481.78 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 35166 0 0 0 48124 54 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=1056 CPUtime=60.33 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 3394 0 0 0 6033 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5158146 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=29288 CPUtime=60.33 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 4457 0 0 0 6033 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=3620 CPUtime=60.19 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 6019 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=1388 CPUtime=59.67 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 5967 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=1724 CPUtime=60.34 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 6034 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=10632 CPUtime=60.35 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 5004 0 0 0 6035 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=1988 CPUtime=60.12 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4455 0 0 0 5962 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5093400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=1056 CPUtime=60.34 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4942 0 0 0 6034 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 481.78 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+60.8004 s] /proc/loadavg: 5.81 4.08 5.25 9/199 11871 /proc/meminfo: memFree=31440784/32770624 swapFree=66943324/67108860 [pid=11854] ppid=11851 vsize=625788 memory=29288 CPUtime=484.98 cores=0-7 /proc/11854/stat : 11854 (cosoco) S 11851 11854 10257 0 -1 1077944320 35168 0 0 0 48444 54 0 0 20 0 9 0 559121854 640806912 7322 33554432000 4194304 6211132 140732002474000 140732002472256 139913194180343 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 /proc/11854/statm: 156447 7322 884 493 0 149752 0 [pid=11854/tid=11856] ppid=11851 vsize=625788 memory=11604 CPUtime=60.73 cores=0-7 /proc/11854/task/11856/stat : 11856 (cosoco) R 11851 11854 10257 0 -1 4202560 3394 0 0 0 6073 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913171037104 5149168 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11857] ppid=11851 vsize=625788 memory=1664 CPUtime=60.73 cores=0-7 /proc/11854/task/11857/stat : 11857 (cosoco) R 11851 11854 10257 0 -1 4202560 4457 0 0 0 6073 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913162644496 5149249 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11858] ppid=11851 vsize=625788 memory=1164 CPUtime=60.59 cores=0-7 /proc/11854/task/11858/stat : 11858 (cosoco) R 11851 11854 10257 0 -1 4202560 2976 0 0 0 6059 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913154251792 5148901 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11859] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=60.07 cores=0-7 /proc/11854/task/11859/stat : 11859 (cosoco) R 11851 11854 10257 0 -1 4202560 3474 0 0 0 6007 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913145859200 5409497 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11860] ppid=11851 vsize=625788 memory=10632 CPUtime=60.74 cores=0-7 /proc/11854/task/11860/stat : 11860 (cosoco) R 11851 11854 10257 0 -1 4202560 3139 0 0 0 6074 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913137466384 5149699 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11861] ppid=11851 vsize=625788 memory=1988 CPUtime=60.75 cores=0-7 /proc/11854/task/11861/stat : 11861 (cosoco) R 11851 11854 10257 0 -1 4202560 5004 0 0 0 6075 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913129073256 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11862] ppid=11851 vsize=625788 memory=988 CPUtime=60.52 cores=0-7 /proc/11854/task/11862/stat : 11862 (cosoco) R 11851 11854 10257 0 -1 4202560 4455 0 0 0 6002 50 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913120680552 5250491 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 [pid=11854/tid=11863] ppid=11851 vsize=625788 memory=6935054825532540783 CPUtime=60.74 cores=0-7 /proc/11854/task/11863/stat : 11863 (cosoco) R 11851 11854 10257 0 -1 4202560 4944 0 0 0 6074 0 0 0 20 0 9 0 559121857 640806912 7322 33554432000 4194304 6211132 140732002474000 139913112288528 5093238 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33071104 140732002481174 140732002481266 140732002481266 140732002484174 0 Current children cumulated CPU time: 484.98 s Current children cumulated vsize: 625788 KiB Current children cumulated memory: 29288 KiB [startup+61.2004 s]* /proc/loadavg: 5.81 4.08 5.25 9/199 11871 /proc/meminfo: memFree=31440784/32770624 swapFree=66943324/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 61.2097 CPU time (s): 488.242 CPU user time (s): 487.693 CPU system time (s): 0.548739 CPU usage (%): 797.655 Max. virtual memory (cumulated for all children) (KiB): 629400 Max. memory (cumulated for all children) (KiB): 29288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 487.693 system time used= 0.548739 maximum resident set size= 29500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35258 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= 958 involuntary context switches= 4446 # summary of solver processes directly reported to runsolver: # pid: 11854 # total CPU time (s): 488.242 # total CPU user time (s): 487.693 # total CPU system time (s): 0.548739 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.256731 second user time and 0.422239 second system time The end
Begin job on node149 at 2019-09-30 09:33:14 IDJOB=4409917 IDBENCH=124246 IDSOLVER=2878 FILE ID=node149/4409917-1569828833 RUNJOBID= node149-1569816999-10284 PBS_JOBID= 21705913 Free space on /tmp= 61460 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-4.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409917-1569828833/watcher-4409917-1569828833 -o /tmp/evaluation-result-4409917-1569828833/solver-4409917-1569828833 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1569816999-10284 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409917-1569828833.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b990a8dd86881825c48c70a9797e9fb6 RANDOM SEED=1090091315 node149.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.81 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.81 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.81 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.81 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: 30268632 kB MemAvailable: 31918124 kB Buffers: 125268 kB Cached: 1802232 kB SwapCached: 5468 kB Active: 155804 kB Inactive: 1780840 kB Active(anon): 14928 kB Inactive(anon): 20416 kB Active(file): 140876 kB Inactive(file): 1760424 kB Unevictable: 109768 kB Mlocked: 109768 kB SwapTotal: 67108860 kB SwapFree: 66943324 kB Dirty: 1044088 kB Writeback: 80764 kB AnonPages: 122764 kB Mapped: 28044 kB Shmem: 17908 kB Slab: 157592 kB SReclaimable: 128056 kB SUnreclaim: 29536 kB KernelStack: 3728 kB PageTables: 5688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 541480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 62028 MiB End job on node149 at 2019-09-30 09:34:15