| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 36.8824 | 4.71126 |
| Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-064.xml |
| MD5SUM | 019f4b77ddc0f15b2fea5bd490d99eee |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 5.1842 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 128 |
| Number of constraints | 72 |
| Number of domains | 2 |
| Minimum domain size | 64 |
| Maximum domain size | 4096 |
| Distribution of domain sizes | [{"size":64,"count":64},{"size":4096,"count":64}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":64},{"degree":4,"count":63},{"degree":5,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 64 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":64},{"arity":32,"count":6},{"arity":64,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 65 |
| Distribution of constraint types | [{"type":"intension","count":65},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -model -nbcores=8 HOME/instance-4397979-1568599490.xml 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.05 s 0.00/0.07 c | 0.00/0.07 c | Variables: 128 0.00/0.07 c | Domain Sizes: 64..4096 0.00/0.07 c | 0.00/0.07 c | Constraints: 132 0.00/0.07 c | Arity: 1..64 -- Unary: 1 -- Binary: 126 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | (X - Y < k): 62 0.00/0.07 c | All Different: 1 0.00/0.07 c | Intension: 64 0.00/0.07 c | Sum: 4 0.00/0.07 c | Unary: 1 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c Parallel mode: Portfolio 0.00/0.07 c [pFactory][Group N°0] created (threads:8). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.07 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.07 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.07 c [pFactory][Group N°0] task 7 launched on thread 0. 0.00/0.07 c [pFactory][Group N°0] task 6 launched on thread 2. 0.00/0.07 c [pFactory][Group N°0] task 5 launched on thread 1. 0.00/0.07 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.07 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.07 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.07 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.07 c [pFactory][Group N°0] task 0 launched on thread 5. 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c root propagations : 6082 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.07 c c 0 0 1 1 497 4976083 6083 65 65 0 0 0 0 00 0 0 0.00/0.07 0.00/0.08 c 0 3 504 6085 65 0 0 0 0 0.00/0.08 c 0 1 497 6083 65 0 0 0 0 0.00/0.09 c 0 2 499 6085 c 66 0 02 499 6085 0 0 066 0 0.00/0.09 0 0 0 0.00/0.09 c 0 1 499 6084 66 0 0 0 0 0.00/0.09 c 0 3 501 6087 67 0 0 0 0 0.00/0.09 c 0 3 501 6087 67 0 0 0 0 0.00/0.09 c 0 4 508 6088 67 0 0 0 0 0.00/0.09 c 0 2 501 6086 67 0 0 0 0 0.00/0.09 c 0 2 501 6086 67 0 0 0 0 0.00/0.09 c 0 5 510 6090 67 0 0 0 0 0.00/0.09 c 0 3 503 6088 67 0 0 0 0 0.00/0.09 c 0 3 503 6088 67 0 0 0 0 0.00/0.09 c 0 6 514 6093 68 0 0 0 0 0.00/0.09 c 0 4 507 6091 68 0 0 0 0 0.00/0.09 c 0 4 507 6091 68 0 0 0 0 0.00/0.09 c 0 9 521 6096 68 0 0 0 0 0.00/0.09 c 0 10 525 6099 68 0 0 0 0 0.00/0.09 c 0 11 529 6102 69 0 0 0 0 0.00/0.09 c 0 12 533 6105 69 0 0 0 0 0.00/0.09 c 0 13 537 6108 69 0 0 0 0 0.00/0.09 c 0 14 541 6111 69 0 0 0 0 0.00/0.09 c 0 15 550 6115 69 0 0 0 0 0.00/0.09 c 0 16 554 6118 69 0 0 0 0 0.00/0.09 c 0 17 558 6121 69 0 0 0 0 0.00/0.09 c 0 18 562 6124 69 0 0 0 0 0.00/0.10 c 0 19 566 6127 69 0 0 0 0 0.00/0.10 c 0 20 568 6129 69 0 0 0 0 0.00/0.10 c 0 21 571 6132 69 0 0 0 0 0.00/0.10 c 0 22 574 6135 69 0 0 0 0 0.36/0.11 c 0 2 669 43483 65 0 0 0 0 0.36/0.11 c 0 3 680 43546 69 0 0 0 0 0.36/0.11 c 0 4 685 43550 69 0 0 0 0 0.36/0.13 c 0 6 857 80939 69 0 0 0 0 0.36/0.14 c 32 36 819 7314 69 0 1 1 0 0.36/0.14 c 0 7 890 81016 69 0 0 0 0 0.36/0.14 c 33 37 827 7352 69 0 1 1 0 0.36/0.14 c 0 8 894 81019 69 0 0 0 0 0.36/0.14 c 0 9 899 81023 69 0 0 0 0 0.36/0.14 c 0 10 901 81025 69 0 0 0 0 0.36/0.14 c 0 11 903 81027 69 0 0 0 0 0.36/0.14 c 0 12 905 81029 69 0 0 0 0 0.36/0.14 c 0 13 907 81031 69 0 0 0 0 0.36/0.16 c 0 15 1079 118408 69 0 0 0 0 0.36/0.17 c 0 16 1084 118464 69 0 0 0 0 0.36/0.17 c 0 17 1086 118466 69 0 0 0 0 0.36/0.17 c 0 18 1090 118469 69 0 0 0 0 0.36/0.18 c 64 68 1073 8508 69 0 1 1 0 0.36/0.20 c 65 69 1081 8545 69 0 1 1 0 0.36/0.20 c 66 70 1089 8582 69 0 1 1 0 0.36/0.20 c 67 71 1097 8620 69 0 1 1 0 0.36/0.20 c 0 20 1262 155846 69 0 0 0 0 0.36/0.20 c 0 21 1267 155901 69 0 0 0 0 0.36/0.20 c 0 22 1272 155905 69 0 0 0 0 0.36/0.20 c 0 23 1276 155908 69 0 0 0 0 0.36/0.20 c 0 24 1278 155910 69 0 0 0 0 0.36/0.20 c 0 25 1280 155912 69 0 0 0 0 0.36/0.21 c 0 26 1282 155914 69 0 0 0 0 0.36/0.21 c 0 27 1284 155916 69 0 0 0 0 0.36/0.21 c 0 28 1286 155918 69 0 0 0 0 1.22/0.22 c 101 101 1279 9854 69 0 1 1 0 1.22/0.23 c 0 30 1458 193295 69 0 0 0 0 1.22/0.23 c 0 31 1490 193407 69 0 0 0 0 1.22/0.25 c 101 101 1541 9965 69 0 1 1 0 1.22/0.26 c 0 33 1662 230784 69 0 0 0 0 1.22/0.26 c 0 34 1694 230867 69 0 0 0 0 1.22/0.26 c 0 35 1699 230871 69 0 0 0 0 1.22/0.26 c 0 36 1703 230874 69 0 0 0 0 1.22/0.26 c 0 37 1707 230877 69 0 0 0 0 1.22/0.26 c 0 38 1709 230879 69 0 0 0 0 1.22/0.26 c 0 39 1713 230882 69 0 0 0 0 1.22/0.26 c 0 40 1715 230884 69 0 0 0 0 1.22/0.26 c 0 41 1717 230886 69 0 0 0 0 1.22/0.26 c 0 42 1719 230888 69 0 0 0 0 1.22/0.26 c 0 43 1721 230890 69 0 0 0 0 1.22/0.29 c 0 45 1893 268267 69 0 0 0 0 1.22/0.30 c 0 46 1898 268323 69 0 0 0 0 1.22/0.30 c 0 47 1903 268327 69 0 0 0 0 1.22/0.30 c 0 48 1905 268329 69 0 0 0 0 1.22/0.30 c 0 49 1907 268331 69 0 0 0 0 1.22/0.30 c 0 50 1909 268333 69 0 0 0 0 1.22/0.30 c 128 132 1767 10979 69 0 1 1 0 1.22/0.30 c 129 133 1775 11017 69 0 1 1 0 1.22/0.30 c 130 134 1783 11054 69 0 1 1 0 1.22/0.30 c 131 135 1791 11091 69 0 1 1 0 1.22/0.31 c 132 136 1799 11129 69 0 1 1 0 1.22/0.31 c 133 137 1807 11166 69 0 1 1 0 1.22/0.31 c 134 138 1815 11203 69 0 1 1 0 1.22/0.31 c 135 139 1823 11241 69 0 1 1 0 2.01/0.32 c 0 52 2081 305710 69 0 0 0 0 2.01/0.32 c 0 53 2086 305765 69 0 0 0 0 2.01/0.32 c 0 54 2091 305769 69 0 0 0 0 2.01/0.34 c 211 211 2122 13324 69 0 1 1 0 2.01/0.35 c 0 56 2263 343146 69 0 0 0 0 2.01/0.35 c 0 57 2268 343201 69 0 0 0 0 2.01/0.35 c 0 58 2270 343203 69 0 0 0 0 2.01/0.35 c 0 59 2274 343206 69 0 0 0 0 2.01/0.38 c 0 61 2446 380583 69 0 0 0 0 2.01/0.39 c 0 62 2450 380628 69 0 0 0 0 2.01/0.39 c 0 63 2454 380631 69 0 0 0 0 2.01/0.39 c 0 64 2456 380633 69 0 0 0 0 2.01/0.39 c 0 65 2458 380635 69 0 0 0 0 2.01/0.40 c 32 105 3437 242962 69 0 1 71 17 2.01/0.41 c 0 67 2630 418012 69 0 0 0 0 2.01/0.41 c 0 68 2634 418058 69 0 0 0 0 2.01/0.41 c 0 69 2638 418061 69 0 0 0 0 2.80/0.44 c 0 71 2810 455438 69 0 0 0 0 2.80/0.45 c 0 72 2814 455483 69 0 0 0 0 2.80/0.45 c 0 73 2818 455486 69 0 0 0 0 2.80/0.45 c 0 74 2820 455488 69 0 0 0 0 2.80/0.45 c 0 75 2822 455490 69 0 0 0 0 2.80/0.46 c 33 106 3593 309766 69 0 1 1 0 2.80/0.47 c 0 77 2994 492867 69 0 0 0 0 2.80/0.47 c 256 260 2623 15643 69 0 1 1 0 2.80/0.47 c 0 78 3022 492923 69 0 0 0 0 2.80/0.47 c 0 79 3026 492926 69 0 0 0 0 2.80/0.47 c 257 261 2629 15679 69 0 1 1 0 2.80/0.47 c 0 80 3030 492929 69 0 0 0 0 2.80/0.48 c 0 81 3032 492931 69 0 0 0 0 2.80/0.48 c 258 262 2635 15716 69 0 1 1 0 2.80/0.48 c 0 82 3034 492933 69 0 0 0 0 2.80/0.48 c 0 83 3036 492935 69 0 0 0 0 2.80/0.48 c 259 263 2641 15752 69 0 1 1 0 2.80/0.48 c 260 264 2647 15788 69 0 1 1 0 2.80/0.48 c 261 265 2653 15824 69 0 1 1 0 2.80/0.48 c 262 266 2659 15860 69 0 1 1 0 2.80/0.48 c 263 267 2665 15896 69 0 1 1 0 2.80/0.48 c 264 268 2671 15932 69 0 1 1 0 2.80/0.48 c 265 269 2677 15968 69 0 1 1 0 2.80/0.48 c 266 270 2683 16004 69 0 1 1 0 2.80/0.49 c 267 271 2689 16040 69 0 1 1 0 2.80/0.49 c 268 272 2695 16076 69 0 1 1 0 2.80/0.49 c 269 273 2701 16112 69 0 1 1 0 2.80/0.49 c 270 274 2707 16148 69 0 1 1 0 2.80/0.49 c 271 275 2713 16184 69 0 1 1 0 2.80/0.50 c 332 332 2868 16964 69 0 1 1 0 2.80/0.50 c 0 85 3208 530301 69 0 0 0 0 2.80/0.50 c 0 86 3212 530345 69 0 0 0 0 2.80/0.50 c 0 87 3216 530348 69 0 0 0 0 2.80/0.50 c 0 88 3218 530350 69 0 0 0 0 2.80/0.50 c 0 89 3220 530352 69 0 0 0 0 2.80/0.50 c 0 90 3222 530354 69 0 0 0 0 3.59/0.53 c 0 92 3394 567720 69 0 0 0 0 3.59/0.54 c 0 93 3398 567764 69 0 0 0 0 3.59/0.54 c 0 94 3402 567767 69 0 0 0 0 3.59/0.54 c 0 95 3406 567770 69 0 0 0 0 3.59/0.54 c 0 96 3410 567773 69 0 0 0 0 3.59/0.56 c 0 98 3582 605139 69 0 0 0 0 3.59/0.57 c 0 99 3610 605195 69 0 0 0 0 3.59/0.57 c 0 100 3650 605209 69 0 0 0 0 3.59/0.57 c 0 101 3654 605212 69 0 0 0 0 3.59/0.57 c 0 102 3656 605214 69 0 0 0 0 3.59/0.57 c 0 103 3658 605216 69 0 0 0 0 3.59/0.58 c 32 91 2907 398731 69 0 3 38 21 3.59/0.59 c 0 105 3830 642560 69 0 0 0 0 3.59/0.59 c 0 106 3858 642661 69 0 0 0 0 3.59/0.61 c 0 107 3862 642664 69 0 0 0 0 3.59/0.61 c 0 108 3866 642667 69 0 0 0 0 4.33/0.62 c 0 110 4038 679956 69 0 0 0 0 4.33/0.63 c 0 111 4042 680001 69 0 0 0 0 4.33/0.63 c 0 112 4046 680004 69 0 0 0 0 4.33/0.63 c 0 113 4050 680007 69 0 0 0 0 4.33/0.65 c 33 116 3629 508639 69 0 25 25 12 4.33/0.66 c 0 115 4222 717296 69 0 0 0 0 4.33/0.66 c 0 116 4226 717342 69 0 0 0 0 4.33/0.66 c 0 117 4228 717344 69 0 0 0 0 4.33/0.66 c 0 118 4230 717346 69 0 0 0 0 4.33/0.67 c 465 465 3828 21028 69 0 1 1 0 4.33/0.68 c 0 120 4402 754635 69 0 0 0 0 4.33/0.69 c 0 121 4423 754688 69 0 0 0 0 4.33/0.69 c 0 122 4427 754691 69 0 0 0 0 4.33/0.69 c 0 123 4431 754694 69 0 0 0 0 4.33/0.69 c 0 124 4433 754696 69 0 0 0 0 4.33/0.69 c 0 125 4435 754698 69 0 0 0 0 5.05/0.72 c 0 127 4607 791987 69 0 0 0 0 5.05/0.73 c 0 128 4611 792033 69 0 0 0 0 5.05/0.73 c 0 129 4615 792036 69 0 0 0 0 5.05/0.73 c 0 130 4619 792039 69 0 0 0 0 5.05/0.75 c 0 132 4791 829328 69 0 0 0 0 5.05/0.76 c 0 133 4795 829373 69 0 0 0 0 5.05/0.76 c 0 134 4799 829376 69 0 0 0 0 5.05/0.76 c 0 135 4803 829379 69 0 0 0 0 5.05/0.76 c 0 136 4803 829380 69 0 0 0 0 5.05/0.76 c 0 137 4805 829382 69 0 0 0 0 5.05/0.76 c 0 138 4807 829384 69 0 0 0 0 5.05/0.78 c 0 140 4997 866681 69 0 0 0 0 5.05/0.79 c 0 141 5018 866750 69 0 0 0 0 5.05/0.79 c 0 142 5022 866753 69 0 0 0 0 5.05/0.79 c 0 143 5042 866763 69 0 0 0 0 5.05/0.79 c 0 144 5044 866765 69 0 0 0 0 5.05/0.79 c 0 145 5046 866767 69 0 0 0 0 5.85/0.80 c 512 516 4441 24766 69 0 1 1 0 5.85/0.80 c 513 517 4447 24796 69 0 1 1 0 5.85/0.80 c 514 518 4453 24826 69 0 1 1 0 5.85/0.80 c 515 519 4477 24863 69 0 1 1 0 5.85/0.81 c 516 520 4483 24892 69 0 1 1 0 5.85/0.81 c 517 521 4489 24921 69 0 1 1 0 5.85/0.81 c 518 522 4495 24950 69 0 1 1 0 5.85/0.81 c 519 523 4501 24979 69 0 1 1 0 5.85/0.81 c 520 524 4507 25008 69 0 1 1 0 5.85/0.82 c 521 525 4513 25037 69 0 1 1 0 5.85/0.82 c 0 147 5218 904056 69 0 0 0 0 5.85/0.82 c 522 526 4519 25066 69 0 1 1 0 5.85/0.82 c 0 148 5239 904109 69 0 0 0 0 5.85/0.82 c 523 527 4525 25095 69 0 1 1 0 5.85/0.82 c 0 149 5243 904112 69 0 0 0 0 5.85/0.82 c 524 528 4531 25124 69 0 1 1 0 5.85/0.82 c 525 529 4537 25153 69 0 1 1 0 5.85/0.82 c 526 530 4543 25182 69 0 1 1 0 5.85/0.82 c 527 531 4549 25211 69 0 1 1 0 5.85/0.82 c 528 532 4555 25240 69 0 1 1 0 5.85/0.82 c 529 533 4561 25269 69 0 1 1 0 5.85/0.83 c 530 534 4567 25298 69 0 1 1 0 5.85/0.83 c 531 535 4573 25327 69 0 1 1 0 5.85/0.83 c 532 536 4597 25363 69 0 1 1 0 5.85/0.83 c 533 537 4603 25391 69 0 1 1 0 5.85/0.83 c 534 538 4609 25419 69 0 1 1 0 5.85/0.83 c 535 539 4615 25447 69 0 1 1 0 5.85/0.83 c 536 540 4621 25475 69 0 1 1 0 5.85/0.83 c 537 541 4627 25503 69 0 1 1 0 5.85/0.83 c 538 542 4633 25531 69 0 1 1 0 5.85/0.84 c 539 543 4639 25559 69 0 1 1 0 5.85/0.84 c 540 544 4645 25587 69 0 1 1 0 5.85/0.84 c 541 545 4651 25615 69 0 1 1 0 5.85/0.84 c 542 546 4657 25644 69 0 1 1 0 5.85/0.84 c 543 547 4663 25672 69 0 1 1 0 5.85/0.84 c 0 151 5415 941401 69 0 0 0 0 5.85/0.84 c 0 152 5436 941455 69 0 0 0 0 5.85/0.84 c 0 153 5440 941458 69 0 0 0 0 5.85/0.85 c 0 154 5442 941460 69 0 0 0 0 5.85/0.85 c 0 155 5444 941462 69 0 0 0 0 5.85/0.85 c 611 611 4834 25469 69 0 1 1 0 5.85/0.87 c 0 157 5616 978751 69 0 0 0 0 5.85/0.88 c 0 158 5637 978826 69 0 0 0 0 5.85/0.88 c 0 159 5641 978829 69 0 0 0 0 5.85/0.88 c 0 160 5643 978831 69 0 0 0 0 5.85/0.90 c 0 162 5817 1016121 69 0 0 0 0 6.72/0.91 c 0 163 5838 1016185 70 0 0 0 0 6.72/0.91 c 0 164 5842 1016188 70 0 0 0 0 6.72/0.91 c 0 165 5847 1016192 70 0 0 0 0 6.72/0.93 c 0 167 6019 1053481 70 0 0 0 0 6.72/0.94 c 0 168 6024 1053537 70 0 0 0 0 6.72/0.94 c 0 169 6029 1053541 70 0 0 0 0 6.72/0.94 c 0 170 6031 1053543 70 0 0 0 0 6.72/0.94 c 0 171 6033 1053545 70 0 0 0 0 6.72/0.94 c 0 172 6036 1053548 70 0 0 0 0 6.72/0.96 c 0 174 6208 1090837 70 0 0 0 0 6.72/0.97 c 0 175 6213 1090895 70 0 0 0 0 6.72/0.97 c 0 176 6215 1090897 70 0 0 0 0 6.72/0.97 c 0 177 6218 1090900 70 0 0 0 0 6.72/0.99 c 0 179 6390 1128189 70 0 0 0 0 6.72/1.00 c 0 180 6395 1128247 70 0 0 0 0 6.72/1.00 c 0 181 6400 1128251 70 0 0 0 0 7.51/1.02 c 211 308 5176 1381748 69 0 1 62 23 7.51/1.02 c 101 181 3249 1021239 70 0 1 69 10 7.51/1.02 c 0 183 6574 1165541 70 0 0 0 0 7.51/1.03 c 0 184 6580 1165598 71 0 0 0 0 7.51/1.03 c 0 185 6586 1165603 71 0 0 0 0 7.51/1.03 c 0 186 6588 1165605 71 0 0 0 0 7.51/1.03 c 0 187 6592 1165609 71 0 0 0 0 7.51/1.03 c 0 188 6594 1165611 71 0 0 0 0 7.51/1.04 c 771 771 5891 30367 71 0 1 1 0 7.51/1.05 c 0 190 6766 1202900 71 0 0 0 0 7.51/1.06 c 0 191 6771 1202957 71 0 0 0 0 7.51/1.06 c 0 192 6776 1202961 71 0 0 0 0 7.51/1.09 c 0 194 6948 1240250 71 0 0 0 0 7.51/1.10 c 0 195 6953 1240312 71 0 0 0 0 7.51/1.10 c 0 196 6958 1240319 71 0 0 0 0 8.32/1.12 c 0 198 7132 1277609 71 0 0 0 0 8.32/1.13 c 0 199 7137 1277667 71 0 0 0 0 8.32/1.13 c 0 200 7141 1277670 71 0 0 0 0 8.32/1.13 c 0 201 7146 1277674 71 0 0 0 0 8.32/1.15 c 0 203 7320 1314964 71 0 0 0 0 8.32/1.16 c 0 204 7325 1315021 71 0 0 0 0 8.32/1.16 c 0 205 7330 1315025 71 0 0 0 0 8.32/1.16 c 0 206 7332 1315027 71 0 0 0 0 8.32/1.16 c 0 207 7335 1315030 71 0 0 0 0 8.32/1.16 c 0 208 7337 1315032 71 0 0 0 0 8.32/1.16 c 32 115 4437 1040564 69 0 1 28 17 8.32/1.17 c 33 116 4606 1055461 71 0 1 1 0 8.32/1.18 c 64 255 7592 992278 69 0 1 56 22 8.32/1.18 c 0 210 7509 1352321 71 0 0 0 0 8.32/1.19 c 0 211 7537 1352389 71 0 0 0 0 8.32/1.19 c 0 212 7541 1352392 71 0 0 0 0 8.32/1.19 c 0 213 7545 1352395 71 0 0 0 0 8.32/1.19 c 0 214 7549 1352398 71 0 0 0 0 8.32/1.19 c 0 215 7551 1352400 71 0 0 0 0 8.32/1.19 c 0 216 7553 1352402 71 0 0 0 0 8.32/1.19 c 0 217 7555 1352404 71 0 0 0 0 8.32/1.19 c 0 218 7559 1352407 71 0 0 0 0 8.32/1.19 c 0 219 7561 1352409 71 0 0 0 0 8.32/1.19 c 0 220 7563 1352411 71 0 0 0 0 8.32/1.19 c 0 221 7565 1352413 71 0 0 0 0 8.32/1.19 c 0 222 7567 1352415 71 0 0 0 0 8.32/1.19 c 0 223 7569 1352417 71 0 0 0 0 9.04/1.22 c 0 225 7741 1389706 71 0 0 0 0 9.04/1.22 c 211 291 4235 1023975 71 0 1 1 0 9.04/1.23 c 0 226 7769 1389785 71 0 0 0 0 9.04/1.23 c 0 227 7774 1389789 71 0 0 0 0 9.04/1.23 c 0 228 7776 1389791 71 0 0 0 0 9.04/1.23 c 0 229 7778 1389793 71 0 0 0 0 9.04/1.23 c 0 230 7780 1389795 71 0 0 0 0 9.04/1.23 c 0 231 7782 1389797 71 0 0 0 0 9.04/1.23 c 65 256 7723 1034834 71 0 1 1 0 9.04/1.25 c 0 233 7954 1427086 71 0 0 0 0 9.04/1.26 c 0 234 7965 1427145 71 0 0 0 0 9.04/1.26 c 0 235 7970 1427149 71 0 0 0 0 9.04/1.26 c 0 236 7972 1427151 71 0 0 0 0 9.04/1.26 c 0 237 7974 1427153 71 0 0 0 0 9.04/1.26 c 0 238 7978 1427156 71 0 0 0 0 9.04/1.26 c 947 947 7077 35596 71 0 1 1 0 9.04/1.28 c 0 240 8143 1464443 71 0 0 0 0 9.04/1.29 c 0 241 8148 1464500 71 0 0 0 0 9.04/1.29 c 0 242 8153 1464505 71 0 0 0 0 9.04/1.29 c 66 257 7842 1076291 71 0 1 1 0 9.87/1.30 c 67 258 7934 1081119 71 0 1 1 0 9.87/1.31 c 0 244 8318 1501792 71 0 0 0 0 9.87/1.32 c 0 245 8329 1501856 71 0 0 0 0 9.87/1.32 c 0 246 8337 1501860 71 0 0 0 0 9.87/1.32 c 0 247 8340 1501863 71 0 0 0 0 9.87/1.32 c 1000 1001 7437 37059 71 0 1 1 0 9.87/1.32 c 1000 1002 7439 37061 71 0 0 0 0 9.87/1.32 c 1000 1003 7441 37063 71 0 0 0 0 9.87/1.34 c 0 249 8505 1539150 71 0 0 0 0 9.87/1.35 c 0 250 8516 1539209 71 0 0 0 0 9.87/1.35 c 0 251 8518 1539211 71 0 0 0 0 9.87/1.35 c 0 252 8521 1539214 71 0 0 0 0 9.87/1.35 c 0 253 8523 1539216 71 0 0 0 0 9.87/1.37 c 0 255 8688 1576503 71 0 0 0 0 9.87/1.38 c 0 256 8699 1576562 71 0 0 0 0 9.87/1.38 c 0 257 8703 1576565 71 0 0 0 0 9.87/1.38 c 0 258 8707 1576568 71 0 0 0 0 9.87/1.38 c 0 259 8712 1576572 71 0 0 0 0 10.65/1.40 c 0 261 8877 1613859 71 0 0 0 0 10.65/1.41 c 0 262 8882 1613916 71 0 0 0 0 10.65/1.41 c 0 263 8886 1613919 71 0 0 0 0 10.65/1.41 c 0 264 8890 1613922 71 0 0 0 0 10.65/1.41 c 0 265 8895 1613926 71 0 0 0 0 10.65/1.43 c 332 412 5245 1026958 71 0 1 1 0 10.65/1.43 c 0 267 9060 1651213 71 0 0 0 0 10.65/1.44 c 0 268 9065 1651271 71 0 0 0 0 10.65/1.44 c 0 269 9070 1651275 71 0 0 0 0 10.65/1.46 c 0 271 9235 1688562 71 0 0 0 0 10.65/1.47 c 0 272 9240 1688620 71 0 0 0 0 10.65/1.47 c 0 273 9245 1688624 71 0 0 0 0 10.65/1.47 c 0 274 9247 1688626 71 0 0 0 0 10.65/1.48 c 1140 1143 8324 40901 71 0 1 1 0 10.65/1.49 c 0 276 9412 1725913 71 0 0 0 0 11.44/1.50 c 0 277 9417 1725971 71 0 0 0 0 11.44/1.50 c 0 278 9422 1725975 71 0 0 0 0 11.44/1.50 c 0 279 9424 1725977 71 0 0 0 0 11.44/1.50 c 0 280 9428 1725980 71 0 0 0 0 11.44/1.52 c 0 282 9593 1763267 71 0 0 0 0 11.44/1.53 c 0 283 9598 1763325 71 0 0 0 0 11.44/1.53 c 0 284 9603 1763329 71 0 0 0 0 11.44/1.53 c 0 285 9607 1763332 71 0 0 0 0 11.44/1.53 c 0 286 9611 1763335 71 0 0 0 0 11.44/1.53 c 0 287 9613 1763337 71 0 0 0 0 11.44/1.53 c 0 288 9617 1763340 71 0 0 0 0 11.44/1.53 c 0 289 9619 1763342 71 0 0 0 0 11.44/1.53 c 0 290 9621 1763344 71 0 0 0 0 11.44/1.53 c 0 291 9623 1763346 71 0 0 0 0 11.44/1.53 c 0 292 9625 1763348 71 0 0 0 0 11.44/1.53 c 0 293 9627 1763350 71 0 0 0 0 11.44/1.56 c 0 295 9792 1800637 71 0 0 0 0 11.44/1.57 c 0 296 9797 1800694 71 0 0 0 0 11.44/1.57 c 0 297 9802 1800698 71 0 0 0 0 11.44/1.57 c 0 298 9804 1800700 71 0 0 0 0 11.44/1.57 c 0 299 9806 1800702 71 0 0 0 0 11.44/1.57 c 0 300 9810 1800705 71 0 0 0 0 11.44/1.58 c 1000 1005 8389 36927 71 0 1 1 0 11.44/1.59 c 0 302 9975 1837992 71 0 0 0 0 12.24/1.60 c 0 303 9980 1838047 71 0 0 0 0 12.24/1.60 c 0 304 9983 1838050 71 0 0 0 0 12.24/1.60 c 0 305 9985 1838052 71 0 0 0 0 12.24/1.61 c 1024 1029 8557 37495 71 0 1 1 0 12.24/1.63 c 1025 1030 8565 37519 71 0 1 1 0 12.24/1.63 c 1026 1031 8573 37544 71 0 1 1 0 12.24/1.63 c 0 307 10150 1875339 71 0 0 0 0 12.24/1.63 c 1027 1032 8581 37568 71 0 1 1 0 12.24/1.63 c 0 308 10155 1875395 71 0 0 0 0 12.24/1.63 c 0 309 10160 1875399 71 0 0 0 0 12.24/1.63 c 0 310 10162 1875401 71 0 0 0 0 12.24/1.63 c 1028 1033 8589 37593 71 0 1 1 0 12.24/1.63 c 0 311 10165 1875404 71 0 0 0 0 12.24/1.63 c 1029 1034 8597 37617 71 0 1 1 0 12.24/1.63 c 1030 1035 8605 37642 71 0 1 1 0 12.24/1.63 c 1031 1036 8613 37666 71 0 1 1 0 12.24/1.64 c 1032 1037 8621 37691 71 0 1 1 0 12.24/1.64 c 1033 1038 8629 37716 71 0 1 1 0 12.24/1.64 c 1034 1039 8637 37740 71 0 1 1 0 12.24/1.64 c 1035 1040 8645 37765 71 0 1 1 0 12.24/1.64 c 1036 1041 8653 37789 71 0 1 1 0 12.24/1.64 c 1037 1042 8661 37814 71 0 1 1 0 12.24/1.65 c 1038 1043 8667 37837 71 0 1 1 0 12.24/1.65 c 1039 1044 8675 37861 71 0 1 1 0 12.24/1.65 c 1040 1045 8683 37885 71 0 1 1 0 12.24/1.65 c 1041 1046 8691 37910 71 0 1 1 0 12.24/1.65 c 1042 1047 8699 37934 71 0 1 1 0 12.24/1.65 c 1043 1048 8707 37958 71 0 1 1 0 12.24/1.65 c 1044 1049 8715 37983 71 0 1 1 0 12.24/1.65 c 0 313 10330 1912691 71 0 0 0 0 12.24/1.65 c 1045 1050 8723 38007 71 0 1 1 0 12.24/1.66 c 0 314 10335 1912749 71 0 0 0 0 12.24/1.66 c 1046 1051 8731 38031 71 0 1 1 0 12.24/1.66 c 0 315 10339 1912752 71 0 0 0 0 12.24/1.66 c 0 316 10343 1912755 71 0 0 0 0 12.24/1.66 c 1047 1052 8739 38056 71 0 1 1 0 12.24/1.66 c 0 317 10347 1912758 71 0 0 0 0 12.24/1.66 c 0 318 10349 1912760 71 0 0 0 0 12.24/1.66 c 0 319 10351 1912762 71 0 0 0 0 12.24/1.66 c 0 320 10353 1912764 71 0 0 0 0 12.24/1.66 c 1048 1053 8747 38080 71 0 1 1 0 12.24/1.66 c 0 321 10357 1912767 71 0 0 0 0 12.24/1.66 c 1049 1054 8755 38105 71 0 1 1 0 12.24/1.66 c 465 545 6295 1030209 71 0 1 1 0 12.24/1.66 c 1050 1055 8763 38129 71 0 1 1 0 12.24/1.66 c 1051 1056 8771 38154 71 0 1 1 0 12.24/1.66 c 1052 1057 8779 38179 71 0 1 1 0 12.24/1.67 c 1053 1058 8787 38203 71 0 1 1 0 12.24/1.67 c 1054 1059 8795 38228 71 0 1 1 0 12.24/1.67 c 1055 1060 8803 38252 71 0 1 1 0 12.24/1.67 c 1056 1061 8811 38277 71 0 1 1 0 12.24/1.67 c 1057 1062 8819 38301 71 0 1 1 0 12.24/1.67 c 1058 1063 8825 38324 71 0 1 1 0 12.24/1.67 c 1059 1064 8833 38348 71 0 1 1 0 12.24/1.68 c 1060 1065 8841 38373 71 0 1 1 0 12.24/1.68 c 1061 1066 8849 38397 71 0 1 1 0 12.24/1.68 c 64 242 7556 1769450 71 0 1 49 26 12.24/1.68 c 1062 1067 8857 38421 71 0 1 1 0 12.24/1.68 c 1063 1068 8863 38444 71 0 1 1 0 12.24/1.68 c 1064 1069 8869 38467 71 0 1 1 0 12.24/1.68 c 1065 1070 8875 38490 71 0 1 1 0 12.24/1.68 c 1066 1071 8881 38513 71 0 1 1 0 12.24/1.68 c 0 323 10522 1950054 71 0 0 0 0 12.24/1.68 c 0 324 10527 1950108 71 0 0 0 0 12.24/1.68 c 1067 1072 8887 38536 71 0 1 1 0 12.24/1.68 c 0 325 10530 1950111 71 0 0 0 0 12.24/1.69 c 1068 1073 8893 38559 71 0 1 1 0 12.24/1.69 c 1069 1074 8899 38582 71 0 1 1 0 12.24/1.69 c 1070 1075 8905 38605 71 0 1 1 0 12.24/1.69 c 1071 1076 8911 38628 71 0 1 1 0 12.24/1.69 c 1072 1077 8917 38651 71 0 1 1 0 12.24/1.69 c 1073 1078 8923 38674 71 0 1 1 0 12.24/1.69 c 1074 1079 8929 38697 71 0 1 1 0 12.24/1.69 c 1075 1080 8935 38720 71 0 1 1 0 13.04/1.70 c 1076 1081 8941 38743 71 0 1 1 0 13.04/1.70 c 1077 1082 8947 38766 71 0 1 1 0 13.04/1.70 c 1078 1083 8955 38790 71 0 1 1 0 13.04/1.70 c 1079 1084 8963 38815 71 0 1 1 0 13.04/1.70 c 1080 1085 8971 38839 71 0 1 1 0 13.04/1.70 c 1081 1086 8979 38863 71 0 1 1 0 13.04/1.70 c 1082 1087 8987 38888 71 0 1 1 0 13.04/1.72 c 1083 1088 8995 38912 71 0 1 1 0 13.04/1.72 c 1084 1089 9003 38937 71 0 1 1 0 13.04/1.72 c 1085 1090 9011 38961 71 0 1 1 0 13.04/1.72 c 1086 1091 9019 38986 71 0 1 1 0 13.04/1.72 c 0 327 10695 1987398 71 0 0 0 0 13.04/1.72 c 0 328 10700 1987451 71 0 0 0 0 13.04/1.72 c 1087 1092 9027 39010 71 0 1 1 0 13.04/1.72 c 0 329 10705 1987455 71 0 0 0 0 13.04/1.72 c 65 269 7919 1851248 71 0 27 27 13 13.04/1.73 c 66 274 8186 1864256 71 0 5 5 2 13.04/1.74 c 0 331 10872 2024743 71 0 0 0 0 13.04/1.75 c 0 332 10877 2024800 71 0 0 0 0 13.04/1.75 c 0 333 10882 2024804 71 0 0 0 0 13.04/1.75 c 0 334 10884 2024806 71 0 0 0 0 13.04/1.75 c 0 335 10887 2024809 71 0 0 0 0 13.04/1.75 c 0 336 10889 2024811 71 0 0 0 0 13.04/1.76 c 1352 1355 9823 72436 71 0 1 1 0 13.04/1.77 c 67 295 8494 1909786 71 0 21 21 10 13.04/1.77 c 0 338 11054 2062098 71 0 0 0 0 13.04/1.77 c 0 339 11059 2062155 71 0 0 0 0 13.04/1.78 c 0 340 11061 2062157 71 0 0 0 0 13.04/1.78 c 0 341 11066 2062161 71 0 0 0 0 13.84/1.80 c 0 343 11231 2099448 71 0 0 0 0 13.84/1.81 c 0 344 11236 2099495 71 0 0 0 0 13.84/1.81 c 0 345 11239 2099498 71 0 0 0 0 13.84/1.81 c 0 346 11241 2099500 71 0 0 0 0 13.84/1.83 c 0 348 11406 2136787 71 0 0 0 0 13.84/1.83 c 0 349 11409 2136831 71 0 0 0 0 13.84/1.84 c 0 350 11411 2136833 71 0 0 0 0 13.84/1.84 c 0 351 11413 2136835 71 0 0 0 0 13.84/1.86 c 0 353 11578 2174122 71 0 0 0 0 13.84/1.88 c 611 691 7295 1033667 71 0 1 1 0 13.84/1.89 c 0 355 11746 2211453 71 0 0 0 0 14.63/1.90 c 0 356 11749 2211500 71 0 0 0 0 14.63/1.92 c 0 358 11914 2248787 71 0 0 0 0 14.63/1.92 c 0 359 11919 2248835 71 0 0 0 0 14.63/1.92 c 0 360 11923 2248838 71 0 0 0 0 14.63/1.92 c 0 361 11927 2248841 71 0 0 0 0 14.63/1.92 c 0 362 11931 2248844 71 0 0 0 0 14.63/1.92 c 0 363 11933 2248846 71 0 0 0 0 14.63/1.93 c 0 364 11937 2248849 71 0 0 0 0 14.63/1.93 c 0 365 11941 2248852 71 0 0 0 0 14.63/1.93 c 0 366 11943 2248854 71 0 0 0 0 14.63/1.93 c 0 367 11947 2248857 71 0 0 0 0 14.63/1.95 c 0 369 12112 2286144 71 0 0 0 0 14.63/1.96 c 0 370 12117 2286201 71 0 0 0 0 14.63/1.96 c 0 371 12122 2286205 71 0 0 0 0 14.63/1.96 c 0 372 12124 2286207 71 0 0 0 0 14.63/1.96 c 0 373 12127 2286210 71 0 0 0 0 14.63/1.96 c 0 374 12129 2286212 71 0 0 0 0 14.63/1.98 c 0 376 12294 2323499 71 0 0 0 0 14.63/1.99 c 0 377 12299 2323556 71 0 0 0 0 14.63/1.99 c 0 378 12304 2323560 71 0 0 0 0 14.63/1.99 c 0 379 12308 2323563 71 0 0 0 0 14.63/1.99 c 0 380 12312 2323566 71 0 0 0 0 14.63/1.99 c 0 381 12315 2323569 71 0 0 0 0 14.63/1.99 c 0 382 12317 2323571 71 0 0 0 0 15.49/2.02 c 0 384 12482 2360858 71 0 0 0 0 15.49/2.03 c 0 385 12487 2360909 71 0 0 0 0 15.49/2.03 c 0 386 12490 2360912 71 0 0 0 0 15.49/2.03 c 0 387 12492 2360914 71 0 0 0 0 15.49/2.03 c 0 388 12494 2360916 71 0 0 0 0 15.49/2.05 c 0 390 12659 2398203 71 0 0 0 0 15.49/2.05 c 0 391 12662 2398247 71 0 0 0 0 15.49/2.06 c 0 392 12665 2398250 71 0 0 0 0 15.49/2.07 c 0 394 12830 2435537 71 0 0 0 0 15.49/2.09 c 0 395 12833 2435582 71 0 0 0 0 15.49/2.09 c 0 396 12836 2435585 71 0 0 0 0 15.49/2.10 c 0 398 13001 2472872 71 0 0 0 0 16.29/2.11 c 0 399 13004 2472917 71 0 0 0 0 16.29/2.11 c 0 400 13006 2472919 71 0 0 0 0 16.29/2.11 c 0 401 13008 2472921 71 0 0 0 0 16.29/2.11 c 771 851 8361 1037433 71 0 1 1 0 16.29/2.13 c 0 403 13173 2510208 71 0 0 0 0 16.29/2.14 c 0 404 13176 2510252 71 0 0 0 0 16.29/2.14 c 0 405 13179 2510255 71 0 0 0 0 16.29/2.14 c 128 377 11382 1951139 71 0 1 59 34 16.29/2.14 c 129 378 11391 1952621 71 0 1 1 0 16.29/2.14 c 130 379 11398 1952648 72 0 1 1 0 16.29/2.14 c 131 380 11405 1952672 72 0 1 1 0 16.29/2.16 c 132 381 11412 1952696 72 0 1 1 0 16.29/2.16 c 133 382 11419 1952721 72 0 1 1 0 16.29/2.16 c 134 383 11426 1952745 72 0 1 1 0 16.29/2.16 c 135 384 11433 1952769 72 0 1 1 0 16.29/2.16 c 0 407 13344 2547542 71 0 0 0 0 16.29/2.16 c 0 408 13348 2547595 72 0 0 0 0 16.29/2.17 c 0 409 13351 2547598 72 0 0 0 0 16.29/2.19 c 0 411 13516 2584885 72 0 0 0 0 17.02/2.20 c 0 412 13519 2584930 72 0 0 0 0 17.02/2.20 c 0 413 13521 2584932 72 0 0 0 0 17.02/2.20 c 0 414 13523 2584934 72 0 0 0 0 17.02/2.22 c 0 416 13688 2622221 72 0 0 0 0 17.02/2.23 c 0 417 13691 2622267 72 0 0 0 0 17.02/2.25 c 0 419 13856 2659554 72 0 0 0 0 17.02/2.27 c 0 421 14024 2696885 72 0 0 0 0 17.02/2.29 c 0 422 14027 2696931 72 0 0 0 0 17.82/2.30 c 0 424 14192 2734218 72 0 0 0 0 17.82/2.30 c 0 425 14195 2734263 72 0 0 0 0 17.82/2.30 c 0 426 14198 2734266 72 0 0 0 0 17.82/2.33 c 0 428 14363 2771553 72 0 0 0 0 17.82/2.33 c 0 429 14366 2771599 72 0 0 0 0 17.82/2.34 c 947 1027 9423 1041501 72 0 1 1 0 17.82/2.36 c 332 634 16524 5091263 71 0 1 37 28 17.82/2.36 c 0 431 14531 2808886 72 0 0 0 0 17.82/2.36 c 0 432 14534 2808933 72 0 0 0 0 17.82/2.37 c 0 433 14536 2808935 73 0 0 0 0 17.82/2.37 c 0 434 14538 2808937 73 0 0 0 0 17.82/2.37 c 0 435 14541 2808940 73 0 0 0 0 17.82/2.39 c 0 437 14706 2846227 73 0 0 0 0 18.62/2.40 c 0 438 14710 2846273 73 0 0 0 0 18.62/2.40 c 0 439 14713 2846276 73 0 0 0 0 18.62/2.41 c 1000 1081 9745 1042729 73 0 1 1 0 18.62/2.42 c 0 441 14878 2883563 73 0 0 0 0 18.62/2.43 c 0 442 14881 2883608 73 0 0 0 0 18.62/2.45 c 0 444 15046 2920895 73 0 0 0 0 18.62/2.46 c 0 445 15049 2920940 73 0 0 0 0 18.62/2.46 c 0 446 15051 2920942 73 0 0 0 0 18.62/2.46 c 0 447 15053 2920944 73 0 0 0 0 18.62/2.46 c 0 448 15055 2920946 73 0 0 0 0 18.62/2.46 c 0 449 15057 2920948 73 0 0 0 0 18.62/2.48 c 0 451 15222 2958235 73 0 0 0 0 18.62/2.48 c 0 452 15225 2958281 73 0 0 0 0 19.42/2.50 c 0 454 15390 2995568 73 0 0 0 0 19.42/2.53 c 0 456 15558 3032899 73 0 0 0 0 19.42/2.53 c 0 457 15561 3032945 73 0 0 0 0 19.42/2.56 c 0 459 15726 3070232 73 0 0 0 0 19.42/2.56 c 0 460 15729 3070277 73 0 0 0 0 19.42/2.56 c 0 461 15732 3070280 73 0 0 0 0 19.42/2.59 c 1140 1221 10585 1045959 73 0 1 1 0 19.42/2.59 c 0 463 15897 3107567 73 0 0 0 0 20.22/2.60 c 0 464 15900 3107614 73 0 0 0 0 20.22/2.62 c 0 466 16065 3144901 73 0 0 0 0 20.22/2.62 c 0 467 16068 3144947 73 0 0 0 0 20.22/2.65 c 0 469 16233 3182234 73 0 0 0 0 20.22/2.65 c 0 470 16236 3182279 73 0 0 0 0 20.22/2.66 c 0 471 16239 3182282 73 0 0 0 0 20.22/2.68 c 0 473 16404 3219569 73 0 0 0 0 20.22/2.68 c 0 474 16407 3219616 73 0 0 0 0 21.02/2.70 c 0 476 16572 3256903 73 0 0 0 0 21.02/2.71 c 0 477 16575 3256949 73 0 0 0 0 21.02/2.73 c 0 479 16740 3294236 73 0 0 0 0 21.02/2.73 c 0 480 16743 3294283 73 0 0 0 0 21.02/2.76 c 0 482 16908 3331570 73 0 0 0 0 21.02/2.76 c 0 483 16911 3331615 73 0 0 0 0 21.02/2.77 c 0 484 16913 3331617 73 0 0 0 0 21.02/2.78 c 64 187 10050 2966912 71 0 1 27 12 21.02/2.79 c 0 486 17080 3368905 73 0 0 0 0 21.82/2.80 c 0 487 17083 3368951 73 0 0 0 0 21.82/2.80 c 0 488 17086 3368954 73 0 0 0 0 21.82/2.82 c 0 490 17251 3406241 73 0 0 0 0 21.82/2.82 c 0 491 17254 3406286 73 0 0 0 0 21.82/2.83 c 0 492 17256 3406288 73 0 0 0 0 21.82/2.83 c 0 493 17258 3406290 73 0 0 0 0 21.82/2.85 c 0 495 17423 3443577 73 0 0 0 0 21.82/2.85 c 0 496 17426 3443623 73 0 0 0 0 21.82/2.86 c 1352 1433 11857 1050851 73 0 1 1 0 21.82/2.87 c 465 893 19789 7711891 73 0 1 115 98 21.82/2.88 c 0 498 17591 3480910 73 0 0 0 0 21.82/2.89 c 0 499 17596 3480957 74 0 0 0 0 21.82/2.89 c 0 500 17599 3480960 74 0 0 0 0 21.82/2.89 c 0 501 17601 3480962 74 0 0 0 0 22.62/2.91 c 0 503 17766 3518246 74 0 0 0 0 22.62/2.91 c 0 504 17769 3518292 74 0 0 0 0 22.62/2.92 c 2048 2053 14874 61195 74 0 1 1 0 22.62/2.92 c 2049 2054 14880 61218 74 0 1 1 0 22.62/2.92 c 2050 2055 14886 61241 74 0 1 1 0 22.62/2.93 c 2051 2056 14892 61264 74 0 1 1 0 22.62/2.93 c 2052 2057 14898 61287 74 0 1 1 0 22.62/2.93 c 2053 2058 14904 61310 74 0 1 1 0 22.62/2.93 c 2054 2059 14910 61333 74 0 1 1 0 22.62/2.93 c 2055 2060 14916 61356 74 0 1 1 0 22.62/2.93 c 2056 2061 14922 61379 74 0 1 1 0 22.62/2.93 c 2057 2062 14928 61402 74 0 1 1 0 22.62/2.93 c 2058 2063 14934 61425 74 0 1 1 0 22.62/2.93 c 2059 2064 14940 61448 74 0 1 1 0 22.62/2.93 c 0 506 17934 3555576 74 0 0 0 0 22.62/2.93 c 0 507 17937 3555622 74 0 0 0 0 22.62/2.94 c 2060 2065 14946 61471 74 0 1 1 0 22.62/2.94 c 2061 2066 14952 61494 74 0 1 1 0 22.62/2.94 c 2062 2067 14958 61517 74 0 1 1 0 22.62/2.94 c 2063 2068 14964 61540 74 0 1 1 0 22.62/2.94 c 2064 2069 14970 61563 74 0 1 1 0 22.62/2.94 c 2065 2070 14974 61585 74 0 1 1 0 22.62/2.94 c 2066 2071 14980 61608 74 0 1 1 0 22.62/2.94 c 2067 2072 14986 61631 74 0 1 1 0 22.62/2.94 c 2068 2073 14992 61654 74 0 1 1 0 22.62/2.96 c 2069 2074 14998 61677 74 0 1 1 0 22.62/2.96 c 2070 2075 15004 61700 74 0 1 1 0 22.62/2.96 c 2071 2076 15010 61723 74 0 1 1 0 22.62/2.96 c 2072 2077 15016 61746 74 0 1 1 0 22.62/2.96 c 2073 2078 15022 61769 74 0 1 1 0 22.62/2.96 c 2074 2079 15028 61792 74 0 1 1 0 22.62/2.96 c 2075 2080 15034 61815 74 0 1 1 0 22.62/2.96 c 2076 2081 15040 61838 74 0 1 1 0 22.62/2.96 c 2077 2082 15046 61861 74 0 1 1 0 22.62/2.97 c 2078 2083 15052 61884 74 0 1 1 0 22.62/2.97 c 2079 2084 15058 61907 74 0 1 1 0 22.62/2.97 c 2080 2085 15064 61930 74 0 1 1 0 22.62/2.97 c 2081 2086 15070 61953 74 0 1 1 0 22.62/2.97 c 2082 2087 15076 61976 74 0 1 1 0 22.62/2.97 c 0 509 18102 3592906 74 0 0 0 0 22.62/2.97 c 0 510 18105 3592952 74 0 0 0 0 22.62/2.97 c 2083 2088 15082 61999 74 0 1 1 0 22.62/2.97 c 2084 2089 15088 62022 74 0 1 1 0 22.62/2.97 c 2085 2090 15092 62044 74 0 1 1 0 22.62/2.97 c 2086 2091 15098 62067 74 0 1 1 0 22.62/2.97 c 2087 2092 15104 62090 74 0 1 1 0 22.62/2.98 c 2088 2093 15110 62113 74 0 1 1 0 22.62/2.98 c 2089 2094 15116 62136 74 0 1 1 0 22.62/2.98 c 2090 2095 15122 62159 74 0 1 1 0 22.62/2.98 c 2091 2096 15128 62182 74 0 1 1 0 22.62/2.98 c 2092 2097 15134 62205 74 0 1 1 0 22.62/2.98 c 2093 2098 15140 62228 74 0 1 1 0 22.62/2.98 c 2094 2099 15146 62251 74 0 1 1 0 22.62/2.98 c 2095 2100 15152 62274 74 0 1 1 0 22.62/2.99 c 2096 2101 15158 62297 74 0 1 1 0 22.62/2.99 c 2097 2102 15164 62320 74 0 1 1 0 22.62/2.99 c 2098 2103 15170 62343 74 0 1 1 0 22.62/2.99 c 2099 2104 15176 62366 74 0 1 1 0 22.62/2.99 c 2100 2105 15182 62389 74 0 1 1 0 22.62/2.99 c 2101 2106 15186 62411 74 0 1 1 0 22.62/2.99 c 2102 2107 15192 62434 74 0 1 1 0 22.62/2.99 c 2103 2108 15198 62457 74 0 1 1 0 22.62/2.99 c 2104 2109 15204 62480 74 0 1 1 0 22.62/2.99 c 2105 2110 15210 62503 74 0 1 1 0 22.62/2.99 c 0 512 18270 3630236 74 0 0 0 0 22.62/3.00 c 2106 2111 15216 62526 74 0 1 1 0 22.62/3.00 c 0 513 18273 3630283 74 0 0 0 0 22.62/3.00 c 2107 2112 15222 62549 74 0 1 1 0 22.62/3.00 c 256 592 16485 3316325 72 0 1 81 41 22.62/3.00 c 2108 2113 15228 62572 74 0 1 1 0 22.62/3.00 c 2109 2114 15234 62595 74 0 1 1 0 22.62/3.00 c 2110 2115 15240 62618 74 0 1 1 0 22.62/3.00 c 257 593 16495 3317708 74 0 1 1 0 22.62/3.00 c 258 594 16502 3317750 75 0 1 1 0 22.62/3.00 c 2111 2116 15248 62642 75 0 1 1 0 22.62/3.00 c 2112 2117 15256 62666 75 0 1 1 0 22.62/3.00 c 2113 2118 15262 62689 75 0 1 1 0 23.47/3.01 c 2114 2119 15268 62712 75 0 1 1 0 23.47/3.01 c 2115 2120 15274 62735 75 0 1 1 0 23.47/3.01 c 2116 2121 15280 62758 75 0 1 1 0 23.47/3.01 c 2117 2122 15286 62781 75 0 1 1 0 23.47/3.01 c 2118 2123 15292 62804 75 0 1 1 0 23.47/3.01 c 2119 2124 15298 62827 75 0 1 1 0 23.47/3.01 c 259 595 16509 3317788 75 0 1 1 0 23.47/3.01 c 2120 2125 15304 62850 75 0 1 1 0 23.47/3.01 c 260 596 16516 3317840 75 0 1 1 0 23.47/3.01 c 2121 2126 15310 62873 75 0 1 1 0 23.47/3.01 c 261 597 16523 3317878 75 0 1 1 0 23.47/3.02 c 2122 2127 15318 62897 75 0 1 1 0 23.47/3.02 c 262 598 16529 3317915 75 0 1 1 0 23.47/3.02 c 2123 2128 15326 62922 75 0 1 1 0 23.47/3.02 c 263 599 16536 3317953 75 0 1 1 0 23.47/3.02 c 264 600 16543 3317991 75 0 1 1 0 23.47/3.02 c 2124 2129 15334 62946 75 0 1 1 0 23.47/3.02 c 265 601 16550 3318029 75 0 1 1 0 23.47/3.02 c 2125 2130 15342 62970 75 0 1 1 0 23.47/3.02 c 266 602 16554 3318065 75 0 1 1 0 23.47/3.02 c 267 603 16561 3318103 75 0 1 1 0 23.47/3.02 c 2126 2131 15350 62995 75 0 1 1 0 23.47/3.02 c 0 515 18438 3667567 74 0 0 0 0 23.47/3.02 c 268 604 16568 3318141 75 0 1 1 0 23.47/3.02 c 0 516 18443 3667618 75 0 0 0 0 23.47/3.02 c 2127 2132 15358 63019 75 0 1 1 0 23.47/3.02 c 269 605 16572 3318177 75 0 1 1 0 23.47/3.02 c 0 517 18448 3667622 75 0 0 0 0 23.47/3.02 c 2128 2133 15366 63044 75 0 1 1 0 23.47/3.02 c 270 606 16579 3318215 75 0 1 1 0 23.47/3.03 c 271 607 16586 3318253 75 0 1 1 0 23.47/3.03 c 2129 2134 15374 63068 75 0 1 1 0 23.47/3.03 c 2130 2135 15382 63092 75 0 1 1 0 23.47/3.03 c 2131 2136 15390 63116 75 0 1 1 0 23.47/3.03 c 2132 2137 15398 63141 75 0 1 1 0 23.47/3.03 c 2133 2138 15406 63165 75 0 1 1 0 23.47/3.03 c 2134 2139 15414 63189 75 0 1 1 0 23.47/3.03 c 2135 2140 15420 63212 75 0 1 1 0 23.47/3.04 c 2136 2141 15428 63236 75 0 1 1 0 23.47/3.04 c 2137 2142 15436 63261 75 0 1 1 0 23.47/3.04 c 2138 2143 15444 63285 75 0 1 1 0 23.47/3.04 c 2139 2144 15452 63309 75 0 1 1 0 23.47/3.04 c 2140 2145 15460 63334 75 0 1 1 0 23.47/3.04 c 2141 2146 15468 63358 75 0 1 1 0 23.47/3.04 c 65 222 11281 3254819 73 0 35 35 17 23.47/3.04 c 2142 2147 15476 63382 75 0 1 1 0 23.47/3.05 c 2143 2148 15484 63406 75 0 1 1 0 23.47/3.05 c 2144 2149 15492 63431 75 0 1 1 0 23.47/3.05 c 0 519 18615 3704894 75 0 0 0 0 23.47/3.05 c 2145 2150 15500 63455 75 0 1 1 0 23.47/3.05 c 0 520 18620 3704952 75 0 0 0 0 23.47/3.05 c 0 521 18622 3704954 75 0 0 0 0 23.47/3.05 c 2146 2151 15508 63479 75 0 1 1 0 23.47/3.05 c 0 522 18625 3704957 75 0 0 0 0 23.47/3.05 c 2147 2152 15516 63503 75 0 1 1 0 23.47/3.05 c 2148 2153 15524 63528 75 0 1 1 0 23.47/3.07 c 2149 2154 15532 63552 75 0 1 1 0 23.47/3.07 c 2150 2155 15540 63577 75 0 1 1 0 23.47/3.07 c 2151 2156 15548 63601 75 0 1 1 0 23.47/3.07 c 2152 2157 15556 63625 75 0 1 1 0 23.47/3.07 c 2153 2158 15564 63650 75 0 1 1 0 23.47/3.07 c 2154 2159 15572 63674 75 0 1 1 0 23.47/3.07 c 2155 2160 15578 63697 75 0 1 1 0 23.47/3.08 c 2156 2161 15586 63721 75 0 1 1 0 23.47/3.08 c 2157 2162 15592 63744 75 0 1 1 0 23.47/3.08 c 128 508 12221 3614131 71 0 45 85 67 23.47/3.08 c 2158 2163 15598 63767 75 0 1 1 0 23.47/3.08 c 2159 2164 15604 63790 75 0 1 1 0 23.47/3.08 c 2160 2165 15610 63813 75 0 1 1 0 23.47/3.08 c 129 509 12234 3616314 75 0 1 1 0 23.47/3.08 c 2161 2166 15616 63836 75 0 1 1 0 23.47/3.08 c 130 510 12241 3616356 75 0 1 1 0 23.47/3.08 c 2162 2167 15624 63860 75 0 1 1 0 23.47/3.08 c 131 511 12245 3616392 75 0 1 1 0 23.47/3.08 c 132 512 12252 3616430 75 0 1 1 0 23.47/3.08 c 2163 2168 15632 63885 75 0 1 1 0 23.47/3.08 c 133 513 12259 3616468 75 0 1 1 0 23.47/3.08 c 2164 2169 15640 63909 75 0 1 1 0 23.47/3.08 c 134 514 12263 3616504 75 0 1 1 0 23.47/3.08 c 0 524 18790 3742205 75 0 0 0 0 23.47/3.09 c 135 515 12270 3616542 75 0 1 1 0 23.47/3.09 c 0 525 18795 3742259 75 0 0 0 0 23.47/3.09 c 2165 2170 15648 63934 75 0 1 1 0 23.47/3.09 c 0 526 18800 3742263 75 0 0 0 0 23.47/3.09 c 2166 2171 15656 63958 75 0 1 1 0 23.47/3.09 c 2167 2172 15664 63983 75 0 1 1 0 23.47/3.09 c 2168 2173 15672 64007 75 0 1 1 0 23.47/3.09 c 2169 2174 15680 64032 75 0 1 1 0 23.47/3.09 c 2170 2175 15688 64056 75 0 1 1 0 23.47/3.09 c 2171 2176 15696 64081 75 0 1 1 0 23.47/3.10 c 2172 2177 15704 64105 75 0 1 1 0 23.47/3.10 c 2173 2178 15712 64129 75 0 1 1 0 23.47/3.10 c 2174 2179 15720 64154 75 0 1 1 0 23.47/3.10 c 2175 2180 15728 64178 75 0 1 1 0 24.27/3.11 c 0 528 18967 3779492 75 0 0 0 0 24.27/3.12 c 0 529 18972 3779549 75 0 0 0 0 24.27/3.12 c 0 530 18977 3779553 75 0 0 0 0 24.27/3.14 c 0 532 19142 3816757 75 0 0 0 0 24.27/3.15 c 0 533 19147 3816814 75 0 0 0 0 24.27/3.15 c 0 534 19152 3816818 75 0 0 0 0 24.27/3.15 c 0 535 19154 3816820 75 0 0 0 0 24.27/3.15 c 0 536 19157 3816823 75 0 0 0 0 24.27/3.17 c 66 247 12554 3422029 75 0 25 25 12 24.27/3.17 c 0 538 19322 3854002 75 0 0 0 0 24.27/3.18 c 0 539 19327 3854060 75 0 0 0 0 24.27/3.18 c 0 540 19332 3854064 75 0 0 0 0 24.27/3.18 c 67 248 12686 3430988 75 0 1 1 0 25.00/3.20 c 0 542 19497 3891218 75 0 0 0 0 25.00/3.21 c 0 543 19524 3891287 75 0 0 0 0 25.00/3.21 c 0 544 19528 3891290 75 0 0 0 0 25.00/3.21 c 0 545 19532 3891293 75 0 0 0 0 25.00/3.21 c 0 546 19537 3891297 75 0 0 0 0 25.00/3.21 c 1585 1666 13517 1056401 75 0 1 1 0 25.00/3.22 c 256 636 13059 3621082 75 0 1 1 0 25.00/3.24 c 257 637 13065 3621119 75 0 1 1 0 25.00/3.24 c 258 638 13072 3621157 75 0 1 1 0 25.00/3.24 c 259 639 13079 3621195 75 0 1 1 0 25.00/3.24 c 0 548 19702 3928425 75 0 0 0 0 25.00/3.24 c 260 640 13086 3621233 75 0 1 1 0 25.00/3.24 c 0 549 19707 3928482 75 0 0 0 0 25.00/3.24 c 261 641 13090 3621269 75 0 1 1 0 25.00/3.24 c 0 550 19712 3928487 75 0 0 0 0 25.00/3.24 c 262 642 13097 3621307 75 0 1 1 0 25.00/3.24 c 263 643 13104 3621345 75 0 1 1 0 25.00/3.24 c 264 644 13108 3621381 75 0 1 1 0 25.00/3.24 c 265 645 13115 3621419 75 0 1 1 0 25.00/3.25 c 266 646 13121 3621456 75 0 1 1 0 25.00/3.25 c 267 647 13127 3621493 75 0 1 1 0 25.00/3.25 c 268 648 13134 3621531 75 0 1 1 0 25.00/3.25 c 269 649 13141 3621569 75 0 1 1 0 25.00/3.25 c 270 650 13147 3621606 75 0 1 1 0 25.00/3.25 c 271 651 13154 3621644 75 0 1 1 0 25.00/3.26 c 0 552 19877 3965590 75 0 0 0 0 25.00/3.27 c 0 553 19882 3965647 75 0 0 0 0 25.00/3.27 c 0 554 19887 3965651 75 0 0 0 0 25.00/3.27 c 0 555 19889 3965653 75 0 0 0 0 25.00/3.27 c 0 556 19894 3965657 75 0 0 0 0 25.00/3.29 c 0 558 20059 4002734 75 0 0 0 0 25.80/3.30 c 0 559 20064 4002791 75 0 0 0 0 25.80/3.30 c 0 560 20069 4002795 75 0 0 0 0 25.80/3.30 c 0 561 20071 4002797 75 0 0 0 0 25.80/3.30 c 0 562 20073 4002799 75 0 0 0 0 25.80/3.30 c 0 563 20075 4002801 75 0 0 0 0 25.80/3.30 c 0 564 20077 4002803 75 0 0 0 0 25.80/3.32 c 0 566 20242 4039854 75 0 0 0 0 25.80/3.32 c 0 567 20247 4039911 75 0 0 0 0 25.80/3.33 c 0 568 20252 4039915 75 0 0 0 0 25.80/3.33 c 0 569 20254 4039917 75 0 0 0 0 25.80/3.33 c 0 570 20256 4039919 75 0 0 0 0 25.80/3.33 c 0 571 20258 4039921 75 0 0 0 0 25.80/3.35 c 0 573 20425 4076947 75 0 0 0 0 25.80/3.36 c 0 574 20430 4077004 75 0 0 0 0 25.80/3.36 c 0 575 20435 4077008 75 0 0 0 0 25.80/3.36 c 0 576 20437 4077010 75 0 0 0 0 25.80/3.36 c 0 577 20440 4077013 75 0 0 0 0 25.80/3.36 c 0 578 20442 4077015 75 0 0 0 0 25.80/3.38 c 0 580 20607 4114014 75 0 0 0 0 25.80/3.39 c 0 581 20612 4114070 75 0 0 0 0 25.80/3.39 c 0 582 20617 4114074 75 0 0 0 0 25.80/3.39 c 0 583 20622 4114078 75 0 0 0 0 25.80/3.39 c 611 1107 23161 8259453 74 0 1 58 35 25.80/3.39 c 0 584 20624 4114080 75 0 0 0 0 25.80/3.39 c 0 585 20626 4114082 75 0 0 0 0 25.80/3.39 c 0 586 20630 4114085 75 0 0 0 0 25.80/3.39 c 0 587 20632 4114087 75 0 0 0 0 26.60/3.41 c 0 589 20797 4151060 75 0 0 0 0 26.60/3.43 c 0 590 20803 4151122 76 0 0 0 0 26.60/3.43 c 0 591 20807 4151125 76 0 0 0 0 26.60/3.43 c 0 592 20811 4151128 76 0 0 0 0 26.60/3.43 c 0 593 20813 4151130 76 0 0 0 0 26.60/3.43 c 0 594 20817 4151133 76 0 0 0 0 26.60/3.43 c 0 595 20819 4151135 76 0 0 0 0 26.60/3.43 c 0 596 20821 4151137 76 0 0 0 0 26.60/3.43 c 0 597 20823 4151139 76 0 0 0 0 26.60/3.45 c 0 599 20988 4188084 76 0 0 0 0 26.60/3.46 c 0 600 20993 4188142 76 0 0 0 0 26.60/3.46 c 0 601 20997 4188145 76 0 0 0 0 26.60/3.46 c 0 602 21000 4188148 76 0 0 0 0 26.60/3.46 c 0 603 21002 4188150 76 0 0 0 0 26.60/3.48 c 0 605 21167 4225069 76 0 0 0 0 26.60/3.49 c 0 606 21172 4225125 76 0 0 0 0 26.60/3.49 c 0 607 21177 4225129 76 0 0 0 0 26.60/3.49 c 0 608 21181 4225132 76 0 0 0 0 26.60/3.49 c 0 609 21185 4225135 76 0 0 0 0 26.60/3.49 c 0 610 21187 4225137 76 0 0 0 0 26.60/3.49 c 0 611 21191 4225140 76 0 0 0 0 27.40/3.51 c 0 613 21356 4262033 76 0 0 0 0 27.40/3.52 c 0 614 21361 4262091 76 0 0 0 0 27.40/3.52 c 0 615 21366 4262095 76 0 0 0 0 27.40/3.52 c 0 616 21368 4262097 76 0 0 0 0 27.40/3.52 c 0 617 21370 4262099 76 0 0 0 0 27.40/3.52 c 0 618 21372 4262101 76 0 0 0 0 27.40/3.52 c 0 619 21374 4262103 76 0 0 0 0 27.40/3.53 c 512 892 14678 3630668 76 0 1 1 0 27.40/3.54 c 513 893 14685 3630706 76 0 1 1 0 27.40/3.54 c 514 894 14691 3630743 76 0 1 1 0 27.40/3.54 c 515 895 14697 3630780 76 0 1 1 0 27.40/3.54 c 516 896 14704 3630818 76 0 1 1 0 27.40/3.54 c 517 897 14711 3630856 76 0 1 1 0 27.40/3.54 c 518 898 14717 3630893 76 0 1 1 0 27.40/3.54 c 519 899 14724 3630931 76 0 1 1 0 27.40/3.54 c 520 900 14730 3630968 76 0 1 1 0 27.40/3.54 c 521 901 14737 3631006 76 0 1 1 0 27.40/3.54 c 0 621 21539 4298969 76 0 0 0 0 27.40/3.55 c 522 902 14743 3631043 76 0 1 1 0 27.40/3.55 c 0 622 21544 4299026 76 0 0 0 0 27.40/3.55 c 0 623 21549 4299030 76 0 0 0 0 27.40/3.55 c 523 903 14750 3631081 76 0 1 1 0 27.40/3.55 c 0 624 21553 4299033 76 0 0 0 0 27.40/3.55 c 0 625 21555 4299035 76 0 0 0 0 27.40/3.55 c 524 904 14757 3631119 76 0 1 1 0 27.40/3.55 c 0 626 21557 4299037 76 0 0 0 0 27.40/3.55 c 0 627 21559 4299039 76 0 0 0 0 27.40/3.55 c 525 905 14761 3631155 76 0 1 1 0 27.40/3.55 c 0 628 21563 4299042 76 0 0 0 0 27.40/3.55 c 526 906 14768 3631193 76 0 1 1 0 27.40/3.55 c 527 907 14775 3631231 76 0 1 1 0 27.40/3.55 c 528 908 14779 3631267 76 0 1 1 0 27.40/3.55 c 529 909 14786 3631305 76 0 1 1 0 27.40/3.55 c 530 910 14793 3631343 76 0 1 1 0 27.40/3.55 c 531 911 14797 3631379 76 0 1 1 0 27.40/3.56 c 532 912 14804 3631417 76 0 1 1 0 27.40/3.56 c 533 913 14811 3631455 76 0 1 1 0 27.40/3.56 c 534 914 14815 3631491 76 0 1 1 0 27.40/3.56 c 535 915 14822 3631529 76 0 1 1 0 27.40/3.56 c 536 916 14829 3631567 76 0 1 1 0 27.40/3.56 c 537 917 14833 3631603 76 0 1 1 0 27.40/3.56 c 538 918 14840 3631641 76 0 1 1 0 27.40/3.56 c 539 919 14847 3631679 76 0 1 1 0 27.40/3.56 c 540 920 14853 3631716 76 0 1 1 0 27.40/3.57 c 541 921 14860 3631754 76 0 1 1 0 27.40/3.57 c 542 922 14866 3631791 76 0 1 1 0 27.40/3.57 c 543 923 14872 3631828 76 0 1 1 0 27.40/3.57 c 0 630 21728 4335881 76 0 0 0 0 27.40/3.57 c 0 631 21733 4335939 76 0 0 0 0 27.40/3.57 c 0 632 21738 4335943 76 0 0 0 0 27.40/3.59 c 0 633 21740 4335945 76 0 0 0 0 27.40/3.59 c 0 634 21744 4335948 76 0 0 0 0 28.20/3.60 c 0 636 21909 4372761 76 0 0 0 0 28.20/3.61 c 0 637 21914 4372818 76 0 0 0 0 28.20/3.61 c 0 638 21919 4372823 76 0 0 0 0 28.20/3.63 c 0 640 22084 4409611 76 0 0 0 0 28.20/3.64 c 0 641 22089 4409670 76 0 0 0 0 28.20/3.64 c 0 642 22093 4409673 76 0 0 0 0 28.20/3.64 c 0 643 22096 4409676 76 0 0 0 0 28.20/3.64 c 0 644 22098 4409678 76 0 0 0 0 28.20/3.65 c 1841 1922 15568 1062675 76 0 1 1 0 28.20/3.67 c 0 646 22263 4446440 76 0 0 0 0 28.20/3.67 c 0 647 22268 4446496 76 0 0 0 0 28.20/3.67 c 0 648 22273 4446500 76 0 0 0 0 28.20/3.67 c 0 649 22275 4446502 76 0 0 0 0 28.20/3.67 c 0 650 22280 4446506 76 0 0 0 0 28.20/3.69 c 0 652 22445 4483243 76 0 0 0 0 28.99/3.70 c 0 653 22450 4483301 76 0 0 0 0 28.99/3.70 c 0 654 22455 4483305 76 0 0 0 0 28.99/3.70 c 0 655 22457 4483307 76 0 0 0 0 28.99/3.70 c 0 656 22460 4483310 76 0 0 0 0 28.99/3.72 c 0 658 22625 4520021 76 0 0 0 0 28.99/3.73 c 0 659 22630 4520078 76 0 0 0 0 28.99/3.73 c 0 660 22635 4520082 76 0 0 0 0 28.99/3.75 c 0 662 22802 4556769 76 0 0 0 0 28.99/3.76 c 0 663 22807 4556826 76 0 0 0 0 28.99/3.76 c 0 664 22812 4556830 76 0 0 0 0 28.99/3.76 c 0 665 22814 4556832 76 0 0 0 0 28.99/3.76 c 0 666 22816 4556834 76 0 0 0 0 28.99/3.76 c 0 667 22820 4556837 76 0 0 0 0 28.99/3.79 c 0 669 22985 4593497 76 0 0 0 0 28.99/3.79 c 0 670 22990 4593555 76 0 0 0 0 28.99/3.79 c 0 671 22995 4593559 76 0 0 0 0 28.99/3.79 c 0 672 22999 4593562 76 0 0 0 0 28.99/3.79 c 0 673 23001 4593564 76 0 0 0 0 28.99/3.79 c 0 674 23003 4593566 76 0 0 0 0 28.99/3.79 c 0 675 23005 4593568 76 0 0 0 0 28.99/3.79 c 0 676 23007 4593570 76 0 0 0 0 28.99/3.79 c 0 677 23009 4593572 76 0 0 0 0 28.99/3.79 c 0 678 23011 4593574 76 0 0 0 0 29.80/3.82 c 0 680 23176 4630206 76 0 0 0 0 29.80/3.83 c 0 681 23181 4630261 76 0 0 0 0 29.80/3.83 c 0 682 23186 4630265 76 0 0 0 0 29.80/3.83 c 0 683 23190 4630268 76 0 0 0 0 29.80/3.83 c 0 684 23194 4630271 76 0 0 0 0 29.80/3.83 c 0 685 23196 4630273 76 0 0 0 0 29.80/3.83 c 0 686 23200 4630276 76 0 0 0 0 29.80/3.83 c 0 687 23202 4630278 76 0 0 0 0 29.80/3.83 c 0 688 23204 4630280 76 0 0 0 0 29.80/3.83 c 0 689 23206 4630282 76 0 0 0 0 29.80/3.83 c 0 690 23208 4630284 76 0 0 0 0 29.80/3.83 c 0 691 23210 4630286 76 0 0 0 0 29.80/3.85 c 0 693 23375 4666890 76 0 0 0 0 29.80/3.86 c 0 694 23380 4666948 76 0 0 0 0 29.80/3.86 c 0 695 23384 4666951 76 0 0 0 0 29.80/3.86 c 0 696 23386 4666953 76 0 0 0 0 29.80/3.86 c 0 697 23390 4666956 76 0 0 0 0 29.80/3.86 c 0 698 23392 4666958 76 0 0 0 0 29.80/3.86 c 0 699 23394 4666960 76 0 0 0 0 29.80/3.86 c 0 700 23396 4666962 76 0 0 0 0 29.80/3.86 c 0 701 23398 4666964 76 0 0 0 0 29.80/3.86 c 0 702 23400 4666966 76 0 0 0 0 29.80/3.88 c 1585 1852 16315 2286180 71 0 1 70 11 29.80/3.88 c 0 704 23567 4703543 76 0 0 0 0 29.80/3.89 c 0 705 23572 4703601 76 0 0 0 0 29.80/3.89 c 0 706 23576 4703604 76 0 0 0 0 29.80/3.89 c 0 707 23581 4703608 76 0 0 0 0 30.64/3.92 c 0 709 23746 4740158 76 0 0 0 0 30.64/3.92 c 0 710 23751 4740215 76 0 0 0 0 30.64/3.92 c 0 711 23756 4740219 76 0 0 0 0 30.64/3.92 c 0 712 23760 4740222 76 0 0 0 0 30.64/3.92 c 0 713 23764 4740225 76 0 0 0 0 30.64/3.93 c 0 714 23766 4740227 76 0 0 0 0 30.64/3.93 c 0 715 23770 4740230 76 0 0 0 0 30.64/3.93 c 2000 2082 16844 1066573 76 0 1 1 0 30.64/3.93 c 2000 2083 16848 1066576 76 0 0 0 0 30.64/3.93 c 2000 2084 16852 1066579 76 0 0 0 0 30.64/3.95 c 0 717 23935 4776753 76 0 0 0 0 30.64/3.96 c 0 718 23940 4776809 76 0 0 0 0 30.64/3.96 c 0 719 23945 4776813 76 0 0 0 0 30.64/3.96 c 0 720 23947 4776815 76 0 0 0 0 30.64/3.96 c 0 721 23952 4776819 76 0 0 0 0 30.64/3.98 c 0 723 24117 4813316 76 0 0 0 0 30.64/3.99 c 0 724 24122 4813373 76 0 0 0 0 30.64/3.99 c 0 725 24127 4813377 76 0 0 0 0 30.64/4.00 c 0 727 24292 4849850 76 0 0 0 0 31.46/4.02 c 0 728 24297 4849907 76 0 0 0 0 31.46/4.02 c 0 729 24302 4849911 76 0 0 0 0 31.46/4.02 c 0 730 24304 4849913 76 0 0 0 0 31.46/4.02 c 0 731 24306 4849915 76 0 0 0 0 31.46/4.02 c 0 732 24310 4849918 76 0 0 0 0 31.46/4.03 c 0 734 24475 4886365 76 0 0 0 0 31.46/4.05 c 0 735 24480 4886423 76 0 0 0 0 31.46/4.05 c 0 736 24485 4886427 76 0 0 0 0 31.46/4.05 c 0 737 24487 4886429 76 0 0 0 0 31.46/4.05 c 0 738 24490 4886432 76 0 0 0 0 31.46/4.06 c 0 740 24655 4922853 76 0 0 0 0 31.46/4.08 c 0 741 24660 4922910 76 0 0 0 0 31.46/4.08 c 0 742 24665 4922914 76 0 0 0 0 31.46/4.08 c 0 743 24667 4922916 76 0 0 0 0 31.46/4.10 c 0 745 24832 4959312 76 0 0 0 0 32.26/4.11 c 0 746 24837 4959371 76 0 0 0 0 32.26/4.11 c 0 747 24841 4959374 76 0 0 0 0 32.26/4.11 c 0 748 24843 4959376 76 0 0 0 0 32.26/4.11 c 0 749 24845 4959378 76 0 0 0 0 32.26/4.11 c 0 750 24847 4959380 76 0 0 0 0 32.26/4.11 c 0 751 24849 4959382 76 0 0 0 0 32.26/4.11 c 0 752 24851 4959384 76 0 0 0 0 32.26/4.11 c 0 753 24851 4959385 76 0 0 0 0 32.26/4.13 c 0 755 25018 4995755 76 0 0 0 0 32.26/4.14 c 0 756 25023 4995811 76 0 0 0 0 32.26/4.14 c 0 757 25028 4995815 76 0 0 0 0 32.26/4.14 c 0 758 25032 4995818 76 0 0 0 0 32.26/4.14 c 0 759 25036 4995821 76 0 0 0 0 32.26/4.14 c 2122 2206 17824 1069566 76 0 1 1 0 32.26/4.14 c 0 760 25038 4995823 76 0 0 0 0 32.26/4.14 c 0 761 25040 4995825 76 0 0 0 0 32.26/4.14 c 0 762 25042 4995827 76 0 0 0 0 32.26/4.14 c 1024 1404 17898 3649830 76 0 1 1 0 32.26/4.14 c 1025 1405 17904 3649867 76 0 1 1 0 32.26/4.14 c 1026 1406 17911 3649905 76 0 1 1 0 32.26/4.14 c 1027 1407 17918 3649943 76 0 1 1 0 32.26/4.14 c 1028 1408 17924 3649980 76 0 1 1 0 32.26/4.14 c 1029 1409 17930 3650017 76 0 1 1 0 32.26/4.15 c 1030 1410 17937 3650055 76 0 1 1 0 32.26/4.15 c 1031 1411 17944 3650093 76 0 1 1 0 32.26/4.15 c 1032 1412 17948 3650129 76 0 1 1 0 32.26/4.15 c 1033 1413 17955 3650167 76 0 1 1 0 32.26/4.15 c 771 1346 26012 9020606 76 0 1 58 12 32.26/4.15 c 1034 1414 17962 3650205 76 0 1 1 0 32.26/4.15 c 1035 1415 17966 3650241 76 0 1 1 0 32.26/4.15 c 1036 1416 17973 3650279 76 0 1 1 0 32.26/4.15 c 1037 1417 17981 3650318 77 0 1 1 0 32.26/4.15 c 1038 1418 17987 3650355 77 0 1 1 0 32.26/4.15 c 1039 1419 17994 3650393 77 0 1 1 0 32.26/4.16 c 1040 1420 18002 3650432 77 0 1 1 0 32.26/4.16 c 1041 1421 18009 3650470 77 0 1 1 0 32.26/4.16 c 1042 1422 18015 3650507 77 0 1 1 0 32.26/4.16 c 1043 1423 18021 3650544 77 0 1 1 0 32.26/4.16 c 1044 1424 18028 3650582 77 0 1 1 0 32.26/4.16 c 0 764 25207 5032169 76 0 0 0 0 32.26/4.16 c 1045 1425 18035 3650620 77 0 1 1 0 32.26/4.16 c 0 765 25213 5032229 77 0 0 0 0 32.26/4.16 c 1046 1426 18041 3650657 77 0 1 1 0 32.26/4.16 c 0 766 25217 5032232 77 0 0 0 0 32.26/4.16 c 0 767 25219 5032234 77 0 0 0 0 32.26/4.16 c 1047 1427 18048 3650695 77 0 1 1 0 32.26/4.16 c 0 768 25223 5032237 77 0 0 0 0 32.26/4.16 c 0 769 25225 5032239 77 0 0 0 0 32.26/4.16 c 1048 1428 18054 3650732 77 0 1 1 0 32.26/4.16 c 0 770 25227 5032241 77 0 0 0 0 32.26/4.16 c 0 771 25229 5032243 77 0 0 0 0 32.26/4.16 c 0 772 25229 5032244 77 0 0 0 0 32.26/4.16 c 0 773 25231 5032246 77 0 0 0 0 32.26/4.17 c 1049 1429 18060 3650769 77 0 1 1 0 32.26/4.17 c 0 774 25233 5032248 77 0 0 0 0 32.26/4.17 c 1050 1430 18067 3650807 77 0 1 1 0 32.26/4.17 c 1051 1431 18074 3650845 77 0 1 1 0 32.26/4.17 c 1052 1432 18080 3650882 77 0 1 1 0 32.26/4.17 c 1053 1433 18086 3650919 77 0 1 1 0 32.26/4.17 c 1054 1434 18093 3650957 77 0 1 1 0 32.26/4.17 c 1055 1435 18100 3650995 77 0 1 1 0 32.26/4.17 c 1056 1436 18106 3651032 77 0 1 1 0 32.26/4.18 c 1057 1437 18112 3651069 77 0 1 1 0 32.26/4.18 c 1058 1438 18119 3651107 77 0 1 1 0 32.26/4.18 c 1059 1439 18126 3651145 77 0 1 1 0 32.26/4.18 c 1060 1440 18133 3651183 77 0 1 1 0 32.26/4.18 c 1061 1441 18137 3651219 77 0 1 1 0 32.26/4.18 c 1062 1442 18144 3651257 77 0 1 1 0 32.26/4.18 c 1063 1443 18151 3651295 77 0 1 1 0 32.26/4.18 c 1064 1444 18155 3651331 77 0 1 1 0 32.26/4.18 c 1065 1445 18162 3651369 77 0 1 1 0 32.26/4.18 c 1066 1446 18168 3651406 77 0 1 1 0 32.26/4.19 c 1067 1447 18174 3651443 77 0 1 1 0 32.26/4.19 c 1068 1448 18181 3651481 77 0 1 1 0 32.26/4.19 c 1069 1449 18188 3651519 77 0 1 1 0 32.26/4.19 c 1070 1450 18194 3651556 77 0 1 1 0 32.26/4.19 c 1071 1451 18201 3651594 77 0 1 1 0 32.26/4.19 c 1072 1452 18207 3651631 77 0 1 1 0 32.26/4.19 c 0 776 25398 5068563 77 0 0 0 0 32.26/4.19 c 0 777 25403 5068621 77 0 0 0 0 32.26/4.19 c 1073 1453 18214 3651669 77 0 1 1 0 32.26/4.19 c 0 778 25407 5068624 77 0 0 0 0 32.26/4.19 c c 0 1074 1454 18220 3651706 77 0 1 1 0 32.26/4.19 779 25409 5068626 77 0 0 0 0 32.26/4.19 c 0 780 25413 5068629 77 0 0 0 0 32.26/4.19 c 1075 1455 18227 3651744 77 0 1 1 0 32.26/4.19 c 0 781 25417 5068632 77 0 0 0 0 32.98/4.21 c 1076 1456 18234 3651782 77 0 1 1 0 32.98/4.21 c 1077 1457 18240 3651819 77 0 1 1 0 32.98/4.21 c 1078 1458 18246 3651856 77 0 1 1 0 32.98/4.21 c 1079 1459 18253 3651894 77 0 1 1 0 32.98/4.21 c 1080 1460 18260 3651932 77 0 1 1 0 32.98/4.21 c 1081 1461 18264 3651968 77 0 1 1 0 32.98/4.21 c 1082 1462 18271 3652006 77 0 1 1 0 32.98/4.21 c 1083 1463 18278 3652044 77 0 1 1 0 32.98/4.21 c 1084 1464 18282 3652080 77 0 1 1 0 32.98/4.22 c 1085 1465 18289 3652118 77 0 1 1 0 32.98/4.22 c 1086 1466 18296 3652156 77 0 1 1 0 32.98/4.22 c 1087 1467 18300 3652192 77 0 1 1 0 32.98/4.22 c 0 783 25584 5104922 77 0 0 0 0 32.98/4.23 c 0 784 25589 5104979 77 0 0 0 0 32.98/4.23 c 0 785 25593 5104982 77 0 0 0 0 32.98/4.23 c 0 786 25597 5104985 77 0 0 0 0 32.98/4.23 c 0 787 25599 5104987 77 0 0 0 0 32.98/4.23 c 0 788 25603 5104990 77 0 0 0 0 32.98/4.25 c 0 790 25768 5141253 77 0 0 0 0 32.98/4.26 c 0 791 25773 5141312 77 0 0 0 0 32.98/4.26 c 0 792 25777 5141315 77 0 0 0 0 32.98/4.26 c 0 793 25782 5141319 77 0 0 0 0 32.98/4.26 c 512 966 21939 4536511 75 0 1 86 47 32.98/4.27 c 513 967 21972 4539014 77 0 1 1 0 32.98/4.27 c 514 968 21981 4539058 78 0 1 1 0 32.98/4.27 c 515 969 21990 4539097 78 0 1 1 0 32.98/4.27 c 516 970 21999 4539135 78 0 1 1 0 32.98/4.27 c 517 971 22008 4539174 78 0 1 1 0 32.98/4.28 c 518 972 22017 4539212 78 0 1 1 0 32.98/4.28 c 519 973 22026 4539251 78 0 1 1 0 32.98/4.28 c 520 974 22035 4539289 78 0 1 1 0 32.98/4.28 c 521 975 22044 4539327 78 0 1 1 0 32.98/4.28 c 522 976 22053 4539367 78 0 1 1 0 32.98/4.28 c 523 977 22062 4539405 78 0 1 1 0 32.98/4.28 c 0 795 25949 5177556 77 0 0 0 0 32.98/4.28 c 0 796 25955 5177624 78 0 0 0 0 32.98/4.28 c 524 978 22071 4539444 78 0 1 1 0 32.98/4.30 c 0 797 25961 5177629 78 0 0 0 0 32.98/4.30 c 0 798 25963 5177631 78 0 0 0 0 32.98/4.30 c 0 799 25965 5177633 78 0 0 0 0 32.98/4.30 c 525 979 22080 4539482 78 0 1 1 0 32.98/4.30 c 0 800 25970 5177637 78 0 0 0 0 32.98/4.30 c 526 980 22089 4539521 78 0 1 1 0 32.98/4.30 c 527 981 22098 4539559 78 0 1 1 0 32.98/4.30 c 528 982 22107 4539598 78 0 1 1 0 32.98/4.30 c 529 983 22116 4539636 78 0 1 1 0 32.98/4.30 c 530 984 22125 4539675 78 0 1 1 0 33.78/4.31 c 531 985 22134 4539713 78 0 1 1 0 33.78/4.31 c 532 986 22143 4539751 78 0 1 1 0 33.78/4.31 c 533 987 22152 4539790 78 0 1 1 0 33.78/4.31 c 534 988 22161 4539829 78 0 1 1 0 33.78/4.31 c 535 989 22170 4539868 78 0 1 1 0 33.78/4.31 c 536 990 22179 4539906 78 0 1 1 0 33.78/4.31 c 537 991 22188 4539945 78 0 1 1 0 33.78/4.32 c 538 992 22197 4539983 78 0 1 1 0 33.78/4.32 c 539 993 22206 4540022 78 0 1 1 0 33.78/4.32 c 540 994 22215 4540060 78 0 1 1 0 33.78/4.32 c 0 802 26135 5213847 78 0 0 0 0 33.78/4.32 c 541 995 22224 4540098 78 0 1 1 0 33.78/4.32 c 0 803 26141 5213920 78 0 0 0 0 33.78/4.32 c 0 804 26143 5213922 78 0 0 0 0 33.78/4.32 c 542 996 22233 4540137 78 0 1 1 0 33.78/4.32 c 0 805 26147 5213925 78 0 0 0 0 33.78/4.32 c 0 806 26150 5213928 78 0 0 0 0 33.78/4.32 c 0 807 26152 5213930 78 0 0 0 0 33.78/4.32 c 0 808 26154 5213932 78 0 0 0 0 33.78/4.32 c 543 997 22242 4540175 78 0 1 1 0 33.78/4.32 c 0 809 26158 5213935 78 0 0 0 0 33.78/4.32 c 0 810 26161 5213938 78 0 0 0 0 33.78/4.32 c 0 811 26163 5213940 78 0 0 0 0 33.78/4.32 c 0 812 26165 5213942 78 0 0 0 0 33.78/4.33 c 0 813 26167 5213944 78 0 0 0 0 33.78/4.33 c 0 814 26171 5213947 78 0 0 0 0 33.78/4.33 c 0 815 26173 5213949 78 0 0 0 0 33.78/4.33 c 0 816 26177 5213952 78 0 0 0 0 33.78/4.33 c 0 817 26179 5213954 78 0 0 0 0 33.78/4.33 c 0 818 26183 5213957 78 0 0 0 0 33.78/4.33 c 0 819 26186 5213960 78 0 0 0 0 33.78/4.33 c 0 820 26188 5213962 78 0 0 0 0 33.78/4.33 c 0 821 26190 5213964 78 0 0 0 0 33.78/4.33 c 0 822 26192 5213966 78 0 0 0 0 33.78/4.33 c 0 823 26196 5213969 78 0 0 0 0 33.78/4.33 c 0 824 26198 5213971 78 0 0 0 0 33.78/4.33 c 0 825 26203 5213975 78 0 0 0 0 33.78/4.35 c 0 827 26368 5250152 78 0 0 0 0 33.78/4.37 c 0 828 26374 5250224 78 0 0 0 0 33.78/4.37 c 0 829 26379 5250228 78 0 0 0 0 33.78/4.37 c 0 830 26383 5250231 78 0 0 0 0 33.78/4.37 c 0 831 26388 5250235 78 0 0 0 0 33.78/4.37 c 0 832 26390 5250237 78 0 0 0 0 33.78/4.37 c 0 833 26394 5250240 78 0 0 0 0 33.78/4.37 c 0 834 26399 5250244 78 0 0 0 0 33.78/4.37 c 0 835 26401 5250246 78 0 0 0 0 33.78/4.37 c 0 836 26406 5250250 78 0 0 0 0 33.78/4.39 c 0 838 26571 5286399 78 0 0 0 0 34.58/4.40 c 0 839 26577 5286470 78 0 0 0 0 34.58/4.40 c 0 840 26582 5286474 78 0 0 0 0 34.58/4.40 c 0 841 26587 5286478 78 0 0 0 0 34.58/4.40 c 0 842 26589 5286480 78 0 0 0 0 34.58/4.40 c 0 843 26593 5286483 78 0 0 0 0 34.58/4.40 c 0 844 26595 5286485 78 0 0 0 0 34.58/4.40 c 0 845 26599 5286488 78 0 0 0 0 34.58/4.40 c 0 846 26602 5286491 78 0 0 0 0 34.58/4.40 c 0 847 26604 5286493 78 0 0 0 0 34.58/4.40 c 0 848 26607 5286496 78 0 0 0 0 34.58/4.40 c 0 849 26609 5286498 78 0 0 0 0 34.58/4.40 c 0 850 26611 5286500 78 0 0 0 0 34.58/4.40 c 1841 2221 19819 3269373 76 0 77 98 83 34.58/4.42 c 0 852 26776 5322621 78 0 0 0 0 34.58/4.43 c 0 853 26782 5322694 78 0 0 0 0 34.58/4.43 c 0 854 26787 5322698 78 0 0 0 0 34.58/4.43 c 0 855 26789 5322700 78 0 0 0 0 34.58/4.43 c 3000 3006 22362 84336 78 0 1 1 0 34.58/4.43 c 0 856 26791 5322702 78 0 0 0 0 34.58/4.43 c 3000 3007 22364 84338 78 0 0 0 0 34.58/4.43 c 0 857 26794 5322705 78 0 0 0 0 34.58/4.43 c 3000 3008 22367 84341 78 0 0 0 0 34.58/4.45 c 0 859 26959 5358801 78 0 0 0 0 34.58/4.46 c 0 860 26965 5358874 78 0 0 0 0 34.58/4.46 c 0 861 26969 5358877 78 0 0 0 0 34.58/4.46 c 0 862 26974 5358881 78 0 0 0 0 34.58/4.46 c 0 863 26978 5358884 78 0 0 0 0 34.58/4.46 c 0 864 26981 5358887 78 0 0 0 0 34.58/4.46 c 0 865 26985 5358890 78 0 0 0 0 34.58/4.46 c 0 866 26988 5358893 78 0 0 0 0 34.58/4.46 c 0 867 26990 5358895 78 0 0 0 0 34.58/4.46 c 0 868 26992 5358897 78 0 0 0 0 34.58/4.49 c 0 870 27157 5394965 78 0 0 0 0 35.38/4.50 c 0 871 27163 5395041 78 0 0 0 0 35.38/4.50 c 0 872 27165 5395043 78 0 0 0 0 35.38/4.50 c 0 873 27169 5395046 78 0 0 0 0 35.38/4.50 c 0 874 27171 5395048 78 0 0 0 0 35.38/4.50 c 0 875 27175 5395051 78 0 0 0 0 35.38/4.50 c 0 876 27180 5395055 78 0 0 0 0 35.38/4.50 c 0 877 27182 5395057 78 0 0 0 0 35.38/4.50 c 0 878 27186 5395060 78 0 0 0 0 35.38/4.50 c 0 879 27188 5395062 78 0 0 0 0 35.38/4.50 c 0 880 27192 5395065 78 0 0 0 0 35.38/4.50 c 0 881 27195 5395068 78 0 0 0 0 35.38/4.50 c 0 882 27199 5395071 78 0 0 0 0 35.38/4.50 c 0 883 27201 5395073 78 0 0 0 0 35.38/4.50 c 0 884 27205 5395076 78 0 0 0 0 35.38/4.50 c 0 885 27207 5395078 78 0 0 0 0 35.38/4.50 c 0 886 27211 5395081 78 0 0 0 0 35.38/4.50 c 0 887 27214 5395084 78 0 0 0 0 35.38/4.51 c 0 888 27216 5395086 78 0 0 0 0 35.38/4.51 c 0 889 27218 5395088 78 0 0 0 0 35.38/4.51 c 0 890 27220 5395090 78 0 0 0 0 35.38/4.51 c 0 891 27224 5395093 78 0 0 0 0 35.38/4.51 c 0 892 27228 5395096 78 0 0 0 0 35.38/4.51 c 0 893 27231 5395099 78 0 0 0 0 35.38/4.51 c 0 894 27235 5395102 78 0 0 0 0 35.38/4.51 c 0 895 27238 5395105 78 0 0 0 0 35.38/4.51 c 0 896 27240 5395107 78 0 0 0 0 35.38/4.51 c 0 897 27242 5395109 78 0 0 0 0 35.38/4.53 c 0 899 27407 5431140 78 0 0 0 0 35.38/4.54 c 0 900 27413 5431212 78 0 0 0 0 35.38/4.54 c 0 901 27418 5431216 78 0 0 0 0 35.38/4.54 c 0 902 27422 5431219 78 0 0 0 0 35.38/4.54 c 0 903 27427 5431223 78 0 0 0 0 35.38/4.54 c 0 904 27429 5431225 78 0 0 0 0 35.38/4.54 c 0 905 27434 5431229 78 0 0 0 0 35.38/4.54 c 0 906 27436 5431231 78 0 0 0 0 35.38/4.54 c 0 907 27438 5431233 78 0 0 0 0 35.38/4.54 c 0 908 27441 5431236 78 0 0 0 0 35.38/4.56 c 0 910 27606 5467240 78 0 0 0 0 35.38/4.57 c 0 911 27612 5467311 78 0 0 0 0 35.38/4.57 c 0 912 27617 5467315 78 0 0 0 0 35.38/4.57 c 0 913 27622 5467319 78 0 0 0 0 35.38/4.57 c 0 914 27626 5467322 78 0 0 0 0 35.38/4.57 c 0 915 27629 5467325 78 0 0 0 0 35.38/4.57 c 0 916 27633 5467328 78 0 0 0 0 35.38/4.57 c 0 917 27636 5467331 78 0 0 0 0 35.38/4.57 c 0 918 27638 5467333 78 0 0 0 0 35.38/4.57 c 0 919 27640 5467335 78 0 0 0 0 35.38/4.60 c 0 921 27805 5503312 78 0 0 0 0 36.18/4.61 c 0 922 27811 5503384 78 0 0 0 0 36.18/4.61 c 0 923 27813 5503386 78 0 0 0 0 36.18/4.61 c 0 924 27817 5503390 78 0 0 0 0 36.18/4.61 c 0 925 27819 5503392 78 0 0 0 0 36.18/4.63 c 0 927 27985 5540324 78 0 0 0 0 36.18/4.64 c 0 928 27991 5540417 78 0 0 0 0 36.18/4.64 c 0 929 27993 5540419 78 0 0 0 0 36.18/4.64 c 0 930 27999 5540424 78 0 0 0 0 36.18/4.65 c 2431 2515 20525 1077353 78 0 1 1 0 36.18/4.67 c 0 932 28165 5577303 78 0 0 0 0 36.18/4.68 c 0 933 28171 5577389 78 0 0 0 0 36.18/4.68 c 0 934 28177 5577394 78 0 0 0 0 36.18/4.68 c 0 935 28179 5577396 78 0 0 0 0 36.18/4.68 c 0 936 28183 5577400 78 0 0 0 0 36.18/4.68 c First solution is found 36.86/4.70 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 2. 36.86/4.70 c [pFactory][Group N°0] Thread N°0 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°1 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°2 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°3 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°4 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°5 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°6 is joined. 36.86/4.70 c [pFactory][Group N°0] Thread N°7 is joined. 36.86/4.70 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°4) 36.86/4.70 s SATISFIABLE 36.86/4.70 c restarts : 144 36.86/4.70 c conflicts : 1477 (40 /sec) 36.86/4.70 c decisions : 1858 (50 /sec) 36.86/4.70 c propagations : 3667046 (99649 /sec) 36.86/4.70 c root propagations : 6082 36.86/4.70 c filter calls : 21043 (572 /sec) 36.86/4.70 c useless filter calls : 16254 (77 %) 36.86/4.70 c Memory used : 622.16 MB 36.86/4.70 c CPU time : 36.7997 s 36.86/4.70 c real time : 4.70162 s 36.86/4.70 36.86/4.70 c solution 1 36.86/4.70 36.86/4.70 v <instantiation type='solution'> 36.86/4.70 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] </list> 36.86/4.70 v <values>1 8 10 11 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 53 56 58 59 60 61 62 63 64 2 3 4 5 6 7 9 12 13 14 16 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 54 55 57 1 64 100 121 225 289 324 361 400 441 484 529 576 625 676 729 784 841 900 961 1024 1089 1156 2809 3136 3364 3481 3600 3721 3844 3969 4096 4 9 16 25 36 49 81 144 169 196 256 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2916 3025 3249 </values> 36.86/4.70 v </instantiation> 36.86/4.70
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14808 MiB free)
memory of node 1: 16384 MiB (15358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397979-1568599490/watcher-4397979-1568599490 -o /tmp/evaluation-result-4397979-1568599490/solver-4397979-1568599490 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568593251-9649 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397979-1568599490.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9947, runsolver pid=9944
Current StackSize limit: 8192 KiB
[startup+0.10025 s]*
/proc/loadavg: 8.33 8.27 7.80 10/200 9956
/proc/meminfo: memFree=30831672/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=63500 CPUtime=0.36 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 16585 0 0 0 35 1 0 0 20 0 9 0 436204878 690180096 15875 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 15875 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=576460756329955530 CPUtime=0.04 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 285 0 0 0 4 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612539698384 5478598 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612531305680 5451482 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=288370266547553920 CPUtime=0.03 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612522912976 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612514520272 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612506127400 5440624 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612497734752 5451510 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=-1 CPUtime=0.03 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612489342160 5149648 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=0 CPUtime=0.02 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 2 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612480949344 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63500 KiB
[startup+0.21025 s]*
/proc/loadavg: 8.33 8.27 7.80 10/200 9956
/proc/meminfo: memFree=30831672/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=63500 CPUtime=1.22 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 16585 0 0 0 121 1 0 0 20 0 9 0 436204878 690180096 15875 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 15875 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=8316850467074736180 CPUtime=0.15 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 285 0 0 0 15 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612539698384 5442956 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=10923 CPUtime=0.14 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612531305680 5149686 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=139890395858443 CPUtime=0.14 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 283 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612522912976 5149700 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=-1 CPUtime=0.14 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612514520272 5149689 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=0 CPUtime=0.14 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612506127400 5451482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=0 CPUtime=0.14 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612497734752 140612547724368 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=-1 CPUtime=0.14 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 14 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612489342160 5149658 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=0 CPUtime=0.12 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 12 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612480949344 5453926 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63500 KiB
[startup+0.310254 s]*
/proc/loadavg: 8.33 8.27 7.80 10/200 9956
/proc/meminfo: memFree=30831300/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=63500 CPUtime=2.01 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 16585 0 0 0 200 1 0 0 20 0 9 0 436204878 690180096 15875 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 15875 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=8317482817917895235 CPUtime=0.25 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 285 0 0 0 25 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612539698384 5455658 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612531305680 5446924 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 283 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612522912864 5408069 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=6944656592455097440 CPUtime=0.24 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612514520272 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612506127400 5389819 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612497734752 5149679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 24 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612489342048 5149700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=0 CPUtime=0.21 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 21 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612480949344 5453926 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63500 KiB
[startup+0.701249 s]
/proc/loadavg: 8.33 8.27 7.80 9/200 9956
/proc/meminfo: memFree=30831300/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=63500 CPUtime=5.05 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 16585 0 0 0 504 1 0 0 20 0 9 0 436204878 690180096 15875 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 15875 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=8068 CPUtime=0.63 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 285 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612539698384 5149686 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=4008 CPUtime=0.63 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612531305680 140612556745542 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=1556 CPUtime=0.63 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 283 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612522912864 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=2832 CPUtime=0.63 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612514520160 5149674 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=984 CPUtime=0.63 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612506127400 5186246 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=1680 CPUtime=0.63 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612497734752 5442972 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=1444 CPUtime=0.63 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 278 0 0 0 63 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612489342048 5441082 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=896 CPUtime=0.58 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 276 0 0 0 58 0 0 0 20 0 9 0 436204885 690180096 15875 33554432000 4194304 6211092 140734738266384 140612480949344 5443033 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63500 KiB
[startup+1.50125 s]
/proc/loadavg: 8.33 8.27 7.80 10/200 9956
/proc/meminfo: memFree=30831424/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64012 CPUtime=11.44 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 23535 0 0 0 1139 5 0 0 20 0 9 0 436204878 690180096 16003 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16003 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 911 0 0 0 142 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612539698272 5164633 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 653 0 0 0 142 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612531305568 5149658 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=0 CPUtime=1.43 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 724 0 0 0 143 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612522912864 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 736 0 0 0 142 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612514520272 5149658 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=-7035114785800479027 CPUtime=1.42 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 1740 0 0 0 141 1 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612506127456 5446218 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=9364 CPUtime=1.42 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 1800 0 0 0 142 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612497734768 5454176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=279780478064928 CPUtime=1.42 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 1269 0 0 0 142 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612489342048 5165016 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=0 CPUtime=1.35 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 1345 0 0 0 135 0 0 0 20 0 9 0 436204885 690180096 16003 33554432000 4194304 6211092 140734738266384 140612480949568 5443061 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64012 KiB
[startup+3.11025 s]
/proc/loadavg: 8.33 8.27 7.80 10/200 9957
/proc/meminfo: memFree=30829936/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64260 CPUtime=24.27 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 31155 0 0 0 2421 6 0 0 20 0 9 0 436204878 690180096 16065 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16065 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=0 CPUtime=3.03 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 1488 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612539698232 5451510 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=64012 CPUtime=3.03 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 1109 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612531305568 5149682 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=8836 CPUtime=3.03 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 2083 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612522912392 5453912 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=282 CPUtime=3.03 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 1140 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612514520160 5149700 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=282 CPUtime=3.03 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 2884 0 0 0 302 1 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612506127456 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=56 CPUtime=3.03 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 3061 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612497734752 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=10814 CPUtime=3.03 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 2440 0 0 0 303 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612489341800 5451602 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=24479 CPUtime=2.94 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 2593 0 0 0 293 1 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612480949456 5074342 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 24.27 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64260 KiB
[startup+4.71121 s]
# the end of solver process 9947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=36.8005 s, system=0.081929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20124 s]
/proc/loadavg: 8.33 8.27 7.80 10/200 9957
/proc/meminfo: memFree=30829936/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64260 CPUtime=25 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 32517 0 0 0 2494 6 0 0 20 0 9 0 436204878 690180096 16065 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16065 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=2552 CPUtime=3.12 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 1491 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612539698272 5446158 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=1760 CPUtime=3.12 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 1129 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612531305568 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=111632 CPUtime=3.12 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 2398 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612522912392 5451618 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=804 CPUtime=3.12 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 1159 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612514520160 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=64088 CPUtime=3.12 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 3353 0 0 0 311 1 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612506127456 5452157 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=-3415248542433852553 CPUtime=3.12 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 3065 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612497734752 5149682 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=7686721470247706567 CPUtime=3.12 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 2699 0 0 0 312 0 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612489341800 5443092 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=-7022074515825631275 CPUtime=3.03 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 2866 0 0 0 302 1 0 0 20 0 9 0 436204885 690180096 16065 33554432000 4194304 6211092 140734738266384 140612480949456 140612556745560 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64260 KiB
[startup+4.00125 s]*
/proc/loadavg: 8.31 8.26 7.80 9/200 9957
/proc/meminfo: memFree=30829656/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64492 CPUtime=31.46 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 35190 0 0 0 3139 7 0 0 20 0 9 0 436204878 690180096 16123 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16123 897 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=8317482817917895235 CPUtime=3.92 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 1521 0 0 0 392 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612539698272 140612547239037 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=0 CPUtime=3.93 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 1149 0 0 0 393 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612531305792 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=3977109982989479651 CPUtime=3.93 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 3031 0 0 0 393 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612522912824 5068955 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=2244 CPUtime=3.93 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 1179 0 0 0 393 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612514520272 5149689 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=0 CPUtime=3.92 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 3887 0 0 0 391 1 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612506127456 140612547724368 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=0 CPUtime=3.93 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 3084 0 0 0 393 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612497734616 5149679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=0 CPUtime=3.93 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 3664 0 0 0 393 0 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612489341800 5446927 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=0 CPUtime=3.82 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 3322 0 0 0 381 1 0 0 20 0 9 0 436204885 690180096 16123 33554432000 4194304 6211092 140734738266384 140612480949456 5149682 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 31.46 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64492 KiB
[startup+4.40124 s]
/proc/loadavg: 8.31 8.26 7.80 9/200 9957
/proc/meminfo: memFree=30829656/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64660 CPUtime=34.58 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 41730 0 0 0 3451 7 0 0 20 0 9 0 436204878 690180096 16165 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16165 898 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=272 CPUtime=4.31 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 2140 0 0 0 431 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612539698232 140612547724368 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=-7035114785800479027 CPUtime=4.32 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 1524 0 0 0 432 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612531305792 5149648 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=7084272604553039191 CPUtime=4.32 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 3785 0 0 0 432 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612522912328 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=0 CPUtime=4.32 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 1568 0 0 0 432 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612514520272 5149682 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=0 CPUtime=4.32 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 5150 0 0 0 430 2 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612506127456 5186262 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=-7035114785800479027 CPUtime=4.32 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 3569 0 0 0 432 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612497734864 5149686 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=10848 CPUtime=4.32 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 5224 0 0 0 432 0 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612489342008 5451452 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=1013901 CPUtime=4.21 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 4413 0 0 0 420 1 0 0 20 0 9 0 436204885 690180096 16165 33554432000 4194304 6211092 140734738266384 140612480949456 5149667 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 34.58 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64660 KiB
[startup+4.60125 s]
/proc/loadavg: 8.31 8.26 7.80 9/200 9957
/proc/meminfo: memFree=30829656/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=674004 memory=64708 CPUtime=36.18 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 42928 0 0 0 3611 7 0 0 20 0 9 0 436204878 690180096 16177 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 168501 16177 898 493 0 161806 0
[pid=9947/tid=9949] ppid=9944 vsize=674004 memory=3472328296227732289 CPUtime=4.51 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 2146 0 0 0 451 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612539698272 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9950] ppid=9944 vsize=674004 memory=6944656592387989600 CPUtime=4.52 cores=0-7
/proc/9947/task/9950/stat : 9950 (cosoco) R 9944 9947 9622 0 -1 4202560 1530 0 0 0 452 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612531305792 5149658 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9951] ppid=9944 vsize=674004 memory=6944656592455097440 CPUtime=4.52 cores=0-7
/proc/9947/task/9951/stat : 9951 (cosoco) R 9944 9947 9622 0 -1 4202560 4719 0 0 0 452 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612522912824 5068955 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9952] ppid=9944 vsize=674004 memory=7734763483327455577 CPUtime=4.52 cores=0-7
/proc/9947/task/9952/stat : 9952 (cosoco) R 9944 9947 9622 0 -1 4202560 1573 0 0 0 452 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612514520272 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9953] ppid=9944 vsize=674004 memory=7518026621751088998 CPUtime=4.52 cores=0-7
/proc/9947/task/9953/stat : 9953 (cosoco) R 9944 9947 9622 0 -1 4202560 5163 0 0 0 450 2 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612506127456 5186289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9954] ppid=9944 vsize=674004 memory=7302135314614015847 CPUtime=4.52 cores=0-7
/proc/9947/task/9954/stat : 9954 (cosoco) R 9944 9947 9622 0 -1 4202560 3574 0 0 0 452 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612497734864 5193733 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9955] ppid=9944 vsize=674004 memory=6297835844906604903 CPUtime=4.52 cores=0-7
/proc/9947/task/9955/stat : 9955 (cosoco) R 9944 9947 9622 0 -1 4202560 5448 0 0 0 452 0 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612489342008 140612556745610 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
[pid=9947/tid=9956] ppid=9944 vsize=674004 memory=6296683629851791713 CPUtime=4.41 cores=0-7
/proc/9947/task/9956/stat : 9956 (cosoco) R 9944 9947 9622 0 -1 4202560 4419 0 0 0 440 1 0 0 20 0 9 0 436204885 690180096 16177 33554432000 4194304 6211092 140734738266384 140612480949456 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 36.18 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64708 KiB
[startup+4.70046 s]
/proc/loadavg: 8.31 8.26 7.80 9/200 9957
/proc/meminfo: memFree=30829656/32770624 swapFree=66925552/67108860
[pid=9947] ppid=9944 vsize=670392 memory=62384 CPUtime=36.86 cores=0-7
/proc/9947/stat : 9947 (cosoco) S 9944 9947 9622 0 -1 1077944320 43049 0 0 0 3679 7 0 0 20 0 2 0 436204878 686481408 15596 33554432000 4194304 6211092 140734738266384 140734738264640 140612562841335 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
/proc/9947/statm: 167598 15596 899 493 0 160903 0
[pid=9947/tid=9949] ppid=9944 vsize=670392 memory=0 CPUtime=4.61 cores=0-7
/proc/9947/task/9949/stat : 9949 (cosoco) R 9944 9947 9622 0 -1 4202560 2152 0 0 0 461 0 0 0 20 0 2 0 436204885 686481408 15596 33554432000 4194304 6211092 140734738266384 140612539698272 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13262848 140734738273297 140734738273389 140734738273389 140734738276302 0
Current children cumulated CPU time: 36.86 s
Current children cumulated vsize: 670392 KiB
Current children cumulated memory: 62384 KiB
Child status: 0
Real time (s): 4.71126
CPU time (s): 36.8824
CPU user time (s): 36.8005
CPU system time (s): 0.081929
CPU usage (%): 782.857
Max. virtual memory (cumulated for all children) (KiB): 674004
Max. memory (cumulated for all children) (KiB): 64708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.8005
system time used= 0.081929
maximum resident set size= 64708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43079
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= 409
involuntary context switches= 641
# summary of solver processes directly reported to runsolver:
# pid: 9947
# total CPU time (s): 36.8824
# total CPU user time (s): 36.8005
# total CPU system time (s): 0.081929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049316 second user time and 0.08898 second system time
The end
Begin job on node107 at 2019-09-16 03:02:52 IDJOB=4397979 IDBENCH=122918 IDSOLVER=2851 FILE ID=node107/4397979-1568599490 RUNJOBID= node107-1568593251-9649 PBS_JOBID= 21703401 Free space on /tmp= 59040 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-064.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397979-1568599490/watcher-4397979-1568599490 -o /tmp/evaluation-result-4397979-1568599490/solver-4397979-1568599490 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568593251-9649 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397979-1568599490.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee RANDOM SEED=777290604 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30891136 kB MemAvailable: 31820388 kB Buffers: 199604 kB Cached: 1010460 kB SwapCached: 77208 kB Active: 570228 kB Inactive: 717848 kB Active(anon): 10936 kB Inactive(anon): 108724 kB Active(file): 559292 kB Inactive(file): 609124 kB Unevictable: 111252 kB Mlocked: 111252 kB SwapTotal: 67108860 kB SwapFree: 66925552 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 113012 kB Mapped: 40356 kB Shmem: 33256 kB Slab: 181932 kB SReclaimable: 153344 kB SUnreclaim: 28588 kB KernelStack: 3392 kB PageTables: 6376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59036 MiB End job on node107 at 2019-09-16 03:02:57