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 | SAT (TO) | 14 | 2009.64 | 252.01 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml |
| MD5SUM | 200d8ff13be0114d953e34120514972f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 67.0084 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
| Number of extensional constraints | 450 |
| Number of intensional constraints | 450 |
| Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 729.77/91.79 c 729.77/91.79 c This is cosoco 2.00 -- 729.77/91.79 c 729.77/91.79 c command line: cosoco -model -nbcores=8 HOME/instance-4398815-1568610628.xml 729.77/91.79 c enable optimization 729.77/91.79 c ========================================[ Problem Statistics ]=========================================== 729.77/91.79 c | 729.77/91.79 c | Parse time : 0.20 s 729.77/91.79 c | 729.77/91.79 c | Variables: 1380 729.77/91.79 c | Domain Sizes: 2..16 729.77/91.79 c | 729.77/91.79 c | Constraints: 1367 729.77/91.79 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 729.77/91.79 c | 729.77/91.79 c | Types: 729.77/91.79 c | (X = Y): 30 729.77/91.79 c | All Different: 1 729.77/91.79 c | Extension: 900 (nb tuples: 3..15) -- (shared: 3552) 729.77/91.79 c | Max constant: 1 729.77/91.79 c | Sum: 435 729.77/91.79 c | 729.77/91.79 c | Objective: Minimize Max constant 729.77/91.79 729.77/91.79 c ========================================================================================================= 729.77/91.79 c Parallel mode: Portfolio 729.77/91.79 c [pFactory][Group N°0] created (threads:8). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 729.77/91.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 729.77/91.79 c [pFactory][Group N°0] concurrent mode: enabled. 729.77/91.79 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 729.77/91.79 c [pFactory][Group N°0] task 7 launched on thread 1. 729.77/91.79 c [pFactory][Group N°0] task 6 launched on thread 0. 729.77/91.79 c [pFactory][Group N°0] task 5 launched on thread 5. 729.77/91.79 c [pFactory][Group N°0] task 4 launched on thread 6. 729.77/91.79 c [pFactory][Group N°0] task 3 launched on thread 2. 729.77/91.79 c [pFactory][Group N°0] task 2 launched on thread 3. 729.77/91.79 c [pFactory][Group N°0] task 1 launched on thread 7. 729.77/91.79 c [pFactory][Group N°0] task 0 launched on thread 4. 729.77/91.79 o 15 863.82/108.50 o 14 2009.58/252.00 2009.58/252.00 c *** INTERRUPTED *** 2009.58/252.00 c call to solver : 2 2009.58/252.00 c 2009.58/252.00 c restarts : 43861 2009.58/252.00 c conflicts : 291277 (145 /sec) 2009.58/252.00 c decisions : 6017041 (2996 /sec) 2009.58/252.00 c propagations : 143886317 (71635 /sec) 2009.58/252.00 c root propagations : 28194553 2009.58/252.00 c filter calls : 395999259 (197152 /sec) 2009.58/252.00 c useless filter calls : 283237529 (71 %) 2009.58/252.00 c Memory used : 679.59 MB 2009.58/252.00 c Best bound time (wc) : 108.501 s 2009.58/252.00 c CPU time : 2008.6 s 2009.58/252.00 c real time : 252.001 s 2009.58/252.00 2009.58/252.00 s SATISFIABLE 2009.58/252.00 c Best value found: 14 2009.58/252.00 2009.58/252.00 2009.58/252.00 v <instantiation type='solution' cost='14'> 2009.58/252.00 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[20][0] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[21][0] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[22][0] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[23][0] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[24][0] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[25][0] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[26][0] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[27][0] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[28][0] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[29][0] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[20][0] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[21][0] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[22][0] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[23][0] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[24][0] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[25][0] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[26][0] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[27][0] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[28][0] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[29][0] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2009.58/252.00 v <values>0 5 5 5 6 6 0 1 1 2 3 3 4 4 5 0 2 2 3 3 3 0 0 0 0 0 0 0 1 1 1 6 6 6 6 6 2 2 2 2 3 3 3 4 5 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 3 3 3 3 3 1 1 1 2 3 3 3 3 3 0 2 2 2 2 2 0 0 0 0 1 2 2 2 2 0 2 2 2 2 3 0 0 0 0 0 0 1 1 2 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 0 2 3 3 4 4 0 0 0 1 1 1 1 2 2 0 3 3 3 3 4 1 1 1 1 1 2 3 3 3 0 1 1 1 2 2 0 0 0 0 0 1 1 1 1 0 3 3 3 3 3 0 0 0 0 0 1 1 2 2 0 0 1 2 2 3 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 1 1 1 1 1 2 2 2 2 1 3 4 4 4 4 1 2 2 2 2 2 2 2 3 0 3 3 3 3 3 0 1 1 2 3 3 3 3 3 0 2 2 3 4 4 1 1 1 1 2 2 2 2 2 1 5 5 5 5 5 1 2 2 2 2 2 3 4 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 2 2 3 3 3 0 0 0 0 0 0 1 1 1 0 3 3 3 3 3 0 0 1 1 2 3 3 3 3 1 3 3 3 3 3 1 2 2 2 3 3 3 3 3 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 2 2 2 2 2 2 0 3 3 3 3 3 0 0 0 0 0 1 2 2 3 0 2 2 2 2 2 0 0 0 0 0 1 2 2 2 0 1 2 2 2 2 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 6 2 7 5 1 9 4 10 13 0 11 14 12 8 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 13 13 12 10 5 10 12 13 13 13 14 14 14 14 </values> 2009.58/252.00 v </instantiation> 2009.58/252.00
OK 14
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 (14360 MiB free)
memory of node 1: 16384 MiB (13881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398815-1568610628/watcher-4398815-1568610628 -o /tmp/evaluation-result-4398815-1568610628/solver-4398815-1568610628 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398815-1568610628.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=21883, runsolver pid=21880
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 1.10 3.94 6.69 2/195 21884
/proc/meminfo: memFree=28882928/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=65780 memory=42152 CPUtime=0.09 cores=0-7
/proc/21883/stat : 21883 (cosoco) R 21880 21883 19091 0 -1 4202496 10735 0 0 0 9 0 0 0 20 0 1 0 437313294 67358720 10538 33554432000 4194304 6211092 140731835415200 140731835411736 140064911526885 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 16445 10538 836 493 0 9750 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65780 KiB
Current children cumulated memory: 42152 KiB
[startup+0.209571 s]*
/proc/loadavg: 1.10 3.94 6.69 2/195 21884
/proc/meminfo: memFree=28849076/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=103388 memory=79912 CPUtime=0.21 cores=0-7
/proc/21883/stat : 21883 (cosoco) R 21880 21883 19091 0 -1 4202496 20156 0 0 0 19 2 0 0 20 0 1 0 437313294 105869312 19978 33554432000 4194304 6211092 140731835415200 140731835411736 140064911526885 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 25847 19978 868 493 0 19152 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103388 KiB
Current children cumulated memory: 79912 KiB
[startup+0.310179 s]*
/proc/loadavg: 1.10 3.94 6.69 9/203 21892
/proc/meminfo: memFree=28813584/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=111560 CPUtime=0.85 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 28347 0 0 0 79 6 0 0 20 0 9 0 437313294 712601600 27890 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 27890 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=0.07 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 494 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064904423944 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 505 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064896031416 5150130 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=0 CPUtime=0.07 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 633 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064887638600 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=0 CPUtime=0.07 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 605 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064879245736 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 1509 0 0 0 6 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064870853048 5149648 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=0 CPUtime=0.07 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 1042 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064862460344 5396759 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=0 CPUtime=0.07 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 1332 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064854067640 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=0 CPUtime=0.07 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 1346 0 0 0 7 0 0 0 20 0 9 0 437313317 712601600 27890 33554432000 4194304 6211092 140731835415200 140064845675032 5008971 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 111560 KiB
[startup+0.701178 s]
/proc/loadavg: 1.10 3.94 6.69 9/203 21892
/proc/meminfo: memFree=28810980/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=113936 CPUtime=3.88 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 28965 0 0 0 380 8 0 0 20 0 9 0 437313294 712601600 28484 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 28484 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=1296 CPUtime=0.45 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 516 0 0 0 45 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064904423960 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=620 CPUtime=0.43 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 836 0 0 0 43 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064896031256 5008918 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=3996 CPUtime=0.45 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 807 0 0 0 45 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064887638440 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=2828 CPUtime=0.46 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 610 0 0 0 46 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064879245736 5397352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=1716 CPUtime=0.45 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 1509 0 0 0 43 2 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064870853048 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=140244929668735 CPUtime=0.45 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 1115 0 0 0 45 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064862460600 140064911522622 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=7523071198212214892 CPUtime=0.45 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 1332 0 0 0 45 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064854067736 5035337 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=6004820471124940137 CPUtime=0.45 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 1360 0 0 0 45 0 0 0 20 0 9 0 437313317 712601600 28484 33554432000 4194304 6211092 140731835415200 140064845674920 5409431 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 113936 KiB
[startup+1.50118 s]
/proc/loadavg: 1.10 3.94 6.69 9/203 21892
/proc/meminfo: memFree=28809480/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=115728 CPUtime=10.25 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 50783 0 0 0 1007 18 0 0 20 0 9 0 437313294 712601600 28932 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 28932 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=1.25 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 1882 0 0 0 124 1 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064904423960 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=0 CPUtime=1.21 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 4030 0 0 0 121 0 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064896031336 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=2528 CPUtime=1.25 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 2838 0 0 0 124 1 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064887638632 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=1764 CPUtime=1.25 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 4476 0 0 0 125 0 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064879245736 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=13909 CPUtime=1.25 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 4075 0 0 0 119 6 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064870853048 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=280480960707584 CPUtime=1.25 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 4214 0 0 0 123 2 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064862460520 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=140240480348880 CPUtime=1.25 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 4554 0 0 0 124 1 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064854067736 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=0 CPUtime=1.25 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 3833 0 0 0 123 2 0 0 20 0 9 0 437313317 712601600 28932 33554432000 4194304 6211092 140731835415200 140064845674920 5035216 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 10.25 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 115728 KiB
[startup+3.11018 s]
/proc/loadavg: 1.82 4.04 6.70 10/204 21894
/proc/meminfo: memFree=28807200/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=115972 CPUtime=23.07 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 52372 0 0 0 2282 25 0 0 20 0 9 0 437313294 712601600 28993 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 28993 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=164 CPUtime=2.86 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 1898 0 0 0 285 1 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064904423960 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=56 CPUtime=2.79 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 4134 0 0 0 279 0 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064896031336 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=0 CPUtime=2.86 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 2981 0 0 0 285 1 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064887638632 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=0 CPUtime=2.86 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 4478 0 0 0 286 0 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064879245736 5035286 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=0 CPUtime=2.83 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 4624 0 0 0 271 12 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064870853048 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=0 CPUtime=2.86 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 4243 0 0 0 284 2 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064862460520 5035286 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=280480960581408 CPUtime=2.86 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 5274 0 0 0 285 1 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064854067736 5409431 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=13909 CPUtime=2.86 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 3859 0 0 0 284 2 0 0 20 0 9 0 437313317 712601600 28993 33554432000 4194304 6211092 140731835415200 140064845674920 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 23.07 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 115972 KiB
[startup+6.93218 s]
/proc/loadavg: 1.82 4.04 6.70 10/204 21894
/proc/meminfo: memFree=28807200/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=116608 CPUtime=53.59 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 119333 0 0 0 5311 48 0 0 20 0 9 0 437313294 712601600 29152 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 29152 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=115972 CPUtime=6.68 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 8025 0 0 0 666 2 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064904423960 5035263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=3628 CPUtime=6.6 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 12679 0 0 0 659 1 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064896031336 5008852 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=6.69 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 10411 0 0 0 666 3 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064887638632 5035312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=3996 CPUtime=6.68 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 12502 0 0 0 667 1 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064879245752 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=2828 CPUtime=6.61 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 14136 0 0 0 633 28 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064870853144 5389393 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=1716 CPUtime=6.68 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 12927 0 0 0 665 3 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064862460520 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=1156 CPUtime=6.68 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 15030 0 0 0 666 2 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064854067736 5035312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=56 CPUtime=6.68 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 12742 0 0 0 665 3 0 0 20 0 9 0 437313317 712601600 29152 33554432000 4194304 6211092 140731835415200 140064845674920 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 53.59 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 116608 KiB
[startup+12.7012 s]*
/proc/loadavg: 3.38 4.31 6.76 9/202 21897
/proc/meminfo: memFree=29898236/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=118432 CPUtime=99.37 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 161733 0 0 0 9859 78 0 0 20 0 9 0 437313294 712601600 29608 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 29608 912 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=12.41 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 12367 0 0 0 1239 2 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064904423848 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=0 CPUtime=12.25 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 18679 0 0 0 1200 25 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064896031336 5409461 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=-1 CPUtime=12.38 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 15113 0 0 0 1235 3 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064887638632 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=-1 CPUtime=12.42 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 17700 0 0 0 1241 1 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064879245752 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=-1 CPUtime=12.37 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 19192 0 0 0 1207 30 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064870853144 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=0 CPUtime=12.42 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 18202 0 0 0 1238 4 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064862460520 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=-1 CPUtime=12.37 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 21847 0 0 0 1234 3 0 0 20 0 9 0 437313317 712601600 29608 33554432000 4194304 6211092 140731835415200 140064854067736 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
################
# More data... #
################
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 24200 0 0 0 5071 4 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064887638632 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=920 CPUtime=50.71 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 25250 0 0 0 5068 3 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064879245752 5035216 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=4132 CPUtime=50.7 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 30165 0 0 0 5039 31 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064870853144 5035326 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=45156 CPUtime=50.74 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 29343 0 0 0 5069 5 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064862460520 5409465 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=992 CPUtime=50.24 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 32292 0 0 0 5020 4 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064854067736 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=2044 CPUtime=50.78 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 28250 0 0 0 5073 5 0 0 20 0 9 0 437313317 712601600 30209 33554432000 4194304 6211092 140731835415200 140064845674920 5396736 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 405.53 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 120836 KiB
[startup+102.301 s]
/proc/loadavg: 7.49 5.45 6.94 9/205 21911
/proc/meminfo: memFree=29893516/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=125560 CPUtime=814.32 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 276984 0 0 0 81336 96 0 0 20 0 9 0 437313294 712601600 31390 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 31390 914 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=944 CPUtime=101.9 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 24654 0 0 0 10185 5 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064904424040 5035232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=1552 CPUtime=101.78 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 31065 0 0 0 10151 27 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064896031336 5035272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=1052 CPUtime=101.94 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 30860 0 0 0 10189 5 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064887638632 5389428 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=125560 CPUtime=101.19 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 29544 0 0 0 10115 4 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064879245752 5397368 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=916 CPUtime=101.9 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 35128 0 0 0 10157 33 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064870853144 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=1444 CPUtime=101.93 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 32740 0 0 0 10187 6 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064862460440 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=1984 CPUtime=101.42 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 37987 0 0 0 10138 4 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064854068496 5035252 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=2528 CPUtime=101.96 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 34125 0 0 0 10190 6 0 0 20 0 9 0 437313317 712601600 31390 33554432000 4194304 6211092 140731835415200 140064845675536 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 814.32 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 125560 KiB
[startup+162.301 s]
/proc/loadavg: 7.96 5.95 7.02 10/205 21914
/proc/meminfo: memFree=29894556/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=126748 CPUtime=1293.4 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 303330 0 0 0 129241 99 0 0 20 0 9 0 437313294 712601600 31687 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 31687 914 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=111632 CPUtime=161.9 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 27064 0 0 0 16185 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064904424040 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=161.77 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 33462 0 0 0 16149 28 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064896031336 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=944 CPUtime=161.93 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 34728 0 0 0 16187 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064887638632 5392081 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=1552 CPUtime=160.62 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 32202 0 0 0 16058 4 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064879245752 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=1052 CPUtime=161.89 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 38731 0 0 0 16156 33 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064870853144 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=6040 CPUtime=161.91 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 36432 0 0 0 16184 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064862461200 5009098 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=500 CPUtime=161.32 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 42205 0 0 0 16127 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064854068496 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=1556 CPUtime=161.77 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 37625 0 0 0 16171 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064845675536 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 1293.4 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 126748 KiB
[startup+222.301 s]
/proc/loadavg: 7.99 6.32 7.08 9/205 21917
/proc/meminfo: memFree=29894564/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=126748 CPUtime=1772.46 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 310420 0 0 0 177144 102 0 0 20 0 9 0 437313294 712601600 31687 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 31687 914 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=2700 CPUtime=221.88 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 27933 0 0 0 22183 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064904424040 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=126748 CPUtime=221.76 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 33918 0 0 0 22148 28 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064896031336 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=6935054825532540783 CPUtime=221.92 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 36172 0 0 0 22186 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064887638632 5017274 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=4872558044660077418 CPUtime=220.61 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 32886 0 0 0 22057 4 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064879245752 5193731 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=1296 CPUtime=221.87 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 39908 0 0 0 22154 33 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064870853144 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=620 CPUtime=221.88 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 37082 0 0 0 22181 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064862461200 5409465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=3996 CPUtime=221.31 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 43369 0 0 0 22125 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064854068496 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=2828 CPUtime=220.94 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 38271 0 0 0 22087 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064845675536 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 1772.46 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 126748 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]
/proc/loadavg: 8.04 6.50 7.11 9/205 21920
/proc/meminfo: memFree=29894560/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=126748 CPUtime=2009.58 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 314276 0 0 0 200855 103 0 0 20 0 9 0 437313294 712601600 31687 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 31687 914 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=126748 CPUtime=251.58 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 28265 0 0 0 25153 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064904424040 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=126748 CPUtime=251.45 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 34264 0 0 0 25117 28 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064896031336 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=126748 CPUtime=251.61 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 36851 0 0 0 25155 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064887638632 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=126748 CPUtime=250.31 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 33341 0 0 0 25026 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064879245752 5035272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=126748 CPUtime=251.56 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 40100 0 0 0 25123 33 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064870853144 5151066 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=126748 CPUtime=251.55 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 37583 0 0 0 25148 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064862461200 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=126748 CPUtime=251 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 44050 0 0 0 25094 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064854068496 5389872 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=126748 CPUtime=250.22 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 38941 0 0 0 25015 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064845675536 5017390 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 2009.58 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 126748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 21883 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2008.6 s, system=1.03527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.001 s]
/proc/loadavg: 8.04 6.50 7.11 9/205 21920
/proc/meminfo: memFree=29894560/32770624 swapFree=66917044/67108860
[pid=21883] ppid=21880 vsize=695900 memory=126748 CPUtime=2009.58 cores=0-7
/proc/21883/stat : 21883 (cosoco) S 21880 21883 19091 0 -1 1077944320 314276 0 0 0 200855 103 0 0 20 0 9 0 437313294 712601600 31687 33554432000 4194304 6211092 140731835415200 140731835413456 140064927567607 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
/proc/21883/statm: 173975 31687 914 493 0 167280 0
[pid=21883/tid=21885] ppid=21880 vsize=695900 memory=126748 CPUtime=251.58 cores=0-7
/proc/21883/task/21885/stat : 21885 (cosoco) R 21880 21883 19091 0 -1 4202560 28265 0 0 0 25153 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064904424040 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21886] ppid=21880 vsize=695900 memory=126748 CPUtime=251.45 cores=0-7
/proc/21883/task/21886/stat : 21886 (cosoco) R 21880 21883 19091 0 -1 4202560 34264 0 0 0 25117 28 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064896031336 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21887] ppid=21880 vsize=695900 memory=126748 CPUtime=251.61 cores=0-7
/proc/21883/task/21887/stat : 21887 (cosoco) R 21880 21883 19091 0 -1 4202560 36851 0 0 0 25155 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064887638632 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21888] ppid=21880 vsize=695900 memory=126748 CPUtime=250.31 cores=0-7
/proc/21883/task/21888/stat : 21888 (cosoco) R 21880 21883 19091 0 -1 4202560 33341 0 0 0 25026 5 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064879245752 5035272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21889] ppid=21880 vsize=695900 memory=126748 CPUtime=251.56 cores=0-7
/proc/21883/task/21889/stat : 21889 (cosoco) R 21880 21883 19091 0 -1 4202560 40100 0 0 0 25123 33 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064870853144 5151066 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21890] ppid=21880 vsize=695900 memory=126748 CPUtime=251.55 cores=0-7
/proc/21883/task/21890/stat : 21890 (cosoco) R 21880 21883 19091 0 -1 4202560 37583 0 0 0 25148 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064862461200 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21891] ppid=21880 vsize=695900 memory=126748 CPUtime=251 cores=0-7
/proc/21883/task/21891/stat : 21891 (cosoco) R 21880 21883 19091 0 -1 4202560 44050 0 0 0 25094 6 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064854068496 5389872 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
[pid=21883/tid=21892] ppid=21880 vsize=695900 memory=126748 CPUtime=250.22 cores=0-7
/proc/21883/task/21892/stat : 21892 (cosoco) R 21880 21883 19091 0 -1 4202560 38941 0 0 0 25015 7 0 0 20 0 9 0 437313317 712601600 31687 33554432000 4194304 6211092 140731835415200 140064845675536 5017390 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17784832 140731835417622 140731835417714 140731835417714 140731835420622 0
Current children cumulated CPU time: 2009.58 s
Current children cumulated vsize: 695900 KiB
Current children cumulated memory: 126748 KiB
Child status: 1
Real time (s): 252.01
CPU time (s): 2009.64
CPU user time (s): 2008.6
CPU system time (s): 1.03527
CPU usage (%): 797.442
Max. virtual memory (cumulated for all children) (KiB): 695900
Max. memory (cumulated for all children) (KiB): 126748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2008.6
system time used= 1.03527
maximum resident set size= 126868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314327
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= 6659
involuntary context switches= 18953
# summary of solver processes directly reported to runsolver:
# pid: 21883
# total CPU time (s): 2009.64
# total CPU user time (s): 2008.6
# total CPU system time (s): 1.03527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26172 second user time and 2.16392 second system time
The end
Begin job on node134 at 2019-09-16 07:09:46 IDJOB=4398815 IDBENCH=140467 IDSOLVER=2852 FILE ID=node134/4398815-1568610628 RUNJOBID= node134-1568597901-19118 PBS_JOBID= 21703415 Free space on /tmp= 59076 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-pb-30-15-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398815-1568610628/watcher-4398815-1568610628 -o /tmp/evaluation-result-4398815-1568610628/solver-4398815-1568610628 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398815-1568610628.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 200d8ff13be0114d953e34120514972f RANDOM SEED=369957568 node134.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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28920016 kB MemAvailable: 31774440 kB Buffers: 209388 kB Cached: 2909720 kB SwapCached: 90384 kB Active: 607452 kB Inactive: 2607260 kB Active(anon): 5808 kB Inactive(anon): 138064 kB Active(file): 601644 kB Inactive(file): 2469196 kB Unevictable: 108520 kB Mlocked: 108520 kB SwapTotal: 67108860 kB SwapFree: 66917044 kB Dirty: 900400 kB Writeback: 76248 kB AnonPages: 124444 kB Mapped: 47924 kB Shmem: 39652 kB Slab: 229872 kB SReclaimable: 198840 kB SUnreclaim: 31032 kB KernelStack: 3776 kB PageTables: 5876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59600 MiB End job on node134 at 2019-09-16 07:13:58