| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 38.6414 | 4.95311 |
| 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.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -model -nbcores=8 HOME/instance-4409239-1569819851.xml 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c root propagations : 6082 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.05 s 0.00/0.08 c | 0.00/0.08 c | Variables: 128 0.00/0.08 c | Domain Sizes: 64..4096 0.00/0.08 c | 0.00/0.08 c | Constraints: 132 0.00/0.08 c | Arity: 1..64 -- Unary: 1 -- Binary: 126 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | (X - Y < k): 62 0.00/0.08 c | All Different: 1 0.00/0.08 c | Intension: 64 0.00/0.08 c | Sum: 4 0.00/0.08 c | Unary: 1 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c Parallel mode: Portfolio 0.00/0.08 c [pFactory][Group N°0] created (threads:8). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.08 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.08 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.08 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.08 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.08 c [pFactory][Group N°0] task 6 launched on thread 5. 0.00/0.08 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.08 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.08 c [pFactory][Group N°0] task 3 launched on thread 6. 0.00/0.08 c [pFactory][Group N°0] task 2 launched on thread 3. 0.00/0.08 c [pFactory][Group N°0] task 1 launched on thread 7. 0.00/0.08 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c root propagations : 6082 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 0 1 497 6083 c 65 0 01 497 6083 65 0 0 0 00 0 0 0.00/0.08 0.00/0.09 c 0 1 497 6083 65 0 0 0 0 0.00/0.09 c c 0 0 1 1 497 497 60836083 65 65 0 0 0 0 00 0 0 0.00/0.09 0.00/0.09 c 0 2 499 6085 66 0 c 0 0 0 0.00/0.09 0 2 499 6085 66 0 0 0 0 0.00/0.10 c 0 2 499 6085 66 0 0 0 0 0.00/0.10 c 0 2 499 6085 66 0 0 0 0 0.00/0.10 c 0 2 499 6085 66 0 0 0 0 0.00/0.10 c 0 3 501 6087 66 0 0 0 0 0.00/0.10 c 0 3 501 6087 66 0 0 0 0 0.00/0.10 c 0 3 501 6087 66 0 0 0 0 0.00/0.10 c 0 4 504 6090 68 0 0 0 0 0.00/0.10 c 0 4 504 6090 68 0 0 0 0 0.00/0.10 c 0 4 504 6090 68 0 0 0 0 0.00/0.10 c 0 7 511 6093 68 0 0 0 0 0.00/0.10 c 0 8 513 6095 68 0 0 0 0 0.00/0.10 c 0 9 515 6097 69 0 0 0 0 0.00/0.10 c 0 10 523 6101 69 0 0 0 0 0.00/0.10 c 0 11 526 6104 69 0 0 0 0 0.29/0.11 c 0 2 669 43483 65 0 0 0 0 0.29/0.12 c 0 3 680 43544 69 0 0 0 0 0.29/0.12 c 0 4 686 43549 69 0 0 0 0 0.29/0.12 c 0 5 689 43552 69 0 0 0 0 0.29/0.12 c 0 6 691 43554 69 0 0 0 0 0.29/0.12 c 0 7 693 43556 69 0 0 0 0 0.29/0.15 c 0 9 865 80940 69 0 0 0 0 0.29/0.16 c 0 10 898 81011 69 0 0 0 0 0.29/0.16 c 0 11 903 81015 69 0 0 0 0 0.29/0.16 c 0 12 907 81018 69 0 0 0 0 0.29/0.16 c 0 13 909 81020 69 0 0 0 0 0.29/0.16 c 0 14 911 81022 69 0 0 0 0 0.29/0.16 c 0 15 913 81024 69 0 0 0 0 0.29/0.16 c 0 16 917 81027 69 0 0 0 0 0.29/0.16 c 32 36 808 7330 69 0 1 1 0 0.29/0.17 c 33 37 816 7367 69 0 1 1 0 0.29/0.18 c 0 18 1089 118404 69 0 0 0 0 0.29/0.19 c 0 19 1094 118460 69 0 0 0 0 0.29/0.19 c 0 20 1096 118462 69 0 0 0 0 0.29/0.19 c 0 21 1099 118465 69 0 0 0 0 0.29/0.19 c 0 22 1101 118467 69 0 0 0 0 0.29/0.21 c 0 24 1273 155844 69 0 0 0 0 1.17/0.22 c 0 25 1278 155897 69 0 0 0 0 1.17/0.22 c 0 26 1282 155900 69 0 0 0 0 1.17/0.22 c 0 27 1286 155903 69 0 0 0 0 1.17/0.22 c 0 28 1288 155905 69 0 0 0 0 1.17/0.22 c 0 29 1290 155907 69 0 0 0 0 1.17/0.23 c 64 68 1091 8556 69 0 1 1 0 1.17/0.23 c 101 103 1241 9841 69 0 1 1 0 1.17/0.23 c 65 69 1099 8594 69 0 1 1 0 1.17/0.23 c 66 70 1107 8631 69 0 1 1 0 1.17/0.23 c 67 71 1142 8682 69 0 1 1 0 1.17/0.25 c 0 31 1462 193284 69 0 0 0 0 1.17/0.26 c 0 32 1494 193388 69 0 0 0 0 1.17/0.26 c 0 33 1526 193405 69 0 0 0 0 1.17/0.26 c 0 34 1528 193407 69 0 0 0 0 1.17/0.26 c 0 35 1530 193409 69 0 0 0 0 1.17/0.26 c 0 36 1532 193411 69 0 0 0 0 1.17/0.27 c 101 101 1493 9941 69 0 1 1 0 1.17/0.28 c 0 38 1704 230788 69 0 0 0 0 1.17/0.29 c 0 39 1736 230855 69 0 0 0 0 1.17/0.29 c 0 40 1739 230858 69 0 0 0 0 1.17/0.29 c 0 41 1741 230860 69 0 0 0 0 1.17/0.29 c 0 42 1743 230862 69 0 0 0 0 1.17/0.29 c 0 43 1745 230864 69 0 0 0 0 1.17/0.29 c 0 44 1747 230866 69 0 0 0 0 1.17/0.31 c 0 46 1919 268243 69 0 0 0 0 1.96/0.32 c 0 47 1924 268295 69 0 0 0 0 1.96/0.32 c 0 48 1928 268298 69 0 0 0 0 1.96/0.32 c 0 49 1932 268301 69 0 0 0 0 1.96/0.34 c 0 51 2104 305678 69 0 0 0 0 1.96/0.35 c 0 52 2109 305730 69 0 0 0 0 1.96/0.35 c 0 53 2113 305733 69 0 0 0 0 1.96/0.35 c 0 54 2117 305736 69 0 0 0 0 1.96/0.35 c 0 55 2121 305739 69 0 0 0 0 1.96/0.35 c 0 56 2123 305741 69 0 0 0 0 1.96/0.35 c 0 57 2127 305744 69 0 0 0 0 1.96/0.35 c 0 58 2129 305746 69 0 0 0 0 1.96/0.35 c 0 59 2131 305748 69 0 0 0 0 1.96/0.35 c 0 60 2133 305750 69 0 0 0 0 1.96/0.36 c 128 132 1748 11026 69 0 1 1 0 1.96/0.36 c 129 133 1756 11064 69 0 1 1 0 1.96/0.36 c 130 134 1764 11101 69 0 1 1 0 1.96/0.36 c 131 135 1772 11138 69 0 1 1 0 1.96/0.36 c 132 136 1780 11176 69 0 1 1 0 1.96/0.38 c 133 137 1788 11213 69 0 1 1 0 1.96/0.38 c 134 138 1796 11250 69 0 1 1 0 1.96/0.38 c 135 139 1804 11288 69 0 1 1 0 1.96/0.39 c 0 62 2305 343127 69 0 0 0 0 1.96/0.39 c 0 63 2310 343176 69 0 0 0 0 1.96/0.39 c 211 213 2085 13298 69 0 1 1 0 1.96/0.39 c 0 64 2314 343179 69 0 0 0 0 1.96/0.39 c 0 65 2318 343182 69 0 0 0 0 1.96/0.39 c 0 66 2322 343185 69 0 0 0 0 1.96/0.39 c 32 104 3402 242950 69 0 1 71 17 1.96/0.41 c 0 68 2494 380562 69 0 0 0 0 2.74/0.42 c 0 69 2498 380603 69 0 0 0 0 2.74/0.42 c 0 70 2500 380605 69 0 0 0 0 2.74/0.44 c 33 105 3558 309711 69 0 1 1 0 2.74/0.45 c 0 72 2674 417983 69 0 0 0 0 2.74/0.45 c 0 73 2702 418035 69 0 0 0 0 2.74/0.45 c 0 74 2706 418038 69 0 0 0 0 2.74/0.45 c 0 75 2710 418041 69 0 0 0 0 2.74/0.45 c 0 76 2714 418044 69 0 0 0 0 2.74/0.48 c 0 78 2886 455410 69 0 0 0 0 2.74/0.49 c 0 79 2890 455454 69 0 0 0 0 2.74/0.49 c 0 80 2894 455457 69 0 0 0 0 2.74/0.49 c 0 81 2896 455459 69 0 0 0 0 2.74/0.49 c 0 82 2898 455461 69 0 0 0 0 2.74/0.51 c 0 84 3070 492827 69 0 0 0 0 3.53/0.52 c 0 85 3074 492869 69 0 0 0 0 3.53/0.54 c 332 334 2785 16914 69 0 1 1 0 3.53/0.55 c 0 87 3248 530237 69 0 0 0 0 3.53/0.55 c 0 88 3252 530277 69 0 0 0 0 3.53/0.55 c 0 89 3290 530291 69 0 0 0 0 3.53/0.55 c 0 90 3294 530294 69 0 0 0 0 3.53/0.55 c 0 91 3298 530297 69 0 0 0 0 3.53/0.56 c 256 260 2712 15737 69 0 1 1 0 3.53/0.57 c 257 261 2718 15773 69 0 1 1 0 3.53/0.57 c 258 262 2724 15809 69 0 1 1 0 3.53/0.57 c 259 263 2730 15845 69 0 1 1 0 3.53/0.57 c 260 264 2760 15892 69 0 1 1 0 3.53/0.57 c 261 265 2766 15928 69 0 1 1 0 3.53/0.57 c 262 266 2772 15964 69 0 1 1 0 3.53/0.57 c 0 93 3470 567652 69 0 0 0 0 3.53/0.57 c 263 267 2778 16000 69 0 1 1 0 3.53/0.57 c 0 94 3498 567760 69 0 0 0 0 3.53/0.57 c 264 268 2808 16047 69 0 1 1 0 3.53/0.58 c 0 95 3502 567763 69 0 0 0 0 3.53/0.58 c 0 96 3504 567765 69 0 0 0 0 3.53/0.58 c 265 269 2814 16083 69 0 1 1 0 3.53/0.58 c 266 270 2820 16124 69 0 1 1 0 3.53/0.58 c 267 271 2826 16160 69 0 1 1 0 3.53/0.58 c 268 272 2832 16196 69 0 1 1 0 3.53/0.59 c 269 273 2838 16232 69 0 1 1 0 3.53/0.59 c 270 274 2844 16268 69 0 1 1 0 3.53/0.59 c 271 275 2850 16304 69 0 1 1 0 3.53/0.61 c 0 98 3678 605055 69 0 0 0 0 3.53/0.61 c 0 99 3682 605098 69 0 0 0 0 3.53/0.61 c 0 100 3684 605100 69 0 0 0 0 3.53/0.61 c 0 101 3686 605102 69 0 0 0 0 4.26/0.63 c 32 80 2859 398740 69 0 3 38 21 4.26/0.64 c 0 103 3858 642391 69 0 0 0 0 4.26/0.64 c 0 104 3862 642435 69 0 0 0 0 4.26/0.64 c 0 105 3866 642438 69 0 0 0 0 4.26/0.67 c 0 107 4038 679727 69 0 0 0 0 4.26/0.68 c 0 108 4042 679771 69 0 0 0 0 4.26/0.68 c 0 109 4046 679774 69 0 0 0 0 4.98/0.70 c 0 111 4218 717063 69 0 0 0 0 4.98/0.71 c 0 112 4222 717107 69 0 0 0 0 4.98/0.71 c 0 113 4224 717109 69 0 0 0 0 4.98/0.71 c 33 105 3581 508676 69 0 25 25 12 4.98/0.72 c 465 467 3755 20973 69 0 1 1 0 4.98/0.73 c 0 115 4398 754399 69 0 0 0 0 4.98/0.73 c 0 116 4402 754442 69 0 0 0 0 4.98/0.73 c 0 117 4406 754445 69 0 0 0 0 4.98/0.76 c 0 119 4578 791734 69 0 0 0 0 4.98/0.77 c 0 120 4599 791786 69 0 0 0 0 4.98/0.77 c 0 121 4601 791788 69 0 0 0 0 4.98/0.77 c 0 122 4603 791790 69 0 0 0 0 4.98/0.77 c 0 123 4605 791792 69 0 0 0 0 4.98/0.79 c 0 125 4777 829081 69 0 0 0 0 5.78/0.80 c 0 126 4781 829125 69 0 0 0 0 5.78/0.80 c 0 127 4785 829128 69 0 0 0 0 5.78/0.82 c 0 129 4957 866417 69 0 0 0 0 5.78/0.83 c 0 130 4978 866477 69 0 0 0 0 5.78/0.83 c 0 131 4982 866480 69 0 0 0 0 5.78/0.85 c 0 133 5154 903769 69 0 0 0 0 5.78/0.86 c 0 134 5175 903838 69 0 0 0 0 5.78/0.86 c 0 135 5179 903841 69 0 0 0 0 5.78/0.88 c 0 137 5351 941130 69 0 0 0 0 5.78/0.90 c 0 138 5372 941181 69 0 0 0 0 5.78/0.90 c 0 139 5376 941184 69 0 0 0 0 5.78/0.90 c 0 140 5378 941186 69 0 0 0 0 5.78/0.90 c 0 141 5380 941188 69 0 0 0 0 6.58/0.92 c 0 143 5552 978477 69 0 0 0 0 6.58/0.92 c 611 613 4761 25414 69 0 1 1 0 6.58/0.93 c 0 144 5573 978527 69 0 0 0 0 6.58/0.93 c 0 145 5577 978530 69 0 0 0 0 6.58/0.93 c 0 146 5598 978541 69 0 0 0 0 6.58/0.93 c 0 147 5602 978544 69 0 0 0 0 6.58/0.93 c 512 516 4458 24512 69 0 1 1 0 6.58/0.93 c 513 517 4464 24539 69 0 1 1 0 6.58/0.93 c 514 518 4470 24566 69 0 1 1 0 6.58/0.94 c 515 519 4476 24593 69 0 1 1 0 6.58/0.94 c 516 520 4487 24621 69 0 1 1 0 6.58/0.94 c 517 521 4493 24648 69 0 1 1 0 6.58/0.94 c 518 522 4501 24676 70 0 1 1 0 6.58/0.94 c 519 523 4509 24704 70 0 1 1 0 6.58/0.94 c 520 524 4534 24758 70 0 1 1 0 6.58/0.95 c 521 525 4542 24782 70 0 1 1 0 6.58/0.95 c 522 526 4550 24806 70 0 1 1 0 6.58/0.95 c 523 527 4558 24831 70 0 1 1 0 6.58/0.95 c 524 528 4566 24855 70 0 1 1 0 6.58/0.95 c 525 529 4574 24879 70 0 1 1 0 6.58/0.95 c 526 530 4582 24904 70 0 1 1 0 6.58/0.95 c 0 149 5774 1015833 69 0 0 0 0 6.58/0.96 c 527 531 4590 24928 70 0 1 1 0 6.58/0.96 c 0 150 5795 1015915 70 0 0 0 0 6.58/0.96 c 0 151 5799 1015918 70 0 0 0 0 6.58/0.96 c 0 152 5801 1015920 70 0 0 0 0 6.58/0.96 c 528 532 4598 24953 70 0 1 1 0 6.58/0.96 c 0 153 5805 1015923 70 0 0 0 0 6.58/0.96 c 0 154 5807 1015925 70 0 0 0 0 6.58/0.96 c 0 155 5809 1015927 70 0 0 0 0 6.58/0.96 c 529 533 4606 24977 70 0 1 1 0 6.58/0.96 c 0 156 5811 1015929 70 0 0 0 0 6.58/0.96 c 530 534 4614 25001 70 0 1 1 0 6.58/0.96 c 531 535 4622 25026 70 0 1 1 0 6.58/0.96 c 532 536 4630 25050 70 0 1 1 0 6.58/0.97 c 533 537 4638 25074 70 0 1 1 0 6.58/0.97 c 534 538 4646 25099 70 0 1 1 0 6.58/0.97 c 535 539 4654 25123 70 0 1 1 0 6.58/0.97 c 536 540 4662 25147 70 0 1 1 0 6.58/0.97 c 537 541 4670 25172 70 0 1 1 0 6.58/0.97 c 538 542 4678 25196 70 0 1 1 0 6.58/0.98 c 539 543 4686 25220 70 0 1 1 0 6.58/0.98 c 540 544 4694 25245 70 0 1 1 0 6.58/0.98 c 541 545 4702 25269 70 0 1 1 0 6.58/0.98 c 542 546 4710 25293 70 0 1 1 0 6.58/0.98 c 543 547 4718 25318 70 0 1 1 0 6.58/0.98 c 0 158 5983 1053218 70 0 0 0 0 6.58/0.99 c 0 159 5988 1053271 70 0 0 0 0 6.58/1.00 c 0 160 5992 1053274 70 0 0 0 0 6.58/1.00 c 0 161 5996 1053277 70 0 0 0 0 6.58/1.00 c 0 162 5998 1053279 70 0 0 0 0 6.58/1.00 c 0 163 6002 1053282 70 0 0 0 0 6.58/1.00 c 0 164 6004 1053284 70 0 0 0 0 6.58/1.00 c 0 165 6006 1053286 70 0 0 0 0 6.58/1.00 c 0 166 6008 1053288 70 0 0 0 0 7.43/1.02 c 0 168 6180 1090577 70 0 0 0 0 7.43/1.03 c 0 169 6185 1090627 70 0 0 0 0 7.43/1.03 c 0 170 6190 1090631 70 0 0 0 0 7.43/1.03 c 0 171 6195 1090635 70 0 0 0 0 7.43/1.05 c 0 173 6369 1127925 70 0 0 0 0 7.43/1.06 c 0 174 6374 1127981 70 0 0 0 0 7.43/1.06 c 0 175 6378 1127984 70 0 0 0 0 7.43/1.06 c 0 176 6382 1127987 70 0 0 0 0 7.43/1.06 c 0 177 6384 1127989 70 0 0 0 0 7.43/1.06 c 0 178 6388 1127992 70 0 0 0 0 7.43/1.09 c 0 180 6560 1165281 70 0 0 0 0 7.43/1.09 c 101 177 3228 1021110 70 0 1 69 10 7.43/1.10 c 0 181 6565 1165333 70 0 0 0 0 7.43/1.10 c 0 182 6570 1165337 70 0 0 0 0 7.43/1.10 c 0 183 6572 1165339 70 0 0 0 0 7.43/1.10 c 0 184 6574 1165341 70 0 0 0 0 7.43/1.10 c 0 185 6576 1165343 70 0 0 0 0 7.43/1.10 c 0 186 6578 1165345 70 0 0 0 0 7.43/1.10 c 0 187 6580 1165347 70 0 0 0 0 8.25/1.12 c 211 308 5114 1381973 69 0 1 62 23 8.25/1.12 c 0 189 6752 1202636 70 0 0 0 0 8.25/1.13 c 0 190 6757 1202690 70 0 0 0 0 8.25/1.13 c 0 191 6762 1202694 71 0 0 0 0 8.25/1.13 c 0 192 6766 1202697 71 0 0 0 0 8.25/1.13 c 0 193 6769 1202700 71 0 0 0 0 8.25/1.13 c 0 194 6773 1202703 71 0 0 0 0 8.25/1.13 c 0 195 6776 1202706 71 0 0 0 0 8.25/1.13 c 0 196 6778 1202708 71 0 0 0 0 8.25/1.13 c 0 197 6780 1202710 71 0 0 0 0 8.25/1.14 c 771 773 5812 30316 71 0 1 1 0 8.25/1.16 c 0 199 6952 1239999 71 0 0 0 0 8.25/1.17 c 0 200 6957 1240053 71 0 0 0 0 8.25/1.17 c 0 201 6961 1240056 71 0 0 0 0 8.25/1.17 c 0 202 6965 1240059 71 0 0 0 0 8.25/1.17 c 0 203 6969 1240062 71 0 0 0 0 8.25/1.17 c 0 204 6971 1240064 71 0 0 0 0 8.25/1.17 c 0 205 6975 1240067 71 0 0 0 0 8.25/1.18 c 64 254 7557 992686 69 0 1 56 22 8.25/1.19 c 0 207 7147 1277356 71 0 0 0 0 8.97/1.20 c 0 208 7152 1277411 71 0 0 0 0 8.97/1.20 c 0 209 7157 1277415 71 0 0 0 0 8.97/1.22 c 32 116 4439 1040650 69 0 1 28 17 8.97/1.23 c 0 211 7329 1314704 71 0 0 0 0 8.97/1.23 c 0 212 7334 1314760 71 0 0 0 0 8.97/1.23 c 0 213 7338 1314763 71 0 0 0 0 8.97/1.23 c 0 214 7340 1314765 71 0 0 0 0 8.97/1.23 c 0 215 7342 1314767 71 0 0 0 0 8.97/1.23 c 0 216 7344 1314769 71 0 0 0 0 8.97/1.23 c 65 255 7666 1035133 71 0 1 1 0 8.97/1.24 c 33 117 4608 1055443 71 0 1 1 0 8.97/1.25 c 0 218 7516 1352058 71 0 0 0 0 8.97/1.27 c 0 219 7563 1352136 71 0 0 0 0 8.97/1.27 c 0 220 7567 1352139 71 0 0 0 0 8.97/1.27 c 0 221 7571 1352142 71 0 0 0 0 8.97/1.27 c 0 222 7573 1352144 71 0 0 0 0 8.97/1.27 c 0 223 7577 1352147 71 0 0 0 0 8.97/1.29 c 0 225 7742 1389434 71 0 0 0 0 9.76/1.30 c 0 226 7770 1389500 71 0 0 0 0 9.76/1.30 c 0 227 7775 1389504 71 0 0 0 0 9.76/1.30 c 0 228 7777 1389506 71 0 0 0 0 9.76/1.30 c 211 287 4198 1023827 71 0 1 1 0 9.76/1.30 c 0 229 7780 1389509 71 0 0 0 0 9.76/1.30 c 0 230 7780 1389510 71 0 0 0 0 9.76/1.30 c 66 256 7762 1076559 71 0 1 1 0 9.76/1.30 c 67 257 7877 1081412 71 0 1 1 0 9.76/1.32 c 0 232 7945 1426797 71 0 0 0 0 9.76/1.33 c 0 233 7956 1426858 71 0 0 0 0 9.76/1.33 c 0 234 7966 1426863 71 0 0 0 0 9.76/1.33 c 0 235 7970 1426866 71 0 0 0 0 9.76/1.33 c 0 236 7972 1426868 71 0 0 0 0 9.76/1.33 c 0 237 7976 1426871 71 0 0 0 0 9.76/1.33 c 0 238 7978 1426873 71 0 0 0 0 9.76/1.33 c 0 239 7980 1426875 71 0 0 0 0 9.76/1.33 c 0 240 7982 1426877 71 0 0 0 0 9.76/1.36 c 0 242 8147 1464164 71 0 0 0 0 9.76/1.37 c 0 243 8152 1464219 71 0 0 0 0 9.76/1.37 c 0 244 8156 1464222 71 0 0 0 0 9.76/1.37 c 0 245 8158 1464224 71 0 0 0 0 9.76/1.37 c 0 246 8162 1464227 71 0 0 0 0 9.76/1.37 c 0 247 8164 1464229 71 0 0 0 0 9.76/1.37 c 0 248 8166 1464231 71 0 0 0 0 9.76/1.37 c 0 249 8168 1464233 71 0 0 0 0 9.76/1.38 c 947 949 7069 35452 71 0 1 1 0 9.76/1.39 c 0 251 8333 1501520 71 0 0 0 0 10.56/1.40 c 0 252 8344 1501577 71 0 0 0 0 10.56/1.40 c 0 253 8349 1501581 71 0 0 0 0 10.56/1.42 c 0 255 8514 1538868 71 0 0 0 0 10.56/1.43 c 0 256 8519 1538922 71 0 0 0 0 10.56/1.43 c 0 257 8523 1538925 71 0 0 0 0 10.56/1.43 c 0 258 8527 1538928 71 0 0 0 0 10.56/1.43 c 0 259 8531 1538931 71 0 0 0 0 10.56/1.43 c 0 260 8533 1538933 71 0 0 0 0 10.56/1.43 c 0 261 8537 1538936 71 0 0 0 0 10.56/1.43 c 0 262 8539 1538938 71 0 0 0 0 10.56/1.43 c 0 263 8541 1538940 71 0 0 0 0 10.56/1.43 c 0 264 8543 1538942 71 0 0 0 0 10.56/1.45 c 1000 1003 7415 36911 71 0 1 1 0 10.56/1.46 c 0 266 8708 1576229 71 0 0 0 0 10.56/1.47 c 0 267 8713 1576283 71 0 0 0 0 10.56/1.47 c 0 268 8717 1576286 71 0 0 0 0 10.56/1.47 c 0 269 8721 1576289 71 0 0 0 0 10.56/1.47 c 0 270 8725 1576292 71 0 0 0 0 10.56/1.47 c 0 271 8727 1576294 71 0 0 0 0 10.56/1.47 c 0 272 8731 1576297 71 0 0 0 0 10.56/1.49 c 0 274 8896 1613584 71 0 0 0 0 11.37/1.50 c 0 275 8901 1613639 71 0 0 0 0 11.37/1.50 c 0 276 8906 1613643 71 0 0 0 0 11.37/1.51 c 332 408 5198 1026783 71 0 1 1 0 11.37/1.52 c 0 278 9071 1650930 71 0 0 0 0 11.37/1.53 c 0 279 9076 1650985 71 0 0 0 0 11.37/1.53 c 0 280 9080 1650988 71 0 0 0 0 11.37/1.53 c 0 281 9083 1650991 71 0 0 0 0 11.37/1.53 c 0 282 9085 1650993 71 0 0 0 0 11.37/1.53 c 0 283 9087 1650995 71 0 0 0 0 11.37/1.53 c 0 284 9087 1650996 71 0 0 0 0 11.37/1.56 c 0 286 9252 1688283 71 0 0 0 0 11.37/1.57 c 0 287 9257 1688336 71 0 0 0 0 11.37/1.57 c 0 288 9262 1688340 71 0 0 0 0 11.37/1.57 c 0 289 9266 1688343 71 0 0 0 0 11.37/1.57 c 0 290 9270 1688346 71 0 0 0 0 11.37/1.57 c 0 291 9272 1688348 71 0 0 0 0 11.37/1.57 c 0 292 9274 1688350 71 0 0 0 0 11.37/1.57 c 0 293 9276 1688352 71 0 0 0 0 11.37/1.59 c 0 295 9441 1725639 71 0 0 0 0 12.17/1.60 c 0 296 9446 1725692 71 0 0 0 0 12.17/1.60 c 0 297 9451 1725696 71 0 0 0 0 12.17/1.60 c 0 298 9455 1725699 71 0 0 0 0 12.17/1.60 c 0 299 9459 1725702 71 0 0 0 0 12.17/1.60 c 0 300 9461 1725704 71 0 0 0 0 12.17/1.60 c 0 301 9463 1725706 71 0 0 0 0 12.17/1.60 c 0 302 9465 1725708 71 0 0 0 0 12.17/1.62 c 0 304 9630 1762995 71 0 0 0 0 12.17/1.63 c 0 305 9635 1763048 71 0 0 0 0 12.17/1.63 c 0 306 9640 1763052 71 0 0 0 0 12.17/1.63 c 0 307 9644 1763055 71 0 0 0 0 12.17/1.63 c 0 308 9648 1763058 71 0 0 0 0 12.17/1.63 c 0 309 9650 1763060 71 0 0 0 0 12.17/1.63 c 0 310 9652 1763062 71 0 0 0 0 12.17/1.63 c 0 311 9654 1763064 71 0 0 0 0 12.17/1.64 c 1140 1143 8319 40757 71 0 1 1 0 12.17/1.66 c 0 313 9819 1800351 71 0 0 0 0 12.17/1.67 c 0 314 9824 1800404 71 0 0 0 0 12.17/1.67 c 0 315 9829 1800408 71 0 0 0 0 12.17/1.67 c 0 316 9833 1800411 71 0 0 0 0 12.17/1.67 c 0 317 9837 1800414 71 0 0 0 0 12.17/1.67 c 0 318 9839 1800416 71 0 0 0 0 12.17/1.67 c 0 319 9843 1800419 71 0 0 0 0 12.17/1.69 c 0 321 10008 1837706 71 0 0 0 0 12.97/1.70 c 0 322 10013 1837760 71 0 0 0 0 12.97/1.70 c 0 323 10017 1837763 71 0 0 0 0 12.97/1.70 c 0 324 10022 1837767 71 0 0 0 0 12.97/1.70 c 0 325 10024 1837769 71 0 0 0 0 12.97/1.70 c 0 326 10026 1837771 71 0 0 0 0 12.97/1.70 c 0 327 10028 1837773 71 0 0 0 0 12.97/1.70 c 0 328 10030 1837775 71 0 0 0 0 12.97/1.71 c 64 143 6607 1550734 70 0 1 8 3 12.97/1.73 c 0 330 10195 1875062 71 0 0 0 0 12.97/1.74 c 0 331 10200 1875116 71 0 0 0 0 12.97/1.74 c 0 332 10204 1875119 71 0 0 0 0 12.97/1.74 c 0 333 10208 1875122 71 0 0 0 0 12.97/1.74 c 0 334 10210 1875124 71 0 0 0 0 12.97/1.74 c 0 335 10214 1875127 71 0 0 0 0 12.97/1.74 c 0 336 10216 1875129 71 0 0 0 0 12.97/1.74 c 0 337 10218 1875131 71 0 0 0 0 12.97/1.74 c 0 338 10220 1875133 71 0 0 0 0 12.97/1.76 c 465 541 6260 1030021 71 0 1 1 0 12.97/1.76 c 0 340 10385 1912420 71 0 0 0 0 12.97/1.77 c 0 341 10390 1912472 71 0 0 0 0 12.97/1.77 c 0 342 10393 1912475 71 0 0 0 0 12.97/1.77 c 0 343 10395 1912477 71 0 0 0 0 12.97/1.77 c 65 165 6931 1621478 71 0 22 22 11 12.97/1.79 c 0 345 10560 1949764 71 0 0 0 0 13.77/1.80 c 0 346 10565 1949815 71 0 0 0 0 13.77/1.80 c 0 347 10570 1949819 71 0 0 0 0 13.77/1.80 c 0 348 10572 1949821 71 0 0 0 0 13.77/1.80 c 0 349 10575 1949824 71 0 0 0 0 13.77/1.80 c 0 350 10577 1949826 71 0 0 0 0 13.77/1.82 c 0 352 10742 1987113 71 0 0 0 0 13.77/1.83 c 0 353 10747 1987166 71 0 0 0 0 13.77/1.83 c 0 354 10752 1987170 71 0 0 0 0 13.77/1.83 c 0 355 10756 1987173 71 0 0 0 0 13.77/1.83 c 0 356 10758 1987175 71 0 0 0 0 13.77/1.83 c 0 357 10760 1987177 71 0 0 0 0 13.77/1.83 c 0 358 10762 1987179 71 0 0 0 0 13.77/1.84 c 1000 1005 8472 36504 71 0 1 1 0 13.77/1.84 c 1000 1006 8476 36507 71 0 0 0 0 13.77/1.86 c 0 360 10927 2024466 71 0 0 0 0 13.77/1.87 c 0 361 10932 2024520 71 0 0 0 0 13.77/1.87 c 0 362 10937 2024525 71 0 0 0 0 13.77/1.87 c 66 166 7076 1698985 71 0 1 1 0 13.77/1.88 c 1024 1030 8656 37082 71 0 1 1 0 13.77/1.89 c 1025 1031 8662 37105 71 0 1 1 0 13.77/1.89 c 1026 1032 8668 37128 71 0 1 1 0 13.77/1.89 c 1027 1033 8674 37151 71 0 1 1 0 13.77/1.89 c 1028 1034 8680 37174 71 0 1 1 0 13.77/1.89 c 1029 1035 8686 37197 71 0 1 1 0 13.77/1.89 c 1030 1036 8692 37220 71 0 1 1 0 13.77/1.89 c 1031 1037 8700 37244 71 0 1 1 0 13.77/1.89 c 0 364 11102 2061812 71 0 0 0 0 13.77/1.89 c 1032 1038 8708 37269 71 0 1 1 0 14.57/1.90 c 0 365 11113 2061860 71 0 0 0 0 14.57/1.90 c 0 366 11118 2061864 71 0 0 0 0 14.57/1.90 c 1033 1039 8716 37293 71 0 1 1 0 14.57/1.90 c 0 367 11123 2061868 71 0 0 0 0 14.57/1.90 c 1034 1040 8724 37318 71 0 1 1 0 14.57/1.90 c 1035 1041 8732 37342 71 0 1 1 0 14.57/1.90 c 1036 1042 8740 37367 71 0 1 1 0 14.57/1.90 c 1037 1043 8748 37391 71 0 1 1 0 14.57/1.91 c 1038 1044 8756 37416 71 0 1 1 0 14.57/1.91 c 1039 1045 8764 37440 71 0 1 1 0 14.57/1.91 c 1040 1046 8772 37465 71 0 1 1 0 14.57/1.91 c 1041 1047 8780 37489 71 0 1 1 0 14.57/1.92 c 1042 1048 8788 37513 71 0 1 1 0 14.57/1.92 c 67 167 7193 1727117 71 0 1 1 0 14.57/1.92 c 1043 1049 8796 37538 71 0 1 1 0 14.57/1.92 c 1044 1050 8810 37564 71 0 1 1 0 14.57/1.92 c 1045 1051 8818 37588 71 0 1 1 0 14.57/1.92 c 1046 1052 8826 37613 71 0 1 1 0 14.57/1.92 c 1047 1053 8834 37637 71 0 1 1 0 14.57/1.93 c 1048 1054 8842 37662 71 0 1 1 0 14.57/1.93 c 0 369 11290 2099156 71 0 0 0 0 14.57/1.93 c 1049 1055 8850 37686 71 0 1 1 0 14.57/1.93 c 0 370 11301 2099215 71 0 0 0 0 14.57/1.93 c 1050 1056 8864 37713 71 0 1 1 0 14.57/1.93 c 0 371 11305 2099218 71 0 0 0 0 14.57/1.93 c 0 372 11309 2099221 71 0 0 0 0 14.57/1.93 c 1051 1057 8872 37737 71 0 1 1 0 14.57/1.93 c 0 373 11313 2099224 71 0 0 0 0 14.57/1.93 c 0 374 11315 2099226 71 0 0 0 0 14.57/1.93 c 0 375 11317 2099228 71 0 0 0 0 14.57/1.93 c 0 376 11319 2099230 71 0 0 0 0 14.57/1.93 c 1052 1058 8880 37761 71 0 1 1 0 14.57/1.93 c 0 377 11321 2099232 71 0 0 0 0 14.57/1.93 c 0 378 11323 2099234 71 0 0 0 0 14.57/1.93 c 1053 1059 8888 37786 71 0 1 1 0 14.57/1.94 c 1054 1060 8896 37810 71 0 1 1 0 14.57/1.94 c 1055 1061 8904 37834 71 0 1 1 0 14.57/1.94 c 1056 1062 8912 37859 71 0 1 1 0 14.57/1.94 c 1057 1063 8920 37883 71 0 1 1 0 14.57/1.94 c 1058 1064 8928 37907 71 0 1 1 0 14.57/1.94 c 1059 1065 8936 37932 71 0 1 1 0 14.57/1.95 c 1060 1066 8944 37956 71 0 1 1 0 14.57/1.95 c 1061 1067 8952 37980 71 0 1 1 0 14.57/1.95 c 1062 1068 8960 38005 71 0 1 1 0 14.57/1.95 c 1063 1069 8968 38029 71 0 1 1 0 14.57/1.95 c 1064 1070 8976 38053 71 0 1 1 0 14.57/1.95 c 1065 1071 8984 38078 71 0 1 1 0 14.57/1.96 c 1066 1072 8992 38102 71 0 1 1 0 14.57/1.96 c 1067 1073 9000 38127 71 0 1 1 0 14.57/1.96 c 0 380 11488 2136521 71 0 0 0 0 14.57/1.96 c 1068 1074 9008 38151 71 0 1 1 0 14.57/1.96 c 0 381 11493 2136575 71 0 0 0 0 14.57/1.96 c 1069 1075 9016 38175 71 0 1 1 0 14.57/1.96 c 0 382 11497 2136578 71 0 0 0 0 14.57/1.96 c 0 383 11501 2136581 71 0 0 0 0 14.57/1.96 c 0 384 11503 2136583 71 0 0 0 0 14.57/1.96 c 1352 1355 9875 72314 71 0 1 1 0 14.57/1.96 c 1070 1076 9024 38200 71 0 1 1 0 14.57/1.96 c 0 385 11507 2136586 71 0 0 0 0 14.57/1.96 c 0 386 11509 2136588 71 0 0 0 0 14.57/1.96 c 0 387 11511 2136590 71 0 0 0 0 14.57/1.96 c 1071 1077 9032 38224 71 0 1 1 0 14.57/1.96 c 0 388 11513 2136592 71 0 0 0 0 14.57/1.97 c 1072 1078 9040 38248 71 0 1 1 0 14.57/1.97 c 1073 1079 9048 38273 71 0 1 1 0 14.57/1.97 c 1074 1080 9056 38297 71 0 1 1 0 14.57/1.97 c 1075 1081 9064 38321 71 0 1 1 0 14.57/1.97 c 1076 1082 9072 38346 71 0 1 1 0 14.57/1.97 c 1077 1083 9080 38370 71 0 1 1 0 14.57/1.98 c 1078 1084 9088 38394 71 0 1 1 0 14.57/1.98 c 1079 1085 9096 38419 71 0 1 1 0 14.57/1.98 c 1080 1086 9104 38443 71 0 1 1 0 14.57/1.98 c 1081 1087 9112 38467 71 0 1 1 0 14.57/1.98 c 1082 1088 9120 38492 71 0 1 1 0 14.57/1.98 c 1083 1089 9128 38516 71 0 1 1 0 14.57/1.99 c 1084 1090 9134 38539 71 0 1 1 0 14.57/1.99 c 1085 1091 9140 38562 71 0 1 1 0 14.57/1.99 c 1086 1092 9146 38585 71 0 1 1 0 14.57/1.99 c 1087 1093 9152 38608 71 0 1 1 0 14.57/1.99 c 0 390 11678 2173879 71 0 0 0 0 14.57/1.99 c 0 391 11683 2173929 71 0 0 0 0 14.57/1.99 c 0 392 11686 2173932 71 0 0 0 0 14.57/2.01 c 611 687 7360 1033527 71 0 1 1 0 15.50/2.02 c 0 394 11851 2211219 71 0 0 0 0 15.50/2.03 c 0 395 11854 2211259 71 0 0 0 0 15.50/2.05 c 0 397 12019 2248546 71 0 0 0 0 15.50/2.05 c 0 398 12022 2248589 71 0 0 0 0 15.50/2.06 c 0 399 12025 2248592 71 0 0 0 0 15.50/2.08 c 0 401 12190 2285879 71 0 0 0 0 16.24/2.11 c 0 403 12358 2323208 71 0 0 0 0 16.24/2.11 c 0 404 12361 2323253 71 0 0 0 0 16.24/2.14 c 0 406 12526 2360540 71 0 0 0 0 16.24/2.15 c 0 407 12531 2360589 71 0 0 0 0 16.24/2.15 c 0 408 12536 2360593 71 0 0 0 0 16.24/2.17 c 128 376 11324 1943014 71 0 1 59 34 16.24/2.17 c 0 410 12703 2397881 71 0 0 0 0 16.24/2.17 c 129 377 11339 1944439 71 0 1 1 0 16.24/2.18 c 0 411 12708 2397936 71 0 0 0 0 16.24/2.18 c 0 412 12714 2397941 72 0 0 0 0 16.24/2.18 c 130 378 11348 1944465 72 0 1 1 0 16.24/2.18 c 0 413 12717 2397944 72 0 0 0 0 16.24/2.18 c 0 414 12721 2397947 72 0 0 0 0 16.24/2.18 c 131 379 11357 1944488 72 0 1 1 0 16.24/2.18 c 132 380 11366 1944510 72 0 1 1 0 16.24/2.18 c 133 381 11375 1944532 72 0 1 1 0 16.24/2.18 c 134 382 11384 1944555 72 0 1 1 0 16.24/2.18 c 135 383 11393 1944577 72 0 1 1 0 16.95/2.20 c 0 416 12886 2435234 72 0 0 0 0 16.95/2.21 c 0 417 12892 2435295 72 0 0 0 0 16.95/2.21 c 0 418 12897 2435299 72 0 0 0 0 16.95/2.23 c 0 420 13062 2472586 72 0 0 0 0 16.95/2.25 c 0 421 13067 2472637 72 0 0 0 0 16.95/2.25 c 0 422 13070 2472640 72 0 0 0 0 16.95/2.25 c 771 847 8418 1037282 72 0 1 1 0 16.95/2.27 c 0 424 13235 2509927 72 0 0 0 0 16.95/2.27 c 0 425 13238 2509971 72 0 0 0 0 16.95/2.30 c 0 427 13403 2547258 72 0 0 0 0 16.95/2.30 c 0 428 13406 2547301 72 0 0 0 0 16.95/2.30 c 0 429 13409 2547304 72 0 0 0 0 17.75/2.33 c 0 431 13574 2584591 72 0 0 0 0 17.75/2.36 c 0 433 13742 2621920 72 0 0 0 0 17.75/2.36 c 0 434 13745 2621965 72 0 0 0 0 17.75/2.38 c 0 436 13910 2659252 72 0 0 0 0 17.75/2.40 c 0 437 13913 2659296 72 0 0 0 0 17.75/2.40 c 0 438 13915 2659298 72 0 0 0 0 17.75/2.40 c 0 439 13917 2659300 72 0 0 0 0 18.55/2.42 c 0 441 14082 2696587 72 0 0 0 0 18.55/2.43 c 0 442 14085 2696631 72 0 0 0 0 18.55/2.43 c 0 443 14087 2696633 72 0 0 0 0 18.55/2.43 c 0 444 14089 2696635 72 0 0 0 0 18.55/2.45 c 0 446 14254 2733922 72 0 0 0 0 18.55/2.45 c 0 447 14257 2733966 72 0 0 0 0 18.55/2.46 c 0 448 14259 2733968 72 0 0 0 0 18.55/2.46 c 0 449 14261 2733970 72 0 0 0 0 18.55/2.48 c 0 451 14426 2771257 72 0 0 0 0 18.55/2.48 c 0 452 14429 2771302 72 0 0 0 0 18.55/2.49 c 947 1023 9472 1041331 72 0 1 1 0 19.35/2.51 c 0 454 14594 2808589 72 0 0 0 0 19.35/2.52 c 0 455 14597 2808632 72 0 0 0 0 19.35/2.52 c 0 456 14600 2808635 72 0 0 0 0 19.35/2.54 c 0 458 14765 2845922 72 0 0 0 0 19.35/2.55 c 0 459 14768 2845965 72 0 0 0 0 19.35/2.55 c 0 460 14770 2845967 72 0 0 0 0 19.35/2.55 c 0 461 14772 2845969 72 0 0 0 0 19.35/2.57 c 0 463 14937 2883256 72 0 0 0 0 19.35/2.57 c 0 464 14940 2883299 72 0 0 0 0 19.35/2.58 c 0 465 14942 2883301 72 0 0 0 0 19.35/2.58 c 0 466 14944 2883303 72 0 0 0 0 19.35/2.59 c 332 634 16462 5094134 71 0 1 37 28 20.15/2.60 c 0 468 15109 2920590 72 0 0 0 0 20.15/2.61 c 0 469 15113 2920637 73 0 0 0 0 20.15/2.61 c 0 470 15115 2920639 73 0 0 0 0 20.15/2.61 c 0 471 15117 2920641 73 0 0 0 0 20.15/2.63 c 0 473 15282 2957928 73 0 0 0 0 20.15/2.63 c 0 474 15285 2957971 73 0 0 0 0 20.15/2.64 c 0 475 15287 2957973 73 0 0 0 0 20.15/2.64 c 0 476 15289 2957975 73 0 0 0 0 20.15/2.64 c 0 477 15291 2957977 73 0 0 0 0 20.15/2.64 c 0 478 15293 2957979 73 0 0 0 0 20.15/2.66 c 0 480 15458 2995266 73 0 0 0 0 20.15/2.66 c 0 481 15461 2995310 73 0 0 0 0 20.15/2.67 c 0 482 15463 2995312 73 0 0 0 0 20.15/2.69 c 0 484 15628 3032599 73 0 0 0 0 20.15/2.69 c 0 485 15631 3032644 73 0 0 0 0 20.95/2.72 c 0 487 15796 3069931 73 0 0 0 0 20.95/2.73 c 0 488 15799 3069975 73 0 0 0 0 20.95/2.73 c 0 489 15801 3069977 73 0 0 0 0 20.95/2.73 c 0 490 15803 3069979 73 0 0 0 0 20.95/2.75 c 0 492 15968 3107266 73 0 0 0 0 20.95/2.76 c 0 493 15971 3107311 73 0 0 0 0 20.95/2.76 c 1140 1216 10630 1045773 73 0 1 1 0 20.95/2.78 c 0 495 16136 3144598 73 0 0 0 0 20.95/2.78 c 0 496 16139 3144637 73 0 0 0 0 20.95/2.79 c 0 497 16142 3144640 73 0 0 0 0 21.72/2.81 c 0 499 16307 3181927 73 0 0 0 0 21.72/2.81 c 0 500 16310 3181970 73 0 0 0 0 21.72/2.84 c 0 502 16475 3219257 73 0 0 0 0 21.72/2.85 c 0 503 16478 3219300 73 0 0 0 0 21.72/2.85 c 0 504 16481 3219303 73 0 0 0 0 21.72/2.87 c 0 506 16646 3256590 73 0 0 0 0 21.72/2.88 c 0 507 16649 3256633 73 0 0 0 0 21.72/2.88 c 0 508 16651 3256635 73 0 0 0 0 21.72/2.88 c 0 509 16653 3256637 73 0 0 0 0 22.51/2.90 c 0 511 16818 3293924 73 0 0 0 0 22.51/2.90 c 0 512 16821 3293967 73 0 0 0 0 22.51/2.91 c 0 513 16824 3293970 73 0 0 0 0 22.51/2.92 c 128 320 11808 2989934 71 0 1 34 19 22.51/2.92 c 64 188 10051 2967814 71 0 1 27 12 22.51/2.93 c 0 515 16989 3331257 73 0 0 0 0 22.51/2.94 c 0 516 16992 3331301 73 0 0 0 0 22.51/2.96 c 0 518 17159 3368589 73 0 0 0 0 22.51/2.97 c 0 519 17162 3368634 73 0 0 0 0 22.51/2.99 c 0 521 17327 3405921 73 0 0 0 0 22.51/2.99 c 0 522 17330 3405965 73 0 0 0 0 22.51/3.00 c 0 523 17332 3405967 73 0 0 0 0 23.36/3.02 c 0 525 17497 3443254 73 0 0 0 0 23.36/3.02 c 0 526 17500 3443294 73 0 0 0 0 23.36/3.03 c 129 321 11990 3117588 73 0 1 1 0 23.36/3.05 c 1352 1428 11884 1050639 73 0 1 1 0 23.36/3.05 c 0 528 17665 3480581 73 0 0 0 0 23.36/3.07 c 256 591 16449 3308557 72 0 1 81 41 23.36/3.08 c 257 592 16463 3309890 73 0 1 1 0 23.36/3.08 c 258 593 16470 3309930 74 0 1 1 0 23.36/3.08 c 259 594 16477 3309968 74 0 1 1 0 23.36/3.08 c 260 595 16484 3310006 74 0 1 1 0 23.36/3.08 c 261 596 16491 3310044 74 0 1 1 0 23.36/3.08 c 262 597 16495 3310080 74 0 1 1 0 23.36/3.09 c 263 598 16502 3310118 74 0 1 1 0 23.36/3.09 c 264 599 16506 3310154 74 0 1 1 0 23.36/3.09 c 265 600 16513 3310192 74 0 1 1 0 23.36/3.09 c 0 530 17837 3517913 73 0 0 0 0 23.36/3.09 c 266 601 16517 3310228 74 0 1 1 0 23.36/3.09 c 0 531 17842 3517962 74 0 0 0 0 23.36/3.09 c 267 602 16524 3310266 74 0 1 1 0 23.36/3.09 c 0 532 17844 3517964 74 0 0 0 0 23.36/3.09 c 0 533 17847 3517967 74 0 0 0 0 23.36/3.09 c 268 603 16531 3310304 74 0 1 1 0 23.36/3.09 c 269 604 16535 3310340 74 0 1 1 0 23.36/3.09 c 270 605 16542 3310378 74 0 1 1 0 23.36/3.09 c 271 606 16549 3310416 74 0 1 1 0 24.23/3.11 c 0 535 18012 3555243 74 0 0 0 0 24.23/3.12 c 0 536 18017 3555300 74 0 0 0 0 24.23/3.12 c 0 537 18021 3555303 74 0 0 0 0 24.23/3.12 c 0 538 18023 3555305 74 0 0 0 0 24.23/3.12 c 0 539 18027 3555308 74 0 0 0 0 24.23/3.12 c 0 540 18029 3555310 74 0 0 0 0 24.23/3.12 c 0 541 18031 3555312 74 0 0 0 0 24.23/3.12 c 0 542 18033 3555314 74 0 0 0 0 24.23/3.15 c 0 544 18198 3592563 74 0 0 0 0 24.23/3.16 c 0 545 18203 3592611 74 0 0 0 0 24.23/3.16 c 0 546 18206 3592614 74 0 0 0 0 24.23/3.16 c 0 547 18208 3592616 74 0 0 0 0 24.23/3.18 c 0 549 18373 3629855 74 0 0 0 0 24.23/3.18 c 0 550 18376 3629900 74 0 0 0 0 24.23/3.19 c 65 223 11285 3255850 73 0 35 35 17 24.90/3.20 c 130 323 12275 3252734 73 0 2 2 1 24.90/3.21 c 0 552 18541 3667139 74 0 0 0 0 24.90/3.22 c 0 553 18544 3667183 74 0 0 0 0 24.90/3.22 c 0 554 18546 3667185 74 0 0 0 0 24.90/3.22 c 0 555 18548 3667187 74 0 0 0 0 24.90/3.24 c 0 557 18713 3704426 74 0 0 0 0 24.90/3.24 c 0 558 18716 3704470 74 0 0 0 0 24.90/3.24 c 0 559 18718 3704472 74 0 0 0 0 24.90/3.24 c 131 325 12525 3297242 74 0 2 2 1 24.90/3.26 c 132 328 12791 3309241 74 0 3 3 1 24.90/3.27 c 0 561 18883 3741711 74 0 0 0 0 24.90/3.28 c 0 562 18886 3741756 74 0 0 0 0 25.70/3.30 c 0 564 19051 3778995 74 0 0 0 0 25.70/3.30 c 0 565 19054 3779038 74 0 0 0 0 25.70/3.31 c 0 566 19057 3779041 74 0 0 0 0 25.70/3.32 c 133 344 13097 3387878 74 0 16 16 8 25.70/3.32 c 66 248 12553 3423288 74 0 25 25 12 25.70/3.33 c 0 568 19222 3816280 74 0 0 0 0 25.70/3.34 c 0 569 19225 3816325 74 0 0 0 0 25.70/3.34 c 67 249 12683 3432190 74 0 1 1 0 25.70/3.36 c 0 571 19390 3853564 74 0 0 0 0 25.70/3.37 c 2048 2054 15117 60876 74 0 1 1 0 25.70/3.38 c 2049 2055 15123 60899 74 0 1 1 0 25.70/3.38 c 2050 2056 15129 60922 74 0 1 1 0 25.70/3.38 c 2051 2057 15135 60945 74 0 1 1 0 25.70/3.38 c 2052 2058 15141 60968 74 0 1 1 0 25.70/3.38 c 2053 2059 15147 60991 74 0 1 1 0 25.70/3.38 c 2054 2060 15153 61014 74 0 1 1 0 25.70/3.38 c 2055 2061 15159 61037 74 0 1 1 0 25.70/3.38 c 2056 2062 15165 61060 74 0 1 1 0 25.70/3.38 c 1585 1661 13368 1056056 74 0 1 1 0 25.70/3.39 c 2057 2063 15171 61083 74 0 1 1 0 25.70/3.39 c 2058 2064 15177 61106 74 0 1 1 0 25.70/3.39 c 2059 2065 15183 61129 74 0 1 1 0 25.70/3.39 c 2060 2066 15189 61152 74 0 1 1 0 25.70/3.39 c 2061 2067 15195 61175 74 0 1 1 0 25.70/3.39 c 0 573 19580 3890857 74 0 0 0 0 25.70/3.39 c 2062 2068 15201 61198 74 0 1 1 0 25.70/3.39 c 0 574 19583 3890902 74 0 0 0 0 25.70/3.39 c 2063 2069 15207 61221 74 0 1 1 0 25.70/3.39 c 2064 2070 15213 61244 74 0 1 1 0 26.50/3.40 c 2065 2071 15219 61267 74 0 1 1 0 26.50/3.40 c 2066 2072 15225 61290 74 0 1 1 0 26.50/3.40 c 2067 2073 15231 61313 74 0 1 1 0 26.50/3.40 c 2068 2074 15237 61336 74 0 1 1 0 26.50/3.40 c 2069 2075 15243 61359 74 0 1 1 0 26.50/3.40 c 2070 2076 15249 61382 74 0 1 1 0 26.50/3.40 c 2071 2077 15255 61405 74 0 1 1 0 26.50/3.40 c 2072 2078 15261 61428 74 0 1 1 0 26.50/3.40 c 2073 2079 15267 61451 74 0 1 1 0 26.50/3.40 c 2074 2080 15273 61474 74 0 1 1 0 26.50/3.41 c 2075 2081 15279 61497 74 0 1 1 0 26.50/3.41 c 2076 2082 15285 61521 74 0 1 1 0 26.50/3.41 c 2077 2083 15291 61544 74 0 1 1 0 26.50/3.41 c 2078 2084 15297 61567 74 0 1 1 0 26.50/3.41 c 2079 2085 15303 61590 74 0 1 1 0 26.50/3.42 c 2080 2086 15309 61613 74 0 1 1 0 26.50/3.42 c 2081 2087 15315 61636 74 0 1 1 0 26.50/3.42 c 2082 2088 15321 61659 74 0 1 1 0 26.50/3.42 c 2083 2089 15327 61682 74 0 1 1 0 26.50/3.42 c 0 576 19748 3928141 74 0 0 0 0 26.50/3.42 c 2084 2090 15333 61705 74 0 1 1 0 26.50/3.42 c 0 577 19751 3928186 74 0 0 0 0 26.50/3.42 c 0 578 19753 3928188 74 0 0 0 0 26.50/3.42 c 2085 2091 15339 61728 74 0 1 1 0 26.50/3.42 c 2086 2092 15345 61751 74 0 1 1 0 26.50/3.42 c 2087 2093 15351 61774 74 0 1 1 0 26.50/3.43 c 2088 2094 15357 61797 74 0 1 1 0 26.50/3.43 c 2089 2095 15363 61820 74 0 1 1 0 26.50/3.43 c 2090 2096 15369 61843 74 0 1 1 0 26.50/3.43 c 2091 2097 15375 61866 74 0 1 1 0 26.50/3.43 c 2092 2098 15381 61889 74 0 1 1 0 26.50/3.43 c 2093 2099 15387 61912 74 0 1 1 0 26.50/3.43 c 2094 2100 15393 61935 74 0 1 1 0 26.50/3.43 c 2095 2101 15399 61958 74 0 1 1 0 26.50/3.44 c 2096 2102 15405 61981 74 0 1 1 0 26.50/3.44 c 2097 2103 15411 62004 74 0 1 1 0 26.50/3.44 c 2098 2104 15417 62027 74 0 1 1 0 26.50/3.44 c 465 905 20225 7537704 73 0 1 102 69 26.50/3.44 c 2099 2105 15423 62050 74 0 1 1 0 26.50/3.44 c 2100 2106 15429 62073 74 0 1 1 0 26.50/3.44 c 2101 2107 15435 62096 74 0 1 1 0 26.50/3.44 c 2102 2108 15441 62119 74 0 1 1 0 26.50/3.44 c 2103 2109 15448 62143 75 0 1 1 0 26.50/3.45 c 2104 2110 15455 62167 75 0 1 1 0 26.50/3.45 c 2105 2111 15462 62191 75 0 1 1 0 26.50/3.45 c 0 580 19918 3965427 74 0 0 0 0 26.50/3.45 c 2106 2112 15468 62214 75 0 1 1 0 26.50/3.45 c 0 581 19922 3965474 75 0 0 0 0 26.50/3.45 c 0 582 19924 3965476 75 0 0 0 0 26.50/3.45 c 2107 2113 15474 62237 75 0 1 1 0 26.50/3.45 c 2108 2114 15480 62260 75 0 1 1 0 26.50/3.45 c 2109 2115 15486 62283 75 0 1 1 0 26.50/3.45 c 2110 2116 15492 62306 75 0 1 1 0 26.50/3.46 c 2111 2117 15498 62329 75 0 1 1 0 26.50/3.46 c 2112 2118 15502 62351 75 0 1 1 0 26.50/3.46 c 2113 2119 15508 62374 75 0 1 1 0 26.50/3.46 c 2114 2120 15514 62397 75 0 1 1 0 26.50/3.46 c 2115 2121 15520 62420 75 0 1 1 0 26.50/3.46 c 2116 2122 15526 62443 75 0 1 1 0 26.50/3.46 c 2117 2123 15532 62466 75 0 1 1 0 26.50/3.46 c 2118 2124 15538 62489 75 0 1 1 0 26.50/3.46 c 134 346 13382 3522922 74 0 2 2 1 26.50/3.46 c 2119 2125 15544 62512 75 0 1 1 0 26.50/3.48 c 2120 2126 15550 62535 75 0 1 1 0 26.50/3.48 c 2121 2127 15556 62558 75 0 1 1 0 26.50/3.48 c 2122 2128 15562 62581 75 0 1 1 0 26.50/3.48 c 2123 2129 15568 62604 75 0 1 1 0 26.50/3.48 c 2124 2130 15574 62627 75 0 1 1 0 26.50/3.48 c 2125 2131 15580 62650 75 0 1 1 0 26.50/3.48 c 2126 2132 15586 62673 75 0 1 1 0 26.50/3.48 c 2127 2133 15592 62696 75 0 1 1 0 26.50/3.49 c 2128 2134 15598 62719 75 0 1 1 0 26.50/3.49 c 0 584 20089 4002715 75 0 0 0 0 26.50/3.49 c 0 585 20092 4002759 75 0 0 0 0 26.50/3.49 c 0 586 20094 4002761 75 0 0 0 0 26.50/3.49 c 2129 2135 15604 62742 75 0 1 1 0 26.50/3.49 c 0 587 20096 4002763 75 0 0 0 0 26.50/3.49 c 2130 2136 15610 62765 75 0 1 1 0 26.50/3.49 c 2131 2137 15616 62788 75 0 1 1 0 26.50/3.49 c 2132 2138 15622 62811 75 0 1 1 0 26.50/3.49 c 2133 2139 15628 62834 75 0 1 1 0 26.50/3.49 c 2134 2140 15634 62857 75 0 1 1 0 26.50/3.49 c 2135 2141 15640 62880 75 0 1 1 0 27.30/3.50 c 2136 2142 15646 62903 75 0 1 1 0 27.30/3.50 c 2137 2143 15652 62926 75 0 1 1 0 27.30/3.50 c 2138 2144 15658 62949 75 0 1 1 0 27.30/3.50 c 135 348 13607 3545178 75 0 2 2 1 27.30/3.50 c 2139 2145 15664 62972 75 0 1 1 0 27.30/3.50 c 2140 2146 15670 62995 75 0 1 1 0 27.30/3.50 c 2141 2147 15676 63018 75 0 1 1 0 27.30/3.50 c 2142 2148 15682 63041 75 0 1 1 0 27.30/3.50 c 2143 2149 15688 63064 75 0 1 1 0 27.30/3.51 c 2144 2150 15694 63088 75 0 1 1 0 27.30/3.51 c 2145 2151 15700 63111 75 0 1 1 0 27.30/3.51 c 2146 2152 15706 63134 75 0 1 1 0 27.30/3.51 c 2147 2153 15712 63157 75 0 1 1 0 27.30/3.51 c 2148 2154 15718 63180 75 0 1 1 0 27.30/3.51 c 2149 2155 15724 63203 75 0 1 1 0 27.30/3.51 c 2150 2156 15730 63226 75 0 1 1 0 27.30/3.51 c 0 589 20261 4040002 75 0 0 0 0 27.30/3.51 c 0 590 20264 4040046 75 0 0 0 0 27.30/3.51 c 2151 2157 15736 63249 75 0 1 1 0 27.30/3.51 c 0 591 20266 4040048 75 0 0 0 0 27.30/3.51 c 0 592 20268 4040050 75 0 0 0 0 27.30/3.52 c 2152 2158 15742 63272 75 0 1 1 0 27.30/3.52 c 2153 2159 15748 63295 75 0 1 1 0 27.30/3.52 c 2154 2160 15759 63318 75 0 1 1 0 27.30/3.52 c 2155 2161 15765 63340 75 0 1 1 0 27.30/3.52 c 2156 2162 15771 63362 75 0 1 1 0 27.30/3.52 c 2157 2163 15777 63384 75 0 1 1 0 27.30/3.52 c 2158 2164 15783 63406 75 0 1 1 0 27.30/3.52 c 2159 2165 15789 63428 75 0 1 1 0 27.30/3.53 c 2160 2166 15795 63450 75 0 1 1 0 27.30/3.53 c 2161 2167 15801 63472 75 0 1 1 0 27.30/3.53 c 2162 2168 15807 63494 75 0 1 1 0 27.30/3.53 c 2163 2169 15813 63516 75 0 1 1 0 27.30/3.53 c 2164 2170 15819 63538 75 0 1 1 0 27.30/3.53 c 2165 2171 15825 63560 75 0 1 1 0 27.30/3.53 c 2166 2172 15831 63582 75 0 1 1 0 27.30/3.53 c 2167 2173 15837 63604 75 0 1 1 0 27.30/3.54 c 2168 2174 15843 63626 75 0 1 1 0 27.30/3.54 c 2169 2175 15849 63648 75 0 1 1 0 27.30/3.54 c 2170 2176 15855 63670 75 0 1 1 0 27.30/3.54 c 2171 2177 15861 63692 75 0 1 1 0 27.30/3.54 c 2172 2178 15867 63714 75 0 1 1 0 27.30/3.54 c 2173 2179 15873 63736 75 0 1 1 0 27.30/3.54 c 0 594 20433 4077289 75 0 0 0 0 27.30/3.54 c 0 595 20440 4077335 75 0 0 0 0 27.30/3.54 c 2174 2180 15879 63758 75 0 1 1 0 27.30/3.54 c 2175 2181 15885 63780 75 0 1 1 0 27.30/3.57 c 0 597 20605 4114574 75 0 0 0 0 27.30/3.58 c 0 598 20612 4114620 75 0 0 0 0 28.10/3.60 c 0 600 20777 4151859 75 0 0 0 0 28.10/3.61 c 0 601 20780 4151904 75 0 0 0 0 28.10/3.63 c 0 603 20945 4189143 75 0 0 0 0 28.10/3.64 c 0 604 20948 4189188 75 0 0 0 0 28.10/3.66 c 0 606 21113 4226427 75 0 0 0 0 28.10/3.66 c 0 607 21116 4226471 75 0 0 0 0 28.10/3.66 c 0 608 21118 4226473 75 0 0 0 0 28.10/3.67 c 0 609 21120 4226475 75 0 0 0 0 28.10/3.69 c 0 611 21285 4263714 75 0 0 0 0 28.90/3.70 c 0 612 21292 4263760 75 0 0 0 0 28.90/3.70 c 0 613 21294 4263762 75 0 0 0 0 28.90/3.70 c 0 614 21296 4263764 75 0 0 0 0 28.90/3.72 c 0 616 21461 4301003 75 0 0 0 0 28.90/3.72 c 0 617 21464 4301048 75 0 0 0 0 28.90/3.73 c 0 618 21466 4301050 75 0 0 0 0 28.90/3.73 c 0 619 21468 4301052 75 0 0 0 0 28.90/3.73 c 1841 1917 14911 1061950 75 0 1 1 0 28.90/3.75 c 0 621 21633 4338291 75 0 0 0 0 28.90/3.76 c 0 622 21636 4338336 75 0 0 0 0 28.90/3.78 c 0 624 21801 4375575 75 0 0 0 0 28.90/3.78 c 0 625 21804 4375620 75 0 0 0 0 29.70/3.81 c 0 627 21969 4412859 75 0 0 0 0 29.70/3.83 c 611 1154 22854 7926789 75 0 1 95 84 29.70/3.84 c 0 629 22137 4450142 75 0 0 0 0 29.70/3.85 c 0 630 22140 4450187 75 0 0 0 0 29.70/3.87 c 0 632 22305 4487426 75 0 0 0 0 29.70/3.87 c 0 633 22308 4487471 75 0 0 0 0 29.70/3.88 c 0 634 22310 4487473 75 0 0 0 0 29.70/3.88 c 0 635 22312 4487475 75 0 0 0 0 30.49/3.90 c 0 637 22477 4524714 75 0 0 0 0 30.49/3.93 c 0 639 22645 4561997 75 0 0 0 0 30.49/3.93 c 0 640 22648 4562042 75 0 0 0 0 30.49/3.94 c 0 641 22650 4562044 75 0 0 0 0 30.49/3.94 c 0 642 22652 4562046 75 0 0 0 0 30.49/3.96 c 0 644 22817 4599285 75 0 0 0 0 30.49/3.96 c 0 645 22820 4599331 75 0 0 0 0 30.49/3.99 c 0 647 22985 4636570 75 0 0 0 0 30.49/3.99 c 0 648 22988 4636615 75 0 0 0 0 31.35/4.02 c 0 650 23153 4673854 75 0 0 0 0 31.35/4.03 c 0 651 23156 4673895 75 0 0 0 0 31.35/4.05 c 0 653 23321 4711134 75 0 0 0 0 31.35/4.05 c 0 654 23324 4711179 75 0 0 0 0 31.35/4.07 c 0 656 23489 4748418 75 0 0 0 0 31.35/4.08 c 0 657 23492 4748463 75 0 0 0 0 31.35/4.10 c 2122 2198 16571 1068403 75 0 1 1 0 31.35/4.10 c 0 659 23657 4785702 75 0 0 0 0 32.16/4.12 c 0 660 23660 4785748 75 0 0 0 0 32.16/4.13 c 0 662 23825 4822987 75 0 0 0 0 32.16/4.13 c 0 663 23828 4823032 75 0 0 0 0 32.16/4.15 c 0 664 23830 4823034 75 0 0 0 0 32.16/4.16 c 0 666 23995 4860273 75 0 0 0 0 32.16/4.17 c 0 667 23998 4860317 75 0 0 0 0 32.16/4.17 c 0 668 24001 4860320 75 0 0 0 0 32.16/4.19 c 0 670 24166 4897559 75 0 0 0 0 32.88/4.23 c 0 672 24334 4934842 75 0 0 0 0 32.88/4.23 c 0 673 24337 4934887 75 0 0 0 0 32.88/4.23 c 0 674 24339 4934889 75 0 0 0 0 32.88/4.23 c 0 675 24341 4934891 75 0 0 0 0 32.88/4.26 c 0 677 24507 4973539 75 0 0 0 0 32.88/4.29 c 1585 1852 16381 2286037 72 0 1 70 11 33.68/4.30 c 0 679 24676 5012215 75 0 0 0 0 33.68/4.33 c 0 681 24845 5050862 75 0 0 0 0 33.68/4.37 c 0 683 25014 5089482 75 0 0 0 0 33.68/4.37 c 512 965 21937 4529061 74 0 1 86 47 33.68/4.38 c 513 966 21970 4530960 75 0 1 1 0 33.68/4.38 c 514 967 21977 4530998 76 0 1 1 0 33.68/4.38 c 515 968 21984 4531035 76 0 1 1 0 33.68/4.38 c 516 969 21991 4531072 76 0 1 1 0 33.68/4.38 c 517 970 21998 4531109 76 0 1 1 0 33.68/4.38 c 518 971 22005 4531146 76 0 1 1 0 33.68/4.39 c 519 972 22012 4531183 76 0 1 1 0 33.68/4.39 c 520 973 22019 4531220 76 0 1 1 0 33.68/4.39 c 521 974 22026 4531257 76 0 1 1 0 33.68/4.39 c 522 975 22033 4531295 76 0 1 1 0 33.68/4.39 c 523 976 22040 4531332 76 0 1 1 0 33.68/4.39 c 524 977 22047 4531369 76 0 1 1 0 33.68/4.39 c 525 978 22054 4531406 76 0 1 1 0 33.68/4.39 c 526 979 22061 4531443 76 0 1 1 0 34.49/4.41 c 527 980 22068 4531480 76 0 1 1 0 34.49/4.41 c 528 981 22075 4531517 76 0 1 1 0 34.49/4.41 c 529 982 22081 4531553 76 0 1 1 0 34.49/4.41 c 530 983 22088 4531590 76 0 1 1 0 34.49/4.41 c 531 984 22095 4531627 76 0 1 1 0 34.49/4.41 c 532 985 22102 4531664 76 0 1 1 0 34.49/4.41 c 533 986 22109 4531701 76 0 1 1 0 34.49/4.41 c 534 987 22116 4531738 76 0 1 1 0 34.49/4.41 c 0 685 25183 5128075 75 0 0 0 0 34.49/4.41 c 535 988 22123 4531776 76 0 1 1 0 34.49/4.41 c 0 686 25187 5128151 76 0 0 0 0 34.49/4.42 c 0 687 25190 5128154 76 0 0 0 0 34.49/4.42 c 536 989 22130 4531814 76 0 1 1 0 34.49/4.42 c 537 990 22137 4531851 76 0 1 1 0 34.49/4.42 c 538 991 22144 4531888 76 0 1 1 0 34.49/4.42 c 539 992 22151 4531925 76 0 1 1 0 34.49/4.42 c 540 993 22158 4531962 76 0 1 1 0 34.49/4.42 c 541 994 22165 4531999 76 0 1 1 0 34.49/4.42 c 542 995 22172 4532036 76 0 1 1 0 34.49/4.42 c 543 996 22179 4532073 76 0 1 1 0 34.49/4.44 c 0 689 25356 5166666 76 0 0 0 0 34.49/4.45 c 0 690 25360 5166748 76 0 0 0 0 34.49/4.48 c 0 692 25526 5205233 76 0 0 0 0 34.49/4.48 c 0 693 25530 5205312 76 0 0 0 0 34.49/4.48 c 0 694 25532 5205314 76 0 0 0 0 34.49/4.49 c 0 695 25535 5205317 76 0 0 0 0 35.29/4.51 c 2431 2507 18521 1075608 76 0 1 1 0 35.29/4.52 c 0 697 25701 5243775 76 0 0 0 0 35.29/4.52 c 0 698 25705 5243854 76 0 0 0 0 35.29/4.52 c 0 699 25707 5243856 76 0 0 0 0 35.29/4.52 c 0 700 25710 5243859 76 0 0 0 0 35.29/4.55 c 0 702 25876 5282290 76 0 0 0 0 35.29/4.56 c 0 703 25880 5282369 76 0 0 0 0 35.29/4.56 c 0 704 25882 5282371 76 0 0 0 0 35.29/4.56 c 0 705 25884 5282373 76 0 0 0 0 35.29/4.56 c 0 706 25886 5282375 76 0 0 0 0 35.29/4.56 c 0 707 25888 5282377 76 0 0 0 0 35.29/4.56 c 0 708 25890 5282379 76 0 0 0 0 35.29/4.56 c 0 709 25892 5282381 76 0 0 0 0 35.29/4.56 c 0 710 25894 5282383 76 0 0 0 0 35.29/4.56 c 0 711 25896 5282385 76 0 0 0 0 35.29/4.56 c 0 712 25898 5282387 76 0 0 0 0 35.29/4.56 c 0 713 25900 5282389 76 0 0 0 0 35.29/4.56 c 0 714 25902 5282391 76 0 0 0 0 35.29/4.56 c 0 715 25904 5282393 76 0 0 0 0 35.29/4.56 c 0 716 25906 5282395 76 0 0 0 0 35.29/4.56 c 0 717 25908 5282397 76 0 0 0 0 35.29/4.56 c 0 718 25910 5282399 76 0 0 0 0 35.29/4.56 c 0 719 25912 5282401 76 0 0 0 0 35.29/4.56 c 0 720 25914 5282403 76 0 0 0 0 35.29/4.56 c 0 721 25916 5282405 76 0 0 0 0 35.29/4.56 c 0 722 25918 5282407 76 0 0 0 0 35.29/4.56 c 0 723 25920 5282409 76 0 0 0 0 35.29/4.56 c 0 724 25922 5282411 76 0 0 0 0 35.29/4.56 c 0 725 25924 5282413 76 0 0 0 0 35.29/4.56 c 0 726 25926 5282415 76 0 0 0 0 35.29/4.56 c 0 727 25928 5282417 76 0 0 0 0 35.29/4.57 c 0 728 25930 5282419 76 0 0 0 0 35.29/4.57 c 0 729 25932 5282421 76 0 0 0 0 35.29/4.57 c 0 730 25935 5282424 76 0 0 0 0 35.29/4.57 c 0 731 25937 5282426 76 0 0 0 0 36.09/4.60 c 0 733 26103 5320821 76 0 0 0 0 36.09/4.60 c 0 734 26107 5320900 76 0 0 0 0 36.09/4.63 c 256 530 17318 4895357 75 0 1 30 5 36.09/4.64 c 257 531 17326 4896991 76 0 1 1 0 36.09/4.64 c 258 532 17334 4897014 77 0 1 1 0 36.09/4.64 c 0 736 26273 5359269 76 0 0 0 0 36.09/4.64 c 0 737 26278 5359350 77 0 0 0 0 36.09/4.64 c 259 533 17342 4897035 77 0 1 1 0 36.09/4.64 c 0 738 26280 5359352 77 0 0 0 0 36.09/4.64 c 0 739 26283 5359355 77 0 0 0 0 36.09/4.64 c 0 740 26285 5359357 77 0 0 0 0 36.09/4.64 c 260 534 17350 4897056 77 0 1 1 0 36.09/4.64 c 0 741 26287 5359359 77 0 0 0 0 36.09/4.64 c 0 742 26290 5359362 77 0 0 0 0 36.09/4.64 c 0 743 26292 5359364 77 0 0 0 0 36.09/4.64 c 261 535 17358 4897077 77 0 1 1 0 36.09/4.64 c 0 744 26294 5359366 77 0 0 0 0 36.09/4.64 c 0 745 26297 5359369 77 0 0 0 0 36.09/4.64 c 0 746 26299 5359371 77 0 0 0 0 36.09/4.64 c 262 536 17366 4897098 77 0 1 1 0 36.09/4.64 c 0 747 26301 5359373 77 0 0 0 0 36.09/4.64 c 0 748 26304 5359376 77 0 0 0 0 36.09/4.64 c 0 749 26306 5359378 77 0 0 0 0 36.09/4.64 c 263 537 17374 4897119 77 0 1 1 0 36.09/4.64 c 0 750 26308 5359380 77 0 0 0 0 36.09/4.64 c 0 751 26311 5359383 77 0 0 0 0 36.09/4.64 c 0 752 26313 5359385 77 0 0 0 0 36.09/4.64 c 264 538 17382 4897140 77 0 1 1 0 36.09/4.64 c 0 753 26315 5359387 77 0 0 0 0 36.09/4.64 c 0 754 26318 5359390 77 0 0 0 0 36.09/4.64 c 0 755 26320 5359392 77 0 0 0 0 36.09/4.65 c 265 539 17390 4897161 77 0 1 1 0 36.09/4.65 c 0 756 26323 5359395 77 0 0 0 0 36.09/4.65 c 0 757 26325 5359397 77 0 0 0 0 36.09/4.65 c 0 758 26327 5359399 77 0 0 0 0 36.09/4.65 c 266 540 17398 4897182 77 0 1 1 0 36.09/4.65 c 0 759 26330 5359402 77 0 0 0 0 36.09/4.65 c 0 760 26332 5359404 77 0 0 0 0 36.09/4.65 c 0 761 26334 5359406 77 0 0 0 0 36.09/4.65 c 267 541 17406 4897203 77 0 1 1 0 36.09/4.65 c 0 762 26337 5359409 77 0 0 0 0 36.09/4.65 c 0 763 26339 5359411 77 0 0 0 0 36.09/4.65 c 0 764 26341 5359413 77 0 0 0 0 36.09/4.65 c 268 542 17414 4897224 77 0 1 1 0 36.09/4.65 c 0 765 26344 5359416 77 0 0 0 0 36.09/4.65 c 0 766 26346 5359418 77 0 0 0 0 36.09/4.65 c 0 767 26348 5359420 77 0 0 0 0 36.09/4.65 c 269 543 17422 4897245 77 0 1 1 0 36.09/4.65 c 0 768 26351 5359423 77 0 0 0 0 36.09/4.65 c 0 769 26353 5359425 77 0 0 0 0 36.09/4.65 c 0 770 26355 5359427 77 0 0 0 0 36.09/4.65 c 270 544 17430 4897266 77 0 1 1 0 36.09/4.65 c 0 771 26358 5359430 77 0 0 0 0 36.09/4.65 c 0 772 26360 5359432 77 0 0 0 0 36.09/4.65 c 0 773 26362 5359434 77 0 0 0 0 36.09/4.65 c 271 545 17438 4897287 77 0 1 1 0 36.09/4.65 c 0 774 26365 5359437 77 0 0 0 0 36.09/4.65 c 0 775 26367 5359439 77 0 0 0 0 36.09/4.65 c 0 776 26369 5359441 77 0 0 0 0 36.09/4.65 c 0 777 26372 5359444 77 0 0 0 0 36.09/4.65 c 0 778 26374 5359446 77 0 0 0 0 36.09/4.65 c 0 779 26376 5359448 77 0 0 0 0 36.09/4.66 c 0 780 26379 5359451 77 0 0 0 0 36.09/4.66 c 3000 3007 21052 80617 77 0 1 1 0 36.09/4.66 c 0 781 26382 5359454 77 0 0 0 0 36.09/4.66 c 3000 3008 21054 80619 77 0 0 0 0 36.09/4.66 c 3000 3009 21054 80620 77 0 0 0 0 36.09/4.66 c 3000 3010 21056 80622 77 0 0 0 0 36.09/4.66 c 3000 3011 21058 80624 77 0 0 0 0 36.09/4.66 c 3000 3012 21060 80626 77 0 0 0 0 36.09/4.66 c 3000 3013 21062 80628 77 0 0 0 0 36.09/4.66 c 3000 3014 21064 80630 77 0 0 0 0 36.09/4.66 c 3000 3015 21066 80632 77 0 0 0 0 36.09/4.66 c 3000 3016 21068 80634 77 0 0 0 0 36.09/4.66 c 3000 3017 21070 80636 77 0 0 0 0 36.09/4.66 c 3000 3018 21072 80638 77 0 0 0 0 36.09/4.66 c 3000 3019 21074 80640 77 0 0 0 0 36.09/4.66 c 3000 3020 21077 80643 77 0 0 0 0 36.09/4.66 c 771 1434 27298 10558833 75 0 27 105 96 36.09/4.69 c 0 783 26548 5397782 77 0 0 0 0 36.09/4.69 c 0 784 26554 5397900 78 0 0 0 0 36.88/4.70 c 0 785 26557 5397903 78 0 0 0 0 36.88/4.70 c 0 786 26561 5397907 78 0 0 0 0 36.88/4.70 c 0 787 26563 5397909 78 0 0 0 0 36.88/4.70 c 0 788 26565 5397911 78 0 0 0 0 36.88/4.70 c 0 789 26569 5397915 78 0 0 0 0 36.88/4.70 c 0 790 26571 5397917 78 0 0 0 0 36.88/4.70 c 0 791 26573 5397919 78 0 0 0 0 36.88/4.70 c 0 792 26577 5397923 78 0 0 0 0 36.88/4.70 c 0 793 26577 5397924 78 0 0 0 0 36.88/4.70 c 0 794 26579 5397926 78 0 0 0 0 36.88/4.70 c 0 795 26581 5397928 78 0 0 0 0 36.88/4.70 c 0 796 26585 5397932 78 0 0 0 0 36.88/4.73 c 0 798 26751 5436234 78 0 0 0 0 36.88/4.73 c 0 799 26757 5436363 78 0 0 0 0 36.88/4.74 c 0 800 26760 5436366 78 0 0 0 0 36.88/4.74 c 0 801 26762 5436368 78 0 0 0 0 36.88/4.74 c 0 802 26765 5436371 78 0 0 0 0 36.88/4.74 c 0 803 26768 5436374 78 0 0 0 0 36.88/4.74 c 0 804 26770 5436376 78 0 0 0 0 36.88/4.74 c 0 805 26773 5436379 78 0 0 0 0 36.88/4.74 c 0 806 26776 5436382 78 0 0 0 0 36.88/4.74 c 0 807 26778 5436384 78 0 0 0 0 36.88/4.74 c 0 808 26781 5436387 78 0 0 0 0 36.88/4.74 c 0 809 26784 5436390 78 0 0 0 0 36.88/4.74 c 0 810 26786 5436392 78 0 0 0 0 36.88/4.74 c 0 811 26789 5436395 78 0 0 0 0 36.88/4.74 c 0 812 26792 5436398 78 0 0 0 0 36.88/4.74 c 0 813 26794 5436400 78 0 0 0 0 36.88/4.74 c 0 814 26797 5436403 78 0 0 0 0 36.88/4.74 c 0 815 26800 5436406 78 0 0 0 0 36.88/4.74 c 0 816 26802 5436408 78 0 0 0 0 36.88/4.74 c 0 817 26805 5436411 78 0 0 0 0 36.88/4.74 c 0 818 26808 5436414 78 0 0 0 0 36.88/4.74 c 0 819 26810 5436416 78 0 0 0 0 36.88/4.74 c 0 820 26813 5436419 78 0 0 0 0 36.88/4.74 c 0 821 26816 5436422 78 0 0 0 0 36.88/4.74 c 0 822 26818 5436424 78 0 0 0 0 36.88/4.74 c 0 823 26821 5436427 78 0 0 0 0 36.88/4.75 c 0 824 26824 5436430 78 0 0 0 0 36.88/4.75 c 0 825 26826 5436432 78 0 0 0 0 36.88/4.75 c 0 826 26829 5436435 78 0 0 0 0 36.88/4.75 c 0 827 26832 5436438 78 0 0 0 0 36.88/4.75 c 0 828 26836 5436442 78 0 0 0 0 36.88/4.78 c 0 830 27002 5474709 78 0 0 0 0 36.88/4.79 c 0 831 27008 5474828 78 0 0 0 0 36.88/4.79 c 0 832 27012 5474832 78 0 0 0 0 37.68/4.81 c 0 834 27178 5513073 78 0 0 0 0 37.68/4.82 c 0 835 27183 5513176 78 0 0 0 0 37.68/4.82 c 0 836 27186 5513179 78 0 0 0 0 37.68/4.85 c 0 838 27352 5551394 78 0 0 0 0 37.68/4.86 c 0 839 27357 5551501 78 0 0 0 0 37.68/4.86 c 0 840 27359 5551503 78 0 0 0 0 37.68/4.86 c 0 841 27361 5551505 78 0 0 0 0 37.68/4.86 c 0 842 27364 5551508 78 0 0 0 0 37.68/4.86 c 0 843 27366 5551510 78 0 0 0 0 37.68/4.86 c 0 844 27368 5551512 78 0 0 0 0 37.68/4.86 c 0 845 27371 5551515 78 0 0 0 0 37.68/4.86 c 0 846 27373 5551517 78 0 0 0 0 37.68/4.86 c 0 847 27375 5551519 78 0 0 0 0 37.68/4.86 c 0 848 27378 5551522 78 0 0 0 0 37.68/4.86 c 0 849 27380 5551524 78 0 0 0 0 37.68/4.86 c 0 850 27382 5551526 78 0 0 0 0 37.68/4.86 c 0 851 27385 5551529 78 0 0 0 0 37.68/4.86 c 0 852 27387 5551531 78 0 0 0 0 37.68/4.86 c 0 853 27389 5551533 78 0 0 0 0 37.68/4.86 c 0 854 27392 5551536 78 0 0 0 0 37.68/4.86 c 0 855 27394 5551538 78 0 0 0 0 37.68/4.86 c 0 856 27396 5551540 78 0 0 0 0 37.68/4.86 c 0 857 27399 5551543 78 0 0 0 0 37.68/4.86 c 0 858 27401 5551545 78 0 0 0 0 37.68/4.86 c 0 859 27403 5551547 78 0 0 0 0 37.68/4.86 c 0 860 27406 5551550 78 0 0 0 0 37.68/4.86 c 0 861 27408 5551552 78 0 0 0 0 37.68/4.86 c 0 862 27410 5551554 78 0 0 0 0 37.68/4.86 c 0 863 27413 5551557 78 0 0 0 0 37.68/4.86 c 0 864 27415 5551559 78 0 0 0 0 37.68/4.86 c 0 865 27417 5551561 78 0 0 0 0 37.68/4.86 c 1841 2221 19888 3269213 75 0 77 98 83 37.68/4.87 c 0 866 27420 5551564 78 0 0 0 0 37.68/4.87 c 0 867 27422 5551566 78 0 0 0 0 37.68/4.87 c 0 868 27425 5551569 78 0 0 0 0 37.68/4.87 c 0 869 27427 5551571 78 0 0 0 0 37.68/4.87 c 0 870 27429 5551573 78 0 0 0 0 37.68/4.87 c 0 871 27432 5551576 78 0 0 0 0 37.68/4.87 c 0 872 27434 5551578 78 0 0 0 0 37.68/4.87 c 0 873 27436 5551580 78 0 0 0 0 37.68/4.87 c 0 874 27439 5551583 78 0 0 0 0 37.68/4.87 c 0 875 27441 5551585 78 0 0 0 0 37.68/4.87 c 0 876 27443 5551587 78 0 0 0 0 37.68/4.87 c 0 877 27446 5551590 78 0 0 0 0 37.68/4.87 c 0 878 27448 5551592 78 0 0 0 0 37.68/4.87 c 0 879 27450 5551594 78 0 0 0 0 37.68/4.87 c 0 880 27453 5551597 78 0 0 0 0 37.68/4.87 c 0 881 27455 5551599 78 0 0 0 0 37.68/4.87 c 0 882 27457 5551601 78 0 0 0 0 37.68/4.87 c 0 883 27460 5551604 78 0 0 0 0 37.68/4.87 c 0 884 27462 5551606 78 0 0 0 0 37.68/4.87 c 0 885 27464 5551608 78 0 0 0 0 37.68/4.87 c 0 886 27467 5551611 78 0 0 0 0 37.68/4.87 c 0 887 27469 5551613 78 0 0 0 0 37.68/4.87 c 0 888 27471 5551615 78 0 0 0 0 37.68/4.87 c 0 889 27474 5551618 78 0 0 0 0 37.68/4.87 c 0 890 27476 5551620 78 0 0 0 0 37.68/4.88 c 0 891 27478 5551622 78 0 0 0 0 37.68/4.88 c 0 892 27482 5551626 78 0 0 0 0 38.48/4.90 c 947 1610 28782 10564779 78 0 1 1 0 38.48/4.90 c 0 894 27648 5589796 78 0 0 0 0 38.48/4.91 c 0 895 27653 5589899 78 0 0 0 0 38.48/4.91 c 0 896 27656 5589902 78 0 0 0 0 38.48/4.91 c 0 897 27658 5589904 78 0 0 0 0 38.48/4.91 c 0 898 27660 5589906 78 0 0 0 0 38.48/4.91 c 0 899 27663 5589909 78 0 0 0 0 38.48/4.91 c 0 900 27665 5589911 78 0 0 0 0 38.48/4.91 c 0 901 27667 5589913 78 0 0 0 0 38.48/4.91 c 0 902 27670 5589916 78 0 0 0 0 38.48/4.91 c 0 903 27672 5589918 78 0 0 0 0 38.48/4.91 c 0 904 27674 5589920 78 0 0 0 0 38.48/4.91 c 0 905 27677 5589923 78 0 0 0 0 38.48/4.91 c First solution is found 38.48/4.94 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 2. 38.48/4.94 c [pFactory][Group N°0] Thread N°0 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°1 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°2 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°3 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°4 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°5 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°6 is joined. 38.48/4.94 c [pFactory][Group N°0] Thread N°7 is joined. 38.48/4.94 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°3) 38.48/4.94 s SATISFIABLE 38.48/4.94 c restarts : 39 38.48/4.94 c conflicts : 466 (12 /sec) 38.48/4.94 c decisions : 740 (19 /sec) 38.48/4.94 c propagations : 4901447 (127130 /sec) 38.48/4.94 c root propagations : 6082 38.48/4.94 c filter calls : 19063 (494 /sec) 38.48/4.94 c useless filter calls : 13808 (72 %) 38.48/4.94 c Memory used : 622.16 MB 38.48/4.94 c CPU time : 38.5544 s 38.48/4.94 c real time : 4.94315 s 38.48/4.94 38.48/4.94 c solution 1 38.48/4.94 38.48/4.94 v <instantiation type='solution'> 38.48/4.94 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> 38.48/4.94 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> 38.48/4.94 v </instantiation> 38.48/4.94
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: 16375 MiB (15416 MiB free)
memory of node 1: 16384 MiB (15325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409239-1569819851/watcher-4409239-1569819851 -o /tmp/evaluation-result-4409239-1569819851/solver-4409239-1569819851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569816239-988 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409239-1569819851.xml
running on 8 cores: 0-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=1614, runsolver pid=1611
Current StackSize limit: 8192 KiB
[startup+0.100686 s]*
/proc/loadavg: 7.99 8.23 8.09 9/203 1623
/proc/meminfo: memFree=31421548/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=63232 CPUtime=0.29 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 16553 0 0 0 27 2 0 0 20 0 9 0 557926647 690180096 15808 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 15808 898 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=1398722017469774279 CPUtime=0.03 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399386295576 140399394323909 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=3677534773662714415 CPUtime=0.03 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 255 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399377902800 5065996 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=140358771766912 CPUtime=0.03 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 280 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399369510168 5149699 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399361117392 140399403342670 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399352724576 5446292 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=0 CPUtime=0.03 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399344332056 5149706 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=-1 CPUtime=0.03 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 277 0 0 0 3 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399335939168 5149680 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=0 CPUtime=0.02 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 2 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399327546464 5149699 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63232 KiB
[startup+0.211685 s]*
/proc/loadavg: 7.99 8.23 8.09 9/203 1623
/proc/meminfo: memFree=31421176/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=63232 CPUtime=1.17 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 16553 0 0 0 115 2 0 0 20 0 9 0 557926647 690180096 15808 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 15808 898 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=8318255677412212789 CPUtime=0.14 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399386295576 5446956 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=342 CPUtime=0.14 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 255 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399377902800 5451514 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=140358771785314 CPUtime=0.14 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 280 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399369510096 5149721 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=-1 CPUtime=0.14 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399361117392 5453958 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=0 CPUtime=0.14 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399352724576 5446250 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=0 CPUtime=0.14 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399344332056 5149690 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=-1 CPUtime=0.14 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 277 0 0 0 14 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399335939168 5440656 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=0 CPUtime=0.12 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 12 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399327546464 5149714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63232 KiB
[startup+0.311684 s]*
/proc/loadavg: 7.99 8.23 8.09 9/203 1623
/proc/meminfo: memFree=31421428/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=63232 CPUtime=1.96 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 16553 0 0 0 194 2 0 0 20 0 9 0 557926647 690180096 15808 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 15808 898 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=1398722017469774279 CPUtime=0.24 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399386295576 140399394321502 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=4126316290023845779 CPUtime=0.24 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 255 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399377902800 5446292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 280 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399369509984 5149709 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=6944656592455097440 CPUtime=0.24 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399361117280 5446258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=6656426216303648864 CPUtime=0.24 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399352724576 5452177 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399344331872 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=0 CPUtime=0.24 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 277 0 0 0 24 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399335939168 5443128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=0 CPUtime=0.21 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 21 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399327546464 5149706 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63232 KiB
[startup+0.700686 s]
/proc/loadavg: 7.99 8.23 8.09 9/203 1623
/proc/meminfo: memFree=31421428/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=63232 CPUtime=4.98 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 16553 0 0 0 496 2 0 0 20 0 9 0 557926647 690180096 15808 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 15808 898 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=780 CPUtime=0.62 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399386295576 5446307 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=3516 CPUtime=0.62 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 255 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399377902800 5441167 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=1088 CPUtime=0.62 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 280 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399369509984 5068955 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=2832 CPUtime=0.62 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399361117280 5451514 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=1564 CPUtime=0.62 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399352724576 5443025 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=4126316290023845779 CPUtime=0.62 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 278 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399344331872 5149721 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=1620 CPUtime=0.62 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 277 0 0 0 62 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399335939168 4982096 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=4104 CPUtime=0.56 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 276 0 0 0 56 0 0 0 20 0 9 0 557926654 690180096 15808 33554432000 4194304 6211132 140731366629744 140399327546464 5149714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63232 KiB
[startup+1.50068 s]
/proc/loadavg: 7.99 8.23 8.09 10/203 1623
/proc/meminfo: memFree=31420840/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=63892 CPUtime=11.37 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 23663 0 0 0 1132 5 0 0 20 0 9 0 557926647 690180096 15973 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 15973 898 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=0 CPUtime=1.41 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 683 0 0 0 141 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399386295504 5149699 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=140358659081312 CPUtime=1.41 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 945 0 0 0 141 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399377902688 5479582 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=3899272 CPUtime=1.41 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 1472 0 0 0 141 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399369510208 5068955 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 1535 0 0 0 142 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399361117280 5164877 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=0 CPUtime=1.41 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 1931 0 0 0 141 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399352724576 5443045 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 705 0 0 0 142 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399344331872 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=0 CPUtime=1.42 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 1359 0 0 0 142 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399335939168 5452247 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=0 CPUtime=1.34 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 677 0 0 0 134 0 0 0 20 0 9 0 557926654 690180096 15973 33554432000 4194304 6211132 140731366629744 140399327546688 5149714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 63892 KiB
[startup+3.11669 s]
/proc/loadavg: 7.99 8.23 8.09 10/203 1624
/proc/meminfo: memFree=31417716/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64040 CPUtime=24.23 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 28235 0 0 0 2417 6 0 0 20 0 9 0 557926647 690180096 16010 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16010 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=578 CPUtime=3.02 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 829 0 0 0 302 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399386295504 5149680 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=72 CPUtime=3.03 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1355 0 0 0 303 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399377902688 5451634 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=72 CPUtime=3.02 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 2382 0 0 0 301 1 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399369509480 5072792 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=72 CPUtime=3.03 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 2249 0 0 0 303 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399361117280 5068955 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=281 CPUtime=3.03 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 2402 0 0 0 302 1 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399352724576 5068955 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=6656426216303648864 CPUtime=3.03 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 1791 0 0 0 303 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399344331400 5068955 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=6656426216303648864 CPUtime=3.03 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 2077 0 0 0 303 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399335939168 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=6944656592455359580 CPUtime=2.92 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 797 0 0 0 292 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399327546688 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 24.23 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64040 KiB
[startup+4.95307 s]
# the end of solver process 1614 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.5545 s, system=0.08692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20068 s]
/proc/loadavg: 7.99 8.23 8.09 10/203 1624
/proc/meminfo: memFree=31417716/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64040 CPUtime=24.9 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 29965 0 0 0 2484 6 0 0 20 0 9 0 557926647 690180096 16010 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16010 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=7449843776469693858 CPUtime=3.11 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 838 0 0 0 311 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399386295504 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=-9001733975035308135 CPUtime=3.11 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1366 0 0 0 311 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399377902688 5479629 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=-7035114785800479027 CPUtime=3.1 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 2622 0 0 0 309 1 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399369509480 5451464 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=140358659081312 CPUtime=3.11 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 2769 0 0 0 311 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399361117280 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=3899272 CPUtime=3.11 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 2641 0 0 0 310 1 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399352724576 5068955 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=3612 CPUtime=3.11 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 2167 0 0 0 311 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399344331400 5479599 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=10260 CPUtime=3.11 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 2402 0 0 0 311 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399335939168 5068955 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=984 CPUtime=3 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 805 0 0 0 300 0 0 0 20 0 9 0 557926654 690180096 16010 33554432000 4194304 6211132 140731366629744 140399327546688 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 24.9 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64040 KiB
[startup+4.00068 s]*
/proc/loadavg: 7.99 8.23 8.09 9/203 1624
/proc/meminfo: memFree=31418672/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64128 CPUtime=31.35 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 33240 0 0 0 3128 7 0 0 20 0 9 0 557926647 690180096 16032 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16032 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=6944656592455097440 CPUtime=3.92 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 877 0 0 0 392 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399386295352 5149718 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=4126316290023845779 CPUtime=3.92 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1389 0 0 0 392 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399377902688 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=111636 CPUtime=3.91 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 3478 0 0 0 390 1 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399369509848 5446280 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=800 CPUtime=3.92 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 3338 0 0 0 392 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399361117280 5072792 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=1728 CPUtime=3.92 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 3540 0 0 0 391 1 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399352724576 5441144 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=1398722017469774279 CPUtime=3.92 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 2475 0 0 0 392 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399344331400 5068955 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=4126316290023845779 CPUtime=3.92 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 2973 0 0 0 392 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399335939168 5446307 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=140358659071824 CPUtime=3.8 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 826 0 0 0 380 0 0 0 20 0 9 0 557926654 690180096 16032 33554432000 4194304 6211132 140731366629744 140399327546576 5149721 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 31.35 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64128 KiB
[startup+4.40068 s]
/proc/loadavg: 7.99 8.23 8.09 9/203 1624
/proc/meminfo: memFree=31418672/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64300 CPUtime=34.49 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 37928 0 0 0 3441 8 0 0 20 0 9 0 557926647 690180096 16075 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16075 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=4956998493510226538 CPUtime=4.31 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 926 0 0 0 431 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399386295504 5149706 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=-7035114785800479027 CPUtime=4.31 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1696 0 0 0 431 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399377902688 5193763 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=37137 CPUtime=4.3 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 4175 0 0 0 429 1 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399369509560 5439857 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=0 CPUtime=4.31 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 4335 0 0 0 431 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399361117280 5455685 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=0 CPUtime=4.31 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 4355 0 0 0 430 1 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399352724576 5451650 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=1 CPUtime=4.31 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 3617 0 0 0 431 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399344332000 5149690 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=0 CPUtime=4.31 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 3591 0 0 0 431 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399335939168 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=64108 CPUtime=4.19 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 876 0 0 0 419 0 0 0 20 0 9 0 557926654 690180096 16075 33554432000 4194304 6211132 140731366629744 140399327546576 5149680 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 34.49 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64300 KiB
[startup+4.80068 s]
/proc/loadavg: 7.99 8.23 8.09 9/203 1624
/proc/meminfo: memFree=31418672/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64392 CPUtime=37.68 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 38488 0 0 0 3760 8 0 0 20 0 9 0 557926647 690180096 16098 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16098 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=-7035114785800479027 CPUtime=4.71 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 939 0 0 0 471 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399386295352 5149680 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=2044 CPUtime=4.71 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1705 0 0 0 471 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399377902688 5149721 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=280717317841744 CPUtime=4.7 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 4257 0 0 0 469 1 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399369509560 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=928 CPUtime=4.71 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 4360 0 0 0 471 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399361117280 5446292 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=1620 CPUtime=4.71 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 4401 0 0 0 470 1 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399352724576 5149732 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=4104 CPUtime=4.71 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 3941 0 0 0 471 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399344332000 5440837 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=63892 CPUtime=4.71 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 3640 0 0 0 471 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399335939128 5068955 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=-7035114785800479027 CPUtime=4.59 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 889 0 0 0 459 0 0 0 20 0 9 0 557926654 690180096 16098 33554432000 4194304 6211132 140731366629744 140399327546464 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 37.68 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64392 KiB
[startup+4.90068 s]
/proc/loadavg: 7.99 8.23 8.09 9/203 1624
/proc/meminfo: memFree=31418672/32770688 swapFree=67001380/67108860
[pid=1614] ppid=1611 vsize=674004 memory=64452 CPUtime=38.48 cores=0-7
/proc/1614/stat : 1614 (cosoco) S 1611 1614 961 0 -1 1077944320 38964 0 0 0 3840 8 0 0 20 0 9 0 557926647 690180096 16113 33554432000 4194304 6211132 140731366629744 140731366628000 140399409438455 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
/proc/1614/statm: 168501 16113 899 493 0 161806 0
[pid=1614/tid=1616] ppid=1611 vsize=674004 memory=1368 CPUtime=4.81 cores=0-7
/proc/1614/task/1616/stat : 1616 (cosoco) R 1611 1614 961 0 -1 4202560 942 0 0 0 481 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399386295256 5149721 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1617] ppid=1611 vsize=674004 memory=0 CPUtime=4.81 cores=0-7
/proc/1614/task/1617/stat : 1617 (cosoco) R 1611 1614 961 0 -1 4202560 1708 0 0 0 481 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399377902688 5454212 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1618] ppid=1611 vsize=674004 memory=-9108069987122519413 CPUtime=4.8 cores=0-7
/proc/1614/task/1618/stat : 1618 (cosoco) R 1611 1614 961 0 -1 4202560 4260 0 0 0 479 1 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399369509560 5149680 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1619] ppid=1611 vsize=674004 memory=-8412658761763547277 CPUtime=4.81 cores=0-7
/proc/1614/task/1619/stat : 1619 (cosoco) R 1611 1614 961 0 -1 4202560 4360 0 0 0 481 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399361117280 5443096 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1620] ppid=1611 vsize=674004 memory=-7035114785800479027 CPUtime=4.81 cores=0-7
/proc/1614/task/1620/stat : 1620 (cosoco) R 1611 1614 961 0 -1 4202560 4403 0 0 0 480 1 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399352724576 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1621] ppid=1611 vsize=674004 memory=147274428583071 CPUtime=4.8 cores=0-7
/proc/1614/task/1621/stat : 1621 (cosoco) R 1611 1614 961 0 -1 4202560 4036 0 0 0 480 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399344331832 5454220 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1622] ppid=1611 vsize=674004 memory=0 CPUtime=4.81 cores=0-7
/proc/1614/task/1622/stat : 1622 (cosoco) R 1611 1614 961 0 -1 4202560 4006 0 0 0 481 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399335939128 5443004 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
[pid=1614/tid=1623] ppid=1611 vsize=674004 memory=2320679655897467152 CPUtime=4.69 cores=0-7
/proc/1614/task/1623/stat : 1623 (cosoco) R 1611 1614 961 0 -1 4202560 892 0 0 0 469 0 0 0 20 0 9 0 557926654 690180096 16113 33554432000 4194304 6211132 140731366629744 140399327546576 5149680 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40693760 140731366638609 140731366638701 140731366638701 140731366641614 0
Current children cumulated CPU time: 38.48 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 64452 KiB
Child status: 0
Real time (s): 4.95311
CPU time (s): 38.6414
CPU user time (s): 38.5545
CPU system time (s): 0.08692
CPU usage (%): 780.143
Max. virtual memory (cumulated for all children) (KiB): 674004
Max. memory (cumulated for all children) (KiB): 64452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.5545
system time used= 0.08692
maximum resident set size= 64456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39058
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= 388
involuntary context switches= 677
# summary of solver processes directly reported to runsolver:
# pid: 1614
# total CPU time (s): 38.6414
# total CPU user time (s): 38.5545
# total CPU system time (s): 0.08692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055947 second user time and 0.092406 second system time
The end
Begin job on node116 at 2019-09-30 07:03:29 IDJOB=4409239 IDBENCH=122918 IDSOLVER=2877 FILE ID=node116/4409239-1569819851 RUNJOBID= node116-1569816239-988 PBS_JOBID= 21705903 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409239-1569819851/watcher-4409239-1569819851 -o /tmp/evaluation-result-4409239-1569819851/solver-4409239-1569819851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569816239-988 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409239-1569819851.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee RANDOM SEED=1103559220 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31479744 kB MemAvailable: 31853048 kB Buffers: 199556 kB Cached: 493600 kB SwapCached: 3344 kB Active: 375756 kB Inactive: 323376 kB Active(anon): 23728 kB Inactive(anon): 62888 kB Active(file): 352028 kB Inactive(file): 260488 kB Unevictable: 109448 kB Mlocked: 109448 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 113316 kB Mapped: 26324 kB Shmem: 72416 kB Slab: 183424 kB SReclaimable: 153248 kB SUnreclaim: 30176 kB KernelStack: 3440 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 538676 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node116 at 2019-09-30 07:03:34