Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | SAT | 271.778 | 271.887 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb |
MD5SUM | 8ef9ab9b1b524024010be24ca1127d40 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 4.05238 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4356 |
Total number of constraints | 600 |
Number of constraints which are clauses | 264 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 121 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 123 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.43 c Converting 600 PB-constraints to clauses... 0.43 c -- Unit propagations: (none) 0.43 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################## 0.44 c -- Clauses(.)/Splits(s): (none) 0.44 c ---[ 598]---> BDD-cost: 129 0.44 c ---[ 596]---> BDD-cost: 129 0.44 c ---[ 594]---> BDD-cost: 129 0.44 c ---[ 592]---> BDD-cost: 129 0.44 c ---[ 590]---> BDD-cost: 129 0.44 c ---[ 588]---> BDD-cost: 129 0.44 c ---[ 586]---> BDD-cost: 129 0.44 c ---[ 584]---> BDD-cost: 129 0.44 c ---[ 582]---> BDD-cost: 129 0.45 c ---[ 580]---> BDD-cost: 129 0.45 c ---[ 578]---> BDD-cost: 129 0.45 c ---[ 576]---> BDD-cost: 129 0.45 c ---[ 574]---> BDD-cost: 129 0.45 c ---[ 572]---> BDD-cost: 129 0.45 c ---[ 570]---> BDD-cost: 129 0.45 c ---[ 568]---> BDD-cost: 129 0.45 c ---[ 566]---> BDD-cost: 129 0.45 c ---[ 564]---> BDD-cost: 129 0.45 c ---[ 562]---> BDD-cost: 129 0.45 c ---[ 560]---> BDD-cost: 129 0.45 c ---[ 558]---> BDD-cost: 129 0.46 c ---[ 556]---> BDD-cost: 129 0.46 c ---[ 554]---> BDD-cost: 129 0.46 c ---[ 552]---> BDD-cost: 129 0.46 c ---[ 550]---> BDD-cost: 129 0.46 c ---[ 548]---> BDD-cost: 129 0.46 c ---[ 546]---> BDD-cost: 129 0.46 c ---[ 544]---> BDD-cost: 129 0.46 c ---[ 542]---> BDD-cost: 129 0.46 c ---[ 540]---> BDD-cost: 129 0.46 c ---[ 538]---> BDD-cost: 129 0.46 c ---[ 536]---> BDD-cost: 129 0.46 c ---[ 534]---> BDD-cost: 129 0.47 c ---[ 532]---> BDD-cost: 129 0.47 c ---[ 530]---> BDD-cost: 129 0.47 c ---[ 528]---> BDD-cost: 129 0.47 c ---[ 526]---> BDD-cost: 129 0.47 c ---[ 524]---> BDD-cost: 129 0.47 c ---[ 522]---> BDD-cost: 129 0.47 c ---[ 520]---> BDD-cost: 129 0.47 c ---[ 518]---> BDD-cost: 129 0.47 c ---[ 516]---> BDD-cost: 129 0.47 c ---[ 514]---> BDD-cost: 129 0.47 c ---[ 512]---> BDD-cost: 129 0.48 c ---[ 510]---> BDD-cost: 129 0.48 c ---[ 508]---> BDD-cost: 129 0.48 c ---[ 506]---> BDD-cost: 129 0.48 c ---[ 504]---> BDD-cost: 129 0.48 c ---[ 502]---> BDD-cost: 129 0.48 c ---[ 500]---> BDD-cost: 129 0.48 c ---[ 498]---> BDD-cost: 129 0.48 c ---[ 496]---> BDD-cost: 129 0.48 c ---[ 494]---> BDD-cost: 129 0.48 c ---[ 492]---> BDD-cost: 129 0.48 c ---[ 490]---> BDD-cost: 129 0.48 c ---[ 488]---> BDD-cost: 129 0.49 c ---[ 486]---> BDD-cost: 129 0.49 c ---[ 484]---> BDD-cost: 129 0.49 c ---[ 482]---> BDD-cost: 129 0.49 c ---[ 480]---> BDD-cost: 129 0.49 c ---[ 478]---> BDD-cost: 129 0.49 c ---[ 476]---> BDD-cost: 129 0.49 c ---[ 474]---> BDD-cost: 129 0.49 c ---[ 472]---> BDD-cost: 129 0.49 c ---[ 470]---> BDD-cost: 129 0.49 c ---[ 468]---> BDD-cost: 129 0.49 c ---[ 466]---> BDD-cost: 129 0.49 c ---[ 464]---> BDD-cost: 129 0.50 c ---[ 462]---> BDD-cost: 129 0.50 c ---[ 460]---> BDD-cost: 129 0.50 c ---[ 458]---> BDD-cost: 129 0.50 c ---[ 456]---> BDD-cost: 129 0.50 c ---[ 454]---> BDD-cost: 129 0.50 c ---[ 452]---> BDD-cost: 129 0.50 c ---[ 450]---> BDD-cost: 129 0.50 c ---[ 448]---> BDD-cost: 129 0.50 c ---[ 446]---> BDD-cost: 129 0.50 c ---[ 444]---> BDD-cost: 129 0.50 c ---[ 442]---> BDD-cost: 129 0.51 c ---[ 440]---> BDD-cost: 129 0.51 c ---[ 438]---> BDD-cost: 129 0.51 c ---[ 436]---> BDD-cost: 129 0.51 c ---[ 434]---> BDD-cost: 129 0.51 c ---[ 432]---> BDD-cost: 129 0.51 c ---[ 430]---> BDD-cost: 129 0.51 c ---[ 428]---> BDD-cost: 129 0.51 c ---[ 426]---> BDD-cost: 129 0.51 c ---[ 424]---> BDD-cost: 129 0.51 c ---[ 422]---> BDD-cost: 129 0.51 c ---[ 420]---> BDD-cost: 129 0.52 c ---[ 418]---> BDD-cost: 129 0.52 c ---[ 416]---> BDD-cost: 129 0.52 c ---[ 414]---> BDD-cost: 129 0.52 c ---[ 412]---> BDD-cost: 129 0.52 c ---[ 410]---> BDD-cost: 129 0.52 c ---[ 408]---> BDD-cost: 129 0.52 c ---[ 406]---> BDD-cost: 129 0.52 c ---[ 404]---> BDD-cost: 129 0.52 c ---[ 402]---> BDD-cost: 129 0.52 c ---[ 400]---> BDD-cost: 129 0.52 c ---[ 398]---> BDD-cost: 129 0.52 c ---[ 396]---> BDD-cost: 129 0.53 c ---[ 394]---> BDD-cost: 129 0.53 c ---[ 392]---> BDD-cost: 129 0.53 c ---[ 390]---> BDD-cost: 129 0.53 c ---[ 388]---> BDD-cost: 129 0.53 c ---[ 386]---> BDD-cost: 129 0.53 c ---[ 384]---> BDD-cost: 129 0.53 c ---[ 382]---> BDD-cost: 129 0.53 c ---[ 380]---> BDD-cost: 129 0.53 c ---[ 378]---> BDD-cost: 129 0.53 c ---[ 376]---> BDD-cost: 129 0.53 c ---[ 374]---> BDD-cost: 129 0.54 c ---[ 372]---> BDD-cost: 129 0.54 c ---[ 370]---> BDD-cost: 129 0.54 c ---[ 368]---> BDD-cost: 129 0.54 c ---[ 366]---> BDD-cost: 129 0.54 c ---[ 364]---> BDD-cost: 129 0.54 c ---[ 362]---> BDD-cost: 129 0.54 c ---[ 360]---> BDD-cost: 129 0.54 c ---[ 358]---> BDD-cost: 129 0.54 c ---[ 356]---> BDD-cost: 129 0.54 c ---[ 354]---> BDD-cost: 129 0.54 c ---[ 352]---> BDD-cost: 129 0.54 c ---[ 350]---> BDD-cost: 129 0.55 c ---[ 348]---> BDD-cost: 129 0.55 c ---[ 346]---> BDD-cost: 129 0.55 c ---[ 344]---> BDD-cost: 129 0.55 c ---[ 342]---> BDD-cost: 129 0.55 c ---[ 340]---> BDD-cost: 129 0.55 c ---[ 338]---> BDD-cost: 129 0.55 c ---[ 336]---> BDD-cost: 129 0.55 c ---[ 334]---> BDD-cost: 109 0.55 c ---[ 332]---> BDD-cost: 129 0.55 c ---[ 330]---> BDD-cost: 129 0.55 c ---[ 328]---> BDD-cost: 129 0.55 c ---[ 326]---> BDD-cost: 129 0.56 c ---[ 324]---> BDD-cost: 129 0.56 c ---[ 322]---> BDD-cost: 129 0.56 c ---[ 320]---> BDD-cost: 129 0.56 c ---[ 318]---> BDD-cost: 129 0.56 c ---[ 316]---> BDD-cost: 129 0.56 c ---[ 314]---> BDD-cost: 129 0.56 c ---[ 312]---> BDD-cost: 129 0.56 c ---[ 310]---> BDD-cost: 109 0.56 c ---[ 308]---> BDD-cost: 129 0.56 c ---[ 306]---> BDD-cost: 129 0.56 c ---[ 304]---> BDD-cost: 129 0.57 c ---[ 302]---> BDD-cost: 129 0.57 c ---[ 300]---> BDD-cost: 129 0.57 c ---[ 298]---> BDD-cost: 129 0.57 c ---[ 296]---> BDD-cost: 129 0.57 c ---[ 294]---> BDD-cost: 129 0.57 c ---[ 292]---> BDD-cost: 129 0.57 c ---[ 290]---> BDD-cost: 129 0.57 c ---[ 288]---> BDD-cost: 129 0.57 c ---[ 286]---> BDD-cost: 109 0.57 c ---[ 284]---> BDD-cost: 129 0.57 c ---[ 282]---> BDD-cost: 129 0.57 c ---[ 280]---> BDD-cost: 129 0.58 c ---[ 278]---> BDD-cost: 129 0.58 c ---[ 276]---> BDD-cost: 129 0.58 c ---[ 274]---> BDD-cost: 129 0.58 c ---[ 272]---> BDD-cost: 129 0.58 c ---[ 270]---> BDD-cost: 129 0.58 c ---[ 268]---> BDD-cost: 129 0.58 c ---[ 266]---> BDD-cost: 129 0.58 c ---[ 264]---> BDD-cost: 129 0.58 c ---[ 262]---> BDD-cost: 109 0.59 c ---[ 260]---> BDD-cost: 129 0.59 c ---[ 258]---> BDD-cost: 129 0.59 c ---[ 256]---> BDD-cost: 129 0.59 c ---[ 254]---> BDD-cost: 129 0.59 c ---[ 252]---> BDD-cost: 129 0.59 c ---[ 250]---> BDD-cost: 129 0.59 c ---[ 248]---> BDD-cost: 129 0.59 c ---[ 246]---> BDD-cost: 129 0.59 c ---[ 244]---> BDD-cost: 129 0.59 c ---[ 242]---> BDD-cost: 129 0.59 c ---[ 240]---> BDD-cost: 129 0.59 c ---[ 238]---> BDD-cost: 109 0.60 c ---[ 236]---> BDD-cost: 129 0.60 c ---[ 234]---> BDD-cost: 129 0.60 c ---[ 232]---> BDD-cost: 129 0.60 c ---[ 230]---> BDD-cost: 129 0.60 c ---[ 228]---> BDD-cost: 129 0.60 c ---[ 226]---> BDD-cost: 129 0.60 c ---[ 224]---> BDD-cost: 129 0.60 c ---[ 222]---> BDD-cost: 129 0.60 c ---[ 220]---> BDD-cost: 129 0.60 c ---[ 218]---> BDD-cost: 129 0.60 c ---[ 216]---> BDD-cost: 129 0.61 c ---[ 214]---> BDD-cost: 109 0.61 c ---[ 212]---> BDD-cost: 129 0.61 c ---[ 210]---> BDD-cost: 129 0.61 c ---[ 208]---> BDD-cost: 129 0.61 c ---[ 206]---> BDD-cost: 129 0.61 c ---[ 204]---> BDD-cost: 129 0.61 c ---[ 202]---> BDD-cost: 129 0.61 c ---[ 200]---> BDD-cost: 129 0.61 c ---[ 198]---> BDD-cost: 129 0.61 c ---[ 196]---> BDD-cost: 129 0.61 c ---[ 194]---> BDD-cost: 129 0.61 c ---[ 192]---> BDD-cost: 129 0.62 c ---[ 190]---> BDD-cost: 109 0.62 c ---[ 188]---> BDD-cost: 129 0.62 c ---[ 186]---> BDD-cost: 129 0.62 c ---[ 184]---> BDD-cost: 129 0.62 c ---[ 182]---> BDD-cost: 129 0.62 c ---[ 180]---> BDD-cost: 129 0.62 c ---[ 178]---> BDD-cost: 129 0.62 c ---[ 176]---> BDD-cost: 129 0.62 c ---[ 174]---> BDD-cost: 129 0.62 c ---[ 172]---> BDD-cost: 129 0.62 c ---[ 170]---> BDD-cost: 129 0.62 c ---[ 168]---> BDD-cost: 129 0.63 c ---[ 166]---> BDD-cost: 109 0.63 c ---[ 164]---> BDD-cost: 129 0.63 c ---[ 162]---> BDD-cost: 129 0.63 c ---[ 160]---> BDD-cost: 129 0.63 c ---[ 158]---> BDD-cost: 129 0.63 c ---[ 156]---> BDD-cost: 129 0.63 c ---[ 154]---> BDD-cost: 129 0.63 c ---[ 152]---> BDD-cost: 129 0.63 c ---[ 150]---> BDD-cost: 129 0.63 c ---[ 148]---> BDD-cost: 129 0.63 c ---[ 146]---> BDD-cost: 129 0.64 c ---[ 144]---> BDD-cost: 129 0.64 c ---[ 142]---> BDD-cost: 109 0.64 c ---[ 140]---> BDD-cost: 129 0.64 c ---[ 138]---> BDD-cost: 129 0.64 c ---[ 136]---> BDD-cost: 129 0.64 c ---[ 134]---> BDD-cost: 129 0.64 c ---[ 132]---> BDD-cost: 129 0.64 c ---[ 130]---> BDD-cost: 129 0.64 c ---[ 128]---> BDD-cost: 129 0.64 c ---[ 126]---> BDD-cost: 129 0.64 c ---[ 124]---> BDD-cost: 129 0.64 c ---[ 122]---> BDD-cost: 129 0.65 c ---[ 120]---> BDD-cost: 129 0.65 c ---[ 118]---> BDD-cost: 109 0.65 c ---[ 116]---> BDD-cost: 129 0.65 c ---[ 114]---> BDD-cost: 129 0.65 c ---[ 112]---> BDD-cost: 129 0.65 c ---[ 110]---> BDD-cost: 129 0.65 c ---[ 108]---> BDD-cost: 129 0.65 c ---[ 106]---> BDD-cost: 129 0.65 c ---[ 104]---> BDD-cost: 129 0.65 c ---[ 102]---> BDD-cost: 129 0.65 c ---[ 100]---> BDD-cost: 129 0.65 c ---[ 98]---> BDD-cost: 129 0.66 c ---[ 96]---> BDD-cost: 129 0.66 c ---[ 94]---> BDD-cost: 109 0.66 c ---[ 92]---> BDD-cost: 129 0.66 c ---[ 90]---> BDD-cost: 129 0.66 c ---[ 88]---> BDD-cost: 129 0.66 c ---[ 86]---> BDD-cost: 129 0.66 c ---[ 84]---> BDD-cost: 129 0.66 c ---[ 82]---> BDD-cost: 129 0.66 c ---[ 80]---> BDD-cost: 129 0.66 c ---[ 78]---> BDD-cost: 129 0.66 c ---[ 76]---> BDD-cost: 129 0.67 c ---[ 74]---> BDD-cost: 129 0.67 c ---[ 72]---> BDD-cost: 129 0.67 c ---[ 71]---> BDD-cost: 346 0.68 c ---[ 70]---> BDD-cost: 346 0.68 c ---[ 69]---> BDD-cost: 346 0.69 c ---[ 68]---> BDD-cost: 346 0.70 c ---[ 67]---> BDD-cost: 346 0.71 c ---[ 66]---> BDD-cost: 346 0.72 c ---[ 65]---> BDD-cost: 346 0.73 c ---[ 64]---> BDD-cost: 346 0.73 c ---[ 63]---> BDD-cost: 346 0.74 c ---[ 62]---> BDD-cost: 346 0.75 c ---[ 61]---> BDD-cost: 346 0.76 c ---[ 60]---> BDD-cost: 346 0.77 c ---[ 59]---> BDD-cost: 346 0.78 c ---[ 58]---> BDD-cost: 356 0.79 c ---[ 57]---> BDD-cost: 356 0.79 c ---[ 56]---> BDD-cost: 356 0.80 c ---[ 55]---> BDD-cost: 356 0.81 c ---[ 54]---> BDD-cost: 356 0.82 c ---[ 53]---> BDD-cost: 356 0.83 c ---[ 52]---> BDD-cost: 356 0.84 c ---[ 51]---> BDD-cost: 356 0.84 c ---[ 50]---> BDD-cost: 356 0.85 c ---[ 49]---> BDD-cost: 356 0.86 c ---[ 48]---> BDD-cost: 356 0.88 c ---[ 47]---> BDD-cost: 346 0.88 c ---[ 46]---> BDD-cost: 356 0.89 c ---[ 45]---> BDD-cost: 356 0.90 c ---[ 44]---> BDD-cost: 356 0.91 c ---[ 43]---> BDD-cost: 356 0.92 c ---[ 42]---> BDD-cost: 356 0.93 c ---[ 41]---> BDD-cost: 356 0.93 c ---[ 40]---> BDD-cost: 356 0.94 c ---[ 39]---> BDD-cost: 356 0.95 c ---[ 38]---> BDD-cost: 356 0.96 c ---[ 37]---> BDD-cost: 356 0.97 c ---[ 36]---> BDD-cost: 356 0.98 c ---[ 35]---> BDD-cost: 346 0.99 c ---[ 34]---> BDD-cost: 356 0.99 c ---[ 33]---> BDD-cost: 356 1.00 c ---[ 32]---> BDD-cost: 356 1.01 c ---[ 31]---> BDD-cost: 356 1.02 c ---[ 30]---> BDD-cost: 356 1.03 c ---[ 29]---> BDD-cost: 356 1.04 c ---[ 28]---> BDD-cost: 356 1.05 c ---[ 27]---> BDD-cost: 356 1.05 c ---[ 26]---> BDD-cost: 356 1.06 c ---[ 25]---> BDD-cost: 356 1.07 c ---[ 24]---> BDD-cost: 356 1.08 c ---[ 23]---> BDD-cost: 346 1.09 c ---[ 22]---> BDD-cost: 356 1.10 c ---[ 21]---> BDD-cost: 356 1.10 c ---[ 20]---> BDD-cost: 356 1.11 c ---[ 19]---> BDD-cost: 356 1.12 c ---[ 18]---> BDD-cost: 356 1.13 c ---[ 17]---> BDD-cost: 356 1.14 c ---[ 16]---> BDD-cost: 356 1.15 c ---[ 15]---> BDD-cost: 356 1.15 c ---[ 14]---> BDD-cost: 356 1.16 c ---[ 13]---> BDD-cost: 356 1.17 c ---[ 12]---> BDD-cost: 356 1.18 c ---[ 11]---> BDD-cost: 346 1.19 c ---[ 10]---> BDD-cost: 356 1.20 c ---[ 9]---> BDD-cost: 356 1.21 c ---[ 8]---> BDD-cost: 356 1.21 c ---[ 7]---> BDD-cost: 356 1.22 c ---[ 6]---> BDD-cost: 356 1.23 c ---[ 5]---> BDD-cost: 356 1.24 c ---[ 4]---> BDD-cost: 356 1.25 c ---[ 3]---> BDD-cost: 356 1.26 c ---[ 2]---> BDD-cost: 356 1.27 c ---[ 1]---> BDD-cost: 356 1.27 c ---[ 0]---> BDD-cost: 356 1.39 c ==================================[MINISAT+]================================== 1.39 c | Conflicts | Original | Learnt | Progress | 1.39 c | | Clauses Literals | Max Clauses Literals LPC | | 1.39 c ============================================================================== 1.39 c | 0 | 152241 406499 | 50747 0 0 nan | 0.000 % | 1.43 c | 101 | 152241 406499 | 55821 101 7514 74.4 | 0.528 % | 1.56 c | 251 | 152241 406499 | 61403 251 21415 85.3 | 0.528 % | 1.66 c | 476 | 152241 406499 | 67544 476 24613 51.7 | 0.528 % | 1.88 c | 815 | 152241 406499 | 74298 815 67278 82.5 | 0.528 % | 2.00 c | 1325 | 152241 406499 | 81728 1325 84714 63.9 | 0.528 % | 3.01 c | 2084 | 152241 406499 | 89901 2084 296747 142.4 | 0.528 % | 4.38 c | 3224 | 152241 406499 | 98891 3224 554262 171.9 | 0.528 % | 5.50 c | 4932 | 152241 406499 | 108780 4932 844979 171.3 | 0.528 % | 12.75 c | 7494 | 152241 406499 | 119658 7494 2703984 360.8 | 0.528 % | 21.07 c | 11339 | 152241 406499 | 131624 11339 4666152 411.5 | 0.528 % | 31.88 c | 17107 | 152241 406499 | 144787 17107 6893648 403.0 | 0.528 % | 42.88 c | 25758 | 152241 406499 | 159265 25758 9390108 364.6 | 0.528 % | 91.65 c | 38732 | 152241 406499 | 175192 38732 19532355 504.3 | 0.528 % | 166.24 c | 58196 | 152241 406499 | 192711 58196 33458800 574.9 | 0.528 % | 271.84 c ============================================================================== 271.84 c [1mSATISFIABLE: No goal function specified.[0m 271.84 s SATISFIABLE 271.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 271.84 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 271.84 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 271.84 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 271.84 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 271.84 v x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 271.84 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 271.84 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 271.84 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 271.84 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 271.84 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 271.84 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 271.84 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 271.84 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 271.84 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 271.84 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 271.84 v -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 271.84 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 271.84 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 271.84 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 271.84 v x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 271.84 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 271.84 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 271.84 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 271.84 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 271.84 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 271.84 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 271.84 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 271.84 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 271.84 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 271.84 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 271.84 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 271.84 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 271.84 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 271.84 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 271.84 v -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 271.84 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 271.84 v -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 271.84 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 271.84 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 271.84 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 271.84 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 271.84 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 271.84 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 271.84 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 271.84 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 271.84 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 271.84 v -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 271.84 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 271.84 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 271.84 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 271.84 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 271.84 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 271.84 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 271.84 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 271.84 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 271.84 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 271.84 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 271.84 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 271.84 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 271.84 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 271.84 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 271.84 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 271.84 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 271.84 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 271.84 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 271.84 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 271.84 v -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 271.84 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 271.84 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 271.84 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 271.84 v -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 271.84 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 271.84 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 271.84 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 271.84 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 271.84 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 271.84 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 271.84 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 271.84 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 271.84 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 271.84 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 271.84 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 271.84 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 271.84 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 271.84 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 271.84 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 271.84 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 271.84 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 271.84 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 271.84 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 271.84 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 271.84 v -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 271.84 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 271.84 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 271.84 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 271.84 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 271.84 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 271.84 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 271.84 v -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 271.84 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 271.84 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 271.84 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 271.84 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 271.84 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 271.84 v x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 271.84 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 271.84 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 271.84 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 271.84 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 271.84 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 271.84 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 271.84 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 271.84 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 271.84 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 271.84 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 271.84 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 271.84 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 271.84 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 271.84 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 271.84 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 271.84 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 271.84 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 271.84 v -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 271.84 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 271.84 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 271.84 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 271.84 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 271.84 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 271.84 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 271.84 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 271.84 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 271.84 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 271.84 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 271.84 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 271.84 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 271.84 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 271.84 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 271.84 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 271.84 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 271.84 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 271.84 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 271.84 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 271.84 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 271.84 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 271.84 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 271.84 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 271.84 v -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 271.84 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 271.84 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 271.84 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 271.84 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 271.84 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 271.84 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 271.84 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 271.84 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 271.84 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 271.84 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 271.84 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 271.84 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 271.84 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 271.84 v -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 271.84 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 271.84 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 271.84 v x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 271.84 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 271.84 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 271.84 v -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 271.84 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 271.84 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 271.84 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 271.84 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 271.84 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 271.84 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 271.84 v -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 271.84 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 271.84 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 271.84 v -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 271.84 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 271.84 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 271.84 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 271.84 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 271.84 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 271.84 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 271.84 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 271.84 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 271.84 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 271.84 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 271.84 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 271.84 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 271.84 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 271.84 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 271.84 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 271.84 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 271.84 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 271.84 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 271.84 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 271.84 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 271.84 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 271.84 v -x3590 -x3591 -x3592 -x3593 x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 271.84 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 271.84 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 271.84 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 271.84 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 271.84 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 271.84 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 271.84 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 271.84 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 271.84 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 271.84 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 271.84 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 271.84 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 271.84 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 271.84 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 271.84 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 271.84 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 271.84 v -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 271.84 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 -x3909 -x3910 -x3911 -x3912 271.84 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 271.84 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 271.84 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 271.84 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 271.84 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 271.84 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 271.84 v x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 271.84 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 271.84 v x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 271.84 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 271.84 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 271.84 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 271.84 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 271.84 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 271.84 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 271.84 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 271.84 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 271.84 v -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 271.84 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 271.84 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 271.84 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 271.84 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 271.84 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 271.84 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 271.84 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 271.84 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 271.84 v -x4355 -x4356 271.84 c _______________________________________________________________________________ 271.84 c 271.84 c restarts : 15 271.84 c conflicts : 82993 (306 /sec) 271.84 c decisions : 297795 (1097 /sec) 271.84 c propagations : 0 (0 /sec) 271.84 c inspects : 0 (0 /sec) 271.84 c CPU time : 271.356 s 271.84 c _______________________________________________________________________________
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node82/watcher-34519-1149204802 -o ROOT/results/node82/solver-34519-1149204802 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/34519-1149204802/instance-34519-1149204802.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.01 0.18 2/68 8543 /proc/meminfo: memFree=1197560/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=1044 CPUtime=0 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 83 0 0 0 0 0 0 0 18 0 1 0 177669522 1069056 69 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134992978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 262 70 58 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.15 0.04 0.19 2/68 8543 /proc/meminfo: memFree=1174520/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=25712 CPUtime=9.98 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 6053 0 0 0 995 3 0 0 25 0 1 0 177669522 26329088 5899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 6428 5899 106 215 0 6210 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 25712 [startup+20.0078 s] /proc/loadavg: 0.28 0.07 0.19 2/68 8543 /proc/meminfo: memFree=1164792/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=35288 CPUtime=19.98 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 8478 0 0 0 1993 5 0 0 25 0 1 0 177669522 36134912 8324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 8822 8324 106 215 0 8604 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 35288 [startup+30.0137 s] /proc/loadavg: 0.39 0.10 0.20 2/68 8543 /proc/meminfo: memFree=1156216/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=43796 CPUtime=29.98 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 10605 0 0 0 2992 6 0 0 25 0 1 0 177669522 44847104 10451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 10949 10451 106 215 0 10731 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 43796 [startup+40.0206 s] /proc/loadavg: 0.49 0.13 0.21 2/68 8543 /proc/meminfo: memFree=1146680/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=53316 CPUtime=39.99 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 12978 0 0 0 3991 8 0 0 25 0 1 0 177669522 54595584 12824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 13329 12824 106 215 0 13111 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 53316 [startup+50.0275 s] /proc/loadavg: 0.56 0.16 0.22 2/68 8543 /proc/meminfo: memFree=1137464/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=62628 CPUtime=49.99 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 15283 0 0 0 4990 9 0 0 25 0 1 0 177669522 64131072 15129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 15657 15129 106 215 0 15439 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 62628 [startup+60.0334 s] /proc/loadavg: 0.63 0.19 0.22 2/68 8543 /proc/meminfo: memFree=1128440/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=71668 CPUtime=59.99 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 17536 0 0 0 5989 10 0 0 25 0 1 0 177669522 73388032 17382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574091 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 17917 17382 106 215 0 17699 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 71668 [startup+70.0393 s] /proc/loadavg: 0.69 0.21 0.23 2/68 8543 /proc/meminfo: memFree=1120120/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=79864 CPUtime=70 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 19610 0 0 0 6988 12 0 0 25 0 1 0 177669522 81780736 19456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 19966 19456 106 215 0 19748 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 79864 [startup+80.0461 s] /proc/loadavg: 0.73 0.24 0.24 2/68 8543 /proc/meminfo: memFree=1112376/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=87620 CPUtime=80 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 21539 0 0 0 7986 14 0 0 25 0 1 0 177669522 89722880 21385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 21905 21385 106 215 0 21687 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 87620 [startup+90.052 s] /proc/loadavg: 0.77 0.26 0.25 2/68 8543 /proc/meminfo: memFree=1104888/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=95004 CPUtime=90 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 23405 0 0 0 8985 15 0 0 25 0 1 0 177669522 97284096 23251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 23751 23251 106 215 0 23533 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 95004 [startup+100.058 s] /proc/loadavg: 0.81 0.29 0.26 2/68 8543 /proc/meminfo: memFree=1097208/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=102760 CPUtime=100 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 25327 0 0 0 9983 17 0 0 25 0 1 0 177669522 105226240 25173 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 25690 25173 106 215 0 25472 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 102760 [startup+110.065 s] /proc/loadavg: 0.84 0.31 0.26 2/68 8543 /proc/meminfo: memFree=1089016/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=110980 CPUtime=110.01 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 27369 0 0 0 10983 18 0 0 25 0 1 0 177669522 113643520 27215 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 27745 27215 106 215 0 27527 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 110980 [startup+120.071 s] /proc/loadavg: 0.86 0.33 0.27 2/68 8543 /proc/meminfo: memFree=1080760/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=119208 CPUtime=120.01 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 29428 0 0 0 11981 20 0 0 25 0 1 0 177669522 122068992 29274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 29802 29274 106 215 0 29584 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 119208 [startup+130.077 s] /proc/loadavg: 0.88 0.35 0.28 2/68 8543 /proc/meminfo: memFree=1073080/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=126912 CPUtime=130.01 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 31338 0 0 0 12979 22 0 0 25 0 1 0 177669522 129957888 31184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 31728 31184 106 215 0 31510 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 126912 [startup+140.084 s] /proc/loadavg: 0.90 0.37 0.29 2/68 8543 /proc/meminfo: memFree=1065272/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=134612 CPUtime=140.02 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 33281 0 0 0 13979 23 0 0 25 0 1 0 177669522 137842688 33127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 33653 33127 106 215 0 33435 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 134612 [startup+150.089 s] /proc/loadavg: 0.92 0.39 0.29 2/68 8543 /proc/meminfo: memFree=1057848/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=142036 CPUtime=150.02 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 35138 0 0 0 14979 23 0 0 25 0 1 0 177669522 145444864 34984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578830 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 35509 34984 106 215 0 35291 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 142036 [startup+160.095 s] /proc/loadavg: 0.93 0.41 0.30 2/68 8543 /proc/meminfo: memFree=1050936/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=148928 CPUtime=160.02 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 36867 0 0 0 15977 25 0 0 25 0 1 0 177669522 152502272 36713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 37232 36713 106 215 0 37014 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 148928 [startup+170.101 s] /proc/loadavg: 0.94 0.43 0.31 2/68 8543 /proc/meminfo: memFree=1045176/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=154764 CPUtime=170.02 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 38315 0 0 0 16976 26 0 0 25 0 1 0 177669522 158478336 38161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 38691 38161 106 215 0 38473 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 154764 [startup+180.107 s] /proc/loadavg: 0.95 0.45 0.31 2/68 8543 /proc/meminfo: memFree=1037560/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=162436 CPUtime=180.02 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 40216 0 0 0 17975 27 0 0 25 0 1 0 177669522 166334464 40062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574130 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 40609 40062 106 215 0 40391 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 162436 [startup+190.113 s] /proc/loadavg: 0.95 0.47 0.32 2/68 8543 /proc/meminfo: memFree=1029880/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=170028 CPUtime=190.03 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 42131 0 0 0 18974 29 0 0 25 0 1 0 177669522 174108672 41977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 42507 41977 106 215 0 42289 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 170028 [startup+200.119 s] /proc/loadavg: 0.96 0.49 0.33 2/68 8543 /proc/meminfo: memFree=1023032/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=176900 CPUtime=200.03 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 43836 0 0 0 19974 29 0 0 25 0 1 0 177669522 181145600 43682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 44225 43682 106 215 0 44007 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 176900 [startup+210.125 s] /proc/loadavg: 0.97 0.50 0.33 2/68 8543 /proc/meminfo: memFree=1015096/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=184832 CPUtime=210.04 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 45819 0 0 0 20973 31 0 0 25 0 1 0 177669522 189267968 45665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 46208 45665 106 215 0 45990 0 Current children cumulated CPU time (s) 210.04 Current children cumulated vsize (Kb) 184832 [startup+220.131 s] /proc/loadavg: 0.97 0.52 0.34 2/68 8543 /proc/meminfo: memFree=1007288/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=192632 CPUtime=220.04 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 47766 0 0 0 21972 32 0 0 25 0 1 0 177669522 197255168 47612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 48158 47612 106 215 0 47940 0 Current children cumulated CPU time (s) 220.04 Current children cumulated vsize (Kb) 192632 [startup+230.137 s] /proc/loadavg: 0.98 0.53 0.35 2/68 8543 /proc/meminfo: memFree=999416/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=200452 CPUtime=230.04 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 49723 0 0 0 22971 33 0 0 25 0 1 0 177669522 205262848 49569 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 50113 49569 106 215 0 49895 0 Current children cumulated CPU time (s) 230.04 Current children cumulated vsize (Kb) 200452 [startup+240.143 s] /proc/loadavg: 0.98 0.55 0.35 2/68 8543 /proc/meminfo: memFree=991608/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=208244 CPUtime=240.04 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 51673 0 0 0 23970 34 0 0 25 0 1 0 177669522 213241856 51519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 52061 51519 106 215 0 51843 0 Current children cumulated CPU time (s) 240.04 Current children cumulated vsize (Kb) 208244 [startup+250.148 s] /proc/loadavg: 0.98 0.56 0.36 2/68 8543 /proc/meminfo: memFree=983864/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=215968 CPUtime=250.05 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 53610 0 0 0 24970 35 0 0 25 0 1 0 177669522 221151232 53456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 53992 53456 106 215 0 53774 0 Current children cumulated CPU time (s) 250.05 Current children cumulated vsize (Kb) 215968 [startup+260.154 s] /proc/loadavg: 0.98 0.58 0.37 2/68 8543 /proc/meminfo: memFree=975800/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=223972 CPUtime=260.05 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 55616 0 0 0 25969 36 0 0 25 0 1 0 177669522 229347328 55462 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 55993 55462 106 215 0 55775 0 Current children cumulated CPU time (s) 260.05 Current children cumulated vsize (Kb) 223972 [startup+270.16 s] /proc/loadavg: 0.99 0.59 0.37 2/68 8543 /proc/meminfo: memFree=968440/2055892 swapFree=4087504/4096564 [pid=8543] ppid=8541 vsize=231236 CPUtime=270.05 /proc/8543/stat : 8543 (minisat+) R 8541 8543 8498 0 -1 4194304 57456 0 0 0 26967 38 0 0 25 0 1 0 177669522 236785664 57302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574559 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8543/statm: 57809 57302 106 215 0 57591 0 Current children cumulated CPU time (s) 270.05 Current children cumulated vsize (Kb) 231236 Child status: 10 Real time (s): 271.887 CPU time (s): 271.778 CPU user time (s): 271.361 CPU system time (s): 0.416936 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (Kb): 231236
Begin job on node82 on Thu Jun 1 23:33:22 UTC 2006 FILE ID= 34519-1149204802 PBS_JOBID= 292944 BENCH NAME= ROOT/tmp/node82/34519-1149204802/instance-34519-1149204802.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/34519-1149204802/instance-34519-1149204802.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-34519-1149204802 -o ROOT/results/node82/solver-34519-1149204802 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/34519-1149204802/instance-34519-1149204802.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 8ef9ab9b1b524024010be24ca1127d40 RANDOM SEED= 590044252 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1197768 kB Buffers: 43408 kB Cached: 737648 kB SwapCached: 2848 kB Active: 114608 kB Inactive: 675256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1197768 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 264 kB Writeback: 0 kB Mapped: 14532 kB Slab: 54556 kB Committed_AS: 172524 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Thu Jun 1 23:37:54 UTC 2006