| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| minisat+ 1.14 | SAT | 1158.81 | 1159.13 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
| MD5SUM | 321349c7a7114538010c83c600c72ae9 |
| Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 2.92655 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 8281 |
| Total number of constraints | 826 |
| Number of constraints which are clauses | 364 |
| Number of constraints which are cardinality constraints (but not clauses) | 462 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 91 |
| Maximum length of a constraint | 169 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 171 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Parsing PB file... 0.90 c Converting 826 PB-constraints to clauses... 0.90 c -- Unit propagations: (none) 0.90 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################ 0.92 c -- Clauses(.)/Splits(s): (none) 0.92 c ---[ 824]---> BDD-cost: 179 0.92 c ---[ 822]---> BDD-cost: 179 0.92 c ---[ 820]---> BDD-cost: 179 0.92 c ---[ 818]---> BDD-cost: 179 0.93 c ---[ 816]---> BDD-cost: 179 0.93 c ---[ 814]---> BDD-cost: 179 0.93 c ---[ 812]---> BDD-cost: 179 0.93 c ---[ 810]---> BDD-cost: 179 0.93 c ---[ 808]---> BDD-cost: 179 0.93 c ---[ 806]---> BDD-cost: 179 0.93 c ---[ 804]---> BDD-cost: 179 0.93 c ---[ 802]---> BDD-cost: 179 0.93 c ---[ 800]---> BDD-cost: 179 0.94 c ---[ 798]---> BDD-cost: 179 0.94 c ---[ 796]---> BDD-cost: 179 0.94 c ---[ 794]---> BDD-cost: 179 0.94 c ---[ 792]---> BDD-cost: 179 0.94 c ---[ 790]---> BDD-cost: 179 0.94 c ---[ 788]---> BDD-cost: 179 0.94 c ---[ 786]---> BDD-cost: 179 0.94 c ---[ 784]---> BDD-cost: 179 0.95 c ---[ 782]---> BDD-cost: 179 0.95 c ---[ 780]---> BDD-cost: 179 0.95 c ---[ 778]---> BDD-cost: 179 0.95 c ---[ 776]---> BDD-cost: 179 0.95 c ---[ 774]---> BDD-cost: 179 0.95 c ---[ 772]---> BDD-cost: 179 0.95 c ---[ 770]---> BDD-cost: 179 0.95 c ---[ 768]---> BDD-cost: 179 0.96 c ---[ 766]---> BDD-cost: 179 0.96 c ---[ 764]---> BDD-cost: 179 0.96 c ---[ 762]---> BDD-cost: 179 0.96 c ---[ 760]---> BDD-cost: 179 0.96 c ---[ 758]---> BDD-cost: 179 0.96 c ---[ 756]---> BDD-cost: 179 0.96 c ---[ 754]---> BDD-cost: 179 0.96 c ---[ 752]---> BDD-cost: 179 0.97 c ---[ 750]---> BDD-cost: 179 0.97 c ---[ 748]---> BDD-cost: 179 0.97 c ---[ 746]---> BDD-cost: 179 0.97 c ---[ 744]---> BDD-cost: 179 0.97 c ---[ 742]---> BDD-cost: 179 0.97 c ---[ 740]---> BDD-cost: 179 0.97 c ---[ 738]---> BDD-cost: 179 0.97 c ---[ 736]---> BDD-cost: 179 0.97 c ---[ 734]---> BDD-cost: 179 0.98 c ---[ 732]---> BDD-cost: 179 0.98 c ---[ 730]---> BDD-cost: 179 0.98 c ---[ 728]---> BDD-cost: 179 0.98 c ---[ 726]---> BDD-cost: 179 0.98 c ---[ 724]---> BDD-cost: 179 0.98 c ---[ 722]---> BDD-cost: 179 0.98 c ---[ 720]---> BDD-cost: 179 0.98 c ---[ 718]---> BDD-cost: 179 0.99 c ---[ 716]---> BDD-cost: 179 0.99 c ---[ 714]---> BDD-cost: 179 0.99 c ---[ 712]---> BDD-cost: 179 0.99 c ---[ 710]---> BDD-cost: 179 0.99 c ---[ 708]---> BDD-cost: 179 0.99 c ---[ 706]---> BDD-cost: 179 0.99 c ---[ 704]---> BDD-cost: 179 1.00 c ---[ 702]---> BDD-cost: 179 1.00 c ---[ 700]---> BDD-cost: 179 1.00 c ---[ 698]---> BDD-cost: 179 1.00 c ---[ 696]---> BDD-cost: 179 1.00 c ---[ 694]---> BDD-cost: 179 1.00 c ---[ 692]---> BDD-cost: 179 1.00 c ---[ 690]---> BDD-cost: 179 1.00 c ---[ 688]---> BDD-cost: 179 1.00 c ---[ 686]---> BDD-cost: 179 1.01 c ---[ 684]---> BDD-cost: 179 1.01 c ---[ 682]---> BDD-cost: 179 1.01 c ---[ 680]---> BDD-cost: 179 1.01 c ---[ 678]---> BDD-cost: 179 1.01 c ---[ 676]---> BDD-cost: 179 1.01 c ---[ 674]---> BDD-cost: 179 1.01 c ---[ 672]---> BDD-cost: 179 1.01 c ---[ 670]---> BDD-cost: 179 1.02 c ---[ 668]---> BDD-cost: 179 1.02 c ---[ 666]---> BDD-cost: 179 1.02 c ---[ 664]---> BDD-cost: 179 1.02 c ---[ 662]---> BDD-cost: 179 1.02 c ---[ 660]---> BDD-cost: 179 1.02 c ---[ 658]---> BDD-cost: 179 1.02 c ---[ 656]---> BDD-cost: 179 1.02 c ---[ 654]---> BDD-cost: 179 1.03 c ---[ 652]---> BDD-cost: 179 1.03 c ---[ 650]---> BDD-cost: 179 1.03 c ---[ 648]---> BDD-cost: 179 1.03 c ---[ 646]---> BDD-cost: 179 1.03 c ---[ 644]---> BDD-cost: 179 1.03 c ---[ 642]---> BDD-cost: 179 1.03 c ---[ 640]---> BDD-cost: 179 1.03 c ---[ 638]---> BDD-cost: 179 1.03 c ---[ 636]---> BDD-cost: 179 1.04 c ---[ 634]---> BDD-cost: 179 1.04 c ---[ 632]---> BDD-cost: 179 1.04 c ---[ 630]---> BDD-cost: 179 1.04 c ---[ 628]---> BDD-cost: 179 1.04 c ---[ 626]---> BDD-cost: 179 1.04 c ---[ 624]---> BDD-cost: 179 1.04 c ---[ 622]---> BDD-cost: 179 1.04 c ---[ 620]---> BDD-cost: 179 1.05 c ---[ 618]---> BDD-cost: 179 1.05 c ---[ 616]---> BDD-cost: 179 1.05 c ---[ 614]---> BDD-cost: 179 1.05 c ---[ 612]---> BDD-cost: 179 1.05 c ---[ 610]---> BDD-cost: 179 1.05 c ---[ 608]---> BDD-cost: 179 1.05 c ---[ 606]---> BDD-cost: 179 1.05 c ---[ 604]---> BDD-cost: 179 1.06 c ---[ 602]---> BDD-cost: 179 1.06 c ---[ 600]---> BDD-cost: 179 1.06 c ---[ 598]---> BDD-cost: 179 1.06 c ---[ 596]---> BDD-cost: 179 1.06 c ---[ 594]---> BDD-cost: 179 1.06 c ---[ 592]---> BDD-cost: 179 1.06 c ---[ 590]---> BDD-cost: 179 1.07 c ---[ 588]---> BDD-cost: 179 1.07 c ---[ 586]---> BDD-cost: 179 1.07 c ---[ 584]---> BDD-cost: 179 1.07 c ---[ 582]---> BDD-cost: 179 1.07 c ---[ 580]---> BDD-cost: 179 1.07 c ---[ 578]---> BDD-cost: 179 1.07 c ---[ 576]---> BDD-cost: 179 1.07 c ---[ 574]---> BDD-cost: 179 1.08 c ---[ 572]---> BDD-cost: 179 1.08 c ---[ 570]---> BDD-cost: 179 1.08 c ---[ 568]---> BDD-cost: 179 1.08 c ---[ 566]---> BDD-cost: 179 1.08 c ---[ 564]---> BDD-cost: 179 1.08 c ---[ 562]---> BDD-cost: 179 1.08 c ---[ 560]---> BDD-cost: 179 1.08 c ---[ 558]---> BDD-cost: 179 1.09 c ---[ 556]---> BDD-cost: 179 1.09 c ---[ 554]---> BDD-cost: 179 1.09 c ---[ 552]---> BDD-cost: 179 1.09 c ---[ 550]---> BDD-cost: 179 1.09 c ---[ 548]---> BDD-cost: 179 1.09 c ---[ 546]---> BDD-cost: 179 1.09 c ---[ 544]---> BDD-cost: 179 1.09 c ---[ 542]---> BDD-cost: 179 1.10 c ---[ 540]---> BDD-cost: 179 1.10 c ---[ 538]---> BDD-cost: 179 1.10 c ---[ 536]---> BDD-cost: 179 1.10 c ---[ 534]---> BDD-cost: 179 1.10 c ---[ 532]---> BDD-cost: 179 1.10 c ---[ 530]---> BDD-cost: 179 1.10 c ---[ 528]---> BDD-cost: 179 1.10 c ---[ 526]---> BDD-cost: 179 1.11 c ---[ 524]---> BDD-cost: 179 1.11 c ---[ 522]---> BDD-cost: 179 1.11 c ---[ 520]---> BDD-cost: 179 1.11 c ---[ 518]---> BDD-cost: 179 1.11 c ---[ 516]---> BDD-cost: 179 1.11 c ---[ 514]---> BDD-cost: 179 1.11 c ---[ 512]---> BDD-cost: 179 1.11 c ---[ 510]---> BDD-cost: 179 1.12 c ---[ 508]---> BDD-cost: 179 1.12 c ---[ 506]---> BDD-cost: 179 1.12 c ---[ 504]---> BDD-cost: 179 1.12 c ---[ 502]---> BDD-cost: 179 1.12 c ---[ 500]---> BDD-cost: 179 1.12 c ---[ 498]---> BDD-cost: 179 1.12 c ---[ 496]---> BDD-cost: 179 1.12 c ---[ 494]---> BDD-cost: 179 1.13 c ---[ 492]---> BDD-cost: 179 1.13 c ---[ 490]---> BDD-cost: 179 1.13 c ---[ 488]---> BDD-cost: 179 1.13 c ---[ 486]---> BDD-cost: 179 1.13 c ---[ 484]---> BDD-cost: 179 1.13 c ---[ 482]---> BDD-cost: 179 1.13 c ---[ 480]---> BDD-cost: 179 1.13 c ---[ 478]---> BDD-cost: 179 1.13 c ---[ 476]---> BDD-cost: 179 1.14 c ---[ 474]---> BDD-cost: 179 1.14 c ---[ 472]---> BDD-cost: 179 1.14 c ---[ 470]---> BDD-cost: 179 1.14 c ---[ 468]---> BDD-cost: 179 1.14 c ---[ 466]---> BDD-cost: 179 1.14 c ---[ 464]---> BDD-cost: 179 1.14 c ---[ 462]---> BDD-cost: 179 1.14 c ---[ 460]---> BDD-cost: 155 1.15 c ---[ 458]---> BDD-cost: 179 1.15 c ---[ 456]---> BDD-cost: 179 1.15 c ---[ 454]---> BDD-cost: 179 1.15 c ---[ 452]---> BDD-cost: 179 1.15 c ---[ 450]---> BDD-cost: 179 1.15 c ---[ 448]---> BDD-cost: 179 1.15 c ---[ 446]---> BDD-cost: 179 1.15 c ---[ 444]---> BDD-cost: 179 1.16 c ---[ 442]---> BDD-cost: 179 1.16 c ---[ 440]---> BDD-cost: 179 1.16 c ---[ 438]---> BDD-cost: 179 1.16 c ---[ 436]---> BDD-cost: 179 1.16 c ---[ 434]---> BDD-cost: 179 1.16 c ---[ 432]---> BDD-cost: 155 1.16 c ---[ 430]---> BDD-cost: 179 1.16 c ---[ 428]---> BDD-cost: 179 1.17 c ---[ 426]---> BDD-cost: 179 1.17 c ---[ 424]---> BDD-cost: 179 1.17 c ---[ 422]---> BDD-cost: 179 1.17 c ---[ 420]---> BDD-cost: 179 1.17 c ---[ 418]---> BDD-cost: 179 1.17 c ---[ 416]---> BDD-cost: 179 1.17 c ---[ 414]---> BDD-cost: 179 1.17 c ---[ 412]---> BDD-cost: 179 1.18 c ---[ 410]---> BDD-cost: 179 1.18 c ---[ 408]---> BDD-cost: 179 1.18 c ---[ 406]---> BDD-cost: 179 1.18 c ---[ 404]---> BDD-cost: 155 1.18 c ---[ 402]---> BDD-cost: 179 1.18 c ---[ 400]---> BDD-cost: 179 1.18 c ---[ 398]---> BDD-cost: 179 1.18 c ---[ 396]---> BDD-cost: 179 1.19 c ---[ 394]---> BDD-cost: 179 1.19 c ---[ 392]---> BDD-cost: 179 1.19 c ---[ 390]---> BDD-cost: 179 1.19 c ---[ 388]---> BDD-cost: 179 1.19 c ---[ 386]---> BDD-cost: 179 1.19 c ---[ 384]---> BDD-cost: 179 1.19 c ---[ 382]---> BDD-cost: 179 1.19 c ---[ 380]---> BDD-cost: 179 1.20 c ---[ 378]---> BDD-cost: 179 1.20 c ---[ 376]---> BDD-cost: 155 1.20 c ---[ 374]---> BDD-cost: 179 1.20 c ---[ 372]---> BDD-cost: 179 1.20 c ---[ 370]---> BDD-cost: 179 1.20 c ---[ 368]---> BDD-cost: 179 1.20 c ---[ 366]---> BDD-cost: 179 1.20 c ---[ 364]---> BDD-cost: 179 1.21 c ---[ 362]---> BDD-cost: 179 1.21 c ---[ 360]---> BDD-cost: 179 1.21 c ---[ 358]---> BDD-cost: 179 1.21 c ---[ 356]---> BDD-cost: 179 1.21 c ---[ 354]---> BDD-cost: 179 1.22 c ---[ 352]---> BDD-cost: 179 1.22 c ---[ 350]---> BDD-cost: 179 1.22 c ---[ 348]---> BDD-cost: 155 1.22 c ---[ 346]---> BDD-cost: 179 1.22 c ---[ 344]---> BDD-cost: 179 1.22 c ---[ 342]---> BDD-cost: 179 1.22 c ---[ 340]---> BDD-cost: 179 1.23 c ---[ 338]---> BDD-cost: 179 1.23 c ---[ 336]---> BDD-cost: 179 1.23 c ---[ 334]---> BDD-cost: 179 1.23 c ---[ 332]---> BDD-cost: 179 1.23 c ---[ 330]---> BDD-cost: 179 1.23 c ---[ 328]---> BDD-cost: 179 1.23 c ---[ 326]---> BDD-cost: 179 1.23 c ---[ 324]---> BDD-cost: 179 1.24 c ---[ 322]---> BDD-cost: 179 1.24 c ---[ 320]---> BDD-cost: 155 1.24 c ---[ 318]---> BDD-cost: 179 1.24 c ---[ 316]---> BDD-cost: 179 1.24 c ---[ 314]---> BDD-cost: 179 1.24 c ---[ 312]---> BDD-cost: 179 1.24 c ---[ 310]---> BDD-cost: 179 1.24 c ---[ 308]---> BDD-cost: 179 1.25 c ---[ 306]---> BDD-cost: 179 1.25 c ---[ 304]---> BDD-cost: 179 1.25 c ---[ 302]---> BDD-cost: 179 1.25 c ---[ 300]---> BDD-cost: 179 1.25 c ---[ 298]---> BDD-cost: 179 1.25 c ---[ 296]---> BDD-cost: 179 1.25 c ---[ 294]---> BDD-cost: 179 1.25 c ---[ 292]---> BDD-cost: 155 1.26 c ---[ 290]---> BDD-cost: 179 1.26 c ---[ 288]---> BDD-cost: 179 1.26 c ---[ 286]---> BDD-cost: 179 1.26 c ---[ 284]---> BDD-cost: 179 1.26 c ---[ 282]---> BDD-cost: 179 1.26 c ---[ 280]---> BDD-cost: 179 1.26 c ---[ 278]---> BDD-cost: 179 1.26 c ---[ 276]---> BDD-cost: 179 1.26 c ---[ 274]---> BDD-cost: 179 1.27 c ---[ 272]---> BDD-cost: 179 1.27 c ---[ 270]---> BDD-cost: 179 1.27 c ---[ 268]---> BDD-cost: 179 1.27 c ---[ 266]---> BDD-cost: 179 1.27 c ---[ 264]---> BDD-cost: 155 1.27 c ---[ 262]---> BDD-cost: 179 1.27 c ---[ 260]---> BDD-cost: 179 1.27 c ---[ 258]---> BDD-cost: 179 1.28 c ---[ 256]---> BDD-cost: 179 1.28 c ---[ 254]---> BDD-cost: 179 1.28 c ---[ 252]---> BDD-cost: 179 1.28 c ---[ 250]---> BDD-cost: 179 1.28 c ---[ 248]---> BDD-cost: 179 1.28 c ---[ 246]---> BDD-cost: 179 1.28 c ---[ 244]---> BDD-cost: 179 1.28 c ---[ 242]---> BDD-cost: 179 1.29 c ---[ 240]---> BDD-cost: 179 1.29 c ---[ 238]---> BDD-cost: 179 1.29 c ---[ 236]---> BDD-cost: 155 1.29 c ---[ 234]---> BDD-cost: 179 1.29 c ---[ 232]---> BDD-cost: 179 1.29 c ---[ 230]---> BDD-cost: 179 1.29 c ---[ 228]---> BDD-cost: 179 1.29 c ---[ 226]---> BDD-cost: 179 1.30 c ---[ 224]---> BDD-cost: 179 1.30 c ---[ 222]---> BDD-cost: 179 1.30 c ---[ 220]---> BDD-cost: 179 1.30 c ---[ 218]---> BDD-cost: 179 1.30 c ---[ 216]---> BDD-cost: 179 1.30 c ---[ 214]---> BDD-cost: 179 1.30 c ---[ 212]---> BDD-cost: 179 1.30 c ---[ 210]---> BDD-cost: 179 1.31 c ---[ 208]---> BDD-cost: 155 1.31 c ---[ 206]---> BDD-cost: 179 1.31 c ---[ 204]---> BDD-cost: 179 1.31 c ---[ 202]---> BDD-cost: 179 1.31 c ---[ 200]---> BDD-cost: 179 1.31 c ---[ 198]---> BDD-cost: 179 1.31 c ---[ 196]---> BDD-cost: 179 1.31 c ---[ 194]---> BDD-cost: 179 1.32 c ---[ 192]---> BDD-cost: 179 1.32 c ---[ 190]---> BDD-cost: 179 1.32 c ---[ 188]---> BDD-cost: 179 1.32 c ---[ 186]---> BDD-cost: 179 1.32 c ---[ 184]---> BDD-cost: 179 1.32 c ---[ 182]---> BDD-cost: 179 1.32 c ---[ 180]---> BDD-cost: 155 1.32 c ---[ 178]---> BDD-cost: 179 1.33 c ---[ 176]---> BDD-cost: 179 1.33 c ---[ 174]---> BDD-cost: 179 1.33 c ---[ 172]---> BDD-cost: 179 1.33 c ---[ 170]---> BDD-cost: 179 1.33 c ---[ 168]---> BDD-cost: 179 1.33 c ---[ 166]---> BDD-cost: 179 1.33 c ---[ 164]---> BDD-cost: 179 1.33 c ---[ 162]---> BDD-cost: 179 1.34 c ---[ 160]---> BDD-cost: 179 1.34 c ---[ 158]---> BDD-cost: 179 1.34 c ---[ 156]---> BDD-cost: 179 1.34 c ---[ 154]---> BDD-cost: 179 1.34 c ---[ 152]---> BDD-cost: 155 1.34 c ---[ 150]---> BDD-cost: 179 1.34 c ---[ 148]---> BDD-cost: 179 1.34 c ---[ 146]---> BDD-cost: 179 1.35 c ---[ 144]---> BDD-cost: 179 1.35 c ---[ 142]---> BDD-cost: 179 1.35 c ---[ 140]---> BDD-cost: 179 1.35 c ---[ 138]---> BDD-cost: 179 1.35 c ---[ 136]---> BDD-cost: 179 1.35 c ---[ 134]---> BDD-cost: 179 1.35 c ---[ 132]---> BDD-cost: 179 1.35 c ---[ 130]---> BDD-cost: 179 1.36 c ---[ 128]---> BDD-cost: 179 1.36 c ---[ 126]---> BDD-cost: 179 1.36 c ---[ 124]---> BDD-cost: 155 1.36 c ---[ 122]---> BDD-cost: 179 1.36 c ---[ 120]---> BDD-cost: 179 1.36 c ---[ 118]---> BDD-cost: 179 1.36 c ---[ 116]---> BDD-cost: 179 1.36 c ---[ 114]---> BDD-cost: 179 1.37 c ---[ 112]---> BDD-cost: 179 1.37 c ---[ 110]---> BDD-cost: 179 1.37 c ---[ 108]---> BDD-cost: 179 1.37 c ---[ 106]---> BDD-cost: 179 1.37 c ---[ 104]---> BDD-cost: 179 1.37 c ---[ 102]---> BDD-cost: 179 1.37 c ---[ 100]---> BDD-cost: 179 1.37 c ---[ 98]---> BDD-cost: 179 1.38 c ---[ 97]---> BDD-cost: 488 1.39 c ---[ 96]---> BDD-cost: 488 1.41 c ---[ 95]---> BDD-cost: 488 1.42 c ---[ 94]---> BDD-cost: 488 1.44 c ---[ 93]---> BDD-cost: 488 1.45 c ---[ 92]---> BDD-cost: 488 1.47 c ---[ 91]---> BDD-cost: 488 1.49 c ---[ 90]---> BDD-cost: 488 1.50 c ---[ 89]---> BDD-cost: 488 1.52 c ---[ 88]---> BDD-cost: 488 1.53 c ---[ 87]---> BDD-cost: 488 1.55 c ---[ 86]---> BDD-cost: 488 1.56 c ---[ 85]---> BDD-cost: 488 1.58 c ---[ 84]---> BDD-cost: 488 1.60 c ---[ 83]---> BDD-cost: 488 1.61 c ---[ 82]---> BDD-cost: 500 1.63 c ---[ 81]---> BDD-cost: 500 1.64 c ---[ 80]---> BDD-cost: 500 1.66 c ---[ 79]---> BDD-cost: 500 1.68 c ---[ 78]---> BDD-cost: 500 1.69 c ---[ 77]---> BDD-cost: 500 1.71 c ---[ 76]---> BDD-cost: 500 1.72 c ---[ 75]---> BDD-cost: 500 1.74 c ---[ 74]---> BDD-cost: 500 1.76 c ---[ 73]---> BDD-cost: 500 1.77 c ---[ 72]---> BDD-cost: 500 1.79 c ---[ 71]---> BDD-cost: 500 1.81 c ---[ 70]---> BDD-cost: 500 1.82 c ---[ 69]---> BDD-cost: 488 1.84 c ---[ 68]---> BDD-cost: 500 1.85 c ---[ 67]---> BDD-cost: 500 1.87 c ---[ 66]---> BDD-cost: 500 1.89 c ---[ 65]---> BDD-cost: 500 1.90 c ---[ 64]---> BDD-cost: 500 1.92 c ---[ 63]---> BDD-cost: 500 1.93 c ---[ 62]---> BDD-cost: 500 1.95 c ---[ 61]---> BDD-cost: 500 1.96 c ---[ 60]---> BDD-cost: 500 1.98 c ---[ 59]---> BDD-cost: 500 2.00 c ---[ 58]---> BDD-cost: 500 2.03 c ---[ 57]---> BDD-cost: 500 2.05 c ---[ 56]---> BDD-cost: 500 2.07 c ---[ 55]---> BDD-cost: 488 2.08 c ---[ 54]---> BDD-cost: 500 2.10 c ---[ 53]---> BDD-cost: 500 2.11 c ---[ 52]---> BDD-cost: 500 2.13 c ---[ 51]---> BDD-cost: 500 2.15 c ---[ 50]---> BDD-cost: 500 2.16 c ---[ 49]---> BDD-cost: 500 2.18 c ---[ 48]---> BDD-cost: 500 2.19 c ---[ 47]---> BDD-cost: 500 2.21 c ---[ 46]---> BDD-cost: 500 2.23 c ---[ 45]---> BDD-cost: 500 2.24 c ---[ 44]---> BDD-cost: 500 2.26 c ---[ 43]---> BDD-cost: 500 2.27 c ---[ 42]---> BDD-cost: 500 2.29 c ---[ 41]---> BDD-cost: 488 2.31 c ---[ 40]---> BDD-cost: 500 2.32 c ---[ 39]---> BDD-cost: 500 2.34 c ---[ 38]---> BDD-cost: 500 2.36 c ---[ 37]---> BDD-cost: 500 2.37 c ---[ 36]---> BDD-cost: 500 2.39 c ---[ 35]---> BDD-cost: 500 2.40 c ---[ 34]---> BDD-cost: 500 2.42 c ---[ 33]---> BDD-cost: 500 2.44 c ---[ 32]---> BDD-cost: 500 2.45 c ---[ 31]---> BDD-cost: 500 2.47 c ---[ 30]---> BDD-cost: 500 2.48 c ---[ 29]---> BDD-cost: 500 2.50 c ---[ 28]---> BDD-cost: 500 2.52 c ---[ 27]---> BDD-cost: 488 2.53 c ---[ 26]---> BDD-cost: 500 2.55 c ---[ 25]---> BDD-cost: 500 2.56 c ---[ 24]---> BDD-cost: 500 2.58 c ---[ 23]---> BDD-cost: 500 2.60 c ---[ 22]---> BDD-cost: 500 2.61 c ---[ 21]---> BDD-cost: 500 2.63 c ---[ 20]---> BDD-cost: 500 2.65 c ---[ 19]---> BDD-cost: 500 2.66 c ---[ 18]---> BDD-cost: 500 2.68 c ---[ 17]---> BDD-cost: 500 2.69 c ---[ 16]---> BDD-cost: 500 2.71 c ---[ 15]---> BDD-cost: 500 2.72 c ---[ 14]---> BDD-cost: 500 2.74 c ---[ 13]---> BDD-cost: 488 2.76 c ---[ 12]---> BDD-cost: 500 2.77 c ---[ 11]---> BDD-cost: 500 2.79 c ---[ 10]---> BDD-cost: 500 2.81 c ---[ 9]---> BDD-cost: 500 2.82 c ---[ 8]---> BDD-cost: 500 2.84 c ---[ 7]---> BDD-cost: 500 2.86 c ---[ 6]---> BDD-cost: 500 2.87 c ---[ 5]---> BDD-cost: 500 2.89 c ---[ 4]---> BDD-cost: 500 2.90 c ---[ 3]---> BDD-cost: 500 2.92 c ---[ 2]---> BDD-cost: 500 2.94 c ---[ 1]---> BDD-cost: 500 2.95 c ---[ 0]---> BDD-cost: 500 3.19 c ==================================[MINISAT+]================================== 3.19 c | Conflicts | Original | Learnt | Progress | 3.19 c | | Clauses Literals | Max Clauses Literals LPC | | 3.19 c ============================================================================== 3.19 c | 0 | 291801 778867 | 97267 0 0 nan | 0.000 % | 3.25 c | 102 | 291801 778867 | 106993 102 9881 96.9 | 0.379 % | 3.42 c | 252 | 291801 778867 | 117693 252 21607 85.7 | 0.379 % | 3.52 c | 479 | 291801 778867 | 129462 479 27617 57.7 | 0.379 % | 3.96 c | 816 | 291801 778867 | 142408 816 80478 98.6 | 0.379 % | 4.61 c | 1324 | 291801 778867 | 156649 1324 128111 96.8 | 0.379 % | 5.40 c | 2084 | 291801 778867 | 172314 2084 210747 101.1 | 0.379 % | 6.58 c | 3223 | 291801 778867 | 189545 3223 399297 123.9 | 0.379 % | 8.78 c | 4931 | 291801 778867 | 208500 4931 759214 154.0 | 0.379 % | 14.83 c | 7493 | 291801 778867 | 229350 7493 1837369 245.2 | 0.379 % | 23.68 c | 11337 | 291801 778867 | 252285 11337 3525252 311.0 | 0.379 % | 57.93 c | 17105 | 291801 778867 | 277514 17105 10824440 632.8 | 0.379 % | 106.91 c | 25755 | 291801 778867 | 305265 25755 20677594 802.9 | 0.379 % | 146.97 c | 38729 | 291801 778867 | 335792 38729 27698376 715.2 | 0.379 % | 274.69 c | 58196 | 291801 778867 | 369371 58196 50332186 864.9 | 0.379 % | 461.16 c | 87390 | 291801 778867 | 406308 87390 84808758 970.5 | 0.379 % | 801.87 c | 131180 | 291801 778867 | 446939 131180 148799955 1134.3 | 0.379 % | 1158.97 c ============================================================================== 1158.97 c [1mSATISFIABLE: No goal function specified.[0m 1158.97 s SATISFIABLE 1158.97 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1158.97 v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1158.97 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1158.97 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1158.97 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1158.97 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1158.97 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1158.97 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1158.97 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1158.97 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1158.97 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1158.97 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1158.97 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1158.97 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1158.97 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1158.97 v -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1158.97 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1158.97 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1158.97 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 1158.97 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1158.97 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1158.97 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 1158.97 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1158.97 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1158.97 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1158.97 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1158.97 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1158.97 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1158.97 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1158.97 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 1158.97 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1158.97 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1158.97 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1158.97 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1158.97 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1158.97 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1158.97 v -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1158.97 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1158.97 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1158.97 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1158.97 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1158.97 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1158.97 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1158.97 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1158.97 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1158.97 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1158.97 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1158.97 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1158.97 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1158.97 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1158.97 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1158.97 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1158.97 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1158.97 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1158.97 v -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1158.97 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1158.97 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1158.97 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1158.97 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1158.97 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1158.97 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1158.97 v -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1158.97 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1158.97 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1158.97 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1158.97 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1158.97 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1158.97 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 1158.97 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1158.97 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1158.97 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1158.97 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1158.97 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1158.97 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1158.97 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1158.97 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1158.97 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1158.97 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1158.97 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1158.97 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1158.97 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1158.97 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1158.97 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1158.97 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1158.97 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1158.97 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1158.97 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1158.97 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1158.97 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1158.97 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1158.97 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1158.97 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1158.97 v -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1158.97 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1158.97 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1158.97 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1158.97 v -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1158.97 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1158.97 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1158.97 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1158.97 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1158.97 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1158.97 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1158.97 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1158.97 v -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1158.97 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1158.97 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1158.97 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1158.97 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1158.97 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1158.97 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 1158.97 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1158.97 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 1158.97 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1158.97 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1158.97 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1158.97 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1158.97 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1158.97 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1158.97 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1158.97 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1158.97 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1158.97 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1158.97 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1158.97 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1158.97 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1158.97 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1158.97 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1158.97 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1158.97 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1158.97 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1158.97 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 1158.97 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1158.97 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1158.97 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1158.97 v -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1158.97 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1158.97 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1158.97 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1158.97 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1158.97 v -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1158.97 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1158.97 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1158.97 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1158.97 v -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1158.97 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1158.97 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1158.97 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1158.97 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1158.97 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1158.97 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1158.97 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1158.97 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1158.97 v -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1158.97 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1158.97 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1158.97 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1158.97 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 1158.97 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1158.97 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1158.97 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1158.97 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1158.97 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1158.97 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1158.97 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1158.97 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1158.97 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1158.97 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1158.97 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1158.97 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1158.97 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1158.97 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1158.97 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 1158.97 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1158.97 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1158.97 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1158.97 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1158.97 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1158.97 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1158.97 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1158.97 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1158.97 v -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1158.97 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1158.97 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 1158.97 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1158.97 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1158.97 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1158.97 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1158.97 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1158.97 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1158.97 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1158.97 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1158.97 v -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1158.97 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 1158.97 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1158.97 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1158.97 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1158.97 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1158.97 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1158.97 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1158.97 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 1158.97 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1158.97 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1158.97 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1158.97 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1158.97 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1158.97 v -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1158.97 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1158.97 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1158.97 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1158.97 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1158.97 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1158.97 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1158.97 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1158.97 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1158.97 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 1158.97 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1158.97 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1158.97 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1158.97 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 1158.97 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1158.97 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1158.97 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1158.97 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1158.97 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1158.97 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 1158.97 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1158.97 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1158.97 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1158.97 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1158.97 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1158.97 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 -x4150 1158.97 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1158.97 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1158.97 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 1158.97 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1158.97 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1158.97 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1158.97 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1158.97 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1158.97 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1158.97 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1158.97 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1158.97 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1158.97 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1158.97 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1158.97 v -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1158.97 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1158.97 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1158.97 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1158.97 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1158.97 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1158.97 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1158.97 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 1158.97 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1158.97 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1158.97 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1158.97 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 1158.97 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1158.97 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1158.97 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1158.97 v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1158.97 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1158.97 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1158.97 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1158.97 v -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1158.97 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1158.97 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1158.97 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1158.97 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1158.97 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 -x4811 -x4812 -x4813 1158.97 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1158.97 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1158.97 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1158.97 v x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1158.97 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1158.97 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1158.97 v -x4916 -x4917 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1158.97 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1158.97 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1158.97 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1158.97 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1158.97 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1158.97 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1158.97 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1158.97 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1158.97 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1158.97 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1158.97 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1158.97 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1158.97 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1158.97 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1158.97 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1158.97 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1158.97 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1158.97 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1158.97 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1158.97 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 x5269 -x5270 -x5271 -x5272 1158.97 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1158.97 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1158.97 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 1158.97 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1158.97 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1158.97 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1158.97 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 1158.97 v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1158.97 v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1158.97 v -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 1158.97 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1158.97 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1158.97 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1158.97 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1158.97 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1158.97 v x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1158.97 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 1158.97 v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1158.97 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 1158.97 v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 1158.97 v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 1158.97 v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 1158.97 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 1158.97 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1158.97 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1158.97 v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1158.97 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 1158.97 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 1158.97 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1158.97 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1158.97 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1158.97 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1158.97 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1158.97 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1158.97 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1158.97 v -x5868 -x5869 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1158.97 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1158.97 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 1158.97 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1158.97 v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 1158.97 v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1158.97 v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 1158.97 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 1158.97 v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1158.97 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1158.97 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 x6050 -x6051 -x6052 -x6053 -x6054 1158.97 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 1158.97 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 1158.97 v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 1158.97 v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 1158.97 v -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1158.97 v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 1158.97 v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 1158.97 v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 1158.97 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 1158.97 v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 1158.97 v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 1158.97 v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 1158.97 v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 1158.97 v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 1158.97 v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 1158.97 v -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 1158.97 v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 1158.97 v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 1158.97 v -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 1158.97 v -x6378 -x6379 -x6380 -x6381 x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 1158.97 v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 1158.97 v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 1158.97 v -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 1158.97 v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 1158.97 v -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 1158.97 v -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 1158.97 v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 1158.97 v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 1158.97 v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 1158.97 v -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 1158.97 v -x6565 -x6566 -x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 1158.97 v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 1158.97 v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 1158.97 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 1158.97 v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1158.97 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 1158.97 v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 1158.97 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 1158.97 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 1158.97 v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 1158.97 v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 1158.97 v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 1158.97 v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 1158.97 v -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1158.97 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 1158.97 v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 1158.97 v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 1158.97 v -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 -x6867 -x6868 -x6869 -x6870 1158.97 v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 1158.97 v -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 1158.97 v -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 1158.97 v -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 1158.97 v -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 1158.97 v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 1158.97 v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 1158.97 v -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 1158.97 v -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 1158.97 v -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 1158.97 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 1158.97 v -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 1158.97 v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 1158.97 v -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 1158.97 v -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 1158.97 v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 1158.97 v -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 1158.97 v -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 1158.97 v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 1158.97 v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 1158.97 v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 1158.97 v x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 1158.97 v -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 1158.97 v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 1158.97 v -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 1158.97 v -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 -x7309 -x7310 -x7311 -x7312 1158.97 v -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 1158.97 v -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 1158.97 v -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 1158.97 v -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 1158.97 v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 1158.97 v -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 1158.97 v -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 1158.97 v -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 1158.97 v -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 x7462 -x7463 -x7464 -x7465 1158.97 v -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 1158.97 v -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 1158.97 v -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 1158.97 v -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 1158.97 v -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 x7548 -x7549 -x7550 1158.97 v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 1158.97 v -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 1158.97 v -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 1158.97 v -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 1158.97 v -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 1158.97 v -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 1158.97 v -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 1158.97 v -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 1158.97 v -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 1158.97 v -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 1158.97 v -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 1158.97 v -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 1158.97 v -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 1158.97 v -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 1158.97 v -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 1158.97 v -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 1158.97 v -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 1158.97 v -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 1158.97 v -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 1158.97 v -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 1158.97 v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 1158.97 v -x7908 x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 -x7925 1158.97 v -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 1158.97 v -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 1158.97 v -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 1158.97 v -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 1158.97 v -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 1158.97 v -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 1158.97 v -x8028 -x8029 -x8030 -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 1158.97 v -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 1158.97 v -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 1158.97 v -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 1158.97 v -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 1158.97 v -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 1158.97 v -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 1158.97 v -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 1158.97 v -x8164 -x8165 x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 1158.97 v -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 1158.97 v -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 1158.97 v -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 1158.97 v -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 1158.97 v -x8249 -x8250 -x8251 -x8252 x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 1158.97 v -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 1158.98 c _______________________________________________________________________________ 1158.98 c 1158.98 c restarts : 17 1158.98 c conflicts : 183504 (159 /sec) 1158.98 c decisions : 796870 (689 /sec) 1158.98 c propagations : 0 (0 /sec) 1158.98 c inspects : 0 (0 /sec) 1158.98 c CPU time : 1157.39 s 1158.98 c _______________________________________________________________________________
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-34524-1149204819 -o ROOT/results/node23/solver-34524-1149204819 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/34524-1149204819/instance-34524-1149204819.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.01 0.17 2/64 5301 /proc/meminfo: memFree=1395616/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=1048 CPUtime=0 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 186145665 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 262 96 74 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 0.15 0.04 0.18 2/64 5301 /proc/meminfo: memFree=1363304/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=35352 CPUtime=9.98 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 8584 0 0 0 993 5 0 0 25 0 1 0 186145665 36200448 8196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 8838 8196 106 215 0 8620 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 35352 [startup+20.0087 s] /proc/loadavg: 0.28 0.07 0.19 2/64 5301 /proc/meminfo: memFree=1355816/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=42940 CPUtime=19.99 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 10493 0 0 0 1992 7 0 0 25 0 1 0 186145665 43970560 10105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 10735 10105 106 215 0 10517 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 42940 [startup+30.0158 s] /proc/loadavg: 0.39 0.10 0.20 2/64 5301 /proc/meminfo: memFree=1348200/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=50524 CPUtime=29.99 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 12386 0 0 0 2991 8 0 0 25 0 1 0 186145665 51736576 11998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 12631 11998 106 215 0 12413 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 50524 [startup+40.0219 s] /proc/loadavg: 0.49 0.13 0.20 2/64 5301 /proc/meminfo: memFree=1339496/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=59172 CPUtime=39.99 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 14564 0 0 0 3989 10 0 0 25 0 1 0 186145665 60592128 14176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135139026 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 14829 14180 107 215 0 14611 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 59172 [startup+50.0281 s] /proc/loadavg: 0.56 0.16 0.21 2/64 5301 /proc/meminfo: memFree=1330920/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=67788 CPUtime=50 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 16690 0 0 0 4989 11 0 0 25 0 1 0 186145665 69414912 16302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 16947 16302 106 215 0 16729 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 67788 [startup+60.0342 s] /proc/loadavg: 0.63 0.19 0.22 2/64 5301 /proc/meminfo: memFree=1322536/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=76132 CPUtime=60 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 18787 0 0 0 5987 13 0 0 25 0 1 0 186145665 77959168 18399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 19033 18399 106 215 0 18815 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 76132 [startup+70.0413 s] /proc/loadavg: 0.69 0.21 0.23 2/64 5301 /proc/meminfo: memFree=1314728/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=83900 CPUtime=70.01 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 20739 0 0 0 6987 14 0 0 25 0 1 0 186145665 85913600 20351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 20975 20351 106 215 0 20757 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 83900 [startup+80.0475 s] /proc/loadavg: 0.73 0.24 0.23 2/64 5301 /proc/meminfo: memFree=1306664/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=91864 CPUtime=80.02 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 22736 0 0 0 7986 16 0 0 25 0 1 0 186145665 94068736 22348 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 22966 22348 106 215 0 22748 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 91864 [startup+90.0536 s] /proc/loadavg: 0.77 0.26 0.24 2/64 5302 /proc/meminfo: memFree=1298472/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=100108 CPUtime=90.01 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 24790 0 0 0 8985 16 0 0 25 0 1 0 186145665 102510592 24402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 25027 24402 106 215 0 24809 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 100108 [startup+100.06 s] /proc/loadavg: 0.81 0.29 0.25 2/64 5303 /proc/meminfo: memFree=1289704/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=108792 CPUtime=100.02 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 26969 0 0 0 9984 18 0 0 25 0 1 0 186145665 111403008 26581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 27198 26581 106 215 0 26980 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 108792 [startup+110.067 s] /proc/loadavg: 0.84 0.31 0.26 2/64 5303 /proc/meminfo: memFree=1282728/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=115864 CPUtime=110.02 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 28703 0 0 0 10983 19 0 0 25 0 1 0 186145665 118644736 28315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 28966 28315 106 215 0 28748 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 115864 [startup+120.074 s] /proc/loadavg: 0.86 0.33 0.27 2/64 5303 /proc/meminfo: memFree=1274472/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=124004 CPUtime=120.02 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 30766 0 0 0 11982 20 0 0 25 0 1 0 186145665 126980096 30378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 31001 30378 106 215 0 30783 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 124004 [startup+130.079 s] /proc/loadavg: 0.88 0.35 0.27 2/64 5303 /proc/meminfo: memFree=1268008/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=130532 CPUtime=130.03 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 32380 0 0 0 12981 22 0 0 25 0 1 0 186145665 133664768 31992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 32633 31992 106 215 0 32415 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 130532 [startup+140.085 s] /proc/loadavg: 0.90 0.37 0.28 2/64 5303 /proc/meminfo: memFree=1260968/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=137508 CPUtime=140.04 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 34139 0 0 0 13980 24 0 0 25 0 1 0 186145665 140808192 33751 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 34377 33751 106 215 0 34159 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 137508 [startup+150.091 s] /proc/loadavg: 0.92 0.39 0.29 2/64 5303 /proc/meminfo: memFree=1254952/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=143556 CPUtime=150.04 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 35636 0 0 0 14979 25 0 0 25 0 1 0 186145665 147001344 35248 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576145 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 35889 35248 106 215 0 35671 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 143556 [startup+160.098 s] /proc/loadavg: 0.93 0.41 0.29 2/64 5303 /proc/meminfo: memFree=1249128/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=149356 CPUtime=160.04 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 37089 0 0 0 15978 26 0 0 25 0 1 0 186145665 152940544 36701 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 37339 36701 106 215 0 37121 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 149356 [startup+170.104 s] /proc/loadavg: 0.94 0.43 0.30 2/64 5303 /proc/meminfo: memFree=1242152/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=156400 CPUtime=170.05 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 38828 0 0 0 16977 28 0 0 25 0 1 0 186145665 160153600 38440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573834 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 39100 38440 106 215 0 38882 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 156400 [startup+180.11 s] /proc/loadavg: 0.95 0.45 0.31 2/64 5303 /proc/meminfo: memFree=1234984/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=163452 CPUtime=180.05 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 40607 0 0 0 17976 29 0 0 25 0 1 0 186145665 167374848 40219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 40863 40219 106 215 0 40645 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 163452 [startup+190.116 s] /proc/loadavg: 0.95 0.47 0.31 2/64 5303 /proc/meminfo: memFree=1227496/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=170988 CPUtime=190.05 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 42494 0 0 0 18976 29 0 0 25 0 1 0 186145665 175091712 42106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 42747 42106 106 215 0 42529 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 170988 [startup+200.122 s] /proc/loadavg: 0.96 0.49 0.32 2/64 5303 /proc/meminfo: memFree=1220136/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=178328 CPUtime=200.05 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 44319 0 0 0 19975 30 0 0 25 0 1 0 186145665 182607872 43931 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 44582 43931 106 215 0 44364 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 178328 [startup+210.128 s] /proc/loadavg: 0.97 0.50 0.33 2/64 5303 /proc/meminfo: memFree=1212840/2055920 swapFree=4180892/4192956 ################ # More data... # ################ /proc/5301/statm: 175539 174848 106 215 0 175321 0 Current children cumulated CPU time (s) 940.31 Current children cumulated vsize (Kb) 702156 [startup+950.578 s] /proc/loadavg: 0.99 0.94 0.67 2/64 5303 /proc/meminfo: memFree=689000/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=708436 CPUtime=950.31 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 176814 0 0 0 94921 110 0 0 25 0 1 0 186145665 725438464 176426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 177109 176426 106 215 0 176891 0 Current children cumulated CPU time (s) 950.31 Current children cumulated vsize (Kb) 708436 [startup+960.584 s] /proc/loadavg: 0.99 0.95 0.67 2/64 5303 /proc/meminfo: memFree=682728/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=714704 CPUtime=960.31 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 178376 0 0 0 95921 110 0 0 25 0 1 0 186145665 731856896 177988 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 178676 177988 106 215 0 178458 0 Current children cumulated CPU time (s) 960.31 Current children cumulated vsize (Kb) 714704 [startup+970.59 s] /proc/loadavg: 0.99 0.95 0.68 2/64 5303 /proc/meminfo: memFree=676776/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=720600 CPUtime=970.31 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 179853 0 0 0 96920 111 0 0 25 0 1 0 186145665 737894400 179465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 180150 179465 106 215 0 179932 0 Current children cumulated CPU time (s) 970.31 Current children cumulated vsize (Kb) 720600 [startup+980.596 s] /proc/loadavg: 0.99 0.95 0.68 2/64 5303 /proc/meminfo: memFree=671144/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=726148 CPUtime=980.32 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 181268 0 0 0 97920 112 0 0 25 0 1 0 186145665 743575552 180880 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574091 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 181537 180880 106 215 0 181319 0 Current children cumulated CPU time (s) 980.32 Current children cumulated vsize (Kb) 726148 [startup+990.602 s] /proc/loadavg: 0.99 0.95 0.68 2/64 5303 /proc/meminfo: memFree=665448/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=731884 CPUtime=990.33 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 182682 0 0 0 98920 113 0 0 25 0 1 0 186145665 749449216 182294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 182971 182294 106 215 0 182753 0 Current children cumulated CPU time (s) 990.33 Current children cumulated vsize (Kb) 731884 [startup+1000.61 s] /proc/loadavg: 0.99 0.95 0.69 2/64 5303 /proc/meminfo: memFree=659048/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=738260 CPUtime=1000.33 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 184270 0 0 0 99920 113 0 0 25 0 1 0 186145665 755978240 183882 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574457 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 184565 183882 106 215 0 184347 0 Current children cumulated CPU time (s) 1000.33 Current children cumulated vsize (Kb) 738260 [startup+1010.61 s] /proc/loadavg: 0.99 0.95 0.69 2/64 5303 /proc/meminfo: memFree=653160/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=744132 CPUtime=1010.33 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 185748 0 0 0 100919 114 0 0 25 0 1 0 186145665 761991168 185360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 186033 185360 106 215 0 185815 0 Current children cumulated CPU time (s) 1010.33 Current children cumulated vsize (Kb) 744132 [startup+1020.62 s] /proc/loadavg: 0.99 0.95 0.69 2/64 5303 /proc/meminfo: memFree=646952/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=750192 CPUtime=1020.34 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 187287 0 0 0 101919 115 0 0 25 0 1 0 186145665 768196608 186899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 187548 186899 106 215 0 187330 0 Current children cumulated CPU time (s) 1020.34 Current children cumulated vsize (Kb) 750192 [startup+1030.63 s] /proc/loadavg: 0.99 0.95 0.69 2/64 5303 /proc/meminfo: memFree=640744/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=756468 CPUtime=1030.34 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 188831 0 0 0 102918 116 0 0 25 0 1 0 186145665 774623232 188443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 189117 188443 106 215 0 188899 0 Current children cumulated CPU time (s) 1030.34 Current children cumulated vsize (Kb) 756468 [startup+1040.63 s] /proc/loadavg: 0.99 0.95 0.70 2/64 5303 /proc/meminfo: memFree=634728/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=762488 CPUtime=1040.34 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 190332 0 0 0 103917 117 0 0 25 0 1 0 186145665 780787712 189944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 190622 189944 106 215 0 190404 0 Current children cumulated CPU time (s) 1040.34 Current children cumulated vsize (Kb) 762488 [startup+1050.64 s] /proc/loadavg: 0.99 0.95 0.70 2/64 5303 /proc/meminfo: memFree=628712/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=768500 CPUtime=1050.35 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 191859 0 0 0 104917 118 0 0 25 0 1 0 186145665 786944000 191471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 192125 191471 106 215 0 191907 0 Current children cumulated CPU time (s) 1050.35 Current children cumulated vsize (Kb) 768500 [startup+1060.65 s] /proc/loadavg: 0.99 0.95 0.70 2/64 5303 /proc/meminfo: memFree=622440/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=774668 CPUtime=1060.35 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 193409 0 0 0 105916 119 0 0 25 0 1 0 186145665 793260032 193021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 193667 193021 106 215 0 193449 0 Current children cumulated CPU time (s) 1060.35 Current children cumulated vsize (Kb) 774668 [startup+1070.65 s] /proc/loadavg: 0.99 0.96 0.71 2/64 5303 /proc/meminfo: memFree=616488/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=780648 CPUtime=1070.35 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 194897 0 0 0 106915 120 0 0 25 0 1 0 186145665 799383552 194509 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 195162 194509 106 215 0 194944 0 Current children cumulated CPU time (s) 1070.35 Current children cumulated vsize (Kb) 780648 [startup+1080.66 s] /proc/loadavg: 0.99 0.96 0.71 2/64 5303 /proc/meminfo: memFree=610216/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=786864 CPUtime=1080.36 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 196460 0 0 0 107915 121 0 0 25 0 1 0 186145665 805748736 196072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 196716 196072 106 215 0 196498 0 Current children cumulated CPU time (s) 1080.36 Current children cumulated vsize (Kb) 786864 [startup+1090.66 s] /proc/loadavg: 0.99 0.96 0.71 2/64 5303 /proc/meminfo: memFree=604200/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=792992 CPUtime=1090.36 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 197968 0 0 0 108915 121 0 0 25 0 1 0 186145665 812023808 197580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574494 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 198248 197580 106 215 0 198030 0 Current children cumulated CPU time (s) 1090.36 Current children cumulated vsize (Kb) 792992 [startup+1100.67 s] /proc/loadavg: 0.99 0.96 0.71 2/64 5303 /proc/meminfo: memFree=598376/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=798752 CPUtime=1100.36 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 199413 0 0 0 109914 122 0 0 25 0 1 0 186145665 817922048 199025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 199688 199025 106 215 0 199470 0 Current children cumulated CPU time (s) 1100.36 Current children cumulated vsize (Kb) 798752 [startup+1110.68 s] /proc/loadavg: 0.99 0.96 0.72 2/64 5303 /proc/meminfo: memFree=592232/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=804848 CPUtime=1110.37 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 200944 0 0 0 110914 123 0 0 25 0 1 0 186145665 824164352 200556 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574132 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 201212 200556 106 215 0 200994 0 Current children cumulated CPU time (s) 1110.37 Current children cumulated vsize (Kb) 804848 [startup+1120.68 s] /proc/loadavg: 0.99 0.96 0.72 2/64 5303 /proc/meminfo: memFree=586152/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=810864 CPUtime=1120.37 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 202462 0 0 0 111913 124 0 0 25 0 1 0 186145665 830324736 202074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 202716 202074 106 215 0 202498 0 Current children cumulated CPU time (s) 1120.37 Current children cumulated vsize (Kb) 810864 [startup+1130.69 s] /proc/loadavg: 0.99 0.96 0.72 2/64 5303 /proc/meminfo: memFree=580072/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=817004 CPUtime=1130.38 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 203973 0 0 0 112913 125 0 0 25 0 1 0 186145665 836612096 203585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 204251 203585 106 215 0 204033 0 Current children cumulated CPU time (s) 1130.38 Current children cumulated vsize (Kb) 817004 [startup+1140.69 s] /proc/loadavg: 0.99 0.96 0.73 2/64 5303 /proc/meminfo: memFree=574184/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=822936 CPUtime=1140.38 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 205460 0 0 0 113912 126 0 0 25 0 1 0 186145665 842686464 205072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574540 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 205734 205072 106 215 0 205516 0 Current children cumulated CPU time (s) 1140.38 Current children cumulated vsize (Kb) 822936 [startup+1150.7 s] /proc/loadavg: 0.99 0.96 0.73 2/64 5303 /proc/meminfo: memFree=568168/2055920 swapFree=4180892/4192956 [pid=5301] ppid=5299 vsize=828888 CPUtime=1150.38 /proc/5301/stat : 5301 (minisat+) R 5299 5301 5256 0 -1 4194304 206953 0 0 0 114911 127 0 0 25 0 1 0 186145665 848781312 206565 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5301/statm: 207222 206565 106 215 0 207004 0 Current children cumulated CPU time (s) 1150.38 Current children cumulated vsize (Kb) 828888 Child status: 10 Real time (s): 1159.13 CPU time (s): 1158.81 CPU user time (s): 1157.4 CPU system time (s): 1.41179 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (Kb): 828888
Begin job on node23 on Thu Jun 1 23:33:40 UTC 2006 FILE ID= 34524-1149204819 PBS_JOBID= 293004 BENCH NAME= ROOT/tmp/node23/34524-1149204819/instance-34524-1149204819.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/34524-1149204819/instance-34524-1149204819.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-34524-1149204819 -o ROOT/results/node23/solver-34524-1149204819 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/34524-1149204819/instance-34524-1149204819.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED= 388191641 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1396016 kB Buffers: 37944 kB Cached: 545976 kB SwapCached: 3872 kB Active: 164592 kB Inactive: 428192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1396016 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 260 kB Writeback: 0 kB Mapped: 14696 kB Slab: 53184 kB Committed_AS: 187340 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Thu Jun 1 23:52:59 UTC 2006