Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 96 | 1333.11 | 167.184 |
| 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-4398629-1568610849.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.15 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.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/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.20/0.26 c intension iff(eq(a[1][0],0),eq(l[1][0],0)) -> extension (support ? 0) - 48tuples 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c intension -> extension : same as previous 0.55/0.34 c enable optimization 0.55/0.34 c ========================================[ Problem Statistics ]=========================================== 0.55/0.34 c | 0.55/0.34 c | Parse time : 0.27 s 0.55/0.34 c | 0.55/0.34 c | Variables: 404 0.55/0.34 c | Domain Sizes: 1..42 0.55/0.34 c | 0.55/0.34 c | Constraints: 287 0.55/0.34 c | Arity: 1..98 -- Unary: 88 -- Binary: 90 -- Ternary: 30 0.55/0.34 c | 0.55/0.34 c | Types: 0.55/0.34 c | (X = Y): 12 0.55/0.34 c | Exactly K variable: 12 0.55/0.34 c | Extension: 161 (nb tuples: 1..10752) -- (shared: 1024) 0.55/0.34 c | Intension: 13 0.55/0.34 c | Sum: 1 0.55/0.34 c | Unary: 88 0.55/0.34 c | 0.55/0.34 c | Objective: Minimize Sum 0.55/0.34 0.55/0.34 c ========================================================================================================= 0.55/0.34 c Parallel mode: Portfolio 0.55/0.34 c [pFactory][Group N°0] created (threads:8). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.55/0.34 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.55/0.34 c [pFactory][Group N°0] concurrent mode: enabled. 0.55/0.34 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.55/0.34 c [pFactory][Group N°0] task 7 launched on thread 0. 0.55/0.34 c [pFactory][Group N°0] task 6 launched on thread 2. 0.55/0.34 c [pFactory][Group N°0] task 5 launched on thread 1. 0.55/0.34 c [pFactory][Group N°0] task 4 launched on thread 6. 0.55/0.34 c [pFactory][Group N°0] task 3 launched on thread 7. 0.55/0.34 c [pFactory][Group N°0] task 2 launched on thread 4. 0.55/0.34 c [pFactory][Group N°0] task 1 launched on thread 5. 0.55/0.34 c [pFactory][Group N°0] task 0 launched on thread 3. 0.55/0.34 o 164 0.55/0.37 o 136 0.55/0.39 o 132 1.33/0.46 o 128 2.12/0.56 o 116 3.56/0.78 o 108 9.95/1.57 o 104 37.07/4.97 o 102 56.23/7.36 o 100 109.81/14.05 o 96 1332.53/167.18 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4. 1332.53/167.18 c [pFactory][Group N°0] Thread N°0 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°1 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°2 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°3 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°4 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°5 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°6 is joined. 1332.53/167.18 c [pFactory][Group N°0] Thread N°7 is joined. 1332.53/167.18 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 1332.53/167.18 s OPTIMUM FOUND 1332.53/167.18 c call to solver : 9 1332.53/167.18 c 1332.53/167.18 c restarts : 37336 1332.53/167.18 c conflicts : 385871 (289 /sec) 1332.53/167.18 c decisions : 5017830 (3764 /sec) 1332.53/167.18 c propagations : 44889653 (33676 /sec) 1332.53/167.18 c root propagations : 1674 1332.53/167.18 c filter calls : 84962320 (63738 /sec) 1332.53/167.18 c useless filter calls : 71088004 (83 %) 1332.53/167.18 c Memory used : 602.19 MB 1332.53/167.18 c Best bound time (wc) : 14.051 s 1332.53/167.18 c CPU time : 1333 s 1332.53/167.18 c real time : 167.177 s 1332.53/167.18 1332.53/167.18 1332.53/167.18 v <instantiation type='solution' cost='96'> 1332.53/167.18 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> 1332.53/167.18 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 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 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 3 9 7 13 5 4 3 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> 1332.53/167.18 v </instantiation> 1332.53/167.18
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 (15330 MiB free)
memory of node 1: 16384 MiB (15864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398629-1568610849/watcher-4398629-1568610849 -o /tmp/evaluation-result-4398629-1568610849/solver-4398629-1568610849 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568598203-6097 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398629-1568610849.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8355, runsolver pid=8352
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 7.60 6.14 6.72 2/192 8356
/proc/meminfo: memFree=31935588/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=36148 memory=12664 CPUtime=0.1 cores=0-7
/proc/8355/stat : 8355 (cosoco) R 8352 8355 6070 0 -1 4202496 3338 0 0 0 10 0 0 0 20 0 1 0 437333496 37015552 3166 33554432000 4194304 6211092 140726252195040 140726252191576 5818350 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/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.209367 s]*
/proc/loadavg: 7.60 6.14 6.72 2/192 8356
/proc/meminfo: memFree=31926040/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=45620 memory=21988 CPUtime=0.2 cores=0-7
/proc/8355/stat : 8355 (cosoco) R 8352 8355 6070 0 -1 4202496 5813 0 0 0 20 0 0 0 20 0 1 0 437333496 46714880 5497 33554432000 4194304 6211092 140726252195040 140726252191576 5451484 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 11405 5497 865 493 0 4710 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45620 KiB
Current children cumulated memory: 21988 KiB
[startup+0.31214 s]*
/proc/loadavg: 7.60 6.14 6.72 9/200 8364
/proc/meminfo: memFree=31911412/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=38056 CPUtime=0.55 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 10012 0 0 0 54 1 0 0 20 0 9 0 437333496 665010176 9514 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9514 891 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=-7035114785800479027 CPUtime=0.03 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438092450832 5446275 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=4126316290023845779 CPUtime=0.03 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 82 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438084058128 140438100473780 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438075665424 5446904 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438067272376 5480563 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=6656426216303648864 CPUtime=0.03 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438058880016 5443033 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438050487192 5446275 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=0 CPUtime=0.02 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438042094608 5443096 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=0 CPUtime=0.03 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438033701560 5480548 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38056 KiB
[startup+0.701144 s]
/proc/loadavg: 7.60 6.14 6.72 9/200 8364
/proc/meminfo: memFree=31910372/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=38056 CPUtime=3.56 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 10260 0 0 0 355 1 0 0 20 0 9 0 437333496 665010176 9514 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9514 891 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=1980 CPUtime=0.41 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 112 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438092450536 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=2812 CPUtime=0.41 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 113 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438084058384 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=1764 CPUtime=0.41 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 109 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438075665680 5394155 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=111632 CPUtime=0.41 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 121 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438067272376 5439786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=796 CPUtime=0.41 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 119 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438058880016 5072848 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=7100839861465685612 CPUtime=0.41 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 113 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438050486808 5451482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=-7175204567652784766 CPUtime=0.38 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 96 0 0 0 38 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438042094264 140438109498200 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=3054156605268465310 CPUtime=0.41 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 106 0 0 0 41 0 0 0 20 0 9 0 437333524 665010176 9514 33554432000 4194304 6211092 140726252195040 140438033702160 5446248 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38056 KiB
[startup+1.50115 s]
/proc/loadavg: 7.60 6.14 6.72 9/200 8364
/proc/meminfo: memFree=31910312/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39616 CPUtime=9.95 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 16443 0 0 0 992 3 0 0 20 0 9 0 437333496 665010176 9904 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9904 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=6944652177228980320 CPUtime=1.21 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 794 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438092450832 5397315 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 1017 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438084058384 5454176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=0 CPUtime=1.2 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 677 0 0 0 120 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438075665680 5158081 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=4123392227360140906 CPUtime=1.21 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 1097 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438067272424 5476810 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=6935650410838380624 CPUtime=1.21 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 1189 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438058880128 5039042 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=0 CPUtime=1.21 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 871 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438050487016 5451482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=0 CPUtime=1.16 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 790 0 0 0 116 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438042094720 5039536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=7598824234097836114 CPUtime=1.21 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 637 0 0 0 121 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438033702160 5451469 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39616 KiB
[startup+3.11014 s]
/proc/loadavg: 7.60 6.14 6.72 9/200 8364
/proc/meminfo: memFree=31909444/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39616 CPUtime=22.8 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 16798 0 0 0 2277 3 0 0 20 0 9 0 437333496 665010176 9904 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9904 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=55 CPUtime=2.82 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 801 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438092450832 5453908 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=0 CPUtime=2.82 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 1155 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438084058384 5009195 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=0 CPUtime=2.81 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 705 0 0 0 281 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438075665680 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=0 CPUtime=2.82 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 1223 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438067272424 5454183 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=0 CPUtime=2.82 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 1204 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438058880128 5033619 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=176454436405581 CPUtime=2.82 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 873 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438050487016 5439810 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=0 CPUtime=2.74 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 812 0 0 0 274 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438042094720 5454160 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=281168021080320 CPUtime=2.82 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 654 0 0 0 282 0 0 0 20 0 9 0 437333524 665010176 9904 33554432000 4194304 6211092 140726252195040 140438033702160 5451570 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 22.8 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39616 KiB
[startup+6.30114 s]
/proc/loadavg: 7.63 6.17 6.73 9/200 8364
/proc/meminfo: memFree=31908488/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39764 CPUtime=48.24 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 31024 0 0 0 4820 4 0 0 20 0 9 0 437333496 665010176 9941 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9941 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=140584010506872 CPUtime=6 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 2415 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438092450832 5443000 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=7450477081154644561 CPUtime=6 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 3032 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438084058384 140438100473744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=281168020945696 CPUtime=5.97 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 2265 0 0 0 597 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438075665680 5446200 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=9023629670928638048 CPUtime=6 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 3158 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438067272424 5250293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=140584010650520 CPUtime=6 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 3071 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438058880128 5451513 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=7306916055891837009 CPUtime=6 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 2988 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438050487016 5441090 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=39760 CPUtime=5.92 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 2448 0 0 0 592 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438042093992 5451434 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=0 CPUtime=6 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 2276 0 0 0 600 0 0 0 20 0 9 0 437333524 665010176 9941 33554432000 4194304 6211092 140726252195040 140438033702160 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 48.24 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39764 KiB
[startup+12.7011 s]
/proc/loadavg: 7.66 6.20 6.74 9/200 8364
/proc/meminfo: memFree=31909636/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39812 CPUtime=99.36 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 39049 0 0 0 9931 5 0 0 20 0 9 0 437333496 665010176 9953 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9953 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=39812 CPUtime=12.4 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 3398 0 0 0 1240 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438092450832 5138607 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=1416 CPUtime=12.4 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 4055 0 0 0 1240 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438084058384 5452231 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=39800 CPUtime=12.29 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 3122 0 0 0 1229 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438075665680 5039145 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=3616 CPUtime=12.4 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 4268 0 0 0 1240 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438067272424 140438109498200 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=39616 CPUtime=12.4 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 4145 0 0 0 1240 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438058880128 5440817 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=0 CPUtime=12.4 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 3989 0 0 0 1240 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438050487016 140438109498200 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=39812 CPUtime=12.32 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 3474 0 0 0 1232 0 0 0 20 0 9 0 437333524 665010176 9953 33554432000 4194304 6211092 140726252195040 140438042094184 5193708 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+163.201 s]
/proc/loadavg: 8.02 6.94 6.94 9/199 8373
/proc/meminfo: memFree=31912528/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1301.3 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82972 0 0 0 130120 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=1448 CPUtime=162.88 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9289 0 0 0 16288 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 5193744 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=45332 CPUtime=162.88 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16288 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 5455634 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=988 CPUtime=162.77 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8164 0 0 0 16276 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5441086 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=39876 CPUtime=162.9 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10171 0 0 0 16289 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 5451484 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=636 CPUtime=162.86 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9621 0 0 0 16285 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=1764 CPUtime=162.89 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10184 0 0 0 16289 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 5397368 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=39876 CPUtime=161.23 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8208 0 0 0 16122 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094184 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=2884 CPUtime=162.54 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16253 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033702160 5446927 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1301.3 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
[startup+164.801 s]
/proc/loadavg: 8.02 6.94 6.94 9/199 8373
/proc/meminfo: memFree=31912528/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1314.09 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82972 0 0 0 131399 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=1416 CPUtime=164.48 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9289 0 0 0 16448 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 5452219 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=10600 CPUtime=164.48 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16448 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 140438109498200 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=1740 CPUtime=164.37 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8164 0 0 0 16436 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5451482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=988 CPUtime=164.5 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10171 0 0 0 16449 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 5446082 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=2024 CPUtime=164.46 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9621 0 0 0 16445 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5446924 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=1416 CPUtime=164.49 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10184 0 0 0 16449 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=-7035114785800479027 CPUtime=162.82 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8208 0 0 0 16281 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094184 5156232 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=39876 CPUtime=164.14 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16413 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033702160 5479612 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1314.09 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
[startup+166.401 s]
/proc/loadavg: 8.01 6.96 6.95 9/199 8373
/proc/meminfo: memFree=31912536/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1326.87 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82976 0 0 0 132677 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=39876 CPUtime=166.08 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9289 0 0 0 16608 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 140438100473780 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=39876 CPUtime=166.08 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16608 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 140438100473763 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=281168021209136 CPUtime=165.97 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8164 0 0 0 16596 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5155807 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=24444 CPUtime=166.1 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10172 0 0 0 16609 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=0 CPUtime=166.06 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9622 0 0 0 16605 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5452153 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=0 CPUtime=166.09 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10185 0 0 0 16609 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 5156232 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=39876 CPUtime=164.39 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8209 0 0 0 16438 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094264 5008912 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=3616 CPUtime=165.74 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16573 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033702160 5039125 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1326.87 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
[startup+166.801 s]
/proc/loadavg: 8.01 6.96 6.95 9/199 8373
/proc/meminfo: memFree=31912536/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1330.06 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82979 0 0 0 132996 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=1416 CPUtime=166.48 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9290 0 0 0 16648 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=776 CPUtime=166.48 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16648 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 5389428 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=39876 CPUtime=166.37 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8165 0 0 0 16636 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5157597 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=39876 CPUtime=166.5 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10172 0 0 0 16649 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=636 CPUtime=166.46 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9622 0 0 0 16645 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5443000 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=2884 CPUtime=166.49 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10185 0 0 0 16649 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 5038576 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=-7035114785800479027 CPUtime=164.79 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8210 0 0 0 16478 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094264 5165010 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=988 CPUtime=166.14 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16613 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033701904 140438100479391 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1330.06 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
[startup+167.001 s]*
/proc/loadavg: 8.01 6.96 6.95 9/199 8373
/proc/meminfo: memFree=31912536/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1331.72 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82980 0 0 0 133162 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=-7751062316387021378 CPUtime=166.69 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9290 0 0 0 16669 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 5039149 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=-2023959437020729679 CPUtime=166.69 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16669 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 5157763 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=4126316290023845779 CPUtime=166.58 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8166 0 0 0 16657 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5155834 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=24444 CPUtime=166.71 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10172 0 0 0 16670 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 140438100477516 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=1556 CPUtime=166.67 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9622 0 0 0 16666 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5027152 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=500 CPUtime=166.7 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10185 0 0 0 16670 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 140438109498182 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=932 CPUtime=164.99 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8210 0 0 0 16498 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094264 5446625 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=1864 CPUtime=166.35 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16634 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033701904 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1331.72 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
[startup+167.11 s]
/proc/loadavg: 8.01 6.96 6.95 9/199 8373
/proc/meminfo: memFree=31912536/32770624 swapFree=67001580/67108860
[pid=8355] ppid=8352 vsize=649424 memory=39876 CPUtime=1332.53 cores=0-7
/proc/8355/stat : 8355 (cosoco) S 8352 8355 6070 0 -1 1077944320 82980 0 0 0 133243 10 0 0 20 0 9 0 437333496 665010176 9969 33554432000 4194304 6211092 140726252195040 140726252193296 140438115593975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
/proc/8355/statm: 162356 9969 892 493 0 155661 0
[pid=8355/tid=8357] ppid=8352 vsize=649424 memory=3616 CPUtime=166.79 cores=0-7
/proc/8355/task/8357/stat : 8357 (cosoco) R 8352 8355 6070 0 -1 4202560 9290 0 0 0 16679 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438092450832 5035232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8358] ppid=8352 vsize=649424 memory=3616 CPUtime=166.79 cores=0-7
/proc/8355/task/8358/stat : 8358 (cosoco) R 8352 8355 6070 0 -1 4202560 9471 0 0 0 16679 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438084058384 5446904 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8359] ppid=8352 vsize=649424 memory=39876 CPUtime=166.68 cores=0-7
/proc/8355/task/8359/stat : 8359 (cosoco) R 8352 8355 6070 0 -1 4202560 8166 0 0 0 16667 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438075665680 5157603 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8360] ppid=8352 vsize=649424 memory=39876 CPUtime=166.81 cores=0-7
/proc/8355/task/8360/stat : 8360 (cosoco) R 8352 8355 6070 0 -1 4202560 10172 0 0 0 16680 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438067272720 140438100473763 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8361] ppid=8352 vsize=649424 memory=39876 CPUtime=166.77 cores=0-7
/proc/8355/task/8361/stat : 8361 (cosoco) R 8352 8355 6070 0 -1 4202560 9622 0 0 0 16676 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438058880128 5446248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8362] ppid=8352 vsize=649424 memory=39876 CPUtime=166.8 cores=0-7
/proc/8355/task/8362/stat : 8362 (cosoco) R 8352 8355 6070 0 -1 4202560 10185 0 0 0 16680 0 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438050487312 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8363] ppid=8352 vsize=649424 memory=39876 CPUtime=165.09 cores=0-7
/proc/8355/task/8363/stat : 8363 (cosoco) R 8352 8355 6070 0 -1 4202560 8210 0 0 0 16508 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438042094264 5452231 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
[pid=8355/tid=8364] ppid=8352 vsize=649424 memory=39876 CPUtime=166.45 cores=0-7
/proc/8355/task/8364/stat : 8364 (cosoco) R 8352 8355 6070 0 -1 4202560 8493 0 0 0 16644 1 0 0 20 0 9 0 437333524 665010176 9969 33554432000 4194304 6211092 140726252195040 140438033701904 5039178 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15437824 140726252196886 140726252196978 140726252196978 140726252199886 0
Current children cumulated CPU time: 1332.53 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39876 KiB
Child status: 0
Real time (s): 167.184
CPU time (s): 1333.11
CPU user time (s): 1333
CPU system time (s): 0.103949
CPU usage (%): 797.39
Max. virtual memory (cumulated for all children) (KiB): 649424
Max. memory (cumulated for all children) (KiB): 39876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1333
system time used= 0.103949
maximum resident set size= 40160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83059
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= 287
involuntary context switches= 12055
# summary of solver processes directly reported to runsolver:
# pid: 8355
# total CPU time (s): 1333.11
# total CPU user time (s): 1333
# total CPU system time (s): 0.103949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.827389 second user time and 1.41225 second system time
The end
Begin job on node136 at 2019-09-16 07:13:24 IDJOB=4398629 IDBENCH=141106 IDSOLVER=2852 FILE ID=node136/4398629-1568610849 RUNJOBID= node136-1568598203-6097 PBS_JOBID= 21703420 Free space on /tmp= 61172 MiB SOLVER NAME= cosoco 2.O 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-4398629-1568610849/watcher-4398629-1568610849 -o /tmp/evaluation-result-4398629-1568610849/solver-4398629-1568610849 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568598203-6097 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398629-1568610849.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1581361883 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: 31945256 kB MemAvailable: 31908568 kB Buffers: 18580 kB Cached: 237624 kB SwapCached: 3448 kB Active: 50956 kB Inactive: 210048 kB Active(anon): 2956 kB Inactive(anon): 50436 kB Active(file): 48000 kB Inactive(file): 159612 kB Unevictable: 109740 kB Mlocked: 109740 kB SwapTotal: 67108860 kB SwapFree: 67001580 kB Dirty: 2764 kB Writeback: 8 kB AnonPages: 112980 kB Mapped: 46128 kB Shmem: 40200 kB Slab: 154544 kB SReclaimable: 125432 kB SUnreclaim: 29112 kB KernelStack: 3424 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507364 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= 61168 MiB End job on node136 at 2019-09-16 07:16:12