Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 41670 | 1800.83 | 1801.29 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37422 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31955 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 2679 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3908448 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2679 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3908448 |
Number of bits of the biggest sum of numbers | 22 |
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... 1.03 c Converting 852 PB-constraints to clauses... 1.03 c -- Unit propagations: (none) 1.04 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################### 1.06 c -- Clauses(.)/Splits(s): (none) 1.06 c ---[ 850]---> BDD-cost: 233 1.07 c ---[ 848]---> BDD-cost: 459 1.09 c ---[ 846]---> BDD-cost: 253 1.10 c ---[ 844]---> BDD-cost: 191 1.10 c ---[ 842]---> BDD-cost: 109 1.10 c ---[ 840]---> BDD-cost: 277 1.11 c ---[ 838]---> BDD-cost: 147 1.12 c ---[ 836]---> BDD-cost: 87 1.12 c ---[ 834]---> BDD-cost: 85 1.13 c ---[ 832]---> BDD-cost: 127 1.13 c ---[ 830]---> BDD-cost: 167 1.13 c ---[ 828]---> BDD-cost: 191 1.14 c ---[ 826]---> BDD-cost: 663 1.18 c ---[ 822]---> BDD-cost: 123 1.19 c ---[ 820]---> BDD-cost: 405 1.20 c ---[ 818]---> BDD-cost: 443 1.23 c ---[ 816]---> BDD-cost: 465 1.25 c ---[ 814]---> BDD-cost: 425 1.27 c ---[ 812]---> BDD-cost: 253 1.28 c ---[ 810]---> BDD-cost: 177 1.28 c ---[ 808]---> BDD-cost: 415 1.30 c ---[ 806]---> BDD-cost: 413 1.32 c ---[ 804]---> BDD-cost: 693 1.37 c ---[ 802]---> BDD-cost: 103 1.37 c ---[ 800]---> BDD-cost: 119 1.37 c ---[ 798]---> BDD-cost: 309 1.38 c ---[ 796]---> BDD-cost: 289 1.39 c ---[ 794]---> BDD-cost: 155 1.40 c ---[ 786]---> BDD-cost: 39 1.40 c ---[ 784]---> BDD-cost: 67 1.40 c ---[ 782]---> BDD-cost: 157 1.40 c ---[ 780]---> BDD-cost: 253 1.41 c ---[ 778]---> BDD-cost: 199 1.42 c ---[ 776]---> BDD-cost: 445 1.44 c ---[ 774]---> BDD-cost: 315 1.46 c ---[ 772]---> BDD-cost: 89 1.46 c ---[ 770]---> BDD-cost: 107 1.46 c ---[ 768]---> BDD-cost: 67 1.46 c ---[ 766]---> BDD-cost: 93 1.46 c ---[ 764]---> BDD-cost: 135 1.46 c ---[ 762]---> BDD-cost: 163 1.47 c ---[ 760]---> BDD-cost: 173 1.47 c ---[ 758]---> BDD-cost: 33 1.47 c ---[ 756]---> BDD-cost: 13 1.47 c ---[ 754]---> BDD-cost: 7 1.47 c ---[ 752]---> BDD-cost: 23 1.47 c ---[ 750]---> BDD-cost: 37 1.47 c ---[ 748]---> BDD-cost: 43 1.47 c ---[ 746]---> BDD-cost: 39 1.47 c ---[ 744]---> BDD-cost: 95 1.48 c ---[ 742]---> BDD-cost: 101 1.48 c ---[ 740]---> BDD-cost: 525 1.51 c ---[ 738]---> BDD-cost: 121 1.51 c ---[ 736]---> BDD-cost: 483 1.54 c ---[ 732]---> BDD-cost: 9 1.54 c ---[ 730]---> BDD-cost: 193 1.54 c ---[ 728]---> BDD-cost: 181 1.55 c ---[ 726]---> BDD-cost: 93 1.55 c ---[ 724]---> BDD-cost: 325 1.56 c ---[ 722]---> BDD-cost: 479 1.58 c ---[ 720]---> BDD-cost: 273 1.59 c ---[ 718]---> BDD-cost: 269 1.60 c ---[ 716]---> BDD-cost: 93 1.60 c ---[ 714]---> BDD-cost: 341 1.62 c ---[ 712]---> BDD-cost: 299 1.63 c ---[ 710]---> BDD-cost: 183 1.63 c ---[ 708]---> BDD-cost: 315 1.64 c ---[ 706]---> BDD-cost: 289 1.65 c ---[ 704]---> BDD-cost: 383 1.67 c ---[ 702]---> BDD-cost: 231 1.68 c ---[ 700]---> BDD-cost: 205 1.69 c ---[ 698]---> BDD-cost: 133 1.69 c ---[ 696]---> BDD-cost: 257 1.70 c ---[ 694]---> BDD-cost: 331 1.71 c ---[ 692]---> BDD-cost: 179 1.72 c ---[ 690]---> BDD-cost: 159 1.72 c ---[ 688]---> BDD-cost: 185 1.73 c ---[ 686]---> BDD-cost: 95 1.73 c ---[ 684]---> BDD-cost: 63 1.73 c ---[ 682]---> BDD-cost: 547 1.76 c ---[ 680]---> BDD-cost: 569 1.79 c ---[ 678]---> BDD-cost: 169 1.80 c ---[ 676]---> BDD-cost: 115 1.80 c ---[ 674]---> BDD-cost: 125 1.81 c ---[ 672]---> BDD-cost: 163 1.81 c ---[ 670]---> BDD-cost: 119 1.81 c ---[ 668]---> BDD-cost: 565 1.84 c ---[ 666]---> BDD-cost: 331 1.88 c ---[ 664]---> BDD-cost: 255 1.89 c ---[ 662]---> BDD-cost: 217 1.89 c ---[ 660]---> BDD-cost: 189 1.90 c ---[ 658]---> BDD-cost: 237 1.90 c ---[ 656]---> BDD-cost: 113 1.90 c ---[ 654]---> BDD-cost: 67 1.91 c ---[ 652]---> BDD-cost: 71 1.91 c ---[ 650]---> BDD-cost: 351 1.92 c ---[ 648]---> BDD-cost: 521 1.95 c ---[ 646]---> BDD-cost: 535 1.98 c ---[ 644]---> BDD-cost: 341 2.00 c ---[ 642]---> BDD-cost: 251 2.00 c ---[ 640]---> BDD-cost: 293 2.01 c ---[ 638]---> BDD-cost: 313 2.02 c ---[ 636]---> BDD-cost: 431 2.04 c ---[ 634]---> BDD-cost: 395 2.06 c ---[ 632]---> BDD-cost: 419 2.08 c ---[ 630]---> BDD-cost: 389 2.10 c ---[ 628]---> BDD-cost: 169 2.10 c ---[ 626]---> BDD-cost: 357 2.12 c ---[ 624]---> BDD-cost: 493 2.14 c ---[ 622]---> BDD-cost: 285 2.16 c ---[ 620]---> BDD-cost: 229 2.16 c ---[ 618]---> BDD-cost: 89 2.16 c ---[ 616]---> BDD-cost: 79 2.16 c ---[ 614]---> BDD-cost: 745 2.22 c ---[ 612]---> BDD-cost: 565 2.26 c ---[ 610]---> BDD-cost: 799 2.33 c ---[ 608]---> BDD-cost: 673 2.37 c ---[ 606]---> BDD-cost: 577 2.41 c ---[ 604]---> BDD-cost: 179 2.41 c ---[ 602]---> BDD-cost: 523 2.44 c ---[ 598]---> BDD-cost: 319 2.45 c ---[ 596]---> BDD-cost: 377 2.47 c ---[ 594]---> BDD-cost: 395 2.49 c ---[ 592]---> BDD-cost: 105 2.49 c ---[ 590]---> BDD-cost: 71 2.49 c ---[ 586]---> BDD-cost: 643 2.53 c ---[ 584]---> BDD-cost: 177 2.53 c ---[ 582]---> BDD-cost: 83 2.54 c ---[ 580]---> BDD-cost: 157 2.54 c ---[ 578]---> BDD-cost: 101 2.54 c ---[ 574]---> BDD-cost: 269 2.55 c ---[ 572]---> BDD-cost: 227 2.56 c ---[ 570]---> BDD-cost: 181 2.56 c ---[ 568]---> BDD-cost: 119 2.57 c ---[ 566]---> BDD-cost: 83 2.57 c ---[ 564]---> BDD-cost: 123 2.57 c ---[ 562]---> BDD-cost: 101 2.57 c ---[ 560]---> BDD-cost: 0 2.57 c ---[ 558]---> BDD-cost: 81 2.57 c ---[ 556]---> BDD-cost: 75 2.58 c ---[ 554]---> BDD-cost: 119 2.58 c ---[ 552]---> BDD-cost: 399 2.59 c ---[ 550]---> BDD-cost: 139 2.60 c ---[ 548]---> BDD-cost: 81 2.60 c ---[ 546]---> BDD-cost: 151 2.61 c ---[ 544]---> BDD-cost: 533 2.64 c ---[ 542]---> BDD-cost: 495 2.67 c ---[ 540]---> BDD-cost: 323 2.68 c ---[ 538]---> BDD-cost: 45 2.68 c ---[ 536]---> BDD-cost: 223 2.69 c ---[ 534]---> BDD-cost: 37 2.69 c ---[ 532]---> BDD-cost: 27 2.69 c ---[ 530]---> BDD-cost: 21 2.69 c ---[ 528]---> BDD-cost: 23 2.69 c ---[ 526]---> BDD-cost: 225 2.70 c ---[ 524]---> BDD-cost: 37 2.70 c ---[ 522]---> BDD-cost: 155 2.71 c ---[ 520]---> BDD-cost: 27 2.71 c ---[ 518]---> BDD-cost: 97 2.71 c ---[ 516]---> BDD-cost: 47 2.71 c ---[ 514]---> BDD-cost: 169 2.72 c ---[ 512]---> BDD-cost: 155 2.72 c ---[ 510]---> BDD-cost: 129 2.72 c ---[ 508]---> BDD-cost: 363 2.74 c ---[ 506]---> BDD-cost: 241 2.75 c ---[ 504]---> BDD-cost: 245 2.76 c ---[ 502]---> BDD-cost: 193 2.76 c ---[ 496]---> BDD-cost: 149 2.76 c ---[ 494]---> BDD-cost: 63 2.77 c ---[ 492]---> BDD-cost: 125 2.77 c ---[ 490]---> BDD-cost: 69 2.77 c ---[ 488]---> BDD-cost: 17 2.77 c ---[ 486]---> BDD-cost: 25 2.77 c ---[ 484]---> BDD-cost: 13 2.77 c ---[ 482]---> BDD-cost: 67 2.77 c ---[ 480]---> BDD-cost: 33 2.77 c ---[ 478]---> BDD-cost: 49 2.77 c ---[ 476]---> BDD-cost: 45 2.77 c ---[ 474]---> BDD-cost: 67 2.77 c ---[ 472]---> BDD-cost: 213 2.78 c ---[ 470]---> BDD-cost: 47 2.78 c ---[ 468]---> BDD-cost: 67 2.78 c ---[ 466]---> BDD-cost: 55 2.78 c ---[ 464]---> BDD-cost: 49 2.78 c ---[ 462]---> BDD-cost: 17 2.78 c ---[ 460]---> BDD-cost: 23 2.78 c ---[ 458]---> BDD-cost: 129 2.78 c ---[ 456]---> BDD-cost: 43 2.78 c ---[ 454]---> BDD-cost: 81 2.79 c ---[ 452]---> BDD-cost: 57 2.79 c ---[ 450]---> BDD-cost: 115 2.79 c ---[ 448]---> BDD-cost: 137 2.79 c ---[ 446]---> BDD-cost: 87 2.79 c ---[ 444]---> BDD-cost: 59 2.80 c ---[ 442]---> BDD-cost: 45 2.80 c ---[ 440]---> BDD-cost: 113 2.80 c ---[ 438]---> BDD-cost: 47 2.80 c ---[ 436]---> BDD-cost: 135 2.80 c ---[ 434]---> BDD-cost: 341 2.81 c ---[ 432]---> BDD-cost: 213 2.83 c ---[ 430]---> BDD-cost: 165 2.83 c ---[ 428]---> BDD-cost: 223 2.84 c ---[ 426]---> BDD-cost: 107 2.84 c ---[ 424]---> BDD-cost: 363 2.85 c ---[ 420]---> BDD-cost: 45 2.86 c ---[ 418]---> BDD-cost: 25 2.86 c ---[ 416]---> BDD-cost: 29 2.86 c ---[ 414]---> BDD-cost: 51 2.86 c ---[ 412]---> BDD-cost: 53 2.86 c ---[ 410]---> BDD-cost: 49 2.86 c ---[ 408]---> BDD-cost: 189 2.86 c ---[ 406]---> BDD-cost: 177 2.87 c ---[ 404]---> BDD-cost: 147 2.87 c ---[ 402]---> BDD-cost: 133 2.87 c ---[ 400]---> BDD-cost: 69 2.87 c ---[ 398]---> BDD-cost: 53 2.87 c ---[ 396]---> BDD-cost: 341 2.89 c ---[ 394]---> BDD-cost: 193 2.89 c ---[ 392]---> BDD-cost: 187 2.90 c ---[ 390]---> BDD-cost: 541 2.93 c ---[ 388]---> BDD-cost: 543 2.96 c ---[ 386]---> BDD-cost: 435 2.98 c ---[ 384]---> BDD-cost: 341 2.99 c ---[ 382]---> BDD-cost: 85 2.99 c ---[ 380]---> BDD-cost: 243 3.00 c ---[ 378]---> BDD-cost: 91 3.00 c ---[ 376]---> BDD-cost: 137 3.01 c ---[ 374]---> BDD-cost: 273 3.01 c ---[ 372]---> BDD-cost: 173 3.02 c ---[ 370]---> BDD-cost: 125 3.02 c ---[ 368]---> BDD-cost: 143 3.02 c ---[ 366]---> BDD-cost: 87 3.03 c ---[ 364]---> BDD-cost: 167 3.03 c ---[ 362]---> BDD-cost: 117 3.03 c ---[ 360]---> BDD-cost: 0 3.03 c ---[ 358]---> BDD-cost: 119 3.04 c ---[ 356]---> BDD-cost: 89 3.04 c ---[ 354]---> BDD-cost: 149 3.04 c ---[ 352]---> BDD-cost: 11 3.05 c ---[ 350]---> BDD-cost: 151 3.05 c ---[ 348]---> BDD-cost: 93 3.05 c ---[ 346]---> BDD-cost: 213 3.06 c ---[ 344]---> BDD-cost: 215 3.06 c ---[ 342]---> BDD-cost: 455 3.09 c ---[ 340]---> BDD-cost: 465 3.11 c ---[ 338]---> BDD-cost: 73 3.11 c ---[ 336]---> BDD-cost: 207 3.12 c ---[ 334]---> BDD-cost: 223 3.12 c ---[ 332]---> BDD-cost: 83 3.13 c ---[ 330]---> BDD-cost: 153 3.13 c ---[ 328]---> BDD-cost: 313 3.14 c ---[ 326]---> BDD-cost: 199 3.15 c ---[ 324]---> BDD-cost: 121 3.15 c ---[ 322]---> BDD-cost: 351 3.17 c ---[ 320]---> BDD-cost: 307 3.18 c ---[ 318]---> BDD-cost: 71 3.18 c ---[ 316]---> BDD-cost: 57 3.18 c ---[ 314]---> BDD-cost: 111 3.19 c ---[ 312]---> BDD-cost: 657 3.23 c ---[ 310]---> BDD-cost: 621 3.27 c ---[ 308]---> BDD-cost: 169 3.28 c ---[ 306]---> BDD-cost: 191 3.28 c ---[ 304]---> BDD-cost: 343 3.29 c ---[ 302]---> BDD-cost: 521 3.32 c ---[ 300]---> BDD-cost: 3 3.32 c ---[ 298]---> BDD-cost: 17 3.32 c ---[ 296]---> BDD-cost: 93 3.32 c ---[ 294]---> BDD-cost: 49 3.32 c ---[ 292]---> BDD-cost: 25 3.33 c ---[ 290]---> BDD-cost: 207 3.33 c ---[ 286]---> BDD-cost: 283 3.34 c ---[ 284]---> BDD-cost: 503 3.37 c ---[ 282]---> BDD-cost: 329 3.38 c ---[ 280]---> BDD-cost: 251 3.39 c ---[ 278]---> BDD-cost: 247 3.40 c ---[ 276]---> BDD-cost: 307 3.41 c ---[ 274]---> BDD-cost: 369 3.42 c ---[ 272]---> BDD-cost: 0 3.42 c ---[ 270]---> BDD-cost: 591 3.46 c ---[ 268]---> BDD-cost: 279 3.47 c ---[ 266]---> BDD-cost: 217 3.48 c ---[ 264]---> BDD-cost: 201 3.48 c ---[ 262]---> BDD-cost: 341 3.50 c ---[ 260]---> BDD-cost: 307 3.51 c ---[ 258]---> BDD-cost: 225 3.52 c ---[ 256]---> BDD-cost: 457 3.54 c ---[ 254]---> BDD-cost: 413 3.56 c ---[ 252]---> BDD-cost: 299 3.57 c ---[ 250]---> BDD-cost: 31 3.57 c ---[ 248]---> BDD-cost: 223 3.58 c ---[ 246]---> BDD-cost: 375 3.60 c ---[ 244]---> BDD-cost: 341 3.61 c ---[ 242]---> BDD-cost: 371 3.63 c ---[ 240]---> BDD-cost: 437 3.65 c ---[ 238]---> BDD-cost: 293 3.66 c ---[ 236]---> BDD-cost: 409 3.68 c ---[ 234]---> BDD-cost: 293 3.69 c ---[ 232]---> BDD-cost: 173 3.69 c ---[ 230]---> BDD-cost: 119 3.69 c ---[ 228]---> BDD-cost: 55 3.69 c ---[ 226]---> BDD-cost: 143 3.70 c ---[ 224]---> BDD-cost: 103 3.70 c ---[ 222]---> BDD-cost: 337 3.71 c ---[ 220]---> BDD-cost: 243 3.72 c ---[ 218]---> BDD-cost: 109 3.73 c ---[ 216]---> BDD-cost: 65 3.73 c ---[ 214]---> BDD-cost: 21 3.73 c ---[ 212]---> BDD-cost: 11 3.73 c ---[ 210]---> BDD-cost: 213 3.73 c ---[ 208]---> BDD-cost: 187 3.74 c ---[ 206]---> BDD-cost: 111 3.74 c ---[ 204]---> BDD-cost: 329 3.76 c ---[ 202]---> BDD-cost: 341 3.77 c ---[ 200]---> BDD-cost: 297 3.78 c ---[ 198]---> BDD-cost: 253 3.79 c ---[ 196]---> BDD-cost: 463 3.81 c ---[ 194]---> BDD-cost: 381 3.82 c ---[ 192]---> BDD-cost: 281 3.84 c ---[ 190]---> BDD-cost: 249 3.85 c ---[ 188]---> BDD-cost: 197 3.85 c ---[ 186]---> BDD-cost: 263 3.86 c ---[ 184]---> BDD-cost: 209 3.87 c ---[ 182]---> BDD-cost: 175 3.87 c ---[ 180]---> BDD-cost: 583 3.91 c ---[ 178]---> BDD-cost: 539 3.94 c ---[ 176]---> BDD-cost: 5 3.94 c ---[ 174]---> BDD-cost: 1 3.94 c ---[ 172]---> BDD-cost: 185 3.94 c ---[ 170]---> BDD-cost: 233 3.95 c ---[ 168]---> BDD-cost: 175 3.95 c ---[ 166]---> BDD-cost: 87 3.95 c ---[ 164]---> BDD-cost: 97 3.96 c ---[ 162]---> BDD-cost: 129 3.96 c ---[ 160]---> BDD-cost: 81 3.96 c ---[ 158]---> BDD-cost: 167 3.96 c ---[ 156]---> BDD-cost: 223 3.97 c ---[ 154]---> BDD-cost: 417 3.99 c ---[ 152]---> BDD-cost: 347 4.00 c ---[ 150]---> BDD-cost: 291 4.02 c ---[ 148]---> BDD-cost: 501 4.04 c ---[ 146]---> BDD-cost: 275 4.05 c ---[ 144]---> BDD-cost: 279 4.06 c ---[ 142]---> BDD-cost: 255 4.07 c ---[ 140]---> BDD-cost: 125 4.07 c ---[ 138]---> BDD-cost: 207 4.08 c ---[ 136]---> BDD-cost: 107 4.09 c ---[ 134]---> BDD-cost: 203 4.09 c ---[ 132]---> BDD-cost: 237 4.10 c ---[ 130]---> BDD-cost: 183 4.10 c ---[ 128]---> BDD-cost: 137 4.11 c ---[ 126]---> BDD-cost: 211 4.11 c ---[ 124]---> BDD-cost: 159 4.12 c ---[ 122]---> BDD-cost: 189 4.12 c ---[ 120]---> BDD-cost: 211 4.13 c ---[ 118]---> BDD-cost: 447 4.15 c ---[ 116]---> BDD-cost: 281 4.16 c ---[ 114]---> BDD-cost: 295 4.17 c ---[ 112]---> BDD-cost: 433 4.19 c ---[ 110]---> BDD-cost: 185 4.20 c ---[ 108]---> BDD-cost: 159 4.20 c ---[ 106]---> BDD-cost: 29 4.20 c ---[ 104]---> BDD-cost: 65 4.20 c ---[ 100]---> BDD-cost: 19 4.20 c ---[ 98]---> BDD-cost: 39 4.20 c ---[ 94]---> BDD-cost: 133 4.20 c ---[ 92]---> BDD-cost: 75 4.21 c ---[ 90]---> BDD-cost: 83 4.21 c ---[ 88]---> BDD-cost: 281 4.22 c ---[ 86]---> BDD-cost: 235 4.22 c ---[ 84]---> BDD-cost: 257 4.23 c ---[ 82]---> BDD-cost: 387 4.25 c ---[ 80]---> BDD-cost: 89 4.25 c ---[ 76]---> BDD-cost: 111 4.25 c ---[ 74]---> BDD-cost: 217 4.26 c ---[ 72]---> BDD-cost: 271 4.27 c ---[ 70]---> BDD-cost: 271 4.28 c ---[ 68]---> BDD-cost: 303 4.29 c ---[ 66]---> BDD-cost: 227 4.29 c ---[ 64]---> BDD-cost: 489 4.32 c ---[ 62]---> BDD-cost: 193 4.33 c ---[ 60]---> BDD-cost: 245 4.34 c ---[ 58]---> BDD-cost: 145 4.34 c ---[ 56]---> BDD-cost: 129 4.34 c ---[ 54]---> BDD-cost: 317 4.36 c ---[ 52]---> BDD-cost: 263 4.37 c ---[ 50]---> BDD-cost: 297 4.38 c ---[ 48]---> BDD-cost: 275 4.39 c ---[ 46]---> BDD-cost: 381 4.40 c ---[ 44]---> BDD-cost: 475 4.43 c ---[ 42]---> BDD-cost: 389 4.47 c ---[ 40]---> BDD-cost: 289 4.48 c ---[ 38]---> BDD-cost: 285 4.49 c ---[ 36]---> BDD-cost: 223 4.50 c ---[ 34]---> BDD-cost: 99 4.50 c ---[ 32]---> BDD-cost: 563 4.53 c ---[ 30]---> BDD-cost: 517 4.56 c ---[ 28]---> BDD-cost: 531 4.59 c ---[ 26]---> BDD-cost: 687 4.64 c ---[ 24]---> BDD-cost: 495 4.69 c ---[ 22]---> BDD-cost: 599 4.73 c ---[ 20]---> BDD-cost: 423 4.75 c ---[ 18]---> BDD-cost: 375 4.76 c ---[ 16]---> BDD-cost: 731 4.82 c ---[ 14]---> BDD-cost: 519 4.87 c ---[ 12]---> BDD-cost: 755 4.93 c ---[ 10]---> BDD-cost: 511 4.96 c ---[ 8]---> BDD-cost: 581 5.00 c ---[ 6]---> BDD-cost: 679 5.05 c ---[ 4]---> BDD-cost: 157 5.05 c ---[ 2]---> BDD-cost: 197 5.05 c ---[ 0]---> BDD-cost: 241 5.24 c ==================================[MINISAT+]================================== 5.24 c | Conflicts | Original | Learnt | Progress | 5.24 c | | Clauses Literals | Max Clauses Literals LPC | | 5.24 c ============================================================================== 5.24 c | 0 | 234832 610978 | 78277 0 0 nan | 0.000 % | 5.41 c | 101 | 234832 610978 | 86104 101 7136 70.7 | 0.403 % | 5.61 c | 251 | 234832 610978 | 94715 251 18174 72.4 | 0.403 % | 6.20 c | 476 | 234832 610978 | 104186 476 100222 210.6 | 0.403 % | 6.51 c ============================================================================== 6.51 c [1mFound solution: 44797[0m 6.51 o 44797 6.60 c ---[ 0]---> Adder-cost: 59722 maxlim: 3863651 bits: 22/22 47.61 c ==================================[MINISAT+]================================== 47.61 c | Conflicts | Original | Learnt | Progress | 47.61 c | | Clauses Literals | Max Clauses Literals LPC | | 47.61 c ============================================================================== 47.61 c | 638 | 652775 2103651 | 217591 638 115981 181.8 | 0.403 % | 48.35 c | 739 | 652775 2103651 | 239350 739 133734 181.0 | 0.262 % | 49.15 c | 889 | 652696 2103399 | 263285 878 159772 182.0 | 0.271 % | 50.14 c | 1116 | 652696 2103399 | 289613 1105 178255 161.3 | 0.271 % | 51.92 c | 1453 | 652533 2102890 | 318574 1423 224711 157.9 | 0.279 % | 54.31 c | 1959 | 652533 2102890 | 350432 1929 320402 166.1 | 0.279 % | 58.52 c | 2718 | 652533 2102890 | 385475 2688 503080 187.2 | 0.279 % | 64.74 c | 3857 | 652362 2102356 | 424023 3820 841548 220.3 | 0.289 % | 78.61 c | 5566 | 652362 2102356 | 466425 5529 3040459 549.9 | 0.289 % | 93.04 c | 8128 | 651991 2101077 | 513068 8029 4300206 535.6 | 0.328 % | 100.81 c ============================================================================== 100.81 c [1mFound solution: 44263[0m 100.81 o 44263 100.94 c ---[ 0]---> Adder-cost: 42478 maxlim: 3855203 bits: 22/22 144.73 c ==================================[MINISAT+]================================== 144.73 c | Conflicts | Original | Learnt | Progress | 144.73 c | | Clauses Literals | Max Clauses Literals LPC | | 144.73 c ============================================================================== 144.73 c | 9530 | 949134 3162338 | 316378 9426 4585029 486.4 | 0.328 % | 146.02 c | 9632 | 949083 3162161 | 348015 9518 4600200 483.3 | 0.270 % | 147.13 c | 9783 | 949083 3162161 | 382817 9669 4617439 477.6 | 0.270 % | 148.44 c | 10008 | 949083 3162161 | 421099 9894 4638717 468.8 | 0.270 % | 151.09 c | 10346 | 949053 3162064 | 463209 10224 4756613 465.2 | 0.271 % | 155.68 c | 10852 | 949053 3162064 | 509529 10730 4945244 460.9 | 0.271 % | 160.67 c | 11611 | 948993 3161860 | 560482 11484 5067757 441.3 | 0.275 % | 169.45 c | 12750 | 948851 3161389 | 616531 12619 5303103 420.2 | 0.282 % | 182.61 c | 14461 | 948805 3161238 | 678184 14328 6046189 422.0 | 0.285 % | 196.87 c ============================================================================== 196.87 c [1mFound solution: 44210[0m 196.87 o 44210 197.00 c ---[ 0]---> Adder-cost: 36070 maxlim: 3849119 bits: 22/22 240.76 c ==================================[MINISAT+]================================== 240.76 c | Conflicts | Original | Learnt | Progress | 240.76 c | | Clauses Literals | Max Clauses Literals LPC | | 240.76 c ============================================================================== 240.76 c | 15918 | 1200858 4061540 | 400286 15743 6792562 431.5 | 0.285 % | 241.41 c | 16018 | 1200858 4061540 | 440314 15843 6804150 429.5 | 0.259 % | 242.64 c | 16168 | 1200858 4061540 | 484346 15993 6825820 426.8 | 0.259 % | 246.07 c | 16393 | 1200858 4061540 | 532780 16218 7065565 435.7 | 0.259 % | 249.36 c | 16730 | 1200858 4061540 | 586058 16555 7198105 434.8 | 0.259 % | 254.56 c | 17236 | 1200824 4061433 | 644664 17040 7312662 429.1 | 0.259 % | 264.42 c | 17996 | 1200824 4061433 | 709131 17800 8094252 454.7 | 0.259 % | 277.45 c | 19135 | 1200824 4061433 | 780044 18939 8496645 448.6 | 0.259 % | 302.44 c | 20843 | 1200824 4061433 | 858048 20647 10726669 519.5 | 0.259 % | 329.66 c | 23407 | 1200824 4061433 | 943853 23211 11633558 501.2 | 0.259 % | 346.60 c ============================================================================== 346.60 c [1mFound solution: 42210[0m 346.60 o 42210 346.73 c ---[ 0]---> Adder-cost: 23994 maxlim: 3850583 bits: 22/22 388.91 c ==================================[MINISAT+]================================== 388.91 c | Conflicts | Original | Learnt | Progress | 388.91 c | | Clauses Literals | Max Clauses Literals LPC | | 388.91 c ============================================================================== 388.91 c | 24999 | 1368697 4660999 | 456232 24803 12476734 503.0 | 0.259 % | 390.47 c | 25099 | 1368697 4660999 | 501855 24903 12488716 501.5 | 0.240 % | 392.43 c | 25252 | 1368697 4660999 | 552040 25056 12539353 500.5 | 0.240 % | 395.11 c | 25477 | 1368655 4660866 | 607244 25274 12620751 499.4 | 0.241 % | 401.19 c | 25817 | 1368655 4660866 | 667969 25614 13251505 517.4 | 0.241 % | 406.14 c | 26323 | 1368623 4660758 | 734766 26117 13336704 510.7 | 0.241 % | 415.77 c | 27082 | 1368623 4660758 | 808242 26876 13779160 512.7 | 0.241 % | 427.04 c | 28222 | 1368567 4660571 | 889067 27994 13986405 499.6 | 0.243 % | 444.48 c | 29930 | 1368469 4660258 | 977973 29695 14892358 501.5 | 0.246 % | 467.57 c ============================================================================== 467.58 c [1mFound solution: 41670[0m 467.58 o 41670 467.70 c ---[ 0]---> Adder-cost: 31134 maxlim: 3847267 bits: 22/22 507.86 c ==================================[MINISAT+]================================== 507.86 c | Conflicts | Original | Learnt | Progress | 507.86 c | | Clauses Literals | Max Clauses Literals LPC | | 507.86 c ============================================================================== 507.86 c | 31883 | 1586299 5438238 | 528766 31648 15707001 496.3 | 0.246 % | 509.71 c | 31983 | 1586256 5438094 | 581642 31743 15713738 495.0 | 0.225 % | 512.22 c | 32133 | 1586256 5438094 | 639806 31893 15739713 493.5 | 0.225 % | 515.53 c | 32361 | 1586256 5438094 | 703787 32121 15815873 492.4 | 0.225 % | 520.92 c | 32698 | 1586256 5438094 | 774166 32458 15935857 491.0 | 0.225 % | 527.06 c | 33204 | 1586256 5438094 | 851582 32964 16058685 487.2 | 0.225 % | 539.95 c | 33966 | 1586256 5438094 | 936741 33726 16873380 500.3 | 0.225 % | 553.82 c | 35105 | 1586256 5438094 | 1030415 34865 17361030 498.0 | 0.225 % | 584.64 c | 36813 | 1586256 5438094 | 1133456 36573 19600026 535.9 | 0.225 % | 626.93 c | 39380 | 1586139 5437703 | 1246802 39127 21080183 538.8 | 0.227 % | 707.37 c | 43224 | 1586139 5437703 | 1371482 42971 30093713 700.3 | 0.227 % | 814.95 c | 48995 | 1586006 5437284 | 1508631 48720 41925394 860.5 | 0.229 % | 1001.90 c | 57650 | 1586006 5437284 | 1659494 57375 63730193 1110.8 | 0.229 % | 1211.34 c | 70627 | 1585785 5436566 | 1825443 70300 77213581 1098.3 | 0.234 % | 1713.46 c | 90088 | 1585785 5436566 | 2007988 89761 147830425 1646.9 | 0.234 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s SATISFIABLE 1801.15 v x1 -x1112 -x2223 -x3334 x4445 -x5556 x6667 -x6974 -x7085 -x2 -x113 -x224 -x335 -x446 -x557 -x668 x779 -x890 x1001 -x1113 1801.15 v x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 x3001 -x3112 1801.15 v -x3223 x3335 x3446 -x3557 -x3668 x3779 -x3890 -x4001 -x4112 -x4223 -x4334 -x4446 -x4557 -x4668 -x4779 x4890 -x5001 -x5112 1801.15 v -x5223 x5334 -x5445 -x5557 -x5668 -x5779 -x5890 -x6001 -x6112 -x6223 x6334 x6445 -x6556 -x6668 -x6779 -x6886 -x6897 -x6908 1801.15 v -x6919 -x6930 -x6941 -x6952 -x6963 -x6975 -x6986 -x6997 -x7008 -x7019 -x7030 -x7041 -x7052 -x7063 -x7074 -x7086 -x7097 1801.15 v -x7108 -x7119 -x7130 -x7141 -x7152 -x7163 -x7174 -x7185 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 1801.15 v -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 -x336 -x347 -x358 -x369 1801.15 v -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 -x591 -x602 1801.15 v -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 1801.15 v -x846 -x857 -x868 -x879 -x891 -x902 x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 x1057 1801.15 v -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 -x1247 1801.15 v -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 1801.15 v -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 1801.15 v -x1635 -x1646 x1657 x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1824 1801.15 v -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1990 -x2002 -x2013 1801.15 v -x2024 x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 -x2190 x2201 -x2212 1801.15 v -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 -x2369 -x2380 -x2391 -x2402 1801.15 v -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 -x2558 -x2569 -x2580 -x2591 1801.15 v -x2602 -x2613 -x2624 -x2635 -x2646 -x2657 -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 -x2746 -x2757 -x2768 -x2780 1801.15 v -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 -x2857 -x2868 -x2879 -x2891 -x2902 -x2913 -x2924 -x2935 -x2946 -x2957 -x2968 1801.15 v -x2979 -x2990 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 -x3124 -x3135 -x3146 -x3157 1801.15 v -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3312 -x3323 x3336 -x3347 1801.15 v -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 1801.15 v -x3546 -x3558 -x3569 -x3580 x3591 -x3602 -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 -x3691 -x3702 -x3713 -x3724 1801.15 v -x3735 -x3746 -x3757 -x3768 -x3780 -x3791 -x3802 -x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3891 -x3902 -x3913 1801.15 v -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4002 -x4013 -x4024 -x4035 -x4046 -x4057 -x4068 -x4079 -x4090 -x4101 1801.15 v -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 -x4257 -x4268 -x4279 -x4290 1801.15 v -x4301 -x4312 -x4323 -x4335 -x4346 -x4357 -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 -x4447 -x4458 -x4469 -x4480 1801.15 v -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 -x4657 -x4669 1801.15 v -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 -x4846 -x4857 1801.15 v -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 -x5013 -x5024 -x5035 -x5046 1801.15 v -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 -x5201 -x5212 -x5224 -x5235 1801.15 v -x5246 -x5257 -x5268 -x5279 -x5290 -x5301 -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 -x5390 -x5401 -x5412 -x5423 1801.15 v -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 -x5580 -x5591 -x5602 -x5613 1801.15 v -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 x5791 -x5802 1801.15 v -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 1801.15 v -x6002 -x6013 -x6024 -x6035 -x6046 -x6057 -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 -x6146 -x6157 -x6168 -x6179 1801.15 v -x6190 -x6201 -x6212 -x6224 -x6235 -x6246 -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 -x6323 x6335 -x6346 -x6357 -x6368 1801.15 v -x6379 -x6390 -x6401 -x6412 -x6423 -x6434 -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 -x6523 -x6534 -x6545 -x6557 1801.15 v -x6568 -x6579 -x6590 -x6601 -x6612 -x6623 -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 -x6713 -x6724 -x6735 -x6746 1801.15 v -x6757 -x6768 -x6780 -x6791 -x6802 -x6813 -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6887 -x6888 -x6889 -x6890 -x6891 1801.15 v -x6892 -x6893 -x6894 -x6895 -x6896 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6909 -x6910 1801.15 v -x6911 -x6912 -x6913 -x6914 -x6915 x6916 -x6917 -x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 1801.15 v -x6929 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 1801.15 v -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6965 -x6966 1801.15 v -x6967 -x6968 -x6969 -x6970 -x6971 x6972 -x6973 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 1801.15 v -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 1801.15 v -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 -x7022 -x7023 1801.15 v -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7031 -x7032 -x7033 -x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7042 1801.15 v -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 1801.15 v -x7061 -x7062 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 -x7078 -x7079 1801.15 v -x7080 -x7081 -x7082 -x7083 -x7084 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7098 -x7099 1801.15 v -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 1801.15 v -x7118 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 1801.15 v -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 -x7154 -x7155 1801.15 v -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 1801.15 v -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1801.15 v -x7193 -x7194 -x7195 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 1801.15 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1801.15 v -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 1801.15 v -x86 -x87 x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1801.15 v -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 1801.15 v -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1801.15 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 1801.15 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 1801.15 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 1801.15 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 1801.15 v -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 1801.15 v -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 1801.15 v -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1801.15 v -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1801.15 v -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1801.15 v -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 1801.15 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 1801.15 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 1801.15 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 1801.15 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 1801.15 v -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x503 -x504 -x505 -x506 -x507 1801.15 v -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x529 -x530 1801.15 v -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 x549 -x550 -x551 -x552 -x553 1801.15 v -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 1801.15 v -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1801.15 v -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1801.15 v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 1801.15 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 1801.15 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 1801.15 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x716 -x717 1801.15 v -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 1801.15 v -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 1801.15 v -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1801.15 v -x788 -x789 -x790 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1801.15 v -x811 -x812 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 1801.15 v -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1801.15 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x880 1801.15 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 1801.15 v -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 1801.15 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 x948 -x949 -x950 1801.15 v -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 1801.15 v -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 1801.15 v -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 1801.15 v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 1801.15 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1801.15 v -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 1801.15 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 1801.15 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1801.15 v -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1801.15 v -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 x1149 -x1150 1801.15 v x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 1801.15 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 1801.15 v -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 1801.15 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 1801.15 v -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1801.15 v -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 1801.15 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 1801.15 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1801.15 v -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1801.15 v -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 1801.15 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1801.15 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1801.15 v -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 1801.15 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 1801.15 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1801.15 v -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 1801.15 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 1801.15 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 1801.15 v -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1801.15 v -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 1801.15 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1801.15 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1801.15 v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 1801.15 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 1801.15 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1801.15 v -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 1801.15 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 1801.15 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1801.15 v -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1801.15 v -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 1801.15 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1801.15 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1801.15 v -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x1772 1801.15 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 1801.15 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1801.15 v -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 1801.15 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 1801.15 v -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1801.15 v -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1801.15 v -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 1801.15 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1801.15 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1801.15 v -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 1801.15 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 1801.15 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1801.15 v -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 1801.15 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 1801.15 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1801.15 v -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1801.15 v -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 1801.15 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1801.15 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1801.15 v -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 1801.15 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2169 1801.15 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 1801.15 v -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 1801.15 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 1801.15 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1801.15 v -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1801.15 v -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 1801.15 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1801.15 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1801.15 v -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 1801.15 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 1801.15 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1801.15 v -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 1801.15 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 1801.15 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1801.15 v -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1801.15 v -x2454 -x2455 -x2456 -x2457 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 1801.15 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1801.15 v -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1801.15 v -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 1801.15 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 1801.15 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1801.15 v -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 1801.15 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 1801.15 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1801.15 v -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 1801.15 v -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 1801.15 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1801.15 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1801.15 v -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 1801.15 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 1801.15 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1801.15 v -x2755 -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 1801.15 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 1801.15 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1801.15 v -x2812 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1801.15 v -x2831 -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 1801.15 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1801.15 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1801.15 v -x2887 -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 1801.15 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 1801.15 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1801.15 v -x2944 -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 x2962 1801.15 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 1801.15 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1801.15 v -x3000 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1801.15 v -x3020 -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 1801.15 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1801.15 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1801.15 v -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 1801.15 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3114 1801.15 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1801.15 v -x3133 -x3134 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 -x3148 -x3149 -x3150 -x3151 1801.15 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3169 -x3170 1801.15 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1801.15 v -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 1801.15 v -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 1801.15 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1801.15 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1801.15 v -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 1801.15 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 1801.15 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1801.15 v -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 1801.15 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 1801.15 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 1801.15 v -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1801.15 v -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 1801.15 v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1801.15 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1801.15 v -x3455 -x3456 -x3457 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 1801.15 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 1801.15 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1801.15 v -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 1801.15 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 1801.15 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1801.15 v -x3568 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1801.15 v -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 1801.15 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1801.15 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1801.15 v -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 1801.15 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 1801.15 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1801.15 v -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 1801.15 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 1801.15 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1801.15 v -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 1801.15 v -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 1801.15 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1801.15 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 1801.15 v -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 1801.15 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 1801.15 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1801.15 v -x3888 -x3889 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 1801.15 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 1801.15 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 1801.15 v -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1801.15 v -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 1801.15 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1801.15 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1801.15 v -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 1801.15 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 1801.15 v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 1801.15 v -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 1801.15 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 1801.15 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1801.15 v -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1801.15 v -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 1801.15 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1801.15 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1801.15 v -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 1801.15 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 1801.15 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1801.15 v -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 1801.15 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 1801.15 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1801.15 v x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1801.15 v -x4342 -x4343 -x4344 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 1801.15 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1801.15 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1801.15 v -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 1801.15 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 1801.15 v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1801.15 v -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 1801.15 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 1801.15 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 1801.15 v -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1801.15 v -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 1801.15 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1801.15 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 1801.15 v -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 1801.15 v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 1801.15 v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1801.15 v -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 1801.15 v -x4663 -x4664 -x4665 -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 1801.15 v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1801.15 v -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1801.15 v -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 1801.15 v -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 1801.15 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 1801.15 v -x4776 -x4777 -x4778 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 1801.15 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 1801.15 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1801.15 v -x4833 -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 1801.15 v -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 1801.15 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1801.15 v -x4889 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1801.15 v -x4909 -x4910 -x4911 -x4912 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 1801.15 v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1801.15 v -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 1801.15 v -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 1801.15 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 1801.15 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 1801.15 v -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 1801.15 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 1801.15 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 1801.15 v -x5078 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 1801.15 v -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 1801.15 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 1801.15 v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1801.15 v -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 1801.15 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 1801.15 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 1801.15 v -x5210 -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 1801.15 v -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5247 -x5248 1801.15 v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 1801.15 v -x5267 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 1801.15 v -x5286 -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 1801.15 v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 1801.15 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1801.15 v -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 1801.15 v -x5362 -x5363 -x5364 -x5365 x5366 -x5367 -x5369 -x5370 -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 1801.15 v -x5382 -x5383 -x5384 -x5385 x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 1801.15 v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 1801.15 v -x5420 -x5421 -x5422 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 1801.15 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 1801.15 v -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1801.15 v -x5477 -x5478 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 1801.15 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 1801.15 v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 1801.15 v -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 1801.15 v -x5552 -x5553 -x5554 -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 -x5572 1801.15 v -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 1801.15 v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 1801.15 v -x5610 -x5611 -x5612 -x5614 -x5615 -x5616 -x5617 x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 -x5628 1801.15 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 1801.15 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1801.15 v -x5666 -x5667 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 1801.15 v -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 -x5704 1801.15 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 1801.15 v -x5723 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 1801.15 v -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 -x5760 1801.15 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 1801.15 v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1801.15 v -x5799 -x5800 -x5801 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 1801.15 v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5836 1801.15 v -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 1801.15 v -x5855 -x5856 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 -x5871 -x5872 -x5873 1801.15 v -x5874 -x5875 -x5876 -x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5892 -x5893 1801.15 v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 1801.15 v -x5912 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1801.15 v -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 -x5949 1801.15 v -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 1801.15 v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 1801.15 v -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6003 -x6004 -x6005 -x6006 1801.15 v -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6025 1801.15 v -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 1801.15 v -x6044 -x6045 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6058 -x6059 -x6060 -x6061 -x6062 1801.15 v -x6063 -x6064 -x6065 -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6080 -x6081 1801.15 v -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 1801.15 v -x6100 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 1801.15 v -x6120 -x6121 -x6122 -x6123 -x6125 -x6126 -x6127 x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6136 -x6137 -x6138 1801.15 v -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 1801.15 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 1801.15 v -x6176 -x6177 x6178 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 1801.15 v -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6213 1801.15 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 1801.15 v -x6233 -x6234 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 1801.15 v -x6252 -x6253 -x6254 -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 1801.15 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 1801.15 v -x6289 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 1801.15 v -x6308 -x6309 -x6310 -x6311 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 1801.15 v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 1801.15 v -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 1801.15 v -x6365 -x6366 -x6367 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6380 -x6381 -x6382 -x6383 1801.15 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6402 1801.15 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1801.15 v -x6421 -x6422 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6435 -x6436 -x6437 -x6438 -x6439 1801.15 v -x6440 -x6441 -x6442 -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6458 -x6459 1801.15 v -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 1801.15 v -x6478 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 1801.15 v -x6497 -x6498 -x6499 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6513 -x6514 -x6515 1801.15 v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 x6528 -x6529 -x6530 -x6531 -x6532 -x6533 1801.15 v -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 1801.15 v -x6553 -x6554 -x6555 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6569 -x6570 -x6571 -x6572 1801.15 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 x6588 -x6589 -x6591 1801.15 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 -x6600 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 1801.15 v -x6610 -x6611 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 1801.15 v -x6629 -x6630 -x6631 -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6646 -x6647 1801.15 v -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 1801.15 v -x6666 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 1801.15 v -x6687 -x6688 -x6689 -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 -x6701 -x6703 -x6704 -x6705 1801.15 v -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 1801.15 v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 1801.15 v -x6743 -x6744 -x6745 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6758 -x6759 -x6760 -x6761 1801.15 v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6781 1801.15 v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 1801.15 v -x6800 -x6801 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6814 -x6815 -x6816 -x6817 -x6818 1801.15 v -x6819 -x6820 -x6821 -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6836 -x6837 1801.15 v -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 1801.15 v -x6856 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6869 x6870 -x6871 -x6872 -x6873 -x6874 -x6875 1801.15 v -x6876 -x6877 -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885
OK 41670
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/node50/watcher-34889-1149244231 -o ROOT/results/node50/solver-34889-1149244231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node50/34889-1149244231/instance-34889-1149244231.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.90 3/64 31527 /proc/meminfo: memFree=1370400/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=1048 CPUtime=0 /proc/31527/stat : 31527 (minisat+) D 31525 31527 31481 0 -1 4194304 85 0 0 0 0 0 0 0 19 0 1 0 190090268 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0 /proc/31527/statm: 262 70 58 215 0 44 0 [startup+10.003 s] /proc/loadavg: 0.93 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1326184/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=48048 CPUtime=9.98 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 13480 0 0 0 991 7 0 0 25 0 1 0 190090268 49201152 11089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 12012 11089 110 215 0 11794 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 48048 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1326248/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=48048 CPUtime=19.99 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 13480 0 0 0 1992 7 0 0 25 0 1 0 190090268 49201152 11089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 12012 11089 110 215 0 11794 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 48048 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1326312/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=48048 CPUtime=29.99 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 13480 0 0 0 2992 7 0 0 25 0 1 0 190090268 49201152 11089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 12012 11089 110 215 0 11794 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 48048 [startup+40.0207 s] /proc/loadavg: 0.96 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1326312/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=48048 CPUtime=39.99 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 13480 0 0 0 3992 7 0 0 25 0 1 0 190090268 49201152 11089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005853 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 12012 11089 110 215 0 11794 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 48048 [startup+50.0266 s] /proc/loadavg: 0.96 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1228136/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=146932 CPUtime=50 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 42626 0 0 0 4978 22 0 0 25 0 1 0 190090268 150458368 35606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 36733 35606 123 215 0 36515 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 146932 [startup+60.0324 s] /proc/loadavg: 0.97 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1226344/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=148780 CPUtime=60 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 43069 0 0 0 5978 22 0 0 25 0 1 0 190090268 152350720 36049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 37195 36049 123 215 0 36977 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 148780 [startup+70.0393 s] /proc/loadavg: 0.97 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1221928/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=153092 CPUtime=70 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 44175 0 0 0 6977 23 0 0 25 0 1 0 190090268 156766208 37155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 38273 37155 123 215 0 38055 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 153092 [startup+80.0452 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1216104/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=158896 CPUtime=80 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 45623 0 0 0 7976 24 0 0 25 0 1 0 190090268 162709504 38603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 39724 38603 123 215 0 39506 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 158896 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1212840/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=162100 CPUtime=90.01 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 46441 0 0 0 8976 25 0 0 25 0 1 0 190090268 165990400 39421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 40525 39421 123 215 0 40307 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 162100 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31527 /proc/meminfo: memFree=1209832/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=165196 CPUtime=100.01 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 47190 0 0 0 9976 25 0 0 25 0 1 0 190090268 169160704 40170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 41299 40170 123 215 0 41081 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 165196 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1207400/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=167996 CPUtime=110.02 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 55684 0 0 0 10972 30 0 0 25 0 1 0 190090268 172027904 40763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 41999 40763 123 215 0 41781 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 167996 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1207400/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=167996 CPUtime=120.02 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 55684 0 0 0 11972 30 0 0 25 0 1 0 190090268 172027904 40763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 41999 40763 123 215 0 41781 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 167996 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1207400/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=167996 CPUtime=130.03 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 55684 0 0 0 12973 30 0 0 25 0 1 0 190090268 172027904 40763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 41999 40763 123 215 0 41781 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 167996 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1207400/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=167996 CPUtime=140.03 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 55684 0 0 0 13973 30 0 0 25 0 1 0 190090268 172027904 40763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 41999 40763 123 215 0 41781 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 167996 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1192040/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=194316 CPUtime=150.03 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 59520 0 0 0 14971 32 0 0 25 0 1 0 190090268 198979584 44584 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 48579 44584 123 215 0 48361 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 194316 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1190056/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=196172 CPUtime=160.03 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 60030 0 0 0 15971 32 0 0 25 0 1 0 190090268 200880128 45094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 49043 45094 123 215 0 48825 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 196172 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1188904/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=197428 CPUtime=170.04 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 60318 0 0 0 16971 33 0 0 25 0 1 0 190090268 202166272 45382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 49357 45382 123 215 0 49139 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 197428 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1186600/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=199680 CPUtime=180.04 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 60903 0 0 0 17971 33 0 0 25 0 1 0 190090268 204472320 45967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 49920 45967 123 215 0 49702 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 199680 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31527 /proc/meminfo: memFree=1184232/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=202080 CPUtime=190.05 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 61493 0 0 0 18971 34 0 0 25 0 1 0 190090268 206929920 46557 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 50520 46557 123 215 0 50302 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 202080 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=1158312/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=227940 CPUtime=200.05 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 69481 0 0 0 19967 38 0 0 25 0 1 0 190090268 233410560 53029 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134661668 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 56985 53029 123 215 0 56767 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 227940 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=1180392/2055920 swapFree=4181340/4192956 ################ # More data... # ################ [pid=31527] ppid=31525 vsize=816956 CPUtime=1781.6 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228323 0 0 0 178043 117 0 0 25 0 1 0 190090268 836562944 199469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204239 199469 123 215 0 204021 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 816956 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=570664/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=817408 CPUtime=1782.6 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228443 0 0 0 178143 117 0 0 25 0 1 0 190090268 837025792 199589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204352 199589 123 215 0 204134 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 817408 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=570216/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=817852 CPUtime=1783.61 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228544 0 0 0 178244 117 0 0 25 0 1 0 190090268 837480448 199690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204463 199690 123 215 0 204245 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 817852 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=569704/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=818276 CPUtime=1784.61 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228672 0 0 0 178344 117 0 0 25 0 1 0 190090268 837914624 199818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204569 199818 123 215 0 204351 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 818276 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=569192/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=818936 CPUtime=1785.62 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228806 0 0 0 178445 117 0 0 25 0 1 0 190090268 838590464 199952 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204734 199952 123 215 0 204516 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 818936 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=568680/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=819372 CPUtime=1786.62 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 228948 0 0 0 178545 117 0 0 25 0 1 0 190090268 839036928 200094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586096 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204843 200094 123 215 0 204625 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 819372 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=568104/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=819980 CPUtime=1787.63 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229071 0 0 0 178646 117 0 0 25 0 1 0 190090268 839659520 200217 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 204995 200217 123 215 0 204777 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 819980 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=567720/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=820424 CPUtime=1788.63 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229186 0 0 0 178746 117 0 0 25 0 1 0 190090268 840114176 200332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577319 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205106 200332 123 215 0 204888 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 820424 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=567144/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=820928 CPUtime=1789.63 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229323 0 0 0 178846 117 0 0 25 0 1 0 190090268 840630272 200469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205232 200469 123 215 0 205014 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 820928 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=566824/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=821208 CPUtime=1790.64 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229393 0 0 0 178947 117 0 0 25 0 1 0 190090268 840916992 200539 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205302 200539 123 215 0 205084 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 821208 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=566632/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=821508 CPUtime=1791.64 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229450 0 0 0 179047 117 0 0 25 0 1 0 190090268 841224192 200596 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205377 200596 123 215 0 205159 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 821508 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=566312/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=821780 CPUtime=1792.66 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229530 0 0 0 179148 118 0 0 25 0 1 0 190090268 841502720 200676 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205445 200676 123 215 0 205227 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 821780 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=565864/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=822192 CPUtime=1793.66 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229629 0 0 0 179248 118 0 0 25 0 1 0 190090268 841924608 200775 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205548 200775 123 215 0 205330 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 822192 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=565288/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=822756 CPUtime=1794.66 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229777 0 0 0 179348 118 0 0 25 0 1 0 190090268 842502144 200923 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205689 200923 123 215 0 205471 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 822756 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=565224/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=822864 CPUtime=1795.67 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229800 0 0 0 179449 118 0 0 25 0 1 0 190090268 842612736 200946 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205716 200946 123 215 0 205498 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 822864 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=564712/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=823288 CPUtime=1796.67 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 229930 0 0 0 179549 118 0 0 25 0 1 0 190090268 843046912 201076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205822 201076 123 215 0 205604 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 823288 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=564136/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=823924 CPUtime=1797.68 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 230067 0 0 0 179650 118 0 0 25 0 1 0 190090268 843698176 201213 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 205981 201213 123 215 0 205763 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 823924 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=563688/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=824412 CPUtime=1798.68 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 230180 0 0 0 179750 118 0 0 25 0 1 0 190090268 844197888 201326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573832 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 206103 201326 123 215 0 205885 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 824412 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=563304/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=824724 CPUtime=1799.69 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 230281 0 0 0 179851 118 0 0 25 0 1 0 190090268 844517376 201427 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 206181 201427 123 215 0 205963 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 824724 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=562792/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=825248 CPUtime=1800.69 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 230395 0 0 0 179951 118 0 0 25 0 1 0 190090268 845053952 201541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 206312 201541 123 215 0 206094 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 825248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31529 /proc/meminfo: memFree=562792/2055920 swapFree=4181340/4192956 [pid=31527] ppid=31525 vsize=825248 CPUtime=1800.69 /proc/31527/stat : 31527 (minisat+) R 31525 31527 31481 0 -1 4194304 230395 0 0 0 179951 118 0 0 25 0 1 0 190090268 845053952 201541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31527/statm: 206312 201541 123 215 0 206094 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 825248 Sending SIGTERM to -31527 Sleeping 2 seconds Child status: 10 Real time (s): 1801.29 CPU time (s): 1800.83 CPU user time (s): 1799.52 CPU system time (s): 1.3148 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (Kb): 825248
Begin job on node50 on Fri Jun 2 10:30:31 UTC 2006 FILE ID= 34889-1149244231 PBS_JOBID= 297667 BENCH NAME= ROOT/tmp/node50/34889-1149244231/instance-34889-1149244231.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node50/34889-1149244231/instance-34889-1149244231.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-34889-1149244231 -o ROOT/results/node50/solver-34889-1149244231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node50/34889-1149244231/instance-34889-1149244231.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED= 50287708 /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.238 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 : 5914.62 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.238 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: 1370608 kB Buffers: 29992 kB Cached: 582928 kB SwapCached: 3432 kB Active: 54308 kB Inactive: 567544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1370608 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14916 kB Slab: 49364 kB Committed_AS: 228484 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Fri Jun 2 11:00:32 UTC 2006