Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 18978750 | 1800.08 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran8x32.opb |
MD5SUM | cbc794920cb33f20cfa2472a22fd5e8b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 9341955 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7735294 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
Number of terms in the objective function | 7936 |
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 | 1548380176990 |
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 | 1548380176990 |
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.29/0.39 c Converting 336 PB-constraints to clauses... 0.29/0.39 c -- Unit propagations: (none) 0.79/0.82 c -- Detecting intervals from adjacent constraints: ######################################## 0.79/0.83 c -- Clauses(.)/Splits(s): (none) 0.79/0.83 c ---[ 334]---> Adder-cost: 832 maxlim: 367584 bits: 19/19 0.79/0.89 c ---[ 332]---> Adder-cost: 856 maxlim: 559072 bits: 20/20 0.89/0.96 c ---[ 330]---> Adder-cost: 856 maxlim: 540640 bits: 20/20 0.99/1.04 c ---[ 328]---> Adder-cost: 856 maxlim: 571360 bits: 20/20 1.09/1.11 c ---[ 326]---> Adder-cost: 856 maxlim: 575456 bits: 20/20 1.09/1.18 c ---[ 324]---> Adder-cost: 856 maxlim: 575456 bits: 20/20 1.19/1.25 c ---[ 322]---> Adder-cost: 856 maxlim: 563168 bits: 20/20 1.29/1.32 c ---[ 320]---> Adder-cost: 856 maxlim: 517088 bits: 20/19 1.29/1.39 c ---[ 318]---> Sorter-cost: 1455 Base: 2 2 2 2 2 2 2 2 2 2 2 1.39/1.40 c ---[ 316]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.39/1.41 c ---[ 314]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.39/1.43 c ---[ 312]---> Sorter-cost: 2063 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.39/1.45 c ---[ 310]---> Sorter-cost: 1927 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.39/1.47 c ---[ 308]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.39/1.48 c ---[ 306]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.50 c ---[ 304]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.51 c ---[ 302]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.53 c ---[ 300]---> Sorter-cost: 1321 Base: 2 2 2 2 2 2 2 2 2 2 1.49/1.54 c ---[ 298]---> Sorter-cost: 1927 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.56 c ---[ 296]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.57 c ---[ 294]---> Sorter-cost: 2063 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.49/1.59 c ---[ 292]---> Sorter-cost: 1455 Base: 2 2 2 2 2 2 2 2 2 2 2 1.59/1.61 c ---[ 290]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.59/1.62 c ---[ 288]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.59/1.63 c ---[ 286]---> Sorter-cost: 1927 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.59/1.65 c ---[ 284]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.59/1.67 c ---[ 282]---> Sorter-cost: 1455 Base: 2 2 2 2 2 2 2 2 2 2 2 1.59/1.68 c ---[ 280]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.70 c ---[ 278]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.71 c ---[ 276]---> Sorter-cost: 2063 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.73 c ---[ 274]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.75 c ---[ 272]---> Sorter-cost: 1455 Base: 2 2 2 2 2 2 2 2 2 2 2 1.69/1.76 c ---[ 270]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.78 c ---[ 268]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69/1.80 c ---[ 266]---> Sorter-cost: 1927 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.79/1.81 c ---[ 264]---> Sorter-cost: 1589 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.79/1.83 c ---[ 262]---> Sorter-cost: 1455 Base: 2 2 2 2 2 2 2 2 2 2 2 1.79/1.84 c ---[ 260]---> Sorter-cost: 1927 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.79/1.86 c ---[ 258]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.79/1.88 c ---[ 256]---> Sorter-cost: 1723 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.79/1.89 c ---[ 255]---> BDD-cost: 13 1.79/1.89 c ---[ 254]---> BDD-cost: 18 1.79/1.89 c ---[ 253]---> BDD-cost: 15 1.79/1.89 c ---[ 252]---> BDD-cost: 19 1.79/1.89 c ---[ 251]---> BDD-cost: 16 1.79/1.89 c ---[ 250]---> BDD-cost: 13 1.79/1.89 c ---[ 249]---> BDD-cost: 19 1.79/1.89 c ---[ 248]---> BDD-cost: 17 1.79/1.89 c ---[ 247]---> BDD-cost: 18 1.79/1.89 c ---[ 246]---> BDD-cost: 15 1.79/1.89 c ---[ 245]---> BDD-cost: 19 1.79/1.89 c ---[ 244]---> BDD-cost: 19 1.79/1.89 c ---[ 243]---> BDD-cost: 18 1.79/1.89 c ---[ 242]---> BDD-cost: 18 1.79/1.89 c ---[ 241]---> BDD-cost: 15 1.79/1.90 c ---[ 240]---> BDD-cost: 16 1.79/1.90 c ---[ 239]---> BDD-cost: 17 1.79/1.90 c ---[ 238]---> BDD-cost: 12 1.79/1.90 c ---[ 237]---> BDD-cost: 19 1.79/1.90 c ---[ 236]---> BDD-cost: 14 1.79/1.90 c ---[ 235]---> BDD-cost: 14 1.79/1.90 c ---[ 234]---> BDD-cost: 16 1.79/1.90 c ---[ 233]---> BDD-cost: 16 1.79/1.90 c ---[ 232]---> BDD-cost: 20 1.79/1.90 c ---[ 231]---> BDD-cost: 18 1.89/1.90 c ---[ 230]---> BDD-cost: 18 1.89/1.90 c ---[ 229]---> BDD-cost: 13 1.89/1.90 c ---[ 228]---> BDD-cost: 15 1.89/1.90 c ---[ 227]---> BDD-cost: 15 1.89/1.90 c ---[ 226]---> BDD-cost: 21 1.89/1.90 c ---[ 225]---> BDD-cost: 18 1.89/1.90 c ---[ 224]---> BDD-cost: 18 1.89/1.90 c ---[ 223]---> BDD-cost: 18 1.89/1.90 c ---[ 222]---> BDD-cost: 13 1.89/1.90 c ---[ 221]---> BDD-cost: 18 1.89/1.90 c ---[ 220]---> BDD-cost: 18 1.89/1.90 c ---[ 219]---> BDD-cost: 20 1.89/1.90 c ---[ 218]---> BDD-cost: 14 1.89/1.90 c ---[ 217]---> BDD-cost: 19 1.89/1.90 c ---[ 216]---> BDD-cost: 16 1.89/1.90 c ---[ 215]---> BDD-cost: 13 1.89/1.90 c ---[ 214]---> BDD-cost: 19 1.89/1.90 c ---[ 213]---> BDD-cost: 17 1.89/1.90 c ---[ 212]---> BDD-cost: 18 1.89/1.90 c ---[ 211]---> BDD-cost: 15 1.89/1.90 c ---[ 210]---> BDD-cost: 20 1.89/1.90 c ---[ 209]---> BDD-cost: 15 1.89/1.90 c ---[ 208]---> BDD-cost: 19 1.89/1.90 c ---[ 207]---> BDD-cost: 18 1.89/1.90 c ---[ 206]---> BDD-cost: 15 1.89/1.90 c ---[ 205]---> BDD-cost: 16 1.89/1.90 c ---[ 204]---> BDD-cost: 17 1.89/1.90 c ---[ 203]---> BDD-cost: 12 1.89/1.90 c ---[ 202]---> BDD-cost: 19 1.89/1.90 c ---[ 201]---> BDD-cost: 14 1.89/1.90 c ---[ 200]---> BDD-cost: 14 1.89/1.90 c ---[ 199]---> BDD-cost: 16 1.89/1.90 c ---[ 198]---> BDD-cost: 16 1.89/1.90 c ---[ 197]---> BDD-cost: 16 1.89/1.90 c ---[ 196]---> BDD-cost: 20 1.89/1.90 c ---[ 195]---> BDD-cost: 18 1.89/1.90 c ---[ 194]---> BDD-cost: 13 1.89/1.90 c ---[ 193]---> BDD-cost: 15 1.89/1.90 c ---[ 192]---> BDD-cost: 15 1.89/1.90 c ---[ 191]---> BDD-cost: 21 1.89/1.91 c ---[ 190]---> BDD-cost: 18 1.89/1.91 c ---[ 189]---> BDD-cost: 18 1.89/1.91 c ---[ 188]---> BDD-cost: 18 1.89/1.91 c ---[ 187]---> BDD-cost: 17 1.89/1.91 c ---[ 186]---> BDD-cost: 13 1.89/1.91 c ---[ 185]---> BDD-cost: 18 1.89/1.91 c ---[ 184]---> BDD-cost: 20 1.89/1.91 c ---[ 183]---> BDD-cost: 14 1.89/1.91 c ---[ 182]---> BDD-cost: 19 1.89/1.91 c ---[ 181]---> BDD-cost: 16 1.89/1.91 c ---[ 180]---> BDD-cost: 13 1.89/1.91 c ---[ 179]---> BDD-cost: 19 1.89/1.91 c ---[ 178]---> BDD-cost: 17 1.89/1.91 c ---[ 177]---> BDD-cost: 18 1.89/1.91 c ---[ 176]---> BDD-cost: 12 1.89/1.91 c ---[ 175]---> BDD-cost: 15 1.89/1.91 c ---[ 174]---> BDD-cost: 20 1.89/1.91 c ---[ 173]---> BDD-cost: 19 1.89/1.91 c ---[ 172]---> BDD-cost: 18 1.89/1.91 c ---[ 171]---> BDD-cost: 15 1.89/1.91 c ---[ 170]---> BDD-cost: 16 1.89/1.91 c ---[ 169]---> BDD-cost: 17 1.89/1.91 c ---[ 168]---> BDD-cost: 12 1.89/1.91 c ---[ 167]---> BDD-cost: 19 1.89/1.91 c ---[ 166]---> BDD-cost: 14 1.89/1.91 c ---[ 165]---> BDD-cost: 18 1.89/1.91 c ---[ 164]---> BDD-cost: 14 1.89/1.91 c ---[ 163]---> BDD-cost: 16 1.89/1.91 c ---[ 162]---> BDD-cost: 16 1.89/1.91 c ---[ 161]---> BDD-cost: 20 1.89/1.91 c ---[ 160]---> BDD-cost: 18 1.89/1.91 c ---[ 159]---> BDD-cost: 13 1.89/1.91 c ---[ 158]---> BDD-cost: 15 1.89/1.91 c ---[ 157]---> BDD-cost: 15 1.89/1.91 c ---[ 156]---> BDD-cost: 21 1.89/1.91 c ---[ 155]---> BDD-cost: 18 1.89/1.91 c ---[ 154]---> BDD-cost: 14 1.89/1.91 c ---[ 153]---> BDD-cost: 18 1.89/1.91 c ---[ 152]---> BDD-cost: 18 1.89/1.91 c ---[ 151]---> BDD-cost: 13 1.89/1.91 c ---[ 150]---> BDD-cost: 18 1.89/1.91 c ---[ 149]---> BDD-cost: 20 1.89/1.91 c ---[ 148]---> BDD-cost: 14 1.89/1.91 c ---[ 147]---> BDD-cost: 19 1.89/1.91 c ---[ 146]---> BDD-cost: 16 1.89/1.91 c ---[ 145]---> BDD-cost: 13 1.89/1.91 c ---[ 144]---> BDD-cost: 19 1.89/1.91 c ---[ 143]---> BDD-cost: 18 1.89/1.91 c ---[ 142]---> BDD-cost: 14 1.89/1.91 c ---[ 141]---> BDD-cost: 17 1.89/1.92 c ---[ 140]---> BDD-cost: 18 1.89/1.92 c ---[ 139]---> BDD-cost: 15 1.89/1.92 c ---[ 138]---> BDD-cost: 22 1.89/1.92 c ---[ 137]---> BDD-cost: 19 1.89/1.92 c ---[ 136]---> BDD-cost: 18 1.89/1.92 c ---[ 135]---> BDD-cost: 15 1.89/1.92 c ---[ 134]---> BDD-cost: 16 1.89/1.92 c ---[ 133]---> BDD-cost: 17 1.89/1.92 c ---[ 132]---> BDD-cost: 12 1.89/1.92 c ---[ 131]---> BDD-cost: 16 1.89/1.92 c ---[ 130]---> BDD-cost: 19 1.89/1.92 c ---[ 129]---> BDD-cost: 14 1.89/1.92 c ---[ 128]---> BDD-cost: 14 1.89/1.92 c ---[ 127]---> BDD-cost: 16 1.89/1.92 c ---[ 126]---> BDD-cost: 16 1.89/1.92 c ---[ 125]---> BDD-cost: 20 1.89/1.92 c ---[ 124]---> BDD-cost: 18 1.89/1.92 c ---[ 123]---> BDD-cost: 13 1.89/1.92 c ---[ 122]---> BDD-cost: 15 1.89/1.92 c ---[ 121]---> BDD-cost: 15 1.89/1.92 c ---[ 120]---> BDD-cost: 16 1.89/1.92 c ---[ 119]---> BDD-cost: 21 1.89/1.92 c ---[ 118]---> BDD-cost: 18 1.89/1.92 c ---[ 117]---> BDD-cost: 18 1.89/1.92 c ---[ 116]---> BDD-cost: 18 1.89/1.92 c ---[ 115]---> BDD-cost: 13 1.89/1.92 c ---[ 114]---> BDD-cost: 18 1.89/1.92 c ---[ 113]---> BDD-cost: 20 1.89/1.92 c ---[ 112]---> BDD-cost: 14 1.89/1.92 c ---[ 111]---> BDD-cost: 19 1.89/1.92 c ---[ 110]---> BDD-cost: 16 1.89/1.92 c ---[ 109]---> BDD-cost: 18 1.89/1.92 c ---[ 108]---> BDD-cost: 13 1.89/1.92 c ---[ 107]---> BDD-cost: 19 1.89/1.92 c ---[ 106]---> BDD-cost: 17 1.89/1.92 c ---[ 105]---> BDD-cost: 18 1.89/1.92 c ---[ 104]---> BDD-cost: 15 1.89/1.92 c ---[ 103]---> BDD-cost: 22 1.89/1.92 c ---[ 102]---> BDD-cost: 19 1.89/1.92 c ---[ 101]---> BDD-cost: 18 1.89/1.92 c ---[ 100]---> BDD-cost: 15 1.89/1.92 c ---[ 99]---> BDD-cost: 16 1.89/1.92 c ---[ 98]---> BDD-cost: 18 1.89/1.92 c ---[ 97]---> BDD-cost: 17 1.89/1.92 c ---[ 96]---> BDD-cost: 12 1.89/1.92 c ---[ 95]---> BDD-cost: 19 1.89/1.92 c ---[ 94]---> BDD-cost: 14 1.89/1.92 c ---[ 93]---> BDD-cost: 14 1.89/1.93 c ---[ 92]---> BDD-cost: 16 1.89/1.93 c ---[ 91]---> BDD-cost: 16 1.89/1.93 c ---[ 90]---> BDD-cost: 20 1.89/1.93 c ---[ 89]---> BDD-cost: 18 1.89/1.93 c ---[ 88]---> BDD-cost: 13 1.89/1.93 c ---[ 87]---> BDD-cost: 13 1.89/1.93 c ---[ 86]---> BDD-cost: 15 1.89/1.93 c ---[ 85]---> BDD-cost: 15 1.89/1.93 c ---[ 84]---> BDD-cost: 21 1.89/1.93 c ---[ 83]---> BDD-cost: 18 1.89/1.93 c ---[ 82]---> BDD-cost: 18 1.89/1.93 c ---[ 81]---> BDD-cost: 18 1.89/1.93 c ---[ 80]---> BDD-cost: 15 1.89/1.93 c ---[ 79]---> BDD-cost: 15 1.89/1.93 c ---[ 78]---> BDD-cost: 18 1.89/1.93 c ---[ 77]---> BDD-cost: 18 1.89/1.93 c ---[ 76]---> BDD-cost: 14 1.89/1.93 c ---[ 75]---> BDD-cost: 18 1.89/1.93 c ---[ 74]---> BDD-cost: 18 1.89/1.93 c ---[ 73]---> BDD-cost: 13 1.89/1.93 c ---[ 72]---> BDD-cost: 18 1.89/1.93 c ---[ 71]---> BDD-cost: 20 1.89/1.93 c ---[ 70]---> BDD-cost: 14 1.89/1.93 c ---[ 69]---> BDD-cost: 19 1.89/1.93 c ---[ 68]---> BDD-cost: 16 1.89/1.93 c ---[ 67]---> BDD-cost: 13 1.89/1.93 c ---[ 66]---> BDD-cost: 19 1.89/1.93 c ---[ 65]---> BDD-cost: 18 1.89/1.93 c ---[ 64]---> BDD-cost: 17 1.89/1.93 c ---[ 63]---> BDD-cost: 18 1.89/1.93 c ---[ 62]---> BDD-cost: 15 1.89/1.93 c ---[ 61]---> BDD-cost: 22 1.89/1.93 c ---[ 60]---> BDD-cost: 19 1.89/1.93 c ---[ 59]---> BDD-cost: 18 1.89/1.93 c ---[ 58]---> BDD-cost: 15 1.89/1.93 c ---[ 57]---> BDD-cost: 16 1.89/1.93 c ---[ 56]---> BDD-cost: 17 1.89/1.93 c ---[ 55]---> BDD-cost: 12 1.89/1.93 c ---[ 54]---> BDD-cost: 16 1.89/1.93 c ---[ 53]---> BDD-cost: 19 1.89/1.93 c ---[ 52]---> BDD-cost: 14 1.89/1.93 c ---[ 51]---> BDD-cost: 14 1.89/1.93 c ---[ 50]---> BDD-cost: 16 1.89/1.93 c ---[ 49]---> BDD-cost: 16 1.89/1.93 c ---[ 48]---> BDD-cost: 20 1.89/1.93 c ---[ 47]---> BDD-cost: 18 1.89/1.93 c ---[ 46]---> BDD-cost: 13 1.89/1.93 c ---[ 45]---> BDD-cost: 15 1.89/1.93 c ---[ 44]---> BDD-cost: 15 1.89/1.93 c ---[ 43]---> BDD-cost: 13 1.89/1.94 c ---[ 42]---> BDD-cost: 21 1.89/1.94 c ---[ 41]---> BDD-cost: 18 1.89/1.94 c ---[ 40]---> BDD-cost: 18 1.89/1.94 c ---[ 39]---> BDD-cost: 18 1.89/1.94 c ---[ 38]---> BDD-cost: 13 1.89/1.94 c ---[ 37]---> BDD-cost: 18 1.89/1.94 c ---[ 36]---> BDD-cost: 20 1.89/1.94 c ---[ 35]---> BDD-cost: 14 1.89/1.94 c ---[ 34]---> BDD-cost: 19 1.89/1.94 c ---[ 33]---> BDD-cost: 16 1.89/1.94 c ---[ 32]---> BDD-cost: 18 1.89/1.94 c ---[ 31]---> BDD-cost: 13 1.89/1.94 c ---[ 30]---> BDD-cost: 19 1.89/1.94 c ---[ 29]---> BDD-cost: 17 1.89/1.94 c ---[ 28]---> BDD-cost: 18 1.89/1.94 c ---[ 27]---> BDD-cost: 15 1.89/1.94 c ---[ 26]---> BDD-cost: 22 1.89/1.94 c ---[ 25]---> BDD-cost: 19 1.89/1.94 c ---[ 24]---> BDD-cost: 18 1.89/1.94 c ---[ 23]---> BDD-cost: 15 1.89/1.94 c ---[ 22]---> BDD-cost: 16 1.89/1.94 c ---[ 21]---> BDD-cost: 17 1.89/1.94 c ---[ 20]---> BDD-cost: 17 1.89/1.94 c ---[ 19]---> BDD-cost: 12 1.89/1.94 c ---[ 18]---> BDD-cost: 19 1.89/1.94 c ---[ 17]---> BDD-cost: 14 1.89/1.94 c ---[ 16]---> BDD-cost: 14 1.89/1.94 c ---[ 15]---> BDD-cost: 16 1.89/1.94 c ---[ 14]---> BDD-cost: 16 1.89/1.94 c ---[ 13]---> BDD-cost: 20 1.89/1.94 c ---[ 12]---> BDD-cost: 18 1.89/1.94 c ---[ 11]---> BDD-cost: 13 1.89/1.94 c ---[ 10]---> BDD-cost: 18 1.89/1.94 c ---[ 9]---> BDD-cost: 15 1.89/1.94 c ---[ 8]---> BDD-cost: 15 1.89/1.94 c ---[ 7]---> BDD-cost: 21 1.89/1.94 c ---[ 6]---> BDD-cost: 18 1.89/1.94 c ---[ 5]---> BDD-cost: 18 1.89/1.94 c ---[ 4]---> BDD-cost: 18 1.89/1.94 c ---[ 3]---> BDD-cost: 13 1.89/1.94 c ---[ 2]---> BDD-cost: 18 1.89/1.94 c ---[ 1]---> BDD-cost: 19 1.89/1.94 c ---[ 0]---> BDD-cost: 14 2.10/2.13 c ==================================[MINISAT+]================================== 2.10/2.13 c | Conflicts | Original | Learnt | Progress | 2.10/2.13 c | | Clauses Literals | Max Clauses Literals LPC | | 2.10/2.13 c ============================================================================== 2.10/2.13 c | 0 | 190237 505136 | 63412 0 0 nan | 0.000 % | 2.10/2.19 c | 100 | 189904 504372 | 69753 72 246 3.4 | 10.202 % | 2.20/2.23 c | 250 | 189885 504329 | 76728 219 847 3.9 | 10.211 % | 2.29/2.36 c | 475 | 189629 503747 | 84401 428 1586 3.7 | 10.336 % | 2.49/2.51 c | 812 | 189509 503470 | 92841 755 2856 3.8 | 10.394 % | 2.59/2.66 c | 1321 | 189387 503195 | 102125 1252 4752 3.8 | 10.450 % | 2.99/3.00 c | 2080 | 189275 502940 | 112338 2005 7638 3.8 | 10.504 % | 3.89/3.91 c | 3219 | 188841 501889 | 123572 3099 12038 3.9 | 10.703 % | 4.79/4.83 c | 4927 | 188353 500779 | 135929 4745 18757 4.0 | 10.934 % | 5.99/6.01 c | 7489 | 187765 499426 | 149522 7255 29010 4.0 | 11.216 % | 8.79/8.90 c | 11335 | 187011 497678 | 164474 11033 44738 4.1 | 11.583 % | 14.38/14.48 c | 17101 | 185292 493710 | 180921 16648 68374 4.1 | 12.439 % | 23.47/23.56 c | 25750 | 182723 487779 | 199014 25045 106051 4.2 | 13.729 % | 32.28/32.36 c | 38724 | 181827 485685 | 218915 37926 453278 12.0 | 14.174 % | 56.17/56.21 c | 58185 | 178993 479013 | 240806 57050 658476 11.5 | 15.585 % | 85.86/85.98 c | 87378 | 177827 476122 | 264887 86070 1244613 14.5 | 16.163 % | 112.96/113.09 c | 131167 | 177370 475003 | 291376 129805 3028228 23.3 | 16.392 % | 149.45/149.53 c | 196851 | 177290 474807 | 320514 195479 8156029 41.7 | 16.435 % | 160.95/161.08 c ============================================================================== 160.95/161.08 c [1mFound solution: 44221936[0m 160.95/161.08 o 44221936 161.05/161.16 c ---[ 0]---> Adder-cost: 13413 maxlim: 27038830 bits: 26/25 165.04/165.10 c ==================================[MINISAT+]================================== 165.04/165.10 c | Conflicts | Original | Learnt | Progress | 165.04/165.10 c | | Clauses Literals | Max Clauses Literals LPC | | 165.04/165.10 c ============================================================================== 165.04/165.10 c | 219007 | 271069 809848 | 90356 217634 8947036 41.1 | 16.435 % | 165.54/165.69 c | 219107 | 271062 809830 | 99391 32383 572989 17.7 | 13.565 % | 165.84/165.93 c | 219257 | 271012 809714 | 109330 32528 573589 17.6 | 13.588 % | 166.24/166.33 c | 219482 | 271001 809689 | 120263 32752 574619 17.5 | 13.594 % | 166.84/166.98 c | 219819 | 270976 809632 | 132290 33088 576027 17.4 | 13.604 % | 167.74/167.80 c | 220325 | 270976 809632 | 145519 33594 578771 17.2 | 13.604 % | 168.84/168.97 c | 221084 | 270934 809532 | 160071 34351 582701 17.0 | 13.625 % | 170.24/170.34 c | 222223 | 270915 809489 | 176078 35489 590596 16.6 | 13.633 % | 172.55/172.67 c | 223932 | 270809 809242 | 193686 37190 601342 16.2 | 13.679 % | 175.85/175.96 c | 226494 | 270727 809052 | 213054 39744 623592 15.7 | 13.716 % | 178.74/178.84 c | 230339 | 270608 808771 | 234360 43580 689318 15.8 | 13.771 % | 186.64/186.74 c | 236105 | 270449 808401 | 257796 49336 741484 15.0 | 13.843 % | 199.53/199.62 c | 244754 | 270326 808116 | 283575 57958 829338 14.3 | 13.895 % | 208.03/208.17 c | 257729 | 270185 807730 | 311933 70911 1231196 17.4 | 13.945 % | 226.13/226.22 c | 277190 | 269924 807046 | 343126 90327 1608462 17.8 | 14.047 % | 241.62/241.74 c | 306382 | 269688 806381 | 377439 119477 2818375 23.6 | 14.128 % | 270.81/270.96 c | 350172 | 269562 806068 | 415183 163248 6008102 36.8 | 14.177 % | 299.81/299.96 c ============================================================================== 299.81/299.96 c [1mFound solution: 34566369[0m 299.81/299.96 o 34566369 299.91/300.04 c ---[ 0]---> Adder-cost: 2 maxlim: 36694397 bits: 27/26 303.61/303.79 c ==================================[MINISAT+]================================== 303.61/303.79 c | Conflicts | Original | Learnt | Progress | 303.61/303.79 c | | Clauses Literals | Max Clauses Literals LPC | | 303.61/303.79 c ============================================================================== 303.61/303.79 c | 393024 | 269505 806224 | 89835 206085 9878021 47.9 | 14.177 % | 304.31/304.43 c | 393125 | 269505 806224 | 98818 35700 1503721 42.1 | 14.243 % | 304.51/304.65 c | 393275 | 269505 806224 | 108700 35850 1504352 42.0 | 14.243 % | 304.81/304.95 c | 393500 | 269505 806224 | 119570 36075 1505363 41.7 | 14.243 % | 305.30/305.40 c | 393837 | 269505 806224 | 131527 36412 1507151 41.4 | 14.243 % | 306.00/306.11 c | 394343 | 269490 806189 | 144680 36916 1510412 40.9 | 14.251 % | 307.00/307.14 c | 395102 | 269483 806173 | 159148 37674 1515155 40.2 | 14.253 % | 308.30/308.46 c | 396241 | 269471 806146 | 175063 38811 1525995 39.3 | 14.260 % | 310.70/310.89 c | 397949 | 269457 806113 | 192569 40517 1544901 38.1 | 14.267 % | 313.10/313.22 c | 400511 | 269457 806113 | 211826 43079 1581595 36.7 | 14.267 % | 317.30/317.42 c | 404355 | 269430 806050 | 233008 46920 1618823 34.5 | 14.277 % | 325.10/325.30 c | 410121 | 269418 806022 | 256309 52684 1673714 31.8 | 14.284 % | 336.89/337.03 c | 418770 | 269408 805999 | 281940 61331 1763107 28.7 | 14.288 % | 345.89/346.00 c | 431744 | 269370 805912 | 310134 74295 2159793 29.1 | 14.303 % | 367.79/367.90 c | 451205 | 269257 805641 | 341148 93736 2463278 26.3 | 14.351 % | 394.58/394.76 c | 480397 | 269168 805413 | 375263 122912 3241597 26.4 | 14.383 % | 403.68/403.87 c ============================================================================== 403.68/403.87 c [1mFound solution: 18978750[0m 403.68/403.87 o 18978750 403.78/403.94 c ---[ 0]---> Adder-cost: 0 maxlim: 52282016 bits: 27/26 407.18/407.39 c ==================================[MINISAT+]================================== 407.18/407.39 c | Conflicts | Original | Learnt | Progress | 407.18/407.39 c | | Clauses Literals | Max Clauses Literals LPC | | 407.18/407.39 c ============================================================================== 407.18/407.39 c | 498274 | 269142 805494 | 89714 140783 4709466 33.5 | 14.383 % | 407.58/407.72 c | 498374 | 269142 805494 | 98685 32221 1279969 39.7 | 14.416 % | 407.88/408.01 c | 498524 | 269082 805355 | 108553 32366 1280561 39.6 | 14.442 % | 408.28/408.42 c | 498749 | 269076 805341 | 119409 32588 1281491 39.3 | 14.446 % | 408.88/409.03 c | 499086 | 269070 805327 | 131350 32924 1283028 39.0 | 14.449 % | 409.48/409.67 c | 499592 | 269070 805327 | 144485 33430 1285739 38.5 | 14.449 % | 410.78/410.93 c | 500352 | 269057 805297 | 158933 34188 1289714 37.7 | 14.455 % | 412.78/412.92 c | 501491 | 269057 805297 | 174827 35327 1295660 36.7 | 14.455 % | 415.37/415.59 c | 503199 | 269057 805297 | 192309 37035 1304293 35.2 | 14.455 % | 419.87/420.03 c | 505761 | 268980 805116 | 211540 39582 1317439 33.3 | 14.487 % | 426.87/427.05 c | 509605 | 268894 804919 | 232695 43409 1338383 30.8 | 14.525 % | 437.57/437.80 c | 515371 | 268881 804889 | 255964 49173 1378607 28.0 | 14.531 % | 448.06/448.25 c | 524020 | 268766 804619 | 281560 57801 1446911 25.0 | 14.584 % | 466.76/466.94 c | 536994 | 268658 804355 | 309717 70753 1584229 22.4 | 14.628 % | 482.06/482.23 c | 556455 | 268632 804296 | 340688 90208 2087137 23.1 | 14.641 % | 501.75/501.99 c | 585648 | 268622 804274 | 374757 119398 2788141 23.4 | 14.647 % | 531.45/531.68 c | 629437 | 268606 804233 | 412233 163180 5978262 36.6 | 14.652 % | 574.34/574.53 c | 695123 | 268592 804201 | 453456 228862 9420256 41.2 | 14.660 % | 673.71/673.93 c | 793650 | 268583 804170 | 498802 327387 20384477 62.3 | 14.661 % | 960.04/960.32 c | 941439 | 268544 804074 | 548682 475164 42879153 90.2 | 14.676 % | 1260.85/1261.22 c | 1163122 | 268544 804074 | 603550 150133 18384382 122.5 | 14.676 % | 1800.02/1800.50 c 1800.02/1800.50 c *** TERMINATED *** 1800.02/1800.50 s SATISFIABLE 1800.02/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.02/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 1800.02/1800.50 v -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.02/1800.50 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5371 1800.02/1800.50 v -x5372 x5373 -x5374 x5375 x5376 -x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 1800.02/1800.50 v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 1800.02/1800.50 v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1800.02/1800.50 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 x6032 x6033 -x6034 x6035 -x6036 -x6037 x6038 -x6039 -x6040 -x6041 1800.02/1800.50 v -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1800.02/1800.50 v -x6059 -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 1800.02/1800.50 v -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 1800.02/1800.50 v -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 1800.02/1800.50 v -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 1800.02/1800.50 v -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 1800.02/1800.50 v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 x7351 x7352 -x7353 x7354 x7355 -x7356 x7357 x7358 -x7359 -x7360 x7361 1800.02/1800.50 v -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 1800.02/1800.50 v -x7379 -x7380 -x61 -x62 x63 -x64 x65 x66 x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 1800.02/1800.50 v -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.02/1800.50 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.02/1800.50 v -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1800.02/1800.50 v -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.02/1800.50 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 x1382 x1383 x1384 1800.02/1800.50 v x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1800.02/1800.50 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.02/1800.50 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.02/1800.50 v -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.02/1800.50 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.02/1800.50 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.02/1800.50 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 1800.02/1800.50 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 1800.02/1800.50 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 x3033 x3034 -x3035 x3036 x3037 -x3038 -x3039 1800.02/1800.50 v x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.02/1800.50 v -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 1800.02/1800.50 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1800.02/1800.50 v x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1800.02/1800.50 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 1800.02/1800.50 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.02/1800.50 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1800.02/1800.50 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.02/1800.50 v -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1800.02/1800.50 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1800.02/1800.50 v -x5041 -x5042 -x5043 x5044 -x5045 -x5046 x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1800.02/1800.50 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 x5252 x5253 -x5254 -x5255 -x5256 1800.02/1800.50 v x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1800.02/1800.50 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1800.02/1800.50 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.02/1800.50 v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 1800.02/1800.50 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 1800.02/1800.50 v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 1800.02/1800.50 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 1800.02/1800.50 v -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1800.02/1800.50 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 1800.02/1800.50 v -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1800.02/1800.50 v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 1800.02/1800.50 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1800.02/1800.50 v -x5491 x5492 x5493 -x5494 -x5495 x5496 -x5497 x5498 -x5499 -x5500 -x5501 x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 1800.02/1800.50 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 x5522 x5523 x5524 x5525 -x5526 1800.02/1800.50 v -x5527 x5528 x5529 x5530 x5531 x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1800.02/1800.50 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 x5556 x5557 x5558 x5559 x5560 x5561 -x5562 1800.02/1800.50 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 1800.02/1800.50 v -x5580 -x5581 x5582 x5583 x5584 x5585 -x5586 x5587 x5588 x5589 x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1800.02/1800.50 v -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 1800.02/1800.50 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 1800.02/1800.50 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 x5650 1800.02/1800.50 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 1800.02/1800.50 v -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 1800.02/1800.50 v -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 1800.02/1800.50 v -x5732 x5733 -x5734 -x5735 -x5736 x5737 -x5738 x5739 x5740 x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1800.02/1800.50 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1800.02/1800.50 v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 1800.02/1800.50 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1800.02/1800.50 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 1800.02/1800.50 v -x5818 -x5819 -x5820 x5821 -x5822 -x5823 x5824 x5825 x5826 x5827 x5828 x5829 -x5830 x5831 x5832 x5833 -x5834 -x5835 -x5836 1800.02/1800.50 v -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 1800.02/1800.50 v -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 1800.02/1800.50 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 x5887 -x5888 1800.02/1800.50 v x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 1800.02/1800.50 v -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 1800.02/1800.50 v -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 1800.02/1800.50 v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 1800.02/1800.50 v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 1800.02/1800.50 v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 1800.02/1800.50 v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 1800.02/1800.50 v -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 1800.02/1800.50 v -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 1800.02/1800.50 v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 1800.02/1800.50 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 1800.02/1800.50 v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 1800.02/1800.50 v -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1800.02/1800.50 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 1800.02/1800.50 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1800.02/1800.50 v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 x6181 x6182 x6183 -x6184 x6185 x6186 x6187 -x6188 x6189 -x6190 x6191 x6192 -x6193 1800.02/1800.50 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 1800.02/1800.50 v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 1800.02/1800.50 v -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 1800.02/1800.50 v -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 1800.02/1800.50 v -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 x6277 x6278 x6279 1800.02/1800.50 v -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 1800.02/1800.50 v -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 1800.02/1800.50 v -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 1800.02/1800.50 v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 x6343 -x6344 -x6345 -x6346 -x6347 -x6348 1800.02/1800.50 v -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 1800.02/1800.50 v -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 1800.02/1800.50 v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 1800.02/1800.50 v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 1800.02/1800.50 v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 1800.02/1800.50 v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 1800.02/1800.50 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 1800.02/1800.50 v -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 1800.02/1800.50 v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 1800.02/1800.50 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 1800.02/1800.50 v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 1800.02/1800.50 v -x6566 -x6567 -x6568 -x6569 -x6570 x6571 x6572 x6573 x6574 -x6575 -x6576 -x6577 -x6578 x6579 x6580 -x6581 -x6582 -x6583 1800.02/1800.50 v -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 1800.02/1800.50 v x6601 x6602 x6603 -x6604 -x6605 x6606 -x6607 x6608 -x6609 x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 1800.02/1800.50 v -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 1800.02/1800.50 v -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 1800.02/1800.50 v -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 x6663 -x6664 x6665 x6666 -x6667 x6668 x6669 x6670 1800.02/1800.50 v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 1800.02/1800.50 v -x6688 -x6689 -x6690 -x6721 x6722 x6723 -x6724 -x6725 x6726 -x6727 -x6728 x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 1800.02/1800.50 v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 x6752 x6753 1800.02/1800.50 v -x6754 -x6755 x6756 -x6757 x6758 x6759 -x6760 x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 1800.02/1800.50 v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 1800.02/1800.50 v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 1800.02/1800.50 v -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 1800.02/1800.50 v -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 1800.02/1800.50 v -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 1800.02/1800.50 v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 x6871 x6872 x6873 x6874 1800.02/1800.50 v -x6875 -x6876 -x6877 x6878 -x6879 -x6880 x6881 -x6882 -x6883 -x6884 x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 1800.02/1800.50 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 x6901 x6902 -x6903 x6904 -x6905 -x6906 -x6907 x6908 x6909 x6910 1800.02/1800.50 v -x6911 -x6912 x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 1800.02/1800.50 v -x6929 -x6930 x6931 x6932 x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 x6944 -x6945 -x6946 1800.02/1800.50 v -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 x6964 1800.02/1800.50 v -x6965 x6966 x6967 -x6968 x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 1800.02/1800.50 v -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 1800.02/1800.50 v -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 1800.02/1800.50 v -x7017 -x7018 -x7019 -x7020 x7051 x7052 x7053 -x7054 x7055 -x7056 -x7057 x7058 x7059 x7060 -x7061 -x7062 -x7063 -x7064 1800.02/1800.50 v -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 x7081 1800.02/1800.50 v x7082 x7083 x7084 -x7085 x7086 -x7087 x7088 x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 1800.02/1800.50 v -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 1800.02/1800.50 v x7118 x7119 x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 1800.02/1800.50 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 1800.02/1800.50 v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1800.02/1800.50 v -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 1800.02/1800.50 v -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 1800.02/1800.50 v -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 1800.02/1800.50 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7231 -x7232 -x7233 -x7234 x7235 -x7236 -x7237 -x7238 1800.02/1800.50 v x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 1800.02/1800.50 v -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 1800.02/1800.50 v -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 1800.02/1800.50 v -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 1800.02/1800.50 v -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 1800.02/1800.50 v -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 1800.02/1800.50 v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 1800.02/1800.50 v -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 1800.02/1800.50 v -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 1800.02/1800.50 v -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 1800.02/1800.50 v -x7439 -x7440 -x7441 x7442 x7443 x7444 -x7445 -x7446 -x7447 x7448 -x7449 -x7450 x7451 x7452 -x7453 -x7454 -x7455 -x7456 1800.02/1800.50 v -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 x7472 -x7473 x7474 1800.02/1800.50 v -x7475 -x7476 -x7477 x7478 x7479 x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 1800.02/1800.50 v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1800.02/1800.50 v -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 1800.02/1800.50 v -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 1800.02/1800.50 v -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 1800.02/1800.50 v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 1800.02/1800.50 v -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 1800.02/1800.50 v -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 1800.02/1800.50 v -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 1800.02/1800.50 v -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 1800.02/1800.50 v -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 x7653 -x7654 x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 1800.02/1800.50 v -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 1800.02/1800.50 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1800.02/1800.50 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 x125 x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 1800.02/1800.50 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.02/1800.50 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1800.02/1800.50 v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1800.02/1800.50 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 1800.02/1800.50 v x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.02/1800.50 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1800.02/1800.50 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1800.02/1800.50 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 1800.02/1800.50 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1800.02/1800.50 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 1800.02/1800.50 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1800.02/1800.50 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.02/1800.50 v -x388 -x389 -x390 -x421 -x422 x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 1800.02/1800.50 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 -x458 -x459 1800.02/1800.50 v -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1800.02/1800.50 v -x481 x482 x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.02/1800.50 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.02/1800.50 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 1800.02/1800.50 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.02/1800.50 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.02/1800.50 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1800.02/1800.50 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.02/1800.50 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.02/1800.50 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.02/1800.50 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1800.02/1800.50 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.02/1800.50 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.02/1800.50 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.02/1800.50 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.02/1800.50 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.02/1800.50 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.02/1800.50 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.02/1800.50 v -x869 -x870 -x871 -x872 -x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.02/1800.50 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.02/1800.50 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1800.02/1800.50 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.02/1800.50 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1800.02/1800.50 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.02/1800.50 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.02/1800.50 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.02/1800.50 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.02/1800.50 v -x1047 -x1048 -x1049 -x1050 x1081 -x1082 -x1083 x1084 x1085 x1086 x1087 -x1088 -x1089 x1090 x1091 x1092 x1093 -x1094 -x1095 1800.02/1800.50 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 1800.02/1800.50 v x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1800.02/1800.50 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 -x1148 -x1149 1800.02/1800.50 v x1150 -x1151 x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.02/1800.50 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.02/1800.50 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.02/1800.50 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.02/1800.50 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.02/1800.50 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1800.02/1800.50 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.02/1800.50 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.02/1800.50 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.02/1800.50 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1800.02/1800.50 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.02/1800.50 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.02/1800.50 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.02/1800.50 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1411 x1412 -x1413 x1414 x1415 x1416 x1417 x1418 -x1419 1800.02/1800.50 v x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.02/1800.50 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.02/1800.50 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.02/1800.50 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.02/1800.50 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.02/1800.50 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.02/1800.50 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.02/1800.50 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.02/1800.50 v -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 x1565 -x1566 x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 1800.02/1800.50 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.02/1800.50 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.02/1800.50 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.02/1800.50 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.02/1800.50 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.02/1800.50 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.02/1800.50 v -x1677 -x1678 -x1679 -x1680 x1681 -x1682 x1683 x1684 x1685 x1686 x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.02/1800.50 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1741 -x1742 1800.02/1800.50 v x1743 x1744 x1745 -x1746 x1747 -x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.02/1800.50 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.02/1800.50 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.02/1800.50 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.02/1800.50 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.02/1800.50 v -x1829 -x1830 x1831 -x1832 x1833 x1834 x1835 -x1836 x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.02/1800.50 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 x1863 x1864 1800.02/1800.50 v x1865 -x1866 x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 1800.02/1800.50 v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1800.02/1800.50 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1800.02/1800.50 v -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 -x1931 -x1932 x1933 x1934 -x1935 1800.02/1800.50 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1800.02/1800.50 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.02/1800.50 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.02/1800.50 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1800.02/1800.50 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1800.02/1800.50 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.02/1800.50 v -x2038 -x2039 -x2040 x2071 x2072 x2073 -x2074 -x2075 -x2076 x2077 x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.02/1800.50 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 1800.02/1800.50 v -x2104 -x2105 -x2106 x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.02/1800.50 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1800.02/1800.50 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.02/1800.50 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 1800.02/1800.50 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1800.02/1800.50 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.02/1800.50 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1800.02/1800.50 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1800.02/1800.50 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 -x2254 x2255 -x2256 -x2257 x2258 1800.02/1800.50 v -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.02/1800.50 v -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 1800.02/1800.50 v -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1800.02/1800.50 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1800.02/1800.50 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1800.02/1800.50 v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1800.02/1800.50 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.02/1800.50 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.02/1800.50 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.02/1800.50 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.02/1800.50 v -x2460 x2461 x2462 -x2463 x2464 x2465 -x2466 x2467 -x2468 x2469 -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.02/1800.50 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.02/1800.50 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1800.02/1800.50 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 -x2524 x2525 -x2526 x2527 -x2528 x2529 -x2530 1800.02/1800.50 v x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1800.02/1800.50 v -x2548 -x2549 -x2550 x2551 x2552 x2553 -x2554 -x2555 -x2556 x2557 x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 1800.02/1800.50 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 1800.02/1800.50 v -x2584 x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.02/1800.50 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.02/1800.50 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.02/1800.50 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.02/1800.50 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.02/1800.50 v -x2670 -x2671 x2672 x2673 x2674 x2675 -x2676 x2677 -x2678 x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.02/1800.50 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 1800.02/1800.50 v -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 1800.02/1800.50 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1800.02/1800.50 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1800.02/1800.50 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 1800.02/1800.50 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.02/1800.50 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.02/1800.50 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 1800.02/1800.50 v x2854 x2855 -x2856 x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 1800.02/1800.50 v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 1800.02/1800.50 v -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.02/1800.50 v -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1800.02/1800.50 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.02/1800.50 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.02/1800.50 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 x2972 -x2973 x2974 -x2975 -x2976 1800.02/1800.50 v x2977 -x2978 x2979 x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.02/1800.50 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.02/1800.50 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.02/1800.50 v -x3029 -x3030 x3061 x3062 x3063 x3064 -x3065 -x3066 x3067 x3068 x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1800.02/1800.50 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1800.02/1800.50 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.02/1800.50 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.02/1800.50 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.02/1800.50 v -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 x3158 -x3159 x3160 -x3161 -x3162 -x3163 1800.02/1800.50 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1800.02/1800.50 v -x3181 -x3182 -x3183 x3184 x3185 -x3186 x3187 x3188 -x3189 x3190 x3191 x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.02/1800.50 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.02/1800.50 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.02/1800.50 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.02/1800.50 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.02/1800.50 v -x3268 -x3269 -x3270 -x3271 x3272 x3273 x3274 x3275 x3276 x3277 x3278 x3279 x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 1800.02/1800.50 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.02/1800.50 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.02/1800.50 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.02/1800.50 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.02/1800.50 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 x3431 -x3432 1800.02/1800.50 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1800.02/1800.50 v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 1800.02/1800.50 v -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 x3484 1800.02/1800.50 v -x3485 -x3486 x3487 x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1800.02/1800.50 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 x3514 -x3515 -x3516 x3517 x3518 -x3519 -x3520 1800.02/1800.50 v x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1800.02/1800.50 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1800.02/1800.50 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1800.02/1800.50 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1800.02/1800.50 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 1800.02/1800.50 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 1800.02/1800.50 v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 x3633 -x3634 x3635 -x3636 -x3637 -x3638 x3639 -x3640 1800.02/1800.50 v x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1800.02/1800.50 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1800.02/1800.50 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1800.02/1800.50 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1800.02/1800.50 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 1800.02/1800.50 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.02/1800.50 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.02/1800.50 v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.02/1800.50 v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 1800.02/1800.50 v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1800.02/1800.50 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.02/1800.50 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 -x3873 x3874 x3875 1800.02/1800.50 v -x3876 -x3877 -x3878 -x3879 x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 1800.02/1800.50 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 x3902 x3903 x3904 x3905 -x3906 -x3907 -x3908 x3909 x3910 -x3911 1800.02/1800.50 v x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.02/1800.50 v -x3930 x3931 x3932 -x3933 x3934 x3935 x3936 -x3937 -x3938 -x3939 x3940 x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.02/1800.50 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.02/1800.50 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.02/1800.50 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 x3992 x3993 x3994 x3995 x3996 -x3997 -x3998 -x3999 x4000 1800.02/1800.50 v x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.02/1800.50 v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1800.02/1800.50 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 1800.02/1800.50 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1800.02/1800.50 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1800.02/1800.50 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1800.02/1800.50 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 1800.02/1800.50 v x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.02/1800.50 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.02/1800.50 v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 x4203 x4204 1800.02/1800.50 v -x4205 x4206 x4207 x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.02/1800.50 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.02/1800.50 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.02/1800.50 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 1800.02/1800.50 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.02/1800.50 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.02/1800.50 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 -x4322 -x4323 x4324 -x4325 1800.02/1800.50 v x4326 -x4327 x4328 x4329 -x4330 -x4331 x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.02/1800.50 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1800.02/1800.50 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1800.02/1800.50 v -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 1800.02/1800.50 v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 1800.02/1800.50 v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 1800.02/1800.50 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 1800.02/1800.50 v x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 1800.02/1800.50 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 x4503 -x4504 -x4505 x4506 -x4507 -x4508 x4509 x4510 x4511 1800.02/1800.50 v x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 1800.02/1800.50 v -x4530 x4531 -x4532 x4533 x4534 x4535 x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.02/1800.50 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 x4563 x4564 -x4565 1800.02/1800.50 v x4566 -x4567 x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1800.02/1800.50 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1800.02/1800.50 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 1800.02/1800.50 v -x4618 -x4619 -x4620 x4621 -x4622 x4623 -x4624 x4625 x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.02/1800.50 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.02/1800.50 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.02/1800.50 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 x4683 x4684 -x4685 -x4686 -x4687 1800.02/1800.50 v -x4688 -x4689 x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.02/1800.50 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.02/1800.50 v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.02/1800.50 v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 1800.02/1800.50 v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 1800.02/1800.50 v x4804 x4805 x4806 x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.02/1800.50 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 x4833 -x4834 x4835 x4836 -x4837 -x4838 -x4839 1800.02/1800.50 v -x4840 x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1800.02/1800.50 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 1800.02/1800.50 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.02/1800.50 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.02/1800.50 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.02/1800.50 v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.02/1800.50 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 -x4952 -x4953 -x4954 -x4955 x4956 x4957 x4958 -x4959 1800.02/1800.50 v -x4960 -x4961 -x4962 -x4963 x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 1800.02/1800.50 v -x4978 -x4979 -x4980 x4981 x4982 -x4983 x4984 -x4985 x4986 x4987 -x4988 x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 1800.02/1800.50 v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 1800.02/1800.50 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 1800.02/1800.50 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 1800.02/1800.50 v -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 1800.02/1800.50 v -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 1800.02/1800.50 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 1800.02/1800.50 v -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 x5143 x5144 -x5145 1800.02/1800.50 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1800.02/1800.50 v x5163 x5164 -x5165 x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.02/1800.50 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 1800.02/1800.50 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.02/1800.50 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 1800.02/1800.50 v -x5232 x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 1800.02/1800.50 v -x5250 x7681 -x7682 -x7793 x7860 -x7871 x7882 -x7893 -x7904 -x7915 x7926 x7683 -x7694 -x7705 -x7716 x7727 -x7738 -x7749 1800.02/1800.50 v -x7760 -x7771 x7782 x7794 x7805 -x7816 -x7827 -x7838 x7849 x7856 -x7857 -x7858 -x7859 -x7861 -x7862 -x7863 x7864 x7865 1800.02/1800.50 v x7866 x7867 -x7868 x7869 -x7870 x7872 -x7873 -x7874 x7875 -x7876 x7877 -x7878 -x7879 -x7880 -x7881 -x7883 -x7884 x7885 1800.02/1800.50 v -x7886 x7887 -x7888 -x7889 x7890 -x7891 x7892 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 x7900 x7901 -x7902 x7903 x7905 x7906 1800.02/1800.50 v -x7907 -x7908 -x7909 x7910 x7911 x7912 x7913 -x7914 x7916 x7917 x7918 -x7919 x7920 -x7921 x7922 -x7923 -x7924 -x7925 -x7927 1800.02/1800.50 v -x7928 x7929 x7930 -x7931 -x7932 -x7933 -x7934 x7935 x7936 -x7684 x7685 -x7686 x7687 x7688 -x7689 -x7690 x7691 x7692 -x7693 1800.02/1800.50 v x7695 x7696 x7697 -x7698 x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7709 x7710 x7711 -x7712 -x7713 1800.02/1800.50 v -x7714 -x7715 x7717 x7718 x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 x7728 -x7729 -x7730 -x7731 -x7732 x7733 1800.02/1800.50 v -x7734 -x7735 -x7736 x7737 x7739 -x7740 -x7741 x7742 x7743 -x7744 x7745 -x7746 -x7747 -x7748 x7750 x7751 -x7752 -x7753 1800.02/1800.50 v -x7754 -x7755 x7756 x7757 -x7758 -x7759 -x7761 -x7762 x7763 -x7764 x7765 x7766 x7767 -x7768 -x7769 x7770 x7772 -x7773 -x7774 1800.02/1800.50 v -x7775 x7776 x7777 x7778 -x7779 x7780 -x7781 x7783 -x7784 -x7785 x7786 x7787 -x7788 -x7789 x7790 -x7791 -x7792 x7795 -x7796 1800.02/1800.50 v x7797 x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7806 -x7807 x7808 -x7809 x7810 x7811 x7812 -x7813 x7814 -x7815 -x7817 1800.02/1800.50 v -x7818 x7819 -x7820 x7821 -x7822 -x7823 -x7824 x7825 -x7826 -x7828 -x7829 x7830 x7831 x7832 x7833 -x7834 x7835 -x7836 x7837 1800.02/1800.50 v -x7839 -x7840 x7841 x7842 x7843 -x7844 -x7845 x7846 x7847 -x7848 -x7850 -x7851 x7852 x7853 -x7854 x7855
OK 18978750
/tmp/evaluation/353957-1176689391/instance-353957-1176689391.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-353957-1176689391 -o ROOT/results/node21/solver-353957-1176689391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353957-1176689391/minisat+ /tmp/evaluation/353957-1176689391/instance-353957-1176689391.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: 1.04 1.02 1.00 3/77 26151 /proc/meminfo: memFree=1799296/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=1180 CPUtime=0 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116856376 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 295 129 67 215 0 77 0 [startup+0.0156729 s] /proc/loadavg: 1.04 1.02 1.00 3/77 26151 /proc/meminfo: memFree=1799296/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=1844 CPUtime=0.01 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 297 0 0 0 1 0 0 0 18 0 1 0 116856376 1888256 282 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 461 282 67 215 0 243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1844 [startup+0.101684 s] /proc/loadavg: 1.04 1.02 1.00 3/77 26151 /proc/meminfo: memFree=1799296/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=2676 CPUtime=0.09 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 518 0 0 0 9 0 0 0 18 0 1 0 116856376 2740224 503 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005831 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 669 503 75 215 0 451 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2676 [startup+0.301705 s] /proc/loadavg: 1.04 1.02 1.00 3/77 26151 /proc/meminfo: memFree=1799296/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=3256 CPUtime=0.29 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 665 0 0 0 29 0 0 0 19 0 1 0 116856376 3334144 649 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134649670 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 814 649 75 215 0 596 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3256 [startup+0.701748 s] /proc/loadavg: 1.04 1.02 1.00 3/77 26151 /proc/meminfo: memFree=1799296/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=4100 CPUtime=0.69 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 879 0 0 0 69 0 0 0 23 0 1 0 116856376 4198400 863 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838328 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 1025 863 83 215 0 807 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4100 [startup+1.50184 s] /proc/loadavg: 1.04 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1795768/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=4836 CPUtime=1.49 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 1118 0 0 0 149 0 0 0 25 0 1 0 116856376 4952064 1035 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134550647 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 1209 1035 107 215 0 991 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4836 [startup+3.10201 s] /proc/loadavg: 1.04 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1784312/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=19244 CPUtime=3.09 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 4438 0 0 0 307 2 0 0 25 0 1 0 116856376 19705856 4225 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 4811 4225 124 215 0 4593 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19244 [startup+6.30136 s] /proc/loadavg: 1.03 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1782072/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=19648 CPUtime=6.29 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 4583 0 0 0 627 2 0 0 25 0 1 0 116856376 20119552 4370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 4912 4370 124 215 0 4694 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19648 [startup+12.7021 s] /proc/loadavg: 1.03 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1781560/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=20176 CPUtime=12.68 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 4708 0 0 0 1266 2 0 0 25 0 1 0 116856376 20660224 4495 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 5044 4495 124 215 0 4826 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20176 [startup+25.5015 s] /proc/loadavg: 1.02 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1780856/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=20808 CPUtime=25.47 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 4878 0 0 0 2545 2 0 0 25 0 1 0 116856376 21307392 4665 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 5202 4665 124 215 0 4984 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 20808 [startup+51.1013 s] /proc/loadavg: 1.01 1.02 1.00 2/78 26152 /proc/meminfo: memFree=1777720/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=24084 CPUtime=51.07 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 5681 0 0 0 5104 3 0 0 25 0 1 0 116856376 24662016 5468 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 6021 5468 124 215 0 5803 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24084 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26152 /proc/meminfo: memFree=1772408/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=29520 CPUtime=102.26 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 7008 0 0 0 10221 5 0 0 25 0 1 0 116856376 30228480 6795 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 7380 6795 124 215 0 7162 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29520 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26152 /proc/meminfo: memFree=1733752/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=67832 CPUtime=162.24 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 16899 0 0 0 16211 13 0 0 25 0 1 0 116856376 69459968 16374 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 16958 16374 124 215 0 16740 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 67832 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1712888/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=90844 CPUtime=222.23 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 23130 0 0 0 22207 16 0 0 25 0 1 0 116856376 93024256 21616 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 22711 21616 124 215 0 22493 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 90844 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1712824/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=90844 CPUtime=282.21 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 23132 0 0 0 28205 16 0 0 25 0 1 0 116856376 93024256 21618 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 22711 21618 124 215 0 22493 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 90844 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1703544/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=99996 CPUtime=342.19 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 25666 0 0 0 34200 19 0 0 25 0 1 0 116856376 102395904 23938 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 24999 23938 124 215 0 24781 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 99996 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1703480/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=99996 CPUtime=402.18 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 25666 0 0 0 40198 20 0 0 25 0 1 0 116856376 102395904 23938 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 24999 23938 124 215 0 24781 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 99996 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1703480/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=99996 CPUtime=462.16 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 25667 0 0 0 46196 20 0 0 25 0 1 0 116856376 102395904 23939 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 24999 23939 124 215 0 24781 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 99996 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1703416/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=99996 CPUtime=522.15 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 25667 0 0 0 52194 21 0 0 25 0 1 0 116856376 102395904 23939 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 24999 23939 124 215 0 24781 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 99996 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1700920/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=102772 CPUtime=582.13 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 26392 0 0 0 58191 22 0 0 25 0 1 0 116856376 105238528 24664 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 25693 24664 124 215 0 25475 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 102772 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1665656/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=137416 CPUtime=642.12 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 35083 0 0 0 64183 29 0 0 25 0 1 0 116856376 140713984 33355 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 34354 33355 124 215 0 34136 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 137416 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1585720/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=217056 CPUtime=882.05 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 54957 0 0 0 88153 52 0 0 25 0 1 0 116856376 222265344 53229 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 54264 53229 124 215 0 54046 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 217056 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1568312/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=234300 CPUtime=942.03 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 59318 0 0 0 94147 56 0 0 25 0 1 0 116856376 239923200 57590 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 58575 57590 124 215 0 58357 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 234300 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1554936/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=248388 CPUtime=1002.02 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 62627 0 0 0 100142 60 0 0 25 0 1 0 116856376 254349312 60899 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 62097 60899 124 215 0 61879 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 248388 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1547128/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=256144 CPUtime=1062 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 64587 0 0 0 106137 63 0 0 25 0 1 0 116856376 262291456 62859 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 64036 62859 124 215 0 63818 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 256144 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1539512/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=263376 CPUtime=1121.99 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 66446 0 0 0 112133 66 0 0 25 0 1 0 116856376 269697024 64718 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 65844 64718 124 215 0 65626 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 263376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523768/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1181.98 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 118128 70 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 278804 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523640/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1241.96 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 124126 70 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 278804 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523576/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1301.95 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 130124 71 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 278804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523512/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1361.93 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 136122 71 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 278804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523512/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1421.92 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 142120 72 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 278804 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523448/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1481.9 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 148118 72 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 278804 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523448/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1541.88 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 154115 73 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 278804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523384/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1601.86 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 160113 73 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 278804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26152 /proc/meminfo: memFree=1523384/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1661.84 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 166111 73 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 278804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26154 /proc/meminfo: memFree=1523320/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1721.83 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 172109 74 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 278804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26154 /proc/meminfo: memFree=1523256/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1781.82 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 178107 75 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 278804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26154 /proc/meminfo: memFree=1523256/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1800.02 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 179927 75 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 278804 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 26154 /proc/meminfo: memFree=1523256/2055920 swapFree=4168968/4192956 [pid=26151] ppid=26149 vsize=278804 CPUtime=1800.02 /proc/26151/stat : 26151 (minisat+) R 26149 26151 24273 0 -1 4194304 70331 0 0 0 179927 75 0 0 25 0 1 0 116856376 285495296 68603 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26151/statm: 69701 68603 124 215 0 69483 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 278804 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.08 CPU user time (s): 1799.28 CPU system time (s): 0.796878 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 278804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.796878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70333 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= 11 involuntary context switches= 36295 runsolver used 2.23166 second user time and 4.27935 second system time The end
Begin job on node21 on Mon Apr 16 02:09:51 UTC 2007 IDJOB= 353957 IDBENCH= 2300 IDSOLVER= 156 FILE ID= node21/353957-1176689391 PBS_JOBID= 4559971 Free space on /tmp= 66536 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-ran8x32.opb COMMAND LINE= /tmp/evaluation/353957-1176689391/minisat+ /tmp/evaluation/353957-1176689391/instance-353957-1176689391.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-353957-1176689391 -o ROOT/results/node21/conversion-353957-1176689391 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353957-1176689391/instance-353957-1176689391.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-353957-1176689391 -o ROOT/results/node21/solver-353957-1176689391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353957-1176689391/minisat+ /tmp/evaluation/353957-1176689391/instance-353957-1176689391.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= cbc794920cb33f20cfa2472a22fd5e8b RANDOM SEED= 174840744 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1799704 kB Buffers: 17220 kB Cached: 146376 kB SwapCached: 2868 kB Active: 96248 kB Inactive: 103980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799704 kB SwapTotal: 4192956 kB SwapFree: 4168968 kB Dirty: 2864 kB Writeback: 0 kB Mapped: 43544 kB Slab: 41484 kB Committed_AS: 976996 kB PageTables: 1820 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= 66536 MiB End job on node21 on Mon Apr 16 02:39:53 UTC 2007