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 | 1703.07 | 213.514 |
| 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 | 32.9798 |
| 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-4409889-1569832380.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.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 48tuples 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension xor(le(2,a[13][0]),eq(l[12][1],0)) -> extension (support ? 0) - 88tuples 0.09/0.15 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 864tuples 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/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.09/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.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c intension -> extension : same as previous 0.54/0.34 c enable optimization 0.54/0.34 c ========================================[ Problem Statistics ]=========================================== 0.54/0.34 c | 0.54/0.34 c | Parse time : 0.27 s 0.54/0.34 c | 0.54/0.34 c | Variables: 404 0.54/0.34 c | Domain Sizes: 1..42 0.54/0.34 c | 0.54/0.34 c | Constraints: 287 0.54/0.34 c | Arity: 1..98 -- Unary: 88 -- Binary: 90 -- Ternary: 30 0.54/0.34 c | 0.54/0.34 c | Types: 0.54/0.34 c | (X = Y): 12 0.54/0.34 c | Exactly K variable: 12 0.54/0.34 c | Extension: 161 (nb tuples: 1..10752) -- (shared: 1024) 0.54/0.34 c | Intension: 13 0.54/0.34 c | Sum: 1 0.54/0.34 c | Unary: 88 0.54/0.34 c | 0.54/0.34 c | Objective: Minimize Sum 0.54/0.34 0.54/0.34 c ========================================================================================================= 0.54/0.34 c Parallel mode: Portfolio 0.54/0.34 c [pFactory][Group N°0] created (threads:8). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.54/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.54/0.34 c [pFactory][Group N°0] concurrent mode: enabled. 0.54/0.34 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.54/0.34 c [pFactory][Group N°0] task 7 launched on thread 5. 0.54/0.34 c [pFactory][Group N°0] task 6 launched on thread 0. 0.54/0.34 c [pFactory][Group N°0] task 5 launched on thread 1. 0.54/0.34 c [pFactory][Group N°0] task 4 launched on thread 6. 0.54/0.34 c [pFactory][Group N°0] task 3 launched on thread 2. 0.54/0.34 c [pFactory][Group N°0] task 2 launched on thread 3. 0.54/0.34 c [pFactory][Group N°0] task 1 launched on thread 7. 0.54/0.34 c [pFactory][Group N°0] task 0 launched on thread 4. 0.54/0.34 o 164 0.54/0.36 o 136 0.54/0.39 o 132 1.33/0.46 o 128 1.33/0.50 o 124 2.12/0.60 o 120 2.85/0.64 o 116 6.04/1.02 o 112 6.04/1.09 o 108 7.56/1.20 o 104 43.51/5.75 o 100 178.43/22.60 o 96 1702.98/213.51 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 1702.98/213.51 c [pFactory][Group N°0] Thread N°0 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°1 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°2 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°3 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°4 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°5 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°6 is joined. 1702.98/213.51 c [pFactory][Group N°0] Thread N°7 is joined. 1702.98/213.51 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 1702.98/213.51 s OPTIMUM FOUND 1702.98/213.51 c call to solver : 7 1702.98/213.51 c 1702.98/213.51 c restarts : 38330 1702.98/213.51 c conflicts : 434998 (255 /sec) 1702.98/213.51 c decisions : 5490306 (3224 /sec) 1702.98/213.51 c propagations : 49832210 (29262 /sec) 1702.98/213.51 c root propagations : 1674 1702.98/213.51 c filter calls : 98503924 (57842 /sec) 1702.98/213.51 c useless filter calls : 82474312 (83 %) 1702.98/213.51 c Memory used : 602.19 MB 1702.98/213.51 c Best bound time (wc) : 22.6033 s 1702.98/213.51 c CPU time : 1702.97 s 1702.98/213.51 c real time : 213.506 s 1702.98/213.51 1702.98/213.51 1702.98/213.51 v <instantiation type='solution' cost='96'> 1702.98/213.51 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> 1702.98/213.51 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 0 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 16 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 * * * * * * 9 7 0 13 5 4 8 9 7 13 5 4 8 0 9 7 13 8 0 3 * 9 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> 1702.98/213.51 v </instantiation> 1702.98/213.51
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 (15224 MiB free)
memory of node 1: 16384 MiB (13067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409889-1569832380/watcher-4409889-1569832380 -o /tmp/evaluation-result-4409889-1569832380/solver-4409889-1569832380 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409889-1569832380.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9164, runsolver pid=9161
[startup+0.100152 s]*
/proc/loadavg: 8.56 7.36 6.27 2/192 9165
/proc/meminfo: memFree=28962712/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=36148 memory=12664 CPUtime=0.09 cores=0-7
/proc/9164/stat : 9164 (cosoco) R 9161 9164 6464 0 -1 4202496 3337 0 0 0 9 0 0 0 20 0 1 0 559509264 37015552 3166 33554432000 4194304 6211132 140722282973424 140722282970696 139845575824512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 9037 3166 864 493 0 2342 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36148 KiB
Current children cumulated memory: 12664 KiB
[startup+0.208874 s]*
/proc/loadavg: 8.56 7.36 6.27 2/192 9165
/proc/meminfo: memFree=28953400/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=45620 memory=21988 CPUtime=0.21 cores=0-7
/proc/9164/stat : 9164 (cosoco) R 9161 9164 6464 0 -1 4202496 5812 0 0 0 20 1 0 0 20 0 1 0 559509264 46714880 5497 33554432000 4194304 6211132 140722282973424 140722282970696 5446296 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/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.310372 s]*
/proc/loadavg: 8.56 7.36 6.27 9/200 9173
/proc/meminfo: memFree=28939396/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=38056 CPUtime=0.54 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 10000 0 0 0 53 1 0 0 20 0 9 0 559509264 665010176 9514 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9514 892 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=4026531858 CPUtime=0.03 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845552659472 5446936 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=2964782 CPUtime=0.03 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845544266768 5441138 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=140025091334364 CPUtime=0.03 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845535873720 5446206 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=-1 CPUtime=0.03 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 76 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845527481360 5456330 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845519088312 5164999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845510695952 139845569706890 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=-1 CPUtime=0.03 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 76 0 0 0 3 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845502303248 5065976 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=0 CPUtime=0.02 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 84 0 0 0 2 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845493909928 5164995 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38056 KiB
[startup+0.701363 s]
/proc/loadavg: 8.56 7.36 6.27 9/200 9173
/proc/meminfo: memFree=28937908/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=38056 CPUtime=3.58 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 10240 0 0 0 357 1 0 0 20 0 9 0 559509264 665010176 9514 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9514 892 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=0 CPUtime=0.41 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 109 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845552659728 5446311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=140024993668465 CPUtime=0.41 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 115 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845544267024 5480492 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=6944656575208382560 CPUtime=0.41 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 110 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845535874320 5451532 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=0 CPUtime=0.41 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 121 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845527481360 5443040 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=0 CPUtime=0.41 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 106 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845519088152 5139187 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=0 CPUtime=0.41 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 111 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845510695336 5451539 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=0 CPUtime=0.41 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 100 0 0 0 41 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845502302648 139845560688036 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=1560 CPUtime=0.38 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 98 0 0 0 38 0 0 0 20 0 9 0 559509292 665010176 9514 33554432000 4194304 6211132 140722282973424 139845493909928 5443025 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38056 KiB
[startup+1.50137 s]
/proc/loadavg: 8.56 7.36 6.27 9/200 9173
/proc/meminfo: memFree=28937908/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39568 CPUtime=9.96 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 16294 0 0 0 993 3 0 0 20 0 9 0 559509264 665010176 9892 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9892 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 741 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845552659728 5451568 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 872 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845544267024 5451650 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 737 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845535874320 5443025 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 1012 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845527481064 5453928 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 821 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845519088360 5038741 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=984 CPUtime=1.21 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 1034 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845510695336 5451627 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=2032 CPUtime=1.21 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 999 0 0 0 121 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845502302904 5480583 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=1328 CPUtime=1.16 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 708 0 0 0 116 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845493910248 5164999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39568 KiB
[startup+3.11036 s]
/proc/loadavg: 8.51 7.37 6.28 9/200 9173
/proc/meminfo: memFree=28935808/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39568 CPUtime=22.81 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 16482 0 0 0 2278 3 0 0 20 0 9 0 559509264 665010176 9892 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9892 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=0 CPUtime=2.82 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 752 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845552659728 5409497 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=0 CPUtime=2.82 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 896 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845544267024 139845569706877 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=0 CPUtime=2.81 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 739 0 0 0 281 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845535874320 5446292 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=6944656592387989600 CPUtime=2.82 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 1025 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845527481064 5453944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=-7965959130280075168 CPUtime=2.82 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 839 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845519088360 5451604 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=6655300316396806240 CPUtime=2.82 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 1051 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845510695336 5451516 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=280049987167544 CPUtime=2.82 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 1000 0 0 0 282 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845502302904 5039295 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=41532803517162 CPUtime=2.75 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 810 0 0 0 275 0 0 0 20 0 9 0 559509292 665010176 9892 33554432000 4194304 6211132 140722282973424 139845493910248 5409508 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 22.81 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39568 KiB
[startup+6.30137 s]
/proc/loadavg: 8.51 7.37 6.28 9/200 9173
/proc/meminfo: memFree=28934900/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39624 CPUtime=48.3 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 34549 0 0 0 4825 5 0 0 20 0 9 0 559509264 665010176 9906 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9906 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=39612 CPUtime=6.01 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 2726 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845552659728 5390515 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=3620 CPUtime=6.01 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 3240 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845544267024 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=180 CPUtime=6 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 2952 0 0 0 600 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845535874320 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=7450477081154644561 CPUtime=6.01 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 3210 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845527481472 5453940 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=7084274820722412884 CPUtime=6.01 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 3201 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845519088656 5039137 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=0 CPUtime=6.01 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 3378 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845510695336 5193735 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=0 CPUtime=6.01 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 3107 0 0 0 601 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845502302632 139845560686131 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=976 CPUtime=5.9 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 3365 0 0 0 590 0 0 0 20 0 9 0 559509292 665010176 9906 33554432000 4194304 6211132 140722282973424 139845493910248 5476863 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 48.3 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39624 KiB
[startup+12.7014 s]
/proc/loadavg: 8.43 7.39 6.30 9/200 9173
/proc/meminfo: memFree=28934140/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39720 CPUtime=99.39 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 44960 0 0 0 9933 6 0 0 20 0 9 0 559509264 665010176 9930 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9930 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=39720 CPUtime=12.4 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 4018 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845552659728 5446680 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=7311435031524794660 CPUtime=12.4 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 4510 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845544267024 5038792 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=438 CPUtime=12.4 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 4155 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845535874320 5397388 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=39720 CPUtime=12.4 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 4630 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845527481472 5451514 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=55 CPUtime=12.4 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 4472 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845519088656 4982096 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=0 CPUtime=12.4 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 4673 0 0 0 1240 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845510695336 5009686 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=39700 CPUtime=12.41 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 4419 0 0 0 1241 0 0 0 20 0 9 0 559509292 665010176 9930 33554432000 4194304 6211132 140722282973424 139845502302632 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
################
# More data... #
################
Current children cumulated CPU time: 1633.51 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+208.001 s]*
/proc/loadavg: 8.03 7.69 6.62 9/199 9184
/proc/meminfo: memFree=28938448/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1659.13 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79353 0 0 0 165904 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=1548 CPUtime=207.68 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8267 0 0 0 20767 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=1056 CPUtime=207.68 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 20768 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 5164867 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=744 CPUtime=207.68 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7950 0 0 0 20767 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 4982096 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=-7003737579269690708 CPUtime=207.36 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 20736 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5164784 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=8026352880687599699 CPUtime=207.7 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 20769 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=7230346044546109525 CPUtime=207.66 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 20765 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5446258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=6298942005125992531 CPUtime=207.69 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8491 0 0 0 20769 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 5451618 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=6153141295186801260 CPUtime=205.33 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8802 0 0 0 20533 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1659.13 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+211.201 s]
/proc/loadavg: 8.03 7.69 6.62 9/199 9184
/proc/meminfo: memFree=28938576/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1684.62 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79354 0 0 0 168453 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=39748 CPUtime=210.87 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8267 0 0 0 21086 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 5451514 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=39748 CPUtime=210.87 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 21087 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 5476845 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=0 CPUtime=210.87 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7950 0 0 0 21086 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 5443124 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=10688 CPUtime=210.51 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 21051 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5155849 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=984 CPUtime=210.89 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 21088 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 139845569094816 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=2032 CPUtime=210.85 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 21084 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=39784 CPUtime=210.88 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8492 0 0 0 21088 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 5403510 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=-7035114785800479027 CPUtime=208.52 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8802 0 0 0 20852 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1684.62 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+212.801 s]
/proc/loadavg: 8.03 7.70 6.63 9/199 9184
/proc/meminfo: memFree=28938576/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1697.4 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79355 0 0 0 169731 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=-7035114785800479027 CPUtime=212.47 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8267 0 0 0 21246 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 139845569706840 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=2832 CPUtime=212.47 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 21247 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 139845560688036 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=39784 CPUtime=212.47 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7951 0 0 0 21246 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 5397267 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=1440 CPUtime=212.1 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 21210 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5453946 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=808 CPUtime=212.49 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 21248 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 139845569094816 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=-7035114785800479027 CPUtime=212.45 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 21244 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5033504 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=12024 CPUtime=212.48 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8492 0 0 0 21248 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=2124 CPUtime=210.12 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8802 0 0 0 21012 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5009142 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1697.4 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+213.201 s]
/proc/loadavg: 8.03 7.70 6.63 9/199 9184
/proc/meminfo: memFree=28938576/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1700.59 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79355 0 0 0 170050 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=744 CPUtime=212.87 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8267 0 0 0 21286 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 5389844 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=8444 CPUtime=212.87 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 21287 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 5037854 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=6324 CPUtime=212.87 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7951 0 0 0 21286 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 5446638 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=1124 CPUtime=212.48 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 21248 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5250283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=39784 CPUtime=212.89 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 21288 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 5480595 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=-7035114785800479027 CPUtime=212.85 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 21284 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5441167 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=-7003737579269690708 CPUtime=212.88 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8492 0 0 0 21288 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 5456338 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=2732 CPUtime=210.52 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8802 0 0 0 21052 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5038730 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1700.59 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+213.401 s]
/proc/loadavg: 8.03 7.70 6.63 9/199 9184
/proc/meminfo: memFree=28938576/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1702.18 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79355 0 0 0 170209 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=290763857956438330 CPUtime=213.07 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8267 0 0 0 21306 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 5250283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=14696300872468529 CPUtime=213.07 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 21307 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 5157635 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=1124 CPUtime=213.07 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7951 0 0 0 21306 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 5389440 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=14008 CPUtime=212.68 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 21268 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5409493 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=39784 CPUtime=213.09 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 21308 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 5446232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=0 CPUtime=213.05 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 21304 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5440648 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=33284 CPUtime=213.08 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8492 0 0 0 21308 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 5155992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=7018685563882989416 CPUtime=210.72 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8802 0 0 0 21072 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1702.18 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
[startup+213.501 s]
/proc/loadavg: 8.03 7.70 6.63 9/199 9184
/proc/meminfo: memFree=28938576/32770624 swapFree=66956804/67108860
[pid=9164] ppid=9161 vsize=649424 memory=39784 CPUtime=1702.98 cores=0-7
/proc/9164/stat : 9164 (cosoco) S 9161 9164 6464 0 -1 1077944320 79360 0 0 0 170289 9 0 0 20 0 9 0 559509264 665010176 9946 33554432000 4194304 6211132 140722282973424 140722282971680 139845575802615 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
/proc/9164/statm: 162356 9946 893 493 0 155661 0
[pid=9164/tid=9166] ppid=9161 vsize=649424 memory=39784 CPUtime=213.17 cores=0-7
/proc/9164/task/9166/stat : 9166 (cosoco) R 9161 9164 6464 0 -1 4202560 8269 0 0 0 21316 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845552659128 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9167] ppid=9161 vsize=649424 memory=39784 CPUtime=213.17 cores=0-7
/proc/9164/task/9167/stat : 9167 (cosoco) R 9161 9164 6464 0 -1 4202560 8742 0 0 0 21317 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845544267024 5455682 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9168] ppid=9161 vsize=649424 memory=39784 CPUtime=213.17 cores=0-7
/proc/9164/task/9168/stat : 9168 (cosoco) R 9161 9164 6464 0 -1 4202560 7952 0 0 0 21316 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845535874320 5009168 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9169] ppid=9161 vsize=649424 memory=39784 CPUtime=212.78 cores=0-7
/proc/9164/task/9169/stat : 9169 (cosoco) R 9161 9164 6464 0 -1 4202560 8980 0 0 0 21278 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845527481616 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9170] ppid=9161 vsize=649424 memory=39784 CPUtime=213.19 cores=0-7
/proc/9164/task/9170/stat : 9170 (cosoco) R 9161 9164 6464 0 -1 4202560 9293 0 0 0 21318 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845519088152 5155839 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9171] ppid=9161 vsize=649424 memory=39784 CPUtime=213.15 cores=0-7
/proc/9164/task/9171/stat : 9171 (cosoco) R 9161 9164 6464 0 -1 4202560 9458 0 0 0 21314 1 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845510695336 5155816 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9172] ppid=9161 vsize=649424 memory=39784 CPUtime=213.18 cores=0-7
/proc/9164/task/9172/stat : 9172 (cosoco) R 9161 9164 6464 0 -1 4202560 8492 0 0 0 21318 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845502302744 4982096 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
[pid=9164/tid=9173] ppid=9161 vsize=649424 memory=39784 CPUtime=210.82 cores=0-7
/proc/9164/task/9173/stat : 9173 (cosoco) R 9161 9164 6464 0 -1 4202560 8804 0 0 0 21082 0 0 0 20 0 9 0 559509292 665010176 9946 33554432000 4194304 6211132 140722282973424 139845493910248 5038784 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30208000 140722282976278 140722282976370 140722282976370 140722282979278 0
Current children cumulated CPU time: 1702.98 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39784 KiB
Child status: 0
Real time (s): 213.514
CPU time (s): 1703.07
CPU user time (s): 1702.97
CPU system time (s): 0.101945
CPU usage (%): 797.641
Max. virtual memory (cumulated for all children) (KiB): 649424
Max. memory (cumulated for all children) (KiB): 39784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1702.97
system time used= 0.101945
maximum resident set size= 40064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79429
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= 265
involuntary context switches= 15069
# summary of solver processes directly reported to runsolver:
# pid: 9164
# total CPU time (s): 1703.07
# total CPU user time (s): 1702.97
# total CPU system time (s): 0.101945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.945439 second user time and 1.83905 second system time
The end
Begin job on node151 at 2019-09-30 10:32:19 IDJOB=4409889 IDBENCH=141106 IDSOLVER=2878 FILE ID=node151/4409889-1569832380 RUNJOBID= node151-1569817277-6491 PBS_JOBID= 21705917 Free space on /tmp= 62032 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-4409889-1569832380/watcher-4409889-1569832380 -o /tmp/evaluation-result-4409889-1569832380/solver-4409889-1569832380 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409889-1569832380.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1162521093 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28970652 kB MemAvailable: 31811856 kB Buffers: 162772 kB Cached: 3002884 kB SwapCached: 50424 kB Active: 1748232 kB Inactive: 1472668 kB Active(anon): 7332 kB Inactive(anon): 127252 kB Active(file): 1740900 kB Inactive(file): 1345416 kB Unevictable: 108524 kB Mlocked: 108524 kB SwapTotal: 67108860 kB SwapFree: 66956804 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 123796 kB Mapped: 26940 kB Shmem: 70724 kB Slab: 171144 kB SReclaimable: 141448 kB SUnreclaim: 29696 kB KernelStack: 3728 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62028 MiB End job on node151 at 2019-09-30 10:35:53