Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 96 | 1175.57 | 147.492 |
| Name | Tal/ Tal-03_c18.xml |
| MD5SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 33.2263 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 404 |
| Number of constraints | 286 |
| Number of domains | 10 |
| Minimum domain size | 1 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] |
| Number of extensional constraints | 49 |
| Number of intensional constraints | 225 |
| Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4409589-1569840212.xml 0.00/0.03 c intension imp(eq(l[2][1],0),eq(i[2][1],6)) -> extension (support ? 0) - 6tuples 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 imp(eq(l[4][1],0),eq(i[4][1],5)) -> extension (support ? 0) - 5tuples 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 imp(eq(l[6][1],0),eq(i[6][1],4)) -> extension (support ? 0) - 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 imp(eq(l[8][1],0),eq(i[8][1],3)) -> extension (support ? 0) - 3tuples 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 imp(eq(l[10][1],0),eq(i[10][1],2)) -> extension (support ? 0) - 2tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension imp(eq(l[12][1],0),eq(i[12][1],1)) -> extension (support ? 0) - 1tuples 0.00/0.04 c intension imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 910tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 651tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 435tuples 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 imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 262tuples 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 imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 132tuples 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 45tuples 0.00/0.06 c intension imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 48tuples 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension xor(le(2,a[13][0]),eq(l[12][1],0)) -> extension (support ? 0) - 88tuples 0.10/0.16 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 864tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension xor(le(2,a[11][1]),le(3,a[11][0]),eq(l[10][2],0)) -> extension (support ? 1) - 1184tuples 0.10/0.19 c intension xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 9792tuples 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension xor(le(2,a[9][2]),le(3,a[9][1]),le(4,a[9][0]),eq(l[8][3],0)) -> extension (support ? 1) - 10752tuples 0.21/0.26 c intension iff(eq(a[1][0],0),eq(l[1][0],0)) -> extension (support ? 0) - 48tuples 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c intension -> extension : same as previous 0.65/0.34 c enable optimization 0.65/0.34 c ========================================[ Problem Statistics ]=========================================== 0.65/0.34 c | 0.65/0.34 c | Parse time : 0.27 s 0.65/0.34 c | 0.65/0.34 c | Variables: 404 0.65/0.34 c | Domain Sizes: 1..42 0.65/0.34 c | 0.65/0.34 c | Constraints: 287 0.65/0.34 c | Arity: 1..98 -- Unary: 88 -- Binary: 90 -- Ternary: 30 0.65/0.34 c | 0.65/0.34 c | Types: 0.65/0.34 c | (X = Y): 12 0.65/0.34 c | Exactly K variable: 12 0.65/0.34 c | Extension: 161 (nb tuples: 1..10752) -- (shared: 1024) 0.65/0.34 c | Intension: 13 0.65/0.34 c | Sum: 1 0.65/0.34 c | Unary: 88 0.65/0.34 c | 0.65/0.34 c | Objective: Minimize Sum 0.65/0.34 0.65/0.34 c ========================================================================================================= 0.65/0.34 c Parallel mode: Portfolio 0.65/0.34 c [pFactory][Group N°0] created (threads:8). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.65/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.65/0.34 c [pFactory][Group N°0] concurrent mode: enabled. 0.65/0.34 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.65/0.34 c [pFactory][Group N°0] task 7 launched on thread 4. 0.65/0.34 c [pFactory][Group N°0] task 6 launched on thread 0. 0.65/0.34 c [pFactory][Group N°0] task 5 launched on thread 2. 0.65/0.34 c [pFactory][Group N°0] task 4 launched on thread 1. 0.65/0.34 c [pFactory][Group N°0] task 3 launched on thread 6. 0.65/0.34 c [pFactory][Group N°0] task 2 launched on thread 5. 0.65/0.34 c [pFactory][Group N°0] task 1 launched on thread 7. 0.65/0.34 c [pFactory][Group N°0] task 0 launched on thread 3. 0.65/0.34 o 164 0.65/0.38 o 136 0.65/0.39 o 132 1.46/0.45 o 128 1.46/0.50 o 120 2.10/0.58 o 116 4.34/0.81 o 112 7.52/1.27 o 108 43.18/5.72 o 104 98.28/12.63 o 100 186.14/23.68 o 96 1174.86/147.48 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 0. 1174.86/147.48 c [pFactory][Group N°0] Thread N°0 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°1 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°2 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°3 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°4 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°5 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°6 is joined. 1174.86/147.48 c [pFactory][Group N°0] Thread N°7 is joined. 1174.86/147.48 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 1174.86/147.48 s OPTIMUM FOUND 1174.86/147.48 c call to solver : 6 1174.86/147.48 c 1174.86/147.48 c restarts : 37788 1174.86/147.48 c conflicts : 279395 (238 /sec) 1174.86/147.48 c decisions : 3217456 (2738 /sec) 1174.86/147.48 c propagations : 33247242 (28288 /sec) 1174.86/147.48 c root propagations : 1674 1174.86/147.48 c filter calls : 67612318 (57528 /sec) 1174.86/147.48 c useless filter calls : 56490953 (83 %) 1174.86/147.48 c Memory used : 602.19 MB 1174.86/147.48 c Best bound time (wc) : 23.6814 s 1174.86/147.48 c CPU time : 1175.29 s 1174.86/147.48 c real time : 147.484 s 1174.86/147.48 1174.86/147.48 1174.86/147.48 v <instantiation type='solution' cost='96'> 1174.86/147.48 v <list>a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] cnt[0] cnt[10] cnt[11] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] i[0][0] i[0][1] i[0][2] i[0][3] i[0][4] i[0][5] i[0][6] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[11][0] i[11][1] i[11][2] i[11][3] i[11][4] i[11][5] i[11][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[12][6] i[13][0] i[13][1] i[13][2] i[13][3] i[13][4] i[13][5] i[13][6] i[1][0] i[1][1] i[1][2] i[1][3] i[1][4] i[1][5] i[1][6] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[3][0] i[3][1] i[3][2] i[3][3] i[3][4] i[3][5] i[3][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[5][0] i[5][1] i[5][2] i[5][3] i[5][4] i[5][5] i[5][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[7][0] i[7][1] i[7][2] i[7][3] i[7][4] i[7][5] i[7][6] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[9][0] i[9][1] i[9][2] i[9][3] i[9][4] i[9][5] i[9][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[11][6] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[12][6] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[13][5] l[13][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] </list> 1174.86/147.48 v <values>* * * * * * * * * * * * * * 3 0 * * * * * * * * * * * * 1 * * * * * * 1 2 0 1 1 1 1 * * * * * * * 1 1 1 2 0 1 * * * * * * * * 1 1 1 1 1 * * * * * * * * * 1 1 3 0 * * * * * * * * * * 1 1 1 * * * * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 4 16 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 * * * * * * * 0 1 2 * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 6 * * * * * * * 0 1 2 3 5 5 * * * * * * * * 0 1 2 3 4 * * * * * * * * * 0 1 2 3 * * * * * * * * * * 9 10 12 13 4 16 8 4 4 3 * * * * 6 0 * * * * * 6 0 * * * * * 6 * * * * * * 7 7 0 13 5 4 8 7 7 13 5 4 8 0 7 7 13 8 0 3 * 7 7 13 8 3 0 * 7 7 13 3 3 * * 7 7 13 3 3 * * 7 7 2 0 * * * 7 7 2 0 * * * 4 4 3 * * * * </values> 1174.86/147.48 v </instantiation> 1174.86/147.48
OK 96
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 (14328 MiB free)
memory of node 1: 16384 MiB (15843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409589-1569840212/watcher-4409589-1569840212 -o /tmp/evaluation-result-4409589-1569840212/solver-4409589-1569840212 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569832599-7177 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409589-1569840212.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=8025, runsolver pid=8022
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 1.32 1.08 1.53 2/193 8026
/proc/meminfo: memFree=30880468/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=36148 memory=12664 CPUtime=0.1 cores=0-7
/proc/8025/stat : 8025 (cosoco) R 8022 8025 7147 0 -1 4202496 3338 0 0 0 10 0 0 0 20 0 1 0 560270115 37015552 3166 33554432000 4194304 6211132 140734393413200 140734393408648 5817551 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 9037 3166 864 493 0 2342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36148 KiB
Current children cumulated memory: 12664 KiB
[startup+0.209493 s]*
/proc/loadavg: 1.32 1.08 1.53 2/193 8026
/proc/meminfo: memFree=30874468/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=45620 memory=21988 CPUtime=0.21 cores=0-7
/proc/8025/stat : 8025 (cosoco) R 8022 8025 7147 0 -1 4202496 5813 0 0 0 20 1 0 0 20 0 1 0 560270115 46714880 5497 33554432000 4194304 6211132 140734393413200 140734393408648 5456342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 11405 5497 865 493 0 4710 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45620 KiB
Current children cumulated memory: 21988 KiB
[startup+0.309411 s]*
/proc/loadavg: 1.32 1.08 1.53 11/201 8034
/proc/meminfo: memFree=30851608/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=38044 CPUtime=0.65 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 10041 0 0 0 64 1 0 0 20 0 9 0 560270115 665010176 9511 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9511 892 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=0.04 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 78 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176401247248 140176409275840 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 81 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176392854544 140176409273934 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=0 CPUtime=0.04 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 103 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176384461840 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=0 CPUtime=0.04 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 78 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176376069136 5035216 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 80 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176367676432 140176418294592 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=0 CPUtime=0.04 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 79 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176359283728 4982624 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 76 0 0 0 3 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176350890680 5451532 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=0 CPUtime=0.04 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 95 0 0 0 4 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176342497816 5446638 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38044 KiB
[startup+0.701052 s]
/proc/loadavg: 1.32 1.08 1.53 9/201 8034
/proc/meminfo: memFree=30846724/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=38044 CPUtime=3.55 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 10236 0 0 0 352 3 0 0 20 0 9 0 560270115 665010176 9511 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9511 892 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=1976 CPUtime=0.41 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 108 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176401247248 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=2608 CPUtime=0.4 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 105 0 0 0 40 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176392854200 5164912 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=1764 CPUtime=0.41 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 112 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176384461840 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=111632 CPUtime=0.41 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 112 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176376068632 5443104 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=796 CPUtime=0.41 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 110 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176367676432 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=7100839861465685612 CPUtime=0.41 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 114 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176359283128 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=-7175204567652784766 CPUtime=0.37 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176350891280 5409438 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=3054156605268465310 CPUtime=0.41 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 96 0 0 0 41 0 0 0 20 0 9 0 560270144 665010176 9511 33554432000 4194304 6211132 140734393413200 140176342497816 5035331 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38044 KiB
[startup+1.50105 s]
/proc/loadavg: 1.32 1.08 1.53 9/201 8034
/proc/meminfo: memFree=30840040/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39508 CPUtime=9.92 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 16534 0 0 0 983 9 0 0 20 0 9 0 560270115 665010176 9877 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9877 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=0 CPUtime=1.2 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 772 0 0 0 120 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176401247504 5451516 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=280288224079680 CPUtime=1.18 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 796 0 0 0 116 2 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176392854120 5446131 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=140144111907280 CPUtime=1.2 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 912 0 0 0 120 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176384462096 5017418 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 1053 0 0 0 121 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176376068632 5440612 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=0 CPUtime=1.2 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 869 0 0 0 120 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176367676688 5452193 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 1039 0 0 0 121 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176359283984 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=0 CPUtime=1.15 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 936 0 0 0 114 1 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176350891280 5452239 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=7598824234097836114 CPUtime=1.2 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 786 0 0 0 120 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176342497704 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39508 KiB
[startup+3.11105 s]
/proc/loadavg: 1.32 1.08 1.53 9/200 8034
/proc/meminfo: memFree=31309816/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39508 CPUtime=22.66 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 16615 0 0 0 2250 16 0 0 20 0 9 0 560270115 665010176 9877 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9877 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=3612 CPUtime=2.81 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 777 0 0 0 281 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176401247504 5446307 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=10924 CPUtime=2.69 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 804 0 0 0 260 9 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176392854120 5009641 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=0 CPUtime=2.81 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 917 0 0 0 281 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176384462096 5072888 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=280288223646976 CPUtime=2.82 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 1057 0 0 0 282 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176376068632 4982096 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=0 CPUtime=2.81 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 888 0 0 0 281 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176367676688 5443135 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=0 CPUtime=2.81 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 1074 0 0 0 281 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176359283984 5451553 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=0 CPUtime=2.74 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 939 0 0 0 272 2 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176350891280 5442966 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=39508 CPUtime=2.81 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 788 0 0 0 281 0 0 0 20 0 9 0 560270144 665010176 9877 33554432000 4194304 6211132 140734393413200 140176342497704 140176409273934 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 22.66 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39508 KiB
[startup+6.30104 s]
/proc/loadavg: 2.17 1.26 1.58 9/199 8037
/proc/meminfo: memFree=31853112/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39568 CPUtime=47.97 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 28634 0 0 0 4774 23 0 0 20 0 9 0 560270115 665010176 9892 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9892 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=0 CPUtime=5.98 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 2347 0 0 0 598 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176401247504 5446657 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=140148556072575 CPUtime=5.86 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 1889 0 0 0 571 15 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176392854040 5446681 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=3612 CPUtime=5.96 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 2424 0 0 0 596 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176384462096 5451520 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=39564 CPUtime=5.99 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 2480 0 0 0 599 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176376068632 5072499 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=39540 CPUtime=6 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 2523 0 0 0 600 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176367676688 140176409275815 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=988 CPUtime=5.93 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 2795 0 0 0 593 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176359283984 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=0 CPUtime=5.89 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 2497 0 0 0 587 2 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176350891280 5157576 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=0 CPUtime=5.99 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 2308 0 0 0 599 0 0 0 20 0 9 0 560270144 665010176 9892 33554432000 4194304 6211132 140734393413200 140176342497704 5446311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 47.97 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39568 KiB
[startup+12.701 s]
/proc/loadavg: 2.64 1.37 1.62 9/199 8037
/proc/meminfo: memFree=31852932/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39600 CPUtime=99.08 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 40521 0 0 0 9884 24 0 0 20 0 9 0 560270115 665010176 9900 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9900 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=140148556072575 CPUtime=12.38 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 3735 0 0 0 1238 0 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176401247504 5443093 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=280288223719616 CPUtime=12.26 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 3656 0 0 0 1211 15 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176392854800 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=36643989883626 CPUtime=12.37 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 3689 0 0 0 1236 1 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176384462096 5035240 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=140144111808203 CPUtime=12.39 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 3934 0 0 0 1239 0 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176376068632 5065840 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=3976876013949267348 CPUtime=12.41 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 3963 0 0 0 1240 1 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176367675928 5009142 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=0 CPUtime=12.33 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 4350 0 0 0 1233 0 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176359283984 5456338 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=0 CPUtime=12.21 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 3996 0 0 0 1219 2 0 0 20 0 9 0 560270144 665010176 9900 33554432000 4194304 6211132 140734393413200 140176350891280 140176409270179 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
################
# More data... #
################
Current children cumulated CPU time: 1019.99 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+140.801 s]
/proc/loadavg: 7.39 3.71 2.45 9/199 8045
/proc/meminfo: memFree=31854896/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1122.15 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 112188 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=0 CPUtime=140.48 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14047 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 5441118 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=0 CPUtime=140.35 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14019 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5453940 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=39688 CPUtime=140.45 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14044 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 140176409270160 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=39688 CPUtime=140.49 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14049 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=988 CPUtime=140.48 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14047 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5164999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=2024 CPUtime=140.42 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14042 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 5439860 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=138.65 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 13863 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 5039178 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=39688 CPUtime=140.47 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14046 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 5394546 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1122.15 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+144.001 s]*
/proc/loadavg: 7.39 3.71 2.45 9/199 8045
/proc/meminfo: memFree=31855084/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1147.77 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 114750 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=143.69 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14368 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 5035232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=4872558044660077418 CPUtime=143.56 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14340 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5068981 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=1644 CPUtime=143.66 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14365 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 5456342 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=6160 CPUtime=143.69 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14369 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 5250499 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=636 CPUtime=143.69 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14368 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5455666 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=2836 CPUtime=143.63 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14363 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 5451553 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=1056 CPUtime=141.81 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 14179 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 5443074 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=1408 CPUtime=143.68 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14367 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1147.77 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+145.601 s]
/proc/loadavg: 7.44 3.78 2.48 9/199 8045
/proc/meminfo: memFree=31855084/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1160.48 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 116021 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=145.28 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14527 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 140176409275807 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=3612 CPUtime=145.15 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14499 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5456342 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=39688 CPUtime=145.25 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14524 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 5039688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=1412 CPUtime=145.29 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14529 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 5389436 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=1644 CPUtime=145.28 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14527 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5164999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=6160 CPUtime=145.22 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14522 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 140176417682592 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=636 CPUtime=143.39 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 14337 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 5157250 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=2836 CPUtime=145.27 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14526 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 5452255 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1160.48 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+146.401 s]
/proc/loadavg: 7.44 3.78 2.48 9/199 8045
/proc/meminfo: memFree=31855084/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1166.87 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 116660 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=39688 CPUtime=146.08 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14607 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 5446936 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=1568 CPUtime=145.95 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14579 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=146.05 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14604 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=10936 CPUtime=146.09 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14609 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 140176409270196 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=988 CPUtime=146.08 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14607 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5389436 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=2024 CPUtime=146.02 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14602 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 5441152 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=1412 CPUtime=144.17 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 14415 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 5038788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=146.07 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14606 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 5039145 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1166.87 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+147.201 s]
/proc/loadavg: 7.44 3.78 2.48 10/199 8045
/proc/meminfo: memFree=31855084/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1173.26 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 117299 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=39688 CPUtime=146.88 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14687 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 5035216 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=39688 CPUtime=146.75 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14659 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5068998 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=39688 CPUtime=146.85 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14684 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 5039319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=776 CPUtime=146.89 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14689 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 5039295 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=39688 CPUtime=146.88 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14687 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5446681 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=39688 CPUtime=146.82 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14682 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 5446119 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=500 CPUtime=144.96 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 14494 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=932 CPUtime=146.87 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14686 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1173.26 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
[startup+147.401 s]
/proc/loadavg: 7.44 3.78 2.48 10/199 8045
/proc/meminfo: memFree=31855084/32770624 swapFree=66990336/67108860
[pid=8025] ppid=8022 vsize=649424 memory=39688 CPUtime=1174.86 cores=0-7
/proc/8025/stat : 8025 (cosoco) S 8022 8025 7147 0 -1 1077944320 73690 0 0 0 117459 27 0 0 20 0 9 0 560270115 665010176 9922 33554432000 4194304 6211132 140734393413200 140734393411456 140176424390391 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
/proc/8025/statm: 162356 9922 893 493 0 155661 0
[pid=8025/tid=8027] ppid=8022 vsize=649424 memory=3612 CPUtime=147.08 cores=0-7
/proc/8025/task/8027/stat : 8027 (cosoco) R 8022 8025 7147 0 -1 4202560 8073 0 0 0 14707 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176401246744 5480492 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8028] ppid=8022 vsize=649424 memory=10936 CPUtime=146.95 cores=0-7
/proc/8025/task/8028/stat : 8028 (cosoco) R 8022 8025 7147 0 -1 4202560 7552 0 0 0 14679 16 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176392854800 5451509 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8029] ppid=8022 vsize=649424 memory=988 CPUtime=147.05 cores=0-7
/proc/8025/task/8029/stat : 8029 (cosoco) R 8022 8025 7147 0 -1 4202560 7575 0 0 0 14704 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176384462096 5443096 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8030] ppid=8022 vsize=649424 memory=-7035114785800479027 CPUtime=147.09 cores=0-7
/proc/8025/task/8030/stat : 8030 (cosoco) R 8022 8025 7147 0 -1 4202560 8184 0 0 0 14709 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176376068632 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8031] ppid=8022 vsize=649424 memory=1412 CPUtime=147.08 cores=0-7
/proc/8025/task/8031/stat : 8031 (cosoco) R 8022 8025 7147 0 -1 4202560 7919 0 0 0 14707 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176367675928 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8032] ppid=8022 vsize=649424 memory=776 CPUtime=147.02 cores=0-7
/proc/8025/task/8032/stat : 8032 (cosoco) R 8022 8025 7147 0 -1 4202560 8602 0 0 0 14702 0 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176359283984 140176418294598 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8033] ppid=8022 vsize=649424 memory=4012 CPUtime=145.16 cores=0-7
/proc/8025/task/8033/stat : 8033 (cosoco) R 8022 8025 7147 0 -1 4202560 8279 0 0 0 14514 2 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176350891280 140176409275807 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
[pid=8025/tid=8034] ppid=8022 vsize=649424 memory=39688 CPUtime=147.07 cores=0-7
/proc/8025/task/8034/stat : 8034 (cosoco) R 8022 8025 7147 0 -1 4202560 8135 0 0 0 14706 1 0 0 20 0 9 0 560270144 665010176 9922 33554432000 4194304 6211132 140734393413200 140176342497704 140176409270160 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16113664 140734393414673 140734393414765 140734393414765 140734393417678 0
Current children cumulated CPU time: 1174.86 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39688 KiB
Child status: 0
Real time (s): 147.492
CPU time (s): 1175.57
CPU user time (s): 1175.29
CPU system time (s): 0.278859
CPU usage (%): 797.044
Max. virtual memory (cumulated for all children) (KiB): 649424
Max. memory (cumulated for all children) (KiB): 39688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.29
system time used= 0.278859
maximum resident set size= 39964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73765
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= 162
involuntary context switches= 11026
# summary of solver processes directly reported to runsolver:
# pid: 8025
# total CPU time (s): 1175.57
# total CPU user time (s): 1175.29
# total CPU system time (s): 0.278859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.703893 second user time and 1.26448 second system time
The end
Begin job on node136 at 2019-09-30 12:42:50 IDJOB=4409589 IDBENCH=141106 IDSOLVER=2877 FILE ID=node136/4409589-1569840212 RUNJOBID= node136-1569832599-7177 PBS_JOBID= 21705952 Free space on /tmp= 61560 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP18/Tal/Tal-03_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409589-1569840212/watcher-4409589-1569840212 -o /tmp/evaluation-result-4409589-1569840212/solver-4409589-1569840212 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569832599-7177 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409589-1569840212.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1404800995 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30896300 kB MemAvailable: 31827180 kB Buffers: 17752 kB Cached: 1226340 kB SwapCached: 15188 kB Active: 57096 kB Inactive: 1206684 kB Active(anon): 6736 kB Inactive(anon): 93992 kB Active(file): 50360 kB Inactive(file): 1112692 kB Unevictable: 109860 kB Mlocked: 109860 kB SwapTotal: 67108860 kB SwapFree: 66990336 kB Dirty: 237276 kB Writeback: 152248 kB AnonPages: 116184 kB Mapped: 28136 kB Shmem: 72276 kB Slab: 201304 kB SReclaimable: 167324 kB SUnreclaim: 33980 kB KernelStack: 3408 kB PageTables: 5436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 544256 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node136 at 2019-09-30 12:45:18