Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 8 | 2007.15 | 252.051 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 25.4304 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.13 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 0.10/0.14 c AllEqual constraint using 1 generic x=y constraints 2.97/0.99 c 2.97/0.99 c This is cosoco 2.00 -- 2.97/0.99 c 2.97/0.99 c command line: cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml 2.97/0.99 c enable optimization 2.97/0.99 c ========================================[ Problem Statistics ]=========================================== 2.97/0.99 c | 2.97/0.99 c | Parse time : 0.47 s 2.97/0.99 c | 2.97/0.99 c | Variables: 2760 2.97/0.99 c | Domain Sizes: 2..31 2.97/0.99 c | 2.97/0.99 c | Constraints: 2732 2.97/0.99 c | Arity: 2..31 -- Binary: 930 -- Ternary: 1770 2.97/0.99 c | 2.97/0.99 c | Types: 2.97/0.99 c | (X = Y): 30 2.97/0.99 c | All Different: 1 2.97/0.99 c | Extension: 1800 (nb tuples: 4..30) -- (shared: 7192) 2.97/0.99 c | Max constant: 1 2.97/0.99 c | Sum: 900 2.97/0.99 c | 2.97/0.99 c | Objective: Minimize Max constant 2.97/0.99 2.97/0.99 c ========================================================================================================= 2.97/0.99 c Parallel mode: Portfolio 2.97/0.99 c [pFactory][Group N°0] created (threads:8). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2.97/0.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2.97/0.99 c [pFactory][Group N°0] concurrent mode: enabled. 2.97/0.99 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2.97/0.99 c [pFactory][Group N°0] task 7 launched on thread 0. 2.97/0.99 c [pFactory][Group N°0] task 6 launched on thread 2. 2.97/0.99 c [pFactory][Group N°0] task 5 launched on thread 1. 2.97/0.99 c [pFactory][Group N°0] task 4 launched on thread 5. 2.97/0.99 c [pFactory][Group N°0] task 3 launched on thread 6. 2.97/0.99 c [pFactory][Group N°0] task 2 launched on thread 3. 2.97/0.99 c [pFactory][Group N°0] task 1 launched on thread 4. 2.97/0.99 c [pFactory][Group N°0] task 0 launched on thread 7. 2.97/0.99 o 12 74.00/9.80 o 10 96.36/12.63 o 9 117.12/15.29 o 8 2007.00/252.02 2007.00/252.02 c *** INTERRUPTED *** 2007.00/252.02 c call to solver : 5 2007.00/252.02 c 2007.00/252.02 c restarts : 17465 2007.00/252.02 c conflicts : 173071 (86 /sec) 2007.00/252.02 c decisions : 1368402 (682 /sec) 2007.00/252.02 c propagations : 60166749 (29995 /sec) 2007.00/252.02 c root propagations : 17645 2007.00/252.02 c filter calls : 258675616 (128956 /sec) 2007.00/252.02 c useless filter calls : 217050493 (83 %) 2007.00/252.02 c Memory used : 875.88 MB 2007.00/252.02 c Best bound time (wc) : 15.2926 s 2007.00/252.02 c CPU time : 2005.92 s 2007.00/252.02 c real time : 252.018 s 2007.00/252.02 2007.00/252.02 s SATISFIABLE 2007.00/252.02 c Best value found: 8 2007.00/252.02 2007.00/252.02 2007.00/252.02 v <instantiation type='solution' cost='8'> 2007.00/252.02 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] 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][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] 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][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] 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][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] 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][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] 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][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] 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][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] 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][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] 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][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] 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][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] 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][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] 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][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] 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][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][1] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] 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][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][1] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] 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][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][1] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] 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][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][1] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] 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][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][1] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] 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][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][1] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] 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][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][1] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] 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][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][1] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] 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][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][1] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] 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][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][1] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] 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][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] 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][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] 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][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] 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][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] 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][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] 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][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] 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][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] 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][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] 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][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] 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][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] 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][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] 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][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] 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][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] 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][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] 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][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] 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][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] 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][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][1] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] 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][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][1] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] 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][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][1] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] 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][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][1] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] 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][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][1] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] 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][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][1] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] 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][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][1] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] 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][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][1] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] 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][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][1] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] 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][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][1] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] 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][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[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][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] 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][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] 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][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] 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][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] 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][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] 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][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] 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][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] 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][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] 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][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] 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][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] 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][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] 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][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] 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][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] 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][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] 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][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] 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][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2007.00/252.02 v <values>0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 0 1 1 1 1 1 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 2 2 0 0 0 0 1 1 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 2 2 2 0 0 0 0 0 1 1 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 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 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 17 13 21 10 3 1 4 20 24 18 27 12 0 8 22 11 9 29 26 7 28 19 16 6 25 2 5 23 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 8 8 7 7 8 8 7 7 7 7 4 7 7 8 8 7 7 6 4 3 2 6 7 7 7 7 6 5 6 </values> 2007.00/252.02 v </instantiation> 2007.00/252.02
OK 8
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: 16375 MiB (14273 MiB free) memory of node 1: 16384 MiB (14626 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398719-1568608840/watcher-4398719-1568608840 -o /tmp/evaluation-result-4398719-1568608840/solver-4398719-1568608840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=3151, runsolver pid=3148 [startup+0.100137 s]* /proc/loadavg: 8.19 8.11 8.07 2/192 3152 /proc/meminfo: memFree=29521980/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=105816 memory=82228 CPUtime=0.1 cores=0-7 /proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 20728 0 0 0 8 2 0 0 20 0 1 0 436890264 108355584 20557 33554432000 4194304 6211092 140732616521344 140732616517880 140411736610720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 26454 20557 824 493 0 19759 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 105816 KiB Current children cumulated memory: 82228 KiB [startup+0.210294 s]* /proc/loadavg: 8.19 8.11 8.07 2/192 3152 /proc/meminfo: memFree=29475996/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=146936 memory=123376 CPUtime=0.2 cores=0-7 /proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 31018 0 0 0 17 3 0 0 20 0 1 0 436890264 150462464 30844 33554432000 4194304 6211092 140732616521344 140732616506120 140411736610720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 36734 30844 836 493 0 30039 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 146936 KiB Current children cumulated memory: 123376 KiB [startup+0.30996 s]* /proc/loadavg: 8.19 8.11 8.07 2/192 3152 /proc/meminfo: memFree=29448964/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=173848 memory=150040 CPUtime=0.31 cores=0-7 /proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 37731 0 0 0 27 4 0 0 20 0 1 0 436890264 178020352 37510 33554432000 4194304 6211092 140732616521344 140732616506120 140411736562661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 43462 37510 836 493 0 36767 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 173848 KiB Current children cumulated memory: 150040 KiB [startup+0.700297 s] /proc/loadavg: 8.19 8.11 8.07 2/192 3152 /proc/meminfo: memFree=29373200/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=334812 CPUtime=1.47 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 84243 0 0 0 130 17 0 0 20 0 9 0 436890264 918417408 83703 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 83703 902 493 0 217528 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 334812 KiB [startup+1.50085 s] /proc/loadavg: 8.18 8.11 8.06 9/200 3161 /proc/meminfo: memFree=29131412/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=501396 CPUtime=7.73 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 125797 0 0 0 739 34 0 0 20 0 9 0 436890264 918417408 125349 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 125349 902 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=3624 CPUtime=0.89 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 6107 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411729459896 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=53448 CPUtime=0.89 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 6669 0 0 0 87 2 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411721067240 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=984 CPUtime=0.9 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 6479 0 0 0 87 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411712674488 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 6720 0 0 0 87 2 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411704281704 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 7105 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411695889080 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=68 CPUtime=0.88 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 7564 0 0 0 85 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411687496376 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=67 CPUtime=0.87 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 6509 0 0 0 84 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411679103672 5035297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 7531 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411670710968 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 7.73 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 501396 KiB [startup+3.11085 s] /proc/loadavg: 8.18 8.11 8.06 9/200 3161 /proc/meminfo: memFree=29095004/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=502392 CPUtime=20.59 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 222669 0 0 0 2005 54 0 0 20 0 9 0 436890264 918417408 125598 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 125598 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=280409422173120 CPUtime=2.5 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 15298 0 0 0 244 6 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411729459896 5035344 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=-8990767739041718176 CPUtime=2.5 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 17889 0 0 0 247 3 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411721067192 5396407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=2.5 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 19777 0 0 0 243 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411712674488 5396407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=3624 CPUtime=2.5 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 20397 0 0 0 247 3 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411704281784 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=53448 CPUtime=2.5 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 19777 0 0 0 243 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411695889080 5396672 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=984 CPUtime=2.49 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 20472 0 0 0 245 4 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411687496376 5186224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=0 CPUtime=2.46 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 19493 0 0 0 239 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411679103672 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=0 CPUtime=2.5 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 18488 0 0 0 246 4 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411670710968 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 20.59 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 502392 KiB [startup+6.30085 s] /proc/loadavg: 8.16 8.11 8.06 9/200 3161 /proc/meminfo: memFree=29094176/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=502896 CPUtime=46.06 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 304126 0 0 0 4542 64 0 0 20 0 9 0 436890264 918417408 125724 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 125724 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=3624 CPUtime=5.69 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 27661 0 0 0 562 7 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411729459816 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=0 CPUtime=5.69 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 29743 0 0 0 565 4 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411721067192 5035270 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=5.69 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 27648 0 0 0 561 8 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411712674488 5409449 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=502508 CPUtime=5.68 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 29360 0 0 0 564 4 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411704281784 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=667680 CPUtime=5.68 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 28090 0 0 0 560 8 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411695889080 5186224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=-6081935818751311699 CPUtime=5.69 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 29481 0 0 0 563 6 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411687496376 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=6943526294502006880 CPUtime=5.6 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 31626 0 0 0 551 9 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411679103672 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=502508 CPUtime=5.69 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 29408 0 0 0 564 5 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411670710968 5009314 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 46.06 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 502896 KiB [startup+12.7008 s] /proc/loadavg: 8.15 8.10 8.06 9/200 3161 /proc/meminfo: memFree=29089848/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509636 CPUtime=97.16 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 428127 0 0 0 9639 77 0 0 20 0 9 0 436890264 918417408 127409 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127409 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=507372 CPUtime=12.02 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 42557 0 0 0 1194 8 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411729459816 5392081 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=140209166837375 CPUtime=12.09 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 43607 0 0 0 1204 5 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411721067112 5250224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=12.08 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 42196 0 0 0 1199 9 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411712674488 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=0 CPUtime=12.08 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 42135 0 0 0 1203 5 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411704281784 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=7738701921311614801 CPUtime=12.09 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 44346 0 0 0 1198 11 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411695889080 5396756 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=507372 CPUtime=12.09 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 44190 0 0 0 1202 7 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411687496376 5392081 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=0 CPUtime=11.98 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 54447 0 0 0 1187 11 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411679104272 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=0 CPUtime=12.09 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 43536 0 0 0 1201 8 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411670710968 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 97.16 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509636 KiB [startup+25.5008 s] /proc/loadavg: 8.13 8.10 8.06 9/200 3162 /proc/meminfo: memFree=29088044/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=199.35 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 515629 0 0 0 19849 86 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=24.63 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 52340 0 0 0 2454 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=24.88 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 55211 0 0 0 2482 6 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=24.89 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 52350 0 0 0 2478 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5392081 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=3624 CPUtime=24.88 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 51720 0 0 0 2482 6 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=280405328805663 CPUtime=24.88 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 55538 0 0 0 2475 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=59 CPUtime=24.89 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 56063 0 0 0 2481 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5392081 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=4 CPUtime=24.77 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 67764 0 0 0 2465 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5396750 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=1428 CPUtime=24.89 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 53530 0 0 0 2480 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5409465 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 199.35 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB [startup+51.1108 s] /proc/loadavg: 8.14 8.11 8.07 9/200 3164 /proc/meminfo: memFree=29087164/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=403.8 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 624239 0 0 0 40282 98 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=50.02 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 65727 0 0 0 4992 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035297 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=50.47 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 68249 0 0 0 5040 7 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5038259 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=50.5 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 65323 0 0 0 5038 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=4999 CPUtime=50.49 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 67420 0 0 0 5041 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5009142 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=50.49 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 68758 0 0 0 5034 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=280409422716576 CPUtime=50.49 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 70982 0 0 0 5039 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=50.22 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 78794 0 0 0 5008 14 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5409431 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=50.5 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 67873 0 0 0 5040 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5396756 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 403.8 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB [startup+102.301 s] /proc/loadavg: 8.15 8.12 8.07 9/200 3167 /proc/meminfo: memFree=29087292/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=812.5 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 682424 0 0 0 81145 105 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=101.2 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 73426 0 0 0 10109 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035278 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=101.64 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 74656 0 0 0 10156 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=101.68 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 71650 0 0 0 10155 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5396409 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=0 CPUtime=101.68 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 74551 0 0 0 10159 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5035297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=101.66 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 74324 0 0 0 10151 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=1556 CPUtime=101.66 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 79449 0 0 0 10155 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=100.65 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 87836 0 0 0 10050 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=101.69 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 75419 0 0 0 10158 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5148647 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 812.5 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB [startup+162.301 s] /proc/loadavg: 8.05 8.10 8.07 9/200 3170 /proc/meminfo: memFree=29088400/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=1291.25 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 755436 0 0 0 129012 113 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=161.15 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 82796 0 0 0 16103 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=161.61 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 80622 0 0 0 16153 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=161.47 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 81428 0 0 0 16133 14 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=509672 CPUtime=161.63 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 85149 0 0 0 16153 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=161.41 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 82828 0 0 0 16125 16 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5039022 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=509672 CPUtime=161.62 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 90262 0 0 0 16151 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5035297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=160.04 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 97858 0 0 0 15988 16 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=161.65 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 83380 0 0 0 16153 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5035297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 1291.25 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB [startup+222.301 s] /proc/loadavg: 8.71 8.25 8.12 9/200 3175 /proc/meminfo: memFree=29086900/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=1770.07 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 796846 0 0 0 176889 118 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=220.5 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 88190 0 0 0 22038 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5193744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=221.59 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 86657 0 0 0 22150 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=221.44 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 86587 0 0 0 22129 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035263 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=509672 CPUtime=221.6 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 90569 0 0 0 22149 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=3624 CPUtime=221.27 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 87667 0 0 0 22110 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=509672 CPUtime=221.59 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 96120 0 0 0 22147 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5017472 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=219.85 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 102086 0 0 0 21968 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035278 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=3624 CPUtime=221.59 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 87857 0 0 0 22147 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 1770.07 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 9.07 8.39 8.17 9/199 3175 /proc/meminfo: memFree=29086720/32770688 swapFree=66919992/67108860 [pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=2007 cores=0-7 /proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 807047 0 0 0 200581 119 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 /proc/3151/statm: 224223 127418 904 493 0 217528 0 [pid=3151/tid=3154] ppid=3148 vsize=896892 memory=1398722017469774279 CPUtime=250.02 cores=0-7 /proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 88796 0 0 0 24989 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3155] ppid=3148 vsize=896892 memory=4872558044660077418 CPUtime=251.26 cores=0-7 /proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 87654 0 0 0 25117 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3156] ppid=3148 vsize=896892 memory=28452 CPUtime=251.01 cores=0-7 /proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 88001 0 0 0 25086 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035270 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3157] ppid=3148 vsize=896892 memory=2120 CPUtime=251.28 cores=0-7 /proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 91687 0 0 0 25117 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3158] ppid=3148 vsize=896892 memory=496 CPUtime=250.94 cores=0-7 /proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 88509 0 0 0 25077 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5148737 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3159] ppid=3148 vsize=896892 memory=1560 CPUtime=251.24 cores=0-7 /proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 97207 0 0 0 25112 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3160] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=249.36 cores=0-7 /proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 104026 0 0 0 24919 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 [pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=251.25 cores=0-7 /proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 90054 0 0 0 25113 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5017588 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0 Current children cumulated CPU time: 2007 s Current children cumulated vsize: 896892 KiB Current children cumulated memory: 509672 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.051 s] # the end of solver process 3151 was just reported to runsolver # cumulated CPU time of all completed processes: user=2005.93 s, system=1.22217 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.051 CPU time (s): 2007.15 CPU user time (s): 2005.93 CPU system time (s): 1.22217 CPU usage (%): 796.325 Max. virtual memory (cumulated for all children) (KiB): 896892 Max. memory (cumulated for all children) (KiB): 509672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2005.93 system time used= 1.22217 maximum resident set size= 509904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 807161 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= 33533 involuntary context switches= 17330 # summary of solver processes directly reported to runsolver: # pid: 3151 # total CPU time (s): 2007.15 # total CPU user time (s): 2005.93 # total CPU system time (s): 1.22217 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.37322 second user time and 2.41465 second system time The end
Begin job on node120 at 2011-12-17 13:01:02 IDJOB=4398719 IDBENCH=126803 IDSOLVER=2852 FILE ID=node120/4398719-1568608840 RUNJOBID= node120-1324111741-488 PBS_JOBID= 21703407 Free space on /tmp= 61656 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398719-1568608840/watcher-4398719-1568608840 -o /tmp/evaluation-result-4398719-1568608840/solver-4398719-1568608840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=709505549 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29592636 kB MemAvailable: 31823128 kB Buffers: 162752 kB Cached: 2372116 kB SwapCached: 77548 kB Active: 1344912 kB Inactive: 1274052 kB Active(anon): 4880 kB Inactive(anon): 128860 kB Active(file): 1340032 kB Inactive(file): 1145192 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 114356 kB Mapped: 51980 kB Shmem: 41008 kB Slab: 150964 kB SReclaimable: 122208 kB SUnreclaim: 28756 kB KernelStack: 3360 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 516428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61652 MiB End job on node120 at 2011-12-17 13:05:14