Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 39438098 | 1800.09 | 1800.54 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 291088d217a1998c91be99350439e903 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5965824 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5965824 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
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/0.00 c Parsing PB file... 0.30/0.37 c Converting 318 PB-constraints to clauses... 0.30/0.38 c -- Unit propagations: (none) 0.59/0.66 c -- Detecting intervals from adjacent constraints: ################################# 0.59/0.66 c -- Clauses(.)/Splits(s): (none) 0.59/0.66 c ---[ 316]---> Adder-cost: 548 maxlim: 356331 bits: 19/19 0.69/0.71 c ---[ 314]---> Adder-cost: 548 maxlim: 361451 bits: 19/19 0.69/0.76 c ---[ 312]---> Adder-cost: 554 maxlim: 446443 bits: 19/19 0.79/0.80 c ---[ 310]---> Adder-cost: 548 maxlim: 355307 bits: 19/19 0.79/0.85 c ---[ 308]---> Adder-cost: 548 maxlim: 349163 bits: 19/19 0.79/0.89 c ---[ 306]---> Adder-cost: 548 maxlim: 350187 bits: 19/19 0.89/0.94 c ---[ 304]---> Adder-cost: 548 maxlim: 354283 bits: 19/19 0.89/0.98 c ---[ 302]---> Adder-cost: 532 maxlim: 235499 bits: 18/18 0.99/1.03 c ---[ 300]---> Adder-cost: 548 maxlim: 357355 bits: 19/19 0.99/1.07 c ---[ 298]---> Adder-cost: 548 maxlim: 360427 bits: 19/19 1.09/1.12 c ---[ 296]---> Adder-cost: 554 maxlim: 414699 bits: 19/19 1.09/1.17 c ---[ 294]---> Adder-cost: 532 maxlim: 236523 bits: 18/18 1.19/1.21 c ---[ 292]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.19/1.23 c ---[ 290]---> Adder-cost: 308 maxlim: 188404 bits: 18/18 1.19/1.25 c ---[ 288]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 1.19/1.27 c ---[ 286]---> Adder-cost: 328 maxlim: 338932 bits: 19/19 1.29/1.30 c ---[ 284]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.29/1.32 c ---[ 282]---> Adder-cost: 328 maxlim: 330740 bits: 19/19 1.29/1.35 c ---[ 280]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 1.29/1.37 c ---[ 278]---> Adder-cost: 332 maxlim: 374772 bits: 19/19 1.39/1.40 c ---[ 276]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 1.39/1.43 c ---[ 274]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 1.39/1.45 c ---[ 272]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 1.39/1.48 c ---[ 270]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 1.49/1.50 c ---[ 268]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.49/1.52 c ---[ 266]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 1.49/1.55 c ---[ 264]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 1.49/1.57 c ---[ 262]---> Adder-cost: 328 maxlim: 340980 bits: 19/19 1.59/1.60 c ---[ 260]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 1.59/1.63 c ---[ 258]---> Adder-cost: 308 maxlim: 181236 bits: 18/18 1.59/1.65 c ---[ 256]---> Adder-cost: 332 maxlim: 387060 bits: 19/19 1.59/1.68 c ---[ 254]---> Adder-cost: 332 maxlim: 393204 bits: 19/19 1.69/1.71 c ---[ 252]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 1.69/1.74 c ---[ 251]---> BDD-cost: 13 1.69/1.74 c ---[ 250]---> BDD-cost: 15 1.69/1.74 c ---[ 249]---> BDD-cost: 14 1.69/1.74 c ---[ 248]---> BDD-cost: 18 1.69/1.74 c ---[ 247]---> BDD-cost: 16 1.69/1.74 c ---[ 246]---> BDD-cost: 19 1.69/1.74 c ---[ 245]---> BDD-cost: 16 1.69/1.74 c ---[ 244]---> BDD-cost: 19 1.69/1.74 c ---[ 243]---> BDD-cost: 13 1.69/1.74 c ---[ 242]---> BDD-cost: 15 1.69/1.74 c ---[ 241]---> BDD-cost: 13 1.69/1.74 c ---[ 240]---> BDD-cost: 14 1.69/1.74 c ---[ 239]---> BDD-cost: 17 1.69/1.74 c ---[ 238]---> BDD-cost: 20 1.69/1.74 c ---[ 237]---> BDD-cost: 16 1.69/1.74 c ---[ 236]---> BDD-cost: 17 1.69/1.74 c ---[ 235]---> BDD-cost: 17 1.69/1.74 c ---[ 234]---> BDD-cost: 17 1.69/1.74 c ---[ 233]---> BDD-cost: 18 1.69/1.74 c ---[ 232]---> BDD-cost: 14 1.69/1.74 c ---[ 231]---> BDD-cost: 17 1.69/1.74 c ---[ 230]---> BDD-cost: 13 1.69/1.74 c ---[ 229]---> BDD-cost: 17 1.69/1.74 c ---[ 228]---> BDD-cost: 16 1.69/1.74 c ---[ 227]---> BDD-cost: 13 1.69/1.74 c ---[ 226]---> BDD-cost: 17 1.69/1.74 c ---[ 225]---> BDD-cost: 18 1.69/1.74 c ---[ 224]---> BDD-cost: 16 1.69/1.74 c ---[ 223]---> BDD-cost: 17 1.69/1.74 c ---[ 222]---> BDD-cost: 16 1.69/1.75 c ---[ 221]---> BDD-cost: 17 1.69/1.75 c ---[ 220]---> BDD-cost: 13 1.69/1.75 c ---[ 219]---> BDD-cost: 15 1.69/1.75 c ---[ 218]---> BDD-cost: 13 1.69/1.75 c ---[ 217]---> BDD-cost: 14 1.69/1.75 c ---[ 216]---> BDD-cost: 17 1.69/1.75 c ---[ 215]---> BDD-cost: 20 1.69/1.75 c ---[ 214]---> BDD-cost: 16 1.69/1.75 c ---[ 213]---> BDD-cost: 18 1.69/1.75 c ---[ 212]---> BDD-cost: 20 1.69/1.75 c ---[ 211]---> BDD-cost: 20 1.69/1.75 c ---[ 210]---> BDD-cost: 18 1.69/1.75 c ---[ 209]---> BDD-cost: 14 1.69/1.75 c ---[ 208]---> BDD-cost: 20 1.69/1.75 c ---[ 207]---> BDD-cost: 13 1.69/1.75 c ---[ 206]---> BDD-cost: 20 1.69/1.75 c ---[ 205]---> BDD-cost: 16 1.69/1.75 c ---[ 204]---> BDD-cost: 16 1.69/1.75 c ---[ 203]---> BDD-cost: 20 1.69/1.75 c ---[ 202]---> BDD-cost: 18 1.69/1.75 c ---[ 201]---> BDD-cost: 16 1.69/1.75 c ---[ 200]---> BDD-cost: 20 1.69/1.75 c ---[ 199]---> BDD-cost: 16 1.69/1.75 c ---[ 198]---> BDD-cost: 20 1.69/1.75 c ---[ 197]---> BDD-cost: 13 1.69/1.75 c ---[ 196]---> BDD-cost: 15 1.69/1.75 c ---[ 195]---> BDD-cost: 13 1.69/1.75 c ---[ 194]---> BDD-cost: 17 1.69/1.75 c ---[ 193]---> BDD-cost: 14 1.69/1.75 c ---[ 192]---> BDD-cost: 20 1.69/1.75 c ---[ 191]---> BDD-cost: 16 1.69/1.75 c ---[ 190]---> BDD-cost: 18 1.69/1.75 c ---[ 189]---> BDD-cost: 18 1.69/1.75 c ---[ 188]---> BDD-cost: 18 1.69/1.75 c ---[ 187]---> BDD-cost: 18 1.69/1.75 c ---[ 186]---> BDD-cost: 14 1.69/1.75 c ---[ 185]---> BDD-cost: 18 1.69/1.75 c ---[ 184]---> BDD-cost: 13 1.69/1.75 c ---[ 183]---> BDD-cost: 18 1.69/1.75 c ---[ 182]---> BDD-cost: 18 1.69/1.75 c ---[ 181]---> BDD-cost: 16 1.69/1.75 c ---[ 180]---> BDD-cost: 18 1.69/1.75 c ---[ 179]---> BDD-cost: 18 1.69/1.75 c ---[ 178]---> BDD-cost: 16 1.69/1.75 c ---[ 177]---> BDD-cost: 18 1.69/1.75 c ---[ 176]---> BDD-cost: 16 1.69/1.75 c ---[ 175]---> BDD-cost: 18 1.69/1.75 c ---[ 174]---> BDD-cost: 13 1.69/1.75 c ---[ 173]---> BDD-cost: 15 1.69/1.75 c ---[ 172]---> BDD-cost: 16 1.69/1.76 c ---[ 171]---> BDD-cost: 13 1.69/1.76 c ---[ 170]---> BDD-cost: 14 1.69/1.76 c ---[ 169]---> BDD-cost: 20 1.69/1.76 c ---[ 168]---> BDD-cost: 16 1.69/1.76 c ---[ 167]---> BDD-cost: 18 1.69/1.76 c ---[ 166]---> BDD-cost: 21 1.69/1.76 c ---[ 165]---> BDD-cost: 17 1.69/1.76 c ---[ 164]---> BDD-cost: 18 1.69/1.76 c ---[ 163]---> BDD-cost: 14 1.69/1.76 c ---[ 162]---> BDD-cost: 20 1.69/1.76 c ---[ 161]---> BDD-cost: 17 1.69/1.76 c ---[ 160]---> BDD-cost: 13 1.69/1.76 c ---[ 159]---> BDD-cost: 20 1.69/1.76 c ---[ 158]---> BDD-cost: 16 1.69/1.76 c ---[ 157]---> BDD-cost: 21 1.69/1.76 c ---[ 156]---> BDD-cost: 18 1.69/1.76 c ---[ 155]---> BDD-cost: 16 1.69/1.76 c ---[ 154]---> BDD-cost: 20 1.69/1.76 c ---[ 153]---> BDD-cost: 16 1.69/1.76 c ---[ 152]---> BDD-cost: 20 1.69/1.76 c ---[ 151]---> BDD-cost: 13 1.69/1.76 c ---[ 150]---> BDD-cost: 16 1.69/1.76 c ---[ 149]---> BDD-cost: 15 1.69/1.76 c ---[ 148]---> BDD-cost: 13 1.69/1.76 c ---[ 147]---> BDD-cost: 14 1.69/1.76 c ---[ 146]---> BDD-cost: 18 1.69/1.76 c ---[ 145]---> BDD-cost: 16 1.69/1.76 c ---[ 144]---> BDD-cost: 18 1.69/1.76 c ---[ 143]---> BDD-cost: 18 1.69/1.76 c ---[ 142]---> BDD-cost: 18 1.69/1.76 c ---[ 141]---> BDD-cost: 18 1.69/1.76 c ---[ 140]---> BDD-cost: 14 1.69/1.76 c ---[ 139]---> BDD-cost: 13 1.69/1.76 c ---[ 138]---> BDD-cost: 17 1.69/1.76 c ---[ 137]---> BDD-cost: 18 1.69/1.76 c ---[ 136]---> BDD-cost: 13 1.69/1.76 c ---[ 135]---> BDD-cost: 18 1.69/1.76 c ---[ 134]---> BDD-cost: 16 1.69/1.76 c ---[ 133]---> BDD-cost: 18 1.69/1.76 c ---[ 132]---> BDD-cost: 18 1.69/1.76 c ---[ 131]---> BDD-cost: 16 1.69/1.76 c ---[ 130]---> BDD-cost: 18 1.69/1.76 c ---[ 129]---> BDD-cost: 16 1.69/1.76 c ---[ 128]---> BDD-cost: 18 1.69/1.76 c ---[ 127]---> BDD-cost: 13 1.69/1.76 c ---[ 126]---> BDD-cost: 13 1.69/1.76 c ---[ 125]---> BDD-cost: 15 1.69/1.76 c ---[ 124]---> BDD-cost: 13 1.69/1.76 c ---[ 123]---> BDD-cost: 14 1.69/1.76 c ---[ 122]---> BDD-cost: 20 1.69/1.76 c ---[ 121]---> BDD-cost: 16 1.69/1.77 c ---[ 120]---> BDD-cost: 18 1.69/1.77 c ---[ 119]---> BDD-cost: 17 1.69/1.77 c ---[ 118]---> BDD-cost: 17 1.69/1.77 c ---[ 117]---> BDD-cost: 18 1.69/1.77 c ---[ 116]---> BDD-cost: 15 1.69/1.77 c ---[ 115]---> BDD-cost: 14 1.69/1.77 c ---[ 114]---> BDD-cost: 20 1.69/1.77 c ---[ 113]---> BDD-cost: 13 1.69/1.77 c ---[ 112]---> BDD-cost: 20 1.69/1.77 c ---[ 111]---> BDD-cost: 16 1.69/1.77 c ---[ 110]---> BDD-cost: 17 1.69/1.77 c ---[ 109]---> BDD-cost: 18 1.69/1.77 c ---[ 108]---> BDD-cost: 16 1.69/1.77 c ---[ 107]---> BDD-cost: 20 1.69/1.77 c ---[ 106]---> BDD-cost: 16 1.69/1.77 c ---[ 105]---> BDD-cost: 13 1.69/1.77 c ---[ 104]---> BDD-cost: 20 1.69/1.77 c ---[ 103]---> BDD-cost: 13 1.69/1.77 c ---[ 102]---> BDD-cost: 15 1.69/1.77 c ---[ 101]---> BDD-cost: 13 1.69/1.77 c ---[ 100]---> BDD-cost: 14 1.69/1.77 c ---[ 99]---> BDD-cost: 20 1.69/1.77 c ---[ 98]---> BDD-cost: 16 1.69/1.77 c ---[ 97]---> BDD-cost: 18 1.69/1.77 c ---[ 96]---> BDD-cost: 20 1.69/1.77 c ---[ 95]---> BDD-cost: 20 1.69/1.77 c ---[ 94]---> BDD-cost: 14 1.69/1.77 c ---[ 93]---> BDD-cost: 18 1.69/1.77 c ---[ 92]---> BDD-cost: 14 1.69/1.77 c ---[ 91]---> BDD-cost: 20 1.69/1.77 c ---[ 90]---> BDD-cost: 13 1.69/1.77 c ---[ 89]---> BDD-cost: 20 1.69/1.77 c ---[ 88]---> BDD-cost: 16 1.69/1.77 c ---[ 87]---> BDD-cost: 20 1.69/1.77 c ---[ 86]---> BDD-cost: 18 1.69/1.77 c ---[ 85]---> BDD-cost: 16 1.69/1.77 c ---[ 84]---> BDD-cost: 20 1.69/1.77 c ---[ 83]---> BDD-cost: 20 1.69/1.77 c ---[ 82]---> BDD-cost: 16 1.69/1.77 c ---[ 81]---> BDD-cost: 20 1.69/1.77 c ---[ 80]---> BDD-cost: 16 1.69/1.77 c ---[ 79]---> BDD-cost: 18 1.69/1.77 c ---[ 78]---> BDD-cost: 20 1.69/1.77 c ---[ 77]---> BDD-cost: 20 1.69/1.77 c ---[ 76]---> BDD-cost: 14 1.69/1.77 c ---[ 75]---> BDD-cost: 18 1.69/1.77 c ---[ 74]---> BDD-cost: 14 1.69/1.77 c ---[ 73]---> BDD-cost: 20 1.69/1.77 c ---[ 72]---> BDD-cost: 13 1.69/1.78 c ---[ 71]---> BDD-cost: 20 1.69/1.78 c ---[ 70]---> BDD-cost: 16 1.69/1.78 c ---[ 69]---> BDD-cost: 20 1.69/1.78 c ---[ 68]---> BDD-cost: 18 1.69/1.78 c ---[ 67]---> BDD-cost: 16 1.69/1.78 c ---[ 66]---> BDD-cost: 20 1.69/1.78 c ---[ 65]---> BDD-cost: 20 1.69/1.78 c ---[ 64]---> BDD-cost: 16 1.69/1.78 c ---[ 63]---> BDD-cost: 20 1.69/1.78 c ---[ 62]---> BDD-cost: 13 1.69/1.78 c ---[ 61]---> BDD-cost: 15 1.69/1.78 c ---[ 60]---> BDD-cost: 13 1.69/1.78 c ---[ 59]---> BDD-cost: 14 1.69/1.78 c ---[ 58]---> BDD-cost: 20 1.69/1.78 c ---[ 57]---> BDD-cost: 16 1.69/1.78 c ---[ 56]---> BDD-cost: 18 1.69/1.78 c ---[ 55]---> BDD-cost: 20 1.69/1.78 c ---[ 54]---> BDD-cost: 16 1.69/1.78 c ---[ 53]---> BDD-cost: 20 1.69/1.78 c ---[ 52]---> BDD-cost: 18 1.69/1.78 c ---[ 51]---> BDD-cost: 14 1.69/1.78 c ---[ 50]---> BDD-cost: 20 1.69/1.78 c ---[ 49]---> BDD-cost: 13 1.69/1.78 c ---[ 48]---> BDD-cost: 20 1.69/1.78 c ---[ 47]---> BDD-cost: 16 1.69/1.78 c ---[ 46]---> BDD-cost: 20 1.69/1.78 c ---[ 45]---> BDD-cost: 18 1.69/1.78 c ---[ 44]---> BDD-cost: 16 1.69/1.78 c ---[ 43]---> BDD-cost: 18 1.69/1.78 c ---[ 42]---> BDD-cost: 20 1.69/1.78 c ---[ 41]---> BDD-cost: 16 1.69/1.78 c ---[ 40]---> BDD-cost: 20 1.69/1.78 c ---[ 39]---> BDD-cost: 13 1.69/1.78 c ---[ 38]---> BDD-cost: 15 1.69/1.78 c ---[ 37]---> BDD-cost: 13 1.69/1.78 c ---[ 36]---> BDD-cost: 14 1.69/1.78 c ---[ 35]---> BDD-cost: 20 1.69/1.78 c ---[ 34]---> BDD-cost: 16 1.69/1.78 c ---[ 33]---> BDD-cost: 18 1.69/1.78 c ---[ 32]---> BDD-cost: 17 1.69/1.78 c ---[ 31]---> BDD-cost: 19 1.69/1.78 c ---[ 30]---> BDD-cost: 19 1.69/1.78 c ---[ 29]---> BDD-cost: 18 1.69/1.78 c ---[ 28]---> BDD-cost: 14 1.69/1.78 c ---[ 27]---> BDD-cost: 20 1.69/1.78 c ---[ 26]---> BDD-cost: 13 1.69/1.78 c ---[ 25]---> BDD-cost: 20 1.69/1.78 c ---[ 24]---> BDD-cost: 16 1.69/1.78 c ---[ 23]---> BDD-cost: 19 1.69/1.79 c ---[ 22]---> BDD-cost: 18 1.69/1.79 c ---[ 21]---> BDD-cost: 17 1.69/1.79 c ---[ 20]---> BDD-cost: 16 1.69/1.79 c ---[ 19]---> BDD-cost: 20 1.69/1.79 c ---[ 18]---> BDD-cost: 16 1.69/1.79 c ---[ 17]---> BDD-cost: 20 1.69/1.79 c ---[ 16]---> BDD-cost: 13 1.69/1.79 c ---[ 15]---> BDD-cost: 15 1.69/1.79 c ---[ 14]---> BDD-cost: 13 1.69/1.79 c ---[ 13]---> BDD-cost: 14 1.69/1.79 c ---[ 12]---> BDD-cost: 20 1.69/1.79 c ---[ 11]---> BDD-cost: 16 1.69/1.79 c ---[ 10]---> BDD-cost: 18 1.69/1.79 c ---[ 9]---> BDD-cost: 18 1.69/1.79 c ---[ 8]---> BDD-cost: 19 1.69/1.79 c ---[ 7]---> BDD-cost: 19 1.69/1.79 c ---[ 6]---> BDD-cost: 18 1.69/1.79 c ---[ 5]---> BDD-cost: 14 1.69/1.79 c ---[ 4]---> BDD-cost: 20 1.69/1.79 c ---[ 3]---> BDD-cost: 13 1.69/1.79 c ---[ 2]---> BDD-cost: 19 1.69/1.79 c ---[ 1]---> BDD-cost: 16 1.69/1.79 c ---[ 0]---> BDD-cost: 19 1.79/1.87 c ==================================[MINISAT+]================================== 1.79/1.87 c | Conflicts | Original | Learnt | Progress | 1.79/1.87 c | | Clauses Literals | Max Clauses Literals LPC | | 1.79/1.87 c ============================================================================== 1.79/1.87 c | 0 | 92041 320785 | 30680 0 0 nan | 0.000 % | 1.79/1.89 c | 100 | 92016 320696 | 33748 96 285 3.0 | 24.788 % | 1.89/1.98 c | 250 | 91833 320071 | 37122 228 748 3.3 | 24.935 % | 1.99/2.06 c | 475 | 91732 319720 | 40835 442 1453 3.3 | 25.010 % | 2.29/2.31 c | 812 | 91523 318995 | 44918 751 2422 3.2 | 25.170 % | 2.69/2.71 c | 1319 | 91292 318194 | 49410 1228 3919 3.2 | 25.343 % | 3.39/3.49 c | 2078 | 90925 316925 | 54351 1935 6148 3.2 | 25.614 % | 4.99/5.05 c | 3217 | 90519 315523 | 59786 3013 9973 3.3 | 25.911 % | 6.69/6.76 c | 4925 | 90266 314670 | 65765 4685 17820 3.8 | 26.102 % | 8.49/8.51 c | 7487 | 90134 314226 | 72341 7229 36729 5.1 | 26.208 % | 10.69/10.70 c | 11331 | 90071 314017 | 79576 11063 63517 5.7 | 26.257 % | 13.09/13.15 c | 17097 | 90031 313887 | 87533 16824 121353 7.2 | 26.288 % | 17.49/17.56 c | 25747 | 89950 313612 | 96286 25463 197479 7.8 | 26.350 % | 21.09/21.14 c | 38721 | 89903 313459 | 105915 38427 579571 15.1 | 26.386 % | 27.58/27.68 c | 58182 | 89831 313211 | 116507 57880 993219 17.2 | 26.448 % | 35.58/35.65 c | 87374 | 89768 313000 | 128157 87065 2945483 33.8 | 26.506 % | 48.08/48.10 c | 131163 | 89745 312925 | 140973 130851 7506718 57.4 | 26.523 % | 77.37/77.48 c | 196849 | 89519 312159 | 155071 68298 2245227 32.9 | 26.705 % | 107.37/107.43 c | 295376 | 89439 311891 | 170578 27039 1268265 46.9 | 26.772 % | 160.55/160.64 c | 443165 | 89190 311082 | 187636 174793 6208804 35.5 | 26.985 % | 279.23/279.40 c | 664848 | 89015 310505 | 206399 31270 5671313 181.4 | 27.132 % | 410.59/410.72 c | 997375 | 88904 310138 | 227039 175119 5179968 29.6 | 27.225 % | 435.88/436.03 c ============================================================================== 435.88/436.03 c [1mFound solution: 41868742[0m 435.88/436.03 o 41868742 435.88/436.09 c ---[ 0]---> Adder-cost: 13342 maxlim: 25040029 bits: 26/25 439.58/439.71 c ==================================[MINISAT+]================================== 439.58/439.71 c | Conflicts | Original | Learnt | Progress | 439.58/439.71 c | | Clauses Literals | Max Clauses Literals LPC | | 439.58/439.71 c ============================================================================== 439.58/439.71 c | 1053123 | 182180 643348 | 60726 230865 6875006 29.8 | 27.225 % | 440.28/440.47 c | 1053223 | 182180 643348 | 66798 31059 306958 9.9 | 17.143 % | 440.48/440.63 c | 1053374 | 182180 643348 | 73478 31210 307773 9.9 | 17.143 % | 440.78/440.91 c | 1053599 | 182180 643348 | 80826 31435 309108 9.8 | 17.143 % | 441.28/441.41 c | 1053936 | 182180 643348 | 88908 31772 311182 9.8 | 17.143 % | 441.88/442.07 c | 1054442 | 182171 643319 | 97799 32277 314223 9.7 | 17.149 % | 443.08/443.24 c | 1055201 | 182171 643319 | 107579 33036 318779 9.6 | 17.149 % | 444.98/445.12 c | 1056340 | 182162 643288 | 118337 34174 325621 9.5 | 17.152 % | 447.27/447.46 c | 1058048 | 182153 643259 | 130171 35881 337152 9.4 | 17.157 % | 450.47/450.69 c | 1060610 | 182134 643192 | 143188 38440 356857 9.3 | 17.165 % | 455.87/456.03 c | 1064454 | 182107 643101 | 157507 42280 383690 9.1 | 17.177 % | 460.08/460.26 c | 1070222 | 182107 643101 | 173258 48048 461060 9.6 | 17.177 % | 467.58/467.71 c | 1078872 | 182071 642979 | 190584 56692 537518 9.5 | 17.193 % | 476.77/476.91 c | 1091846 | 182071 642979 | 209642 69666 696314 10.0 | 17.193 % | 490.57/490.73 c | 1111307 | 182065 642959 | 230606 89124 922225 10.3 | 17.196 % | 507.16/507.32 c | 1140499 | 182031 642849 | 253667 118311 1451586 12.3 | 17.216 % | 528.26/528.45 c | 1184289 | 182024 642826 | 279034 162100 3118111 19.2 | 17.218 % | 567.15/567.31 c | 1249976 | 182015 642797 | 306937 227786 4699503 20.6 | 17.224 % | 624.13/624.38 c ============================================================================== 624.13/624.38 c [1mFound solution: 41460889[0m 624.13/624.38 o 41460889 624.23/624.46 c ---[ 0]---> Adder-cost: 0 maxlim: 25447882 bits: 26/25 627.73/627.91 c ==================================[MINISAT+]================================== 627.73/627.91 c | Conflicts | Original | Learnt | Progress | 627.73/627.91 c | | Clauses Literals | Max Clauses Literals LPC | | 627.73/627.91 c ============================================================================== 627.73/627.91 c | 1334219 | 182035 643036 | 60678 312025 6557712 21.0 | 17.224 % | 628.43/628.64 c | 1334319 | 182035 643036 | 66745 33496 408468 12.2 | 17.257 % | 628.63/628.86 c | 1334469 | 182035 643036 | 73420 33646 409344 12.2 | 17.257 % | 628.94/629.19 c | 1334694 | 182035 643036 | 80762 33871 410472 12.1 | 17.257 % | 629.43/629.67 c | 1335031 | 182035 643036 | 88838 34208 412370 12.1 | 17.257 % | 629.83/630.02 c | 1335537 | 182035 643036 | 97722 34714 417183 12.0 | 17.257 % | 630.73/630.97 c | 1336296 | 182035 643036 | 107494 35473 422133 11.9 | 17.257 % | 632.43/632.61 c | 1337435 | 182012 642955 | 118244 36608 428976 11.7 | 17.266 % | 634.53/634.73 c | 1339143 | 182003 642926 | 130068 38315 439609 11.5 | 17.271 % | 638.33/638.54 c | 1341705 | 182003 642926 | 143075 40877 455730 11.1 | 17.271 % | 641.33/641.59 c | 1345550 | 182003 642926 | 157383 44722 488043 10.9 | 17.271 % | 643.93/644.15 c | 1351316 | 181993 642888 | 173121 50486 564102 11.2 | 17.274 % | 648.33/648.55 c | 1359965 | 181993 642888 | 190433 59135 668325 11.3 | 17.274 % | 654.82/655.00 c | 1372940 | 181987 642868 | 209476 72109 853886 11.8 | 17.277 % | 663.63/663.80 c | 1392403 | 181987 642868 | 230424 91572 1430501 15.6 | 17.277 % | 681.12/681.35 c | 1421595 | 181987 642868 | 253467 120764 1998782 16.6 | 17.277 % | 702.02/702.23 c | 1465385 | 181978 642837 | 278813 164551 3582509 21.8 | 17.280 % | 738.80/739.07 c | 1531069 | 181978 642837 | 306695 230235 7415916 32.2 | 17.280 % | 744.51/744.70 c ============================================================================== 744.51/744.70 c [1mFound solution: 39438098[0m 744.51/744.70 o 39438098 744.51/744.76 c ---[ 0]---> Adder-cost: 0 maxlim: 27470673 bits: 26/25 747.90/748.12 c ==================================[MINISAT+]================================== 747.90/748.12 c | Conflicts | Original | Learnt | Progress | 747.90/748.12 c | | Clauses Literals | Max Clauses Literals LPC | | 747.90/748.12 c ============================================================================== 747.90/748.12 c | 1537031 | 181998 643039 | 60666 236197 7491943 31.7 | 17.280 % | 748.50/748.76 c | 1537131 | 181998 643039 | 66732 27809 985329 35.4 | 17.303 % | 748.70/748.92 c | 1537281 | 181998 643039 | 73405 27959 985974 35.3 | 17.303 % | 749.00/749.27 c | 1537507 | 181982 642987 | 80746 28182 986979 35.0 | 17.311 % | 749.40/749.65 c | 1537844 | 181975 642964 | 88821 28518 988435 34.7 | 17.314 % | 749.91/750.16 c | 1538350 | 181975 642964 | 97703 29024 990654 34.1 | 17.314 % | 751.00/751.25 c | 1539110 | 181975 642964 | 107473 29784 994181 33.4 | 17.314 % | 752.30/752.52 c | 1540249 | 181975 642964 | 118220 30923 1000481 32.4 | 17.314 % | 753.70/753.94 c | 1541957 | 181975 642964 | 130042 32631 1010394 31.0 | 17.314 % | 755.00/755.24 c | 1544519 | 181975 642964 | 143047 35193 1031490 29.3 | 17.314 % | 757.10/757.38 c | 1548363 | 181975 642964 | 157351 39037 1068317 27.4 | 17.314 % | 759.60/759.85 c | 1554129 | 181975 642964 | 173087 44803 1150149 25.7 | 17.314 % | 763.30/763.59 c | 1562780 | 181975 642964 | 190395 53454 1289096 24.1 | 17.314 % | 769.09/769.38 c | 1575756 | 181975 642964 | 209435 66430 1827990 27.5 | 17.314 % | 777.40/777.61 c | 1595217 | 181975 642964 | 230379 85891 2488463 29.0 | 17.314 % | 793.00/793.21 c | 1624409 | 181975 642964 | 253416 115083 3253273 28.3 | 17.314 % | 818.09/818.33 c | 1668198 | 181966 642933 | 278758 158867 5038106 31.7 | 17.316 % | 859.27/859.59 c | 1733883 | 181966 642933 | 306634 224552 8749468 39.0 | 17.316 % | 932.06/932.32 c | 1832409 | 181966 642933 | 337297 42621 432498 10.1 | 17.316 % | 1025.94/1026.27 c | 1980199 | 181960 642913 | 371027 190408 4808650 25.3 | 17.319 % | 1184.89/1185.21 c | 2201882 | 181948 642873 | 408130 51625 1094962 21.2 | 17.325 % | 1411.94/1412.34 c | 2534411 | 181916 642765 | 448943 384150 16327698 42.5 | 17.342 % | 1800.04/1800.50 c 1800.04/1800.50 c *** TERMINATED *** 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 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 -x29 1800.04/1800.50 v -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 -x55 -x56 1800.04/1800.50 v -x57 -x58 -x59 -x60 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.04/1800.50 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5251 x5252 1800.04/1800.50 v -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 1800.04/1800.50 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5581 x5582 -x5583 -x5584 -x5585 -x5586 -x5587 1800.04/1800.50 v -x5588 -x5589 x5590 -x5591 x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 1800.04/1800.50 v -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 1800.04/1800.50 v -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 1800.04/1800.50 v -x5940 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 1800.04/1800.50 v -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6571 x6572 -x6573 -x6574 x6575 1800.04/1800.50 v x6576 x6577 -x6578 -x6579 -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 1800.04/1800.50 v -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 x6907 -x6908 -x6909 -x6910 -x6911 1800.04/1800.50 v -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 1800.04/1800.50 v -x6929 -x6930 x7231 x7232 -x7233 -x7234 -x7235 x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 1800.04/1800.50 v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x61 x62 -x63 -x64 -x65 1800.04/1800.50 v -x66 -x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 1800.04/1800.50 v x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1800.04/1800.50 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 -x724 x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 1800.04/1800.50 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 x1052 -x1053 -x1054 1800.04/1800.50 v x1055 -x1056 x1057 -x1058 -x1059 -x1060 x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1800.04/1800.50 v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.04/1800.50 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.04/1800.50 v -x1408 -x1409 -x1410 -x1711 x1712 -x1713 -x1714 x1715 x1716 x1717 -x1718 -x1719 x1720 x1721 -x1722 x1723 -x1724 -x1725 1800.04/1800.50 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 1800.04/1800.50 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.04/1800.50 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 1800.04/1800.50 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1800.04/1800.50 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 -x2702 x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.04/1800.50 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.04/1800.50 v -x2730 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.04/1800.50 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 -x3392 x3393 x3394 -x3395 1800.04/1800.50 v -x3396 x3397 x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 1800.04/1800.50 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1800.04/1800.50 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1800.04/1800.50 v -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 1800.04/1800.50 v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 1800.04/1800.50 v -x4382 x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 1800.04/1800.50 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 x4712 x4713 -x4714 -x4715 -x4716 -x4717 1800.04/1800.50 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 1800.04/1800.50 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 x5047 x5048 -x5049 -x5050 -x5051 -x5052 1800.04/1800.50 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1800.04/1800.50 v -x5070 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1800.04/1800.50 v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 1800.04/1800.50 v x5165 -x5166 -x5167 -x5168 x5169 -x5170 x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.04/1800.50 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1800.04/1800.50 v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 1800.04/1800.50 v -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 1800.04/1800.50 v -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1800.04/1800.50 v x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1800.04/1800.50 v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 1800.04/1800.50 v -x5316 x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1800.04/1800.50 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 x5349 -x5350 -x5351 1800.04/1800.50 v x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 1800.04/1800.50 v -x5369 -x5370 x5371 x5372 x5373 x5374 -x5375 -x5376 x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 1800.04/1800.50 v -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 1800.04/1800.50 v x5404 x5405 -x5406 x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 1800.04/1800.50 v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 1800.04/1800.50 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 1800.04/1800.50 v -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 x5464 -x5465 x5466 -x5467 -x5468 -x5469 x5470 x5471 x5472 -x5473 1800.04/1800.50 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1800.04/1800.50 v -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1800.04/1800.50 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 1800.04/1800.50 v -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 1800.04/1800.50 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 1800.04/1800.50 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1800.04/1800.50 v -x5577 -x5578 -x5579 -x5580 x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 1800.04/1800.50 v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 1800.04/1800.50 v x5642 -x5643 -x5644 x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 1800.04/1800.50 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 1800.04/1800.50 v -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1800.04/1800.50 v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 x5709 x5710 -x5711 1800.04/1800.50 v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 1800.04/1800.50 v -x5729 -x5730 x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 1800.04/1800.50 v -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 1800.04/1800.50 v x5764 -x5765 x5766 -x5767 x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 1800.04/1800.50 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 x5794 x5795 -x5796 -x5797 x5798 x5799 1800.04/1800.50 v x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1800.04/1800.50 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 x5830 x5831 x5832 -x5833 -x5834 1800.04/1800.50 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 1800.04/1800.50 v -x5852 -x5853 -x5854 x5855 -x5856 -x5857 -x5858 x5859 -x5860 -x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 1800.04/1800.50 v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 1800.04/1800.50 v -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 1800.04/1800.50 v -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5941 -x5942 x5943 -x5944 -x5945 -x5946 x5947 -x5948 -x5949 x5950 x5951 -x5952 1800.04/1800.50 v -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1800.04/1800.50 v -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1800.04/1800.50 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1800.04/1800.50 v -x6005 -x6006 x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 1800.04/1800.50 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 x6032 -x6033 -x6034 -x6035 -x6036 x6037 -x6038 x6039 -x6040 1800.04/1800.50 v x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1800.04/1800.50 v -x6059 -x6060 -x6061 -x6062 x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1800.04/1800.50 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1800.04/1800.50 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1800.04/1800.50 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 1800.04/1800.50 v -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 1800.04/1800.50 v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 x6152 -x6153 x6154 -x6155 x6156 x6157 -x6158 -x6159 -x6160 x6161 x6162 1800.04/1800.50 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1800.04/1800.50 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1800.04/1800.50 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 1800.04/1800.50 v x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.04/1800.50 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6271 -x6272 x6273 -x6274 -x6275 -x6276 x6277 -x6278 -x6279 1800.04/1800.50 v x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 1800.04/1800.50 v -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 x6303 -x6304 -x6305 -x6306 x6307 x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 1800.04/1800.50 v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 1800.04/1800.50 v -x6332 -x6333 x6334 -x6335 x6336 x6337 x6338 x6339 x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 1800.04/1800.50 v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 1800.04/1800.50 v x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 1800.04/1800.50 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1800.04/1800.50 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1800.04/1800.50 v -x6419 -x6420 -x6421 -x6422 -x6423 x6424 x6425 x6426 x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1800.04/1800.50 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1800.04/1800.50 v x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 1800.04/1800.50 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 x6488 1800.04/1800.50 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1800.04/1800.50 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1800.04/1800.50 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1800.04/1800.50 v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 1800.04/1800.50 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 -x6603 -x6604 1800.04/1800.50 v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1800.04/1800.50 v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 x6636 x6637 -x6638 x6639 1800.04/1800.50 v -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 1800.04/1800.50 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 1800.04/1800.50 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1800.04/1800.50 v x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1800.04/1800.50 v -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 x6724 -x6725 1800.04/1800.50 v -x6726 -x6727 x6728 x6729 x6730 -x6731 -x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 1800.04/1800.50 v -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 1800.04/1800.50 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 1800.04/1800.50 v -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 1800.04/1800.50 v -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 -x6812 1800.04/1800.50 v -x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1800.04/1800.50 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 1800.04/1800.50 v -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 1800.04/1800.50 v -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 1800.04/1800.50 v -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 1800.04/1800.50 v -x6899 -x6900 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 1800.04/1800.50 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 x6962 1800.04/1800.50 v -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 1800.04/1800.50 v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 1800.04/1800.50 v -x6997 -x6998 -x6999 -x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 1800.04/1800.50 v -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 x7031 1800.04/1800.50 v -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 1800.04/1800.50 v -x7049 -x7050 -x7051 -x7052 x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 1800.04/1800.50 v -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 1800.04/1800.50 v x7084 x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 1800.04/1800.50 v -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 x7115 -x7116 -x7117 -x7118 1800.04/1800.50 v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 1800.04/1800.50 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 1800.04/1800.50 v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1800.04/1800.50 v -x7170 -x7171 -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 1800.04/1800.50 v -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 1800.04/1800.50 v x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 1800.04/1800.50 v -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 1800.04/1800.50 v -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 1800.04/1800.50 v -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 x7298 x7299 -x7300 -x7301 x7302 -x7303 1800.04/1800.50 v -x7304 x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 1800.04/1800.50 v -x7321 -x7322 x7323 x7324 -x7325 -x7326 x7327 -x7328 -x7329 -x7330 -x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 1800.04/1800.50 v -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 1800.04/1800.50 v -x7356 -x7357 x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 1800.04/1800.50 v -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 x7381 -x7382 x7383 x7384 -x7385 -x7386 x7387 x7388 -x7389 -x7390 1800.04/1800.50 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 1800.04/1800.50 v -x7408 -x7409 -x7410 x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 x7418 x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 1800.04/1800.50 v -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 1800.04/1800.50 v -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 1800.04/1800.50 v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 -x7472 -x7473 -x7474 -x7475 -x7476 1800.04/1800.50 v -x7477 -x7478 x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 1800.04/1800.50 v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 x7508 -x7509 -x7510 x7511 -x7512 1800.04/1800.50 v -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 1800.04/1800.50 v -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 1800.04/1800.50 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x91 -x92 -x93 -x94 -x95 -x96 1800.04/1800.50 v -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.04/1800.50 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.04/1800.50 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 1800.04/1800.50 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.04/1800.50 v -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.04/1800.50 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 1800.04/1800.50 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.04/1800.50 v -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.04/1800.50 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.04/1800.50 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 1800.04/1800.50 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.04/1800.50 v -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.04/1800.50 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 1800.04/1800.50 v x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 1800.04/1800.50 v -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.04/1800.50 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 x456 -x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 1800.04/1800.50 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 1800.04/1800.50 v -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.04/1800.50 v -x508 -x509 -x510 -x511 x512 x513 x514 -x515 x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.04/1800.50 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.04/1800.50 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 1800.04/1800.50 v x572 -x573 x574 -x575 -x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.04/1800.50 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 x613 1800.04/1800.50 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 1800.04/1800.50 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1800.04/1800.50 v -x656 -x657 -x658 -x659 -x660 x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 1800.04/1800.50 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.04/1800.50 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.04/1800.50 v -x719 -x720 -x751 x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1800.04/1800.50 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 1800.04/1800.50 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 1800.04/1800.50 v x812 x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1800.04/1800.50 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 1800.04/1800.50 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 1800.04/1800.50 v -x875 -x876 -x877 x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1800.04/1800.50 v -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.04/1800.50 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 1800.04/1800.50 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1800.04/1800.50 v -x959 -x960 -x961 x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 1800.04/1800.50 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 x999 -x1000 1800.04/1800.50 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1800.04/1800.50 v -x1018 -x1019 -x1020 -x1021 x1022 -x1023 x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1800.04/1800.50 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1081 -x1082 1800.04/1800.50 v -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1800.04/1800.50 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 1800.04/1800.50 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1800.04/1800.50 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 1800.04/1800.50 v -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1800.04/1800.50 v x1171 -x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 1800.04/1800.50 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 1800.04/1800.50 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1800.04/1800.50 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1800.04/1800.50 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.04/1800.50 v -x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.04/1800.50 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 1800.04/1800.50 v -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1800.04/1800.50 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 1800.04/1800.50 v x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1800.04/1800.50 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 x1359 -x1360 x1361 -x1362 1800.04/1800.50 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.04/1800.50 v -x1380 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.04/1800.50 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 1800.04/1800.50 v -x1445 x1446 -x1447 x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.04/1800.50 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 1800.04/1800.50 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.04/1800.50 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.04/1800.50 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 1800.04/1800.50 v -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.04/1800.50 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 1800.04/1800.50 v -x1567 -x1568 x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.04/1800.50 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.04/1800.50 v -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.04/1800.50 v -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.04/1800.50 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.04/1800.50 v x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.04/1800.50 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 1800.04/1800.50 v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.04/1800.50 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 x1742 -x1743 x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.04/1800.50 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.04/1800.50 v x1771 -x1772 -x1773 x1774 -x1775 -x1776 x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.04/1800.50 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803 x1804 -x1805 -x1806 1800.04/1800.50 v -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.04/1800.50 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 x1835 x1836 -x1837 -x1838 x1839 -x1840 -x1841 1800.04/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.04/1800.50 v -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.04/1800.50 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 1800.04/1800.50 v -x1893 x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1800.04/1800.50 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 1800.04/1800.50 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.04/1800.50 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 1800.04/1800.50 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.04/1800.50 v x1981 x1982 -x1983 x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1800.04/1800.50 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 x2014 -x2015 -x2016 1800.04/1800.50 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.04/1800.50 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 1800.04/1800.50 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.04/1800.50 v -x2099 -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.04/1800.50 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.04/1800.50 v x2134 -x2135 x2136 x2137 -x2138 x2139 x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.04/1800.50 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 x2167 -x2168 -x2169 1800.04/1800.50 v -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.04/1800.50 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 1800.04/1800.50 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.04/1800.50 v -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.04/1800.50 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 1800.04/1800.50 v -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1800.04/1800.50 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 x2289 x2290 x2291 1800.04/1800.50 v x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1800.04/1800.50 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1800.04/1800.50 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1800.04/1800.50 v -x2344 -x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1800.04/1800.50 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 1800.04/1800.50 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.04/1800.50 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1800.04/1800.50 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.04/1800.50 v x2461 -x2462 -x2463 x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 1800.04/1800.50 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 1800.04/1800.50 v -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.04/1800.50 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.04/1800.50 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.04/1800.50 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.04/1800.50 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1800.04/1800.50 v -x2583 x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.04/1800.50 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 1800.04/1800.50 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.04/1800.50 v -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.04/1800.50 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1800.04/1800.50 v x2671 -x2672 -x2673 x2674 x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.04/1800.50 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2731 -x2732 x2733 x2734 -x2735 -x2736 1800.04/1800.50 v x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.04/1800.50 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 x2771 x2772 1800.04/1800.50 v -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1800.04/1800.50 v -x2790 -x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.04/1800.50 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.04/1800.50 v -x2825 -x2826 x2827 -x2828 -x2829 x2830 x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.04/1800.50 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 x2855 -x2856 x2857 x2858 -x2859 -x2860 1800.04/1800.50 v x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.04/1800.50 v -x2878 -x2879 -x2880 -x2881 x2882 -x2883 x2884 x2885 x2886 -x2887 x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 1800.04/1800.50 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 1800.04/1800.50 v x2913 -x2914 x2915 -x2916 -x2917 -x2918 x2919 x2920 x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.04/1800.50 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 x2944 x2945 -x2946 x2947 -x2948 1800.04/1800.50 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.04/1800.50 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.04/1800.50 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.04/1800.50 v -x3000 -x3001 x3002 x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.04/1800.50 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3061 x3062 x3063 -x3064 x3065 1800.04/1800.50 v x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.04/1800.50 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.04/1800.50 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.04/1800.50 v -x3117 -x3118 -x3119 -x3120 x3121 x3122 x3123 x3124 x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.04/1800.50 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1800.04/1800.50 v x3152 x3153 x3154 -x3155 -x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 1800.04/1800.50 v -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 x3183 x3184 -x3185 -x3186 x3187 1800.04/1800.50 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.04/1800.50 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.04/1800.50 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.04/1800.50 v -x3240 x3241 x3242 x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.04/1800.50 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 x3273 x3274 -x3275 1800.04/1800.50 v -x3276 -x3277 x3278 -x3279 x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.04/1800.50 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1800.04/1800.50 v -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1800.04/1800.50 v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1800.04/1800.50 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 x3422 -x3423 1800.04/1800.50 v -x3424 -x3425 x3426 -x3427 x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.04/1800.50 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 1800.04/1800.50 v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1800.04/1800.50 v -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 1800.04/1800.50 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 1800.04/1800.50 v x3512 x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.04/1800.50 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 -x3544 x3545 x3546 -x3547 1800.04/1800.50 v x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 1800.04/1800.50 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1800.04/1800.50 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.04/1800.50 v -x3600 x3601 -x3602 x3603 -x3604 x3605 x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.04/1800.50 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 x3632 x3633 x3634 x3635 1800.04/1800.50 v -x3636 x3637 x3638 x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1800.04/1800.50 v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 1800.04/1800.50 v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 1800.04/1800.50 v -x3689 -x3690 x3691 x3692 x3693 x3694 -x3695 -x3696 x3697 -x3698 x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.04/1800.50 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3751 -x3752 -x3753 1800.04/1800.50 v x3754 x3755 -x3756 -x3757 x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 1800.04/1800.50 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 1800.04/1800.50 v -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1800.04/1800.50 v -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 -x3813 x3814 x3815 x3816 -x3817 x3818 x3819 x3820 -x3821 -x3822 -x3823 -x3824 1800.04/1800.50 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 1800.04/1800.50 v -x3842 x3843 -x3844 x3845 x3846 -x3847 x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 1800.04/1800.50 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 1800.04/1800.50 v x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1800.04/1800.50 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 x3906 x3907 -x3908 -x3909 x3910 -x3911 -x3912 1800.04/1800.50 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.04/1800.50 v -x3930 x3931 -x3932 x3933 -x3934 x3935 x3936 -x3937 -x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.04/1800.50 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 1800.04/1800.50 v -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.04/1800.50 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 x3993 x3994 x3995 -x3996 -x3997 -x3998 x3999 1800.04/1800.50 v x4000 -x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1800.04/1800.50 v -x4018 -x4019 -x4020 x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 1800.04/1800.50 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 1800.04/1800.50 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1800.04/1800.50 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 x4112 -x4113 -x4114 -x4115 x4116 -x4117 1800.04/1800.50 v x4118 x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.04/1800.50 v -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.04/1800.50 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.04/1800.50 v -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.04/1800.50 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1800.04/1800.50 v -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1800.04/1800.50 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 x4232 -x4233 -x4234 x4235 x4236 -x4237 x4238 x4239 1800.04/1800.50 v -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.04/1800.50 v -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264 x4265 x4266 x4267 -x4268 x4269 -x4270 x4271 x4272 -x4273 -x4274 1800.04/1800.50 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1800.04/1800.50 v x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1800.04/1800.50 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 1800.04/1800.50 v x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.04/1800.50 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 -x4354 -x4355 -x4356 x4357 -x4358 x4359 -x4360 -x4361 -x4362 1800.04/1800.50 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 1800.04/1800.50 v -x4380 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1800.04/1800.50 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 x4443 x4444 -x4445 1800.04/1800.50 v -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.04/1800.50 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.04/1800.50 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.04/1800.50 v -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 x4504 -x4505 x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.04/1800.50 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.04/1800.50 v -x4532 x4533 x4534 -x4535 -x4536 x4537 x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1800.04/1800.50 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 1800.04/1800.50 v x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1800.04/1800.50 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.04/1800.50 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.04/1800.50 v -x4619 -x4620 x4621 -x4622 -x4623 -x4624 x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1800.04/1800.50 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 1800.04/1800.50 v -x4654 x4655 -x4656 -x4657 -x4658 x4659 -x4660 x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 1800.04/1800.50 v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 x4685 -x4686 -x4687 -x4688 x4689 1800.04/1800.50 v -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 1800.04/1800.50 v -x4707 -x4708 -x4709 -x4710 -x4741 x4742 x4743 -x4744 x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.04/1800.50 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.04/1800.50 v x4772 x4773 -x4774 -x4775 x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1800.04/1800.50 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 x4802 x4803 -x4804 -x4805 x4806 -x4807 1800.04/1800.50 v -x4808 x4809 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1800.04/1800.50 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.04/1800.50 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1800.04/1800.50 v -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1800.04/1800.50 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 x4894 -x4895 1800.04/1800.50 v -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1800.04/1800.50 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927 -x4928 x4929 x4930 1800.04/1800.50 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 1800.04/1800.50 v -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 x4955 x4956 -x4957 -x4958 x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.04/1800.50 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1800.04/1800.50 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 1800.04/1800.50 v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 x5015 -x5016 -x5017 1800.04/1800.50 v x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1800.04/1800.50 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 x5077 -x5078 x5079 x5080 -x5081 -x5082 -x5083 1800.04/1800.50 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1800.04/1800.50 v -x5101 -x5102 x5103 x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 1800.04/1800.50 v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x7561 x7562 x7673 x7736 x7747 x7758 1800.04/1800.50 v x7769 x7780 x7791 x7802 x7563 x7574 x7585 x7596 x7607 x7618 -x7629 x7640 x7651 x7662 x7674 x7685 x7696 x7707 x7718 x7729 1800.04/1800.50 v x7732 x7733 -x7734 -x7735 x7737 x7738 x7739 x7740 x7741 -x7742 x7743 x7744 x7745 x7746 x7748 x7749 x7750 x7751 x7752 x7753 1800.04/1800.50 v x7754 x7755 x7756 x7757 x7759 x7760 x7761 x7762 x7763 -x7764 x7765 x7766 -x7767 x7768 x7770 x7771 x7772 x7773 x7774 x7775 1800.04/1800.50 v x7776 x7777 x7778 x7779 -x7781 x7782 x7783 x7784 x7785 x7786 x7787 x7788 x7789 x7790 -x7792 x7793 x7794 x7795 x7796 x7797 1800.04/1800.50 v x7798 -x7799 x7800 x7801 -x7803 x7804 x7805 x7806 x7807 x7808 x7809 x7810 x7811 x7812 x7564 x7565 x7566 x7567 x7568 x7569 1800.04/1800.50 v x7570 x7571 x7572 x7573 x7575 x7576 x7577 x7578 -x7579 x7580 x7581 x7582 x7583 -x7584 x7586 x7587 x7588 x7589 x7590 x7591 1800.04/1800.50 v x7592 x7593 x7594 x7595 x7597 x7598 x7599 x7600 x7601 x7602 x7603 x7604 x7605 x7606 x7608 x7609 x7610 x7611 x7612 x7613 x7614 1800.04/1800.50 v x7615 x7616 x7617 x7619 x7620 x7621 x7622 x7623 x7624 x7625 x7626 x7627 x7628 x7630 x7631 x7632 x7633 x7634 x7635 x7636 x7637 1800.04/1800.50 v x7638 x7639 x7641 x7642 x7643 x7644 x7645 x7646 x7647 x7648 x7649 x7650 x7652 x7653 x7654 x7655 x7656 x7657 x7658 x7659 -x7660 1800.04/1800.50 v x7661 x7663 -x7664 x7665 x7666 x7667 x7668 x7669 x7670 x7671 -x7672 x7675 x7676 x7677 x7678 x7679 x7680 x7681 x7682 x7683 1800.04/1800.50 v x7684 x7686 x7687 x7688 x7689 x7690 x7691 x7692 x7693 x7694 x7695 -x7697 x7698 x7699 x7700 x7701 x7702 x7703 x7704 x7705 1800.04/1800.50 v x7706 x7708 x7709 -x7710 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7719 x7720 x7721 x7722 x7723 x7724 x7725 x7726 -x7727 1800.04/1800.50 v x7728 x7730 x7731
OK 39438098
/tmp/evaluation/353942-1176689266/instance-353942-1176689266.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-353942-1176689266 -o ROOT/results/node18/solver-353942-1176689266 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353942-1176689266/minisat+ /tmp/evaluation/353942-1176689266/instance-353942-1176689266.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.01 0.99 3/77 15374 /proc/meminfo: memFree=1856432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=1180 CPUtime=0 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116843962 1208320 129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 295 129 67 215 0 77 0 [startup+0.0259421 s] /proc/loadavg: 0.92 1.01 0.99 3/77 15374 /proc/meminfo: memFree=1856432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=2276 CPUtime=0.02 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 380 0 0 0 2 0 0 0 18 0 1 0 116843962 2330624 365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 569 365 67 215 0 351 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2276 [startup+0.101953 s] /proc/loadavg: 0.92 1.01 0.99 3/77 15374 /proc/meminfo: memFree=1856432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=2676 CPUtime=0.1 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 498 0 0 0 10 0 0 0 18 0 1 0 116843962 2740224 483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 669 484 75 215 0 451 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2676 [startup+0.30197 s] /proc/loadavg: 0.92 1.01 0.99 3/77 15374 /proc/meminfo: memFree=1856432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=3336 CPUtime=0.3 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 664 0 0 0 30 0 0 0 19 0 1 0 116843962 3416064 649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 834 649 75 215 0 616 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3336 [startup+0.702008 s] /proc/loadavg: 0.92 1.01 0.99 3/77 15374 /proc/meminfo: memFree=1856432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=3972 CPUtime=0.69 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 887 0 0 0 69 0 0 0 22 0 1 0 116843962 4067328 826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 993 826 90 215 0 775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3972 [startup+1.50109 s] /proc/loadavg: 0.92 1.01 0.99 2/78 15375 /proc/meminfo: memFree=1853032/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=4472 CPUtime=1.49 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 1056 0 0 0 149 0 0 0 25 0 1 0 116843962 4579328 981 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 1118 981 106 215 0 900 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4472 [startup+3.10124 s] /proc/loadavg: 0.93 1.01 0.99 2/78 15375 /proc/meminfo: memFree=1847848/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=10080 CPUtime=3.09 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 2372 0 0 0 308 1 0 0 25 0 1 0 116843962 10321920 2255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 2520 2255 123 215 0 2302 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10080 [startup+6.30155 s] /proc/loadavg: 0.93 1.01 0.99 2/78 15375 /proc/meminfo: memFree=1847344/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=10348 CPUtime=6.29 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 2446 0 0 0 628 1 0 0 25 0 1 0 116843962 10596352 2329 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 2587 2329 123 215 0 2369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10348 [startup+12.7012 s] /proc/loadavg: 0.94 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1846512/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=11204 CPUtime=12.68 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 2671 0 0 0 1267 1 0 0 25 0 1 0 116843962 11472896 2554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 2801 2554 123 215 0 2583 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11204 [startup+25.5014 s] /proc/loadavg: 0.95 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1842544/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=15408 CPUtime=25.48 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 3697 0 0 0 2546 2 0 0 25 0 1 0 116843962 15777792 3580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 3852 3580 123 215 0 3634 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15408 [startup+51.1019 s] /proc/loadavg: 0.96 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1811184/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=47824 CPUtime=51.08 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 11808 0 0 0 5100 8 0 0 25 0 1 0 116843962 48971776 11691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 11956 11691 123 215 0 11738 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47824 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1799792/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=58232 CPUtime=102.27 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 14364 0 0 0 10216 11 0 0 25 0 1 0 116843962 59629568 14247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 14558 14247 123 215 0 14340 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 58232 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1796848/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=61140 CPUtime=162.25 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 15105 0 0 0 16213 12 0 0 25 0 1 0 116843962 62607360 14988 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 15285 14988 123 215 0 15067 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 61140 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1796720/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=61140 CPUtime=222.24 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 15131 0 0 0 22211 13 0 0 25 0 1 0 116843962 62607360 15014 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 15285 15014 123 215 0 15067 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 61140 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1770352/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=87444 CPUtime=282.22 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 21707 0 0 0 28202 20 0 0 25 0 1 0 116843962 89542656 21590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 21861 21590 123 215 0 21643 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 87444 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1770224/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=87444 CPUtime=342.2 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 21707 0 0 0 34200 20 0 0 25 0 1 0 116843962 89542656 21590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 21861 21590 123 215 0 21643 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 87444 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1770160/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=87848 CPUtime=402.19 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 21717 0 0 0 40198 21 0 0 25 0 1 0 116843962 89956352 21600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 21962 21600 123 215 0 21744 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 87848 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1757552/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=102580 CPUtime=462.18 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 26155 0 0 0 46194 24 0 0 25 0 1 0 116843962 105041920 24718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 25645 24718 123 215 0 25427 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 102580 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1757424/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=102580 CPUtime=522.16 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 26155 0 0 0 52192 24 0 0 25 0 1 0 116843962 105041920 24718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 25645 24718 123 215 0 25427 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 102580 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1757360/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=102580 CPUtime=582.15 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 26171 0 0 0 58190 25 0 0 25 0 1 0 116843962 105041920 24734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 25645 24734 123 215 0 25427 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 102580 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15375 /proc/meminfo: memFree=1756848/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=103188 CPUtime=642.13 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 26275 0 0 0 64188 25 0 0 25 0 1 0 116843962 105664512 24838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 25797 24838 123 215 0 25579 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 103188 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.10 1.05 1.01 3/78 15375 /proc/meminfo: memFree=1753392/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=106352 CPUtime=882.07 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 27138 0 0 0 88179 28 0 0 25 0 1 0 116843962 108904448 25618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 26588 25618 123 215 0 26370 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 106352 [startup+942.302 s] /proc/loadavg: 1.04 1.04 1.00 2/78 15375 /proc/meminfo: memFree=1744432/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=115176 CPUtime=942.06 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 29360 0 0 0 94175 31 0 0 25 0 1 0 116843962 117940224 27840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572884 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 28794 27840 123 215 0 28576 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 115176 [startup+1002.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 15375 /proc/meminfo: memFree=1744304/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=115176 CPUtime=1002.04 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 29360 0 0 0 100173 31 0 0 25 0 1 0 116843962 117940224 27840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 28794 27840 123 215 0 28576 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 115176 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 15375 /proc/meminfo: memFree=1744240/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=115176 CPUtime=1062.03 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 29360 0 0 0 106171 32 0 0 25 0 1 0 116843962 117940224 27840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 28794 27840 123 215 0 28576 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 115176 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 15375 /proc/meminfo: memFree=1737200/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=122160 CPUtime=1122.01 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 31121 0 0 0 112167 34 0 0 25 0 1 0 116843962 125091840 29601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 30540 29601 123 215 0 30322 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 122160 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15375 /proc/meminfo: memFree=1729008/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=129912 CPUtime=1181.99 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 33127 0 0 0 118163 36 0 0 25 0 1 0 116843962 133029888 31607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 32478 31607 123 215 0 32260 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 129912 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15375 /proc/meminfo: memFree=1728752/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=129912 CPUtime=1241.99 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 33127 0 0 0 124162 37 0 0 25 0 1 0 116843962 133029888 31607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 32478 31607 123 215 0 32260 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 129912 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1728688/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=129912 CPUtime=1301.97 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 33127 0 0 0 130160 37 0 0 25 0 1 0 116843962 133029888 31607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 32478 31607 123 215 0 32260 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 129912 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1728688/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=129912 CPUtime=1361.96 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 33127 0 0 0 136158 38 0 0 25 0 1 0 116843962 133029888 31607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 32478 31607 123 215 0 32260 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 129912 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1717744/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=140740 CPUtime=1421.94 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 35823 0 0 0 142153 41 0 0 25 0 1 0 116843962 144117760 34303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 35185 34303 123 215 0 34967 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 140740 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1684976/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=173936 CPUtime=1481.93 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 43990 0 0 0 148143 50 0 0 25 0 1 0 116843962 178110464 42470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43484 42470 123 215 0 43266 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 173936 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1684912/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=173936 CPUtime=1541.9 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 43993 0 0 0 154140 50 0 0 25 0 1 0 116843962 178110464 42473 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43484 42473 123 215 0 43266 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 173936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1684912/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=173936 CPUtime=1601.89 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 43995 0 0 0 160138 51 0 0 25 0 1 0 116843962 178110464 42475 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43484 42475 123 215 0 43266 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 173936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1684784/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=173936 CPUtime=1661.87 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 43996 0 0 0 166136 51 0 0 25 0 1 0 116843962 178110464 42476 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43484 42476 123 215 0 43266 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 173936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15375 /proc/meminfo: memFree=1684720/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=173936 CPUtime=1721.86 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 43996 0 0 0 172134 52 0 0 25 0 1 0 116843962 178110464 42476 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43484 42476 123 215 0 43266 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 173936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15377 /proc/meminfo: memFree=1682864/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=175516 CPUtime=1781.84 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 44376 0 0 0 178131 53 0 0 25 0 1 0 116843962 179728384 42856 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 43879 42856 123 215 0 43661 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 175516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15377 /proc/meminfo: memFree=1670640/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=187628 CPUtime=1800.04 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 47407 0 0 0 179947 57 0 0 25 0 1 0 116843962 192131072 45887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 46907 45887 123 215 0 46689 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 187628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15377 /proc/meminfo: memFree=1670640/2055920 swapFree=4167952/4192956 [pid=15374] ppid=15372 vsize=187628 CPUtime=1800.04 /proc/15374/stat : 15374 (minisat+) R 15372 15374 14593 0 -1 4194304 47407 0 0 0 179947 57 0 0 25 0 1 0 116843962 192131072 45887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15374/statm: 46907 45887 123 215 0 46689 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 187628 Child status: 10 Real time (s): 1800.54 CPU time (s): 1800.09 CPU user time (s): 1799.48 CPU system time (s): 0.607907 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 187628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.607907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47409 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 1916 runsolver used 2.25166 second user time and 4.21436 second system time The end
Begin job on node18 on Mon Apr 16 02:07:46 UTC 2007 IDJOB= 353942 IDBENCH= 2297 IDSOLVER= 156 FILE ID= node18/353942-1176689266 PBS_JOBID= 4559408 Free space on /tmp= 66543 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= /tmp/evaluation/353942-1176689266/minisat+ /tmp/evaluation/353942-1176689266/instance-353942-1176689266.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-353942-1176689266 -o ROOT/results/node18/conversion-353942-1176689266 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353942-1176689266/instance-353942-1176689266.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-353942-1176689266 -o ROOT/results/node18/solver-353942-1176689266 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353942-1176689266/minisat+ /tmp/evaluation/353942-1176689266/instance-353942-1176689266.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED= 195545588 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 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: 1856904 kB Buffers: 7272 kB Cached: 107460 kB SwapCached: 3248 kB Active: 41796 kB Inactive: 106308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856904 kB SwapTotal: 4192956 kB SwapFree: 4167952 kB Dirty: 2736 kB Writeback: 0 kB Mapped: 40544 kB Slab: 36500 kB Committed_AS: 4272572 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66543 MiB End job on node18 on Mon Apr 16 02:37:49 UTC 2007