Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 45 | 1800.62 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb |
MD5SUM | 8c1b16c8c16304b0c31b222fe698dea9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 36 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 288 |
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 | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1807 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530504 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530504 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.36 c Converting 320 PB-constraints to clauses... 0.36 c -- Unit propagations: (none) 0.65 c -- Detecting intervals from adjacent constraints: ################################ 0.65 c -- Clauses(.)/Splits(s): (none) 0.65 c ---[ 318]---> BDD-cost: 447 0.67 c ---[ 316]---> BDD-cost: 447 0.70 c ---[ 314]---> BDD-cost: 447 0.72 c ---[ 312]---> BDD-cost: 678 0.75 c ---[ 310]---> BDD-cost: 405 0.77 c ---[ 308]---> BDD-cost: 429 0.79 c ---[ 306]---> BDD-cost: 678 0.82 c ---[ 304]---> BDD-cost: 405 0.83 c ---[ 302]---> BDD-cost: 429 0.85 c ---[ 300]---> BDD-cost: 405 0.87 c ---[ 298]---> BDD-cost: 447 0.90 c ---[ 296]---> BDD-cost: 678 0.93 c ---[ 294]---> BDD-cost: 429 0.95 c ---[ 292]---> BDD-cost: 447 0.97 c ---[ 290]---> BDD-cost: 447 0.99 c ---[ 288]---> BDD-cost: 447 1.01 c ---[ 286]---> BDD-cost: 413 1.03 c ---[ 284]---> BDD-cost: 459 1.06 c ---[ 282]---> BDD-cost: 381 1.07 c ---[ 280]---> BDD-cost: 696 1.11 c ---[ 278]---> BDD-cost: 459 1.13 c ---[ 276]---> BDD-cost: 381 1.15 c ---[ 274]---> BDD-cost: 459 1.17 c ---[ 272]---> BDD-cost: 459 1.19 c ---[ 270]---> BDD-cost: 381 1.21 c ---[ 268]---> BDD-cost: 696 1.24 c ---[ 266]---> BDD-cost: 381 1.26 c ---[ 264]---> BDD-cost: 459 1.28 c ---[ 262]---> BDD-cost: 696 1.31 c ---[ 260]---> BDD-cost: 439 1.34 c ---[ 258]---> BDD-cost: 439 1.36 c ---[ 256]---> BDD-cost: 459 1.38 c ---[ 255]---> Sorter-cost: 177 Base: 2 1.38 c ---[ 254]---> Sorter-cost: 276 Base: 2 1.38 c ---[ 253]---> BDD-cost: 12 1.38 c ---[ 252]---> BDD-cost: 23 1.38 c ---[ 251]---> Sorter-cost: 185 Base: 2 1.38 c ---[ 250]---> Sorter-cost: 185 Base: 2 1.38 c ---[ 249]---> Sorter-cost: 172 Base: 2 1.38 c ---[ 248]---> Sorter-cost: 185 Base: 2 1.38 c ---[ 247]---> Sorter-cost: 185 Base: 2 1.39 c ---[ 246]---> BDD-cost: 23 1.39 c ---[ 245]---> Sorter-cost: 185 Base: 2 1.39 c ---[ 244]---> Sorter-cost: 185 Base: 2 1.39 c ---[ 243]---> BDD-cost: 23 1.39 c ---[ 242]---> Sorter-cost: 275 Base: 2 1.39 c ---[ 241]---> Sorter-cost: 185 Base: 2 1.39 c ---[ 240]---> Sorter-cost: 185 Base: 2 1.39 c ---[ 239]---> Sorter-cost: 177 Base: 2 1.39 c ---[ 238]---> Sorter-cost: 262 Base: 3 1.39 c ---[ 237]---> BDD-cost: 23 1.39 c ---[ 236]---> Sorter-cost: 262 Base: 3 1.39 c ---[ 235]---> BDD-cost: 23 1.39 c ---[ 234]---> Sorter-cost: 262 Base: 3 1.39 c ---[ 233]---> Sorter-cost: 262 Base: 3 1.39 c ---[ 232]---> Sorter-cost: 172 Base: 2 1.39 c ---[ 231]---> Sorter-cost: 261 Base: 3 1.40 c ---[ 230]---> Sorter-cost: 185 Base: 2 1.40 c ---[ 229]---> Sorter-cost: 232 Base: 7 1.40 c ---[ 228]---> BDD-cost: 23 1.40 c ---[ 227]---> Sorter-cost: 262 Base: 3 1.40 c ---[ 226]---> Sorter-cost: 262 Base: 3 1.40 c ---[ 225]---> BDD-cost: 23 1.40 c ---[ 224]---> Sorter-cost: 262 Base: 3 1.40 c ---[ 223]---> Sorter-cost: 262 Base: 3 1.40 c ---[ 222]---> Sorter-cost: 177 Base: 2 1.40 c ---[ 221]---> Sorter-cost: 232 Base: 7 1.40 c ---[ 220]---> BDD-cost: 12 1.40 c ---[ 219]---> BDD-cost: 23 1.40 c ---[ 218]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 217]---> BDD-cost: 23 1.41 c ---[ 216]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 215]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 214]---> Sorter-cost: 172 Base: 2 1.41 c ---[ 213]---> Sorter-cost: 185 Base: 2 1.41 c ---[ 212]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 211]---> BDD-cost: 23 1.41 c ---[ 210]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 209]---> Sorter-cost: 276 Base: 2 1.41 c ---[ 208]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 207]---> BDD-cost: 23 1.41 c ---[ 206]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 205]---> Sorter-cost: 232 Base: 7 1.41 c ---[ 204]---> Sorter-cost: 177 Base: 2 1.41 c ---[ 203]---> Sorter-cost: 262 Base: 3 1.41 c ---[ 202]---> BDD-cost: 23 1.42 c ---[ 201]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 200]---> BDD-cost: 23 1.42 c ---[ 199]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 198]---> Sorter-cost: 261 Base: 3 1.42 c ---[ 197]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 196]---> Sorter-cost: 172 Base: 2 1.42 c ---[ 195]---> Sorter-cost: 185 Base: 2 1.42 c ---[ 194]---> Sorter-cost: 232 Base: 7 1.42 c ---[ 193]---> BDD-cost: 23 1.42 c ---[ 192]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 191]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 190]---> BDD-cost: 23 1.42 c ---[ 189]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 188]---> Sorter-cost: 262 Base: 3 1.42 c ---[ 187]---> Sorter-cost: 177 Base: 2 1.42 c ---[ 186]---> Sorter-cost: 177 Base: 2 1.43 c ---[ 185]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 184]---> BDD-cost: 23 1.43 c ---[ 183]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 182]---> BDD-cost: 23 1.43 c ---[ 181]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 180]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 179]---> Sorter-cost: 172 Base: 2 1.43 c ---[ 178]---> Sorter-cost: 185 Base: 2 1.43 c ---[ 177]---> Sorter-cost: 232 Base: 7 1.43 c ---[ 176]---> Sorter-cost: 270 Base: 3 1.43 c ---[ 175]---> BDD-cost: 23 1.43 c ---[ 174]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 173]---> Sorter-cost: 262 Base: 3 1.43 c ---[ 172]---> BDD-cost: 23 1.43 c ---[ 171]---> Sorter-cost: 264 Base: 2 1.43 c ---[ 170]---> Sorter-cost: 262 Base: 3 1.44 c ---[ 169]---> Sorter-cost: 176 Base: 2 1.44 c ---[ 168]---> Sorter-cost: 270 Base: 3 1.44 c ---[ 167]---> BDD-cost: 23 1.44 c ---[ 166]---> Sorter-cost: 210 Base: 2 2 2 1.44 c ---[ 165]---> BDD-cost: 23 1.44 c ---[ 164]---> BDD-cost: 23 1.44 c ---[ 163]---> Sorter-cost: 277 Base: 2 1.44 c ---[ 162]---> Sorter-cost: 210 Base: 2 2 2 1.44 c ---[ 161]---> Sorter-cost: 172 Base: 2 1.44 c ---[ 160]---> Sorter-cost: 185 Base: 2 1.44 c ---[ 159]---> Sorter-cost: 232 Base: 7 1.44 c ---[ 158]---> BDD-cost: 23 1.44 c ---[ 157]---> Sorter-cost: 210 Base: 2 2 2 1.44 c ---[ 156]---> Sorter-cost: 262 Base: 3 1.44 c ---[ 155]---> BDD-cost: 23 1.45 c ---[ 154]---> Sorter-cost: 270 Base: 3 1.45 c ---[ 153]---> Sorter-cost: 240 Base: 7 1.45 c ---[ 152]---> Sorter-cost: 262 Base: 3 1.45 c ---[ 151]---> BDD-cost: 31 1.45 c ---[ 150]---> BDD-cost: 43 1.45 c ---[ 149]---> BDD-cost: 23 1.45 c ---[ 148]---> BDD-cost: 43 1.45 c ---[ 147]---> BDD-cost: 23 1.45 c ---[ 146]---> BDD-cost: 43 1.45 c ---[ 145]---> BDD-cost: 43 1.45 c ---[ 144]---> BDD-cost: 43 1.45 c ---[ 143]---> BDD-cost: 12 1.45 c ---[ 142]---> BDD-cost: 23 1.45 c ---[ 141]---> BDD-cost: 43 1.45 c ---[ 140]---> BDD-cost: 43 1.45 c ---[ 139]---> BDD-cost: 23 1.45 c ---[ 138]---> BDD-cost: 43 1.45 c ---[ 137]---> BDD-cost: 43 1.45 c ---[ 136]---> BDD-cost: 23 1.45 c ---[ 135]---> BDD-cost: 43 1.45 c ---[ 134]---> BDD-cost: 43 1.45 c ---[ 133]---> Sorter-cost: 177 Base: 2 1.45 c ---[ 132]---> Sorter-cost: 191 Base: 2 1.45 c ---[ 131]---> Sorter-cost: 277 Base: 2 1.46 c ---[ 130]---> BDD-cost: 23 1.46 c ---[ 129]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 128]---> BDD-cost: 23 1.46 c ---[ 127]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 126]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 125]---> Sorter-cost: 172 Base: 2 1.46 c ---[ 124]---> Sorter-cost: 185 Base: 2 1.46 c ---[ 123]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 122]---> BDD-cost: 23 1.46 c ---[ 121]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 120]---> Sorter-cost: 270 Base: 3 1.46 c ---[ 119]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 118]---> BDD-cost: 23 1.46 c ---[ 117]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 116]---> Sorter-cost: 191 Base: 2 1.46 c ---[ 115]---> Sorter-cost: 176 Base: 2 1.46 c ---[ 114]---> Sorter-cost: 270 Base: 3 1.47 c ---[ 113]---> BDD-cost: 23 1.47 c ---[ 112]---> Sorter-cost: 210 Base: 2 2 2 1.47 c ---[ 111]---> BDD-cost: 23 1.47 c ---[ 110]---> Sorter-cost: 277 Base: 2 1.47 c ---[ 109]---> Sorter-cost: 172 Base: 2 1.47 c ---[ 108]---> Sorter-cost: 210 Base: 2 2 2 1.47 c ---[ 107]---> Sorter-cost: 172 Base: 2 1.47 c ---[ 106]---> Sorter-cost: 185 Base: 2 1.47 c ---[ 105]---> Sorter-cost: 232 Base: 7 1.47 c ---[ 104]---> BDD-cost: 23 1.47 c ---[ 103]---> Sorter-cost: 210 Base: 2 2 2 1.47 c ---[ 102]---> Sorter-cost: 262 Base: 3 1.47 c ---[ 101]---> BDD-cost: 23 1.47 c ---[ 100]---> Sorter-cost: 240 Base: 7 1.47 c ---[ 99]---> Sorter-cost: 262 Base: 3 1.48 c ---[ 98]---> Sorter-cost: 185 Base: 2 1.48 c ---[ 97]---> BDD-cost: 31 1.48 c ---[ 96]---> BDD-cost: 43 1.48 c ---[ 95]---> BDD-cost: 23 1.48 c ---[ 94]---> BDD-cost: 43 1.48 c ---[ 93]---> BDD-cost: 23 1.48 c ---[ 92]---> BDD-cost: 43 1.48 c ---[ 91]---> BDD-cost: 43 1.48 c ---[ 90]---> BDD-cost: 43 1.48 c ---[ 89]---> BDD-cost: 43 1.48 c ---[ 88]---> BDD-cost: 43 1.48 c ---[ 87]---> Sorter-cost: 232 Base: 7 1.48 c ---[ 86]---> BDD-cost: 23 1.48 c ---[ 85]---> BDD-cost: 43 1.48 c ---[ 84]---> BDD-cost: 43 1.48 c ---[ 83]---> BDD-cost: 23 1.48 c ---[ 82]---> BDD-cost: 43 1.48 c ---[ 81]---> BDD-cost: 43 1.48 c ---[ 80]---> BDD-cost: 23 1.48 c ---[ 79]---> Sorter-cost: 270 Base: 3 1.48 c ---[ 78]---> Sorter-cost: 262 Base: 3 1.48 c ---[ 77]---> BDD-cost: 23 1.48 c ---[ 76]---> Sorter-cost: 275 Base: 2 1.48 c ---[ 75]---> Sorter-cost: 270 Base: 3 1.49 c ---[ 74]---> Sorter-cost: 262 Base: 3 1.49 c ---[ 73]---> BDD-cost: 47 1.49 c ---[ 72]---> Sorter-cost: 185 Base: 2 1.49 c ---[ 71]---> BDD-cost: 23 1.49 c ---[ 70]---> Sorter-cost: 185 Base: 2 1.49 c ---[ 69]---> BDD-cost: 23 1.49 c ---[ 68]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 67]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 66]---> Sorter-cost: 172 Base: 2 1.50 c ---[ 65]---> BDD-cost: 12 1.50 c ---[ 64]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 63]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 62]---> BDD-cost: 23 1.50 c ---[ 61]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 60]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 59]---> BDD-cost: 23 1.50 c ---[ 58]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 57]---> Sorter-cost: 185 Base: 2 1.50 c ---[ 56]---> BDD-cost: 22 1.50 c ---[ 55]---> BDD-cost: 34 1.50 c ---[ 54]---> Sorter-cost: 276 Base: 2 1.50 c ---[ 53]---> BDD-cost: 23 1.50 c ---[ 52]---> BDD-cost: 34 1.50 c ---[ 51]---> BDD-cost: 23 1.50 c ---[ 50]---> BDD-cost: 34 1.50 c ---[ 49]---> BDD-cost: 34 1.50 c ---[ 48]---> BDD-cost: 34 1.50 c ---[ 47]---> BDD-cost: 34 1.50 c ---[ 46]---> BDD-cost: 34 1.50 c ---[ 45]---> BDD-cost: 23 1.51 c ---[ 44]---> BDD-cost: 34 1.51 c ---[ 43]---> Sorter-cost: 275 Base: 2 1.51 c ---[ 42]---> BDD-cost: 34 1.51 c ---[ 41]---> BDD-cost: 23 1.51 c ---[ 40]---> BDD-cost: 34 1.51 c ---[ 39]---> BDD-cost: 34 1.51 c ---[ 38]---> Sorter-cost: 177 Base: 2 1.51 c ---[ 37]---> Sorter-cost: 262 Base: 3 1.51 c ---[ 36]---> BDD-cost: 23 1.51 c ---[ 35]---> Sorter-cost: 262 Base: 3 1.51 c ---[ 34]---> BDD-cost: 23 1.51 c ---[ 33]---> Sorter-cost: 262 Base: 3 1.51 c ---[ 32]---> BDD-cost: 39 1.51 c ---[ 31]---> Sorter-cost: 262 Base: 3 1.51 c ---[ 30]---> Sorter-cost: 172 Base: 2 1.51 c ---[ 29]---> Sorter-cost: 185 Base: 2 1.51 c ---[ 28]---> Sorter-cost: 232 Base: 7 1.51 c ---[ 27]---> BDD-cost: 23 1.51 c ---[ 26]---> Sorter-cost: 262 Base: 3 1.52 c ---[ 25]---> Sorter-cost: 262 Base: 3 1.52 c ---[ 24]---> BDD-cost: 23 1.52 c ---[ 23]---> Sorter-cost: 262 Base: 3 1.52 c ---[ 22]---> Sorter-cost: 262 Base: 3 1.52 c ---[ 21]---> BDD-cost: 47 1.52 c ---[ 20]---> Sorter-cost: 176 Base: 2 1.52 c ---[ 19]---> Sorter-cost: 270 Base: 3 1.52 c ---[ 18]---> BDD-cost: 23 1.52 c ---[ 17]---> Sorter-cost: 198 Base: 2 2 2 1.52 c ---[ 16]---> BDD-cost: 23 1.52 c ---[ 15]---> Sorter-cost: 277 Base: 2 1.52 c ---[ 14]---> Sorter-cost: 299 Base: 7 1.52 c ---[ 13]---> Sorter-cost: 172 Base: 2 1.52 c ---[ 12]---> Sorter-cost: 185 Base: 2 1.52 c ---[ 11]---> Sorter-cost: 232 Base: 7 1.53 c ---[ 10]---> Sorter-cost: 231 Base: 7 1.53 c ---[ 9]---> BDD-cost: 23 1.53 c ---[ 8]---> Sorter-cost: 214 Base: 2 2 2 1.53 c ---[ 7]---> Sorter-cost: 262 Base: 3 1.53 c ---[ 6]---> BDD-cost: 23 1.53 c ---[ 5]---> Sorter-cost: 240 Base: 7 1.53 c ---[ 4]---> Sorter-cost: 262 Base: 3 1.53 c ---[ 3]---> BDD-cost: 47 1.53 c ---[ 2]---> Sorter-cost: 185 Base: 2 1.53 c ---[ 1]---> BDD-cost: 23 1.53 c ---[ 0]---> Sorter-cost: 185 Base: 2 1.63 c ==================================[MINISAT+]================================== 1.63 c | Conflicts | Original | Learnt | Progress | 1.63 c | | Clauses Literals | Max Clauses Literals LPC | | 1.63 c ============================================================================== 1.63 c | 0 | 102132 253981 | 34044 0 0 nan | 0.000 % | 1.66 c | 100 | 102132 253981 | 37448 100 290 2.9 | 8.646 % | 1.70 c ============================================================================== 1.70 c [1mFound solution: 179[0m 1.70 o 179 1.75 c ---[ 0]---> Adder-cost: 7530 maxlim: 3596 bits: 12/12 10.54 c ==================================[MINISAT+]================================== 10.54 c | Conflicts | Original | Learnt | Progress | 10.54 c | | Clauses Literals | Max Clauses Literals LPC | | 10.54 c ============================================================================== 10.54 c | 174 | 154598 441618 | 51532 156 729 4.7 | 8.646 % | 10.60 c | 274 | 154503 441402 | 56685 238 1121 4.7 | 7.702 % | 10.67 c | 433 | 154503 441402 | 62353 397 2741 6.9 | 7.702 % | 10.74 c | 658 | 154503 441402 | 68589 622 5219 8.4 | 7.702 % | 10.88 c | 996 | 154410 441191 | 75448 952 12186 12.8 | 7.748 % | 11.08 c | 1506 | 154410 441191 | 82992 1462 16889 11.6 | 7.748 % | 11.29 c | 2265 | 154410 441191 | 91292 2221 36813 16.6 | 7.748 % | 11.86 c | 3404 | 154386 441109 | 100421 3357 76889 22.9 | 7.757 % | 12.68 c | 5112 | 154386 441109 | 110463 5065 116603 23.0 | 7.757 % | 13.53 c ============================================================================== 13.53 c [1mFound solution: 92[0m 13.53 o 92 13.58 c ---[ 0]---> Adder-cost: 0 maxlim: 3683 bits: 12/12 22.70 c ==================================[MINISAT+]================================== 22.70 c | Conflicts | Original | Learnt | Progress | 22.70 c | | Clauses Literals | Max Clauses Literals LPC | | 22.70 c ============================================================================== 22.70 c | 7317 | 154395 441145 | 51465 7270 159673 22.0 | 7.757 % | 22.84 c | 7417 | 154395 441145 | 56611 7370 163635 22.2 | 7.761 % | 22.96 c | 7568 | 154395 441145 | 62272 7521 164942 21.9 | 7.761 % | 23.14 c | 7793 | 154395 441145 | 68499 7746 166380 21.5 | 7.761 % | 23.33 c ============================================================================== 23.33 c [1mFound solution: 84[0m 23.33 o 84 23.38 c ---[ 0]---> Adder-cost: 0 maxlim: 3691 bits: 12/12 32.61 c ==================================[MINISAT+]================================== 32.61 c | Conflicts | Original | Learnt | Progress | 32.61 c | | Clauses Literals | Max Clauses Literals LPC | | 32.61 c ============================================================================== 32.61 c | 7937 | 154372 441101 | 51457 7881 167212 21.2 | 7.761 % | 32.70 c | 8037 | 154372 441101 | 56602 7981 168429 21.1 | 7.776 % | 32.94 c | 8187 | 154372 441101 | 62262 8131 169808 20.9 | 7.776 % | 33.11 c | 8413 | 154372 441101 | 68489 8357 175457 21.0 | 7.776 % | 33.56 c | 8752 | 154348 441048 | 75338 8694 181962 20.9 | 7.788 % | 33.81 c | 9259 | 154247 440815 | 82872 9187 191785 20.9 | 7.837 % | 34.34 c | 10018 | 154195 440697 | 91159 9943 202328 20.3 | 7.861 % | 34.79 c | 11157 | 154148 440592 | 100275 11067 229188 20.7 | 7.881 % | 36.03 c | 12865 | 154136 440565 | 110302 12771 309732 24.3 | 7.888 % | 37.33 c | 15427 | 154047 440309 | 121332 15318 388974 25.4 | 7.924 % | 39.69 c | 19271 | 154038 440278 | 133466 19160 527072 27.5 | 7.925 % | 42.10 c ============================================================================== 42.10 c [1mFound solution: 74[0m 42.10 o 74 42.15 c ---[ 0]---> Adder-cost: 0 maxlim: 3701 bits: 12/12 51.41 c ==================================[MINISAT+]================================== 51.41 c | Conflicts | Original | Learnt | Progress | 51.41 c | | Clauses Literals | Max Clauses Literals LPC | | 51.41 c ============================================================================== 51.41 c | 22848 | 153939 440067 | 51313 22715 646685 28.5 | 7.925 % | 51.50 c | 22948 | 153939 440067 | 56444 22815 649288 28.5 | 7.984 % | 51.64 c | 23098 | 153939 440067 | 62088 22965 651732 28.4 | 7.984 % | 51.87 c | 23323 | 153939 440067 | 68297 23190 656074 28.3 | 7.984 % | 52.15 c | 23660 | 153939 440067 | 75127 23527 663332 28.2 | 7.984 % | 52.56 c ============================================================================== 52.56 c [1mFound solution: 67[0m 52.56 o 67 52.61 c ---[ 0]---> Adder-cost: 0 maxlim: 3708 bits: 12/12 61.97 c ==================================[MINISAT+]================================== 61.97 c | Conflicts | Original | Learnt | Progress | 61.97 c | | Clauses Literals | Max Clauses Literals LPC | | 61.97 c ============================================================================== 61.97 c | 24096 | 153925 440050 | 51308 23962 673375 28.1 | 7.984 % | 62.09 c | 24196 | 153925 440050 | 56438 24062 675518 28.1 | 7.997 % | 62.18 c | 24346 | 153925 440050 | 62082 24212 678195 28.0 | 7.997 % | 62.33 c | 24572 | 153925 440050 | 68290 24438 682114 27.9 | 7.997 % | 62.59 c | 24911 | 153925 440050 | 75120 24777 694296 28.0 | 7.997 % | 62.85 c | 25417 | 153925 440050 | 82632 25283 710929 28.1 | 7.997 % | 63.23 c | 26176 | 153925 440050 | 90895 26042 725064 27.8 | 7.997 % | 64.04 c | 27320 | 153848 439826 | 99984 27177 756110 27.8 | 8.026 % | 65.25 c | 29028 | 153848 439826 | 109983 28885 832558 28.8 | 8.026 % | 67.01 c | 31590 | 153753 439564 | 120981 31435 944348 30.0 | 8.063 % | 69.73 c ============================================================================== 69.73 c [1mFound solution: 62[0m 69.73 o 62 69.78 c ---[ 0]---> Adder-cost: 0 maxlim: 3713 bits: 12/12 79.17 c ==================================[MINISAT+]================================== 79.17 c | Conflicts | Original | Learnt | Progress | 79.17 c | | Clauses Literals | Max Clauses Literals LPC | | 79.17 c ============================================================================== 79.17 c | 34573 | 153623 439045 | 51207 34380 1086382 31.6 | 8.063 % | 79.26 c | 34675 | 153623 439045 | 56327 34482 1088234 31.6 | 8.100 % | 79.45 c | 34826 | 153406 438528 | 61960 34594 1090633 31.5 | 8.210 % | 79.69 c | 35051 | 153397 438497 | 68156 34816 1101294 31.6 | 8.212 % | 79.89 c | 35388 | 153397 438497 | 74972 35153 1116749 31.8 | 8.212 % | 80.31 c | 35895 | 153397 438497 | 82469 35660 1132463 31.8 | 8.212 % | 80.88 c | 36655 | 153397 438497 | 90716 36420 1164432 32.0 | 8.212 % | 82.05 c | 37797 | 153397 438497 | 99787 37562 1222469 32.5 | 8.212 % | 83.59 c | 39505 | 153219 437970 | 109766 39203 1306418 33.3 | 8.278 % | 85.46 c | 42069 | 152849 436700 | 120743 41664 1488734 35.7 | 8.390 % | 88.20 c | 45915 | 152493 435729 | 132817 45446 1696918 37.3 | 8.549 % | 93.44 c | 51682 | 152493 435729 | 146099 51213 2362581 46.1 | 8.549 % | 99.65 c | 60331 | 152338 435374 | 160709 59848 3470354 58.0 | 8.627 % | 109.30 c | 73306 | 152295 435229 | 176780 72790 4944315 67.9 | 8.638 % | 125.11 c | 92767 | 152262 435154 | 194458 92249 7105068 77.0 | 8.651 % | 168.06 c | 121960 | 152014 434562 | 213904 121417 11829197 97.4 | 8.775 % | 189.82 c ============================================================================== 189.82 c [1mFound solution: 60[0m 189.82 o 60 189.88 c ---[ 0]---> Adder-cost: 0 maxlim: 3715 bits: 12/12 199.46 c ==================================[MINISAT+]================================== 199.46 c | Conflicts | Original | Learnt | Progress | 199.46 c | | Clauses Literals | Max Clauses Literals LPC | | 199.46 c ============================================================================== 199.46 c | 136415 | 151966 434436 | 50655 135865 13805752 101.6 | 8.775 % | 199.90 c | 136517 | 151966 434436 | 55720 22801 1787098 78.4 | 8.793 % | 200.00 c | 136667 | 151966 434436 | 61292 22951 1789417 78.0 | 8.793 % | 200.17 c | 136892 | 151963 434427 | 67421 23173 1793048 77.4 | 8.795 % | 200.43 c | 137229 | 151963 434427 | 74163 23510 1798336 76.5 | 8.795 % | 200.78 c | 137735 | 151952 434403 | 81580 24015 1808532 75.3 | 8.800 % | 201.07 c | 138497 | 151952 434403 | 89738 24777 1828732 73.8 | 8.800 % | 201.98 c | 139639 | 151894 434273 | 98712 25913 1903062 73.4 | 8.829 % | 203.60 c | 141348 | 151894 434273 | 108583 27622 2069940 74.9 | 8.829 % | 205.37 c | 143911 | 151849 434160 | 119441 30179 2328875 77.2 | 8.847 % | 208.17 c | 147758 | 151823 434068 | 131386 34015 2658618 78.2 | 8.852 % | 212.62 c | 153526 | 151766 433940 | 144524 39776 3230265 81.2 | 8.878 % | 222.44 c | 162177 | 151651 433677 | 158977 48420 4206331 86.9 | 8.935 % | 233.17 c | 175151 | 151631 433621 | 174874 61384 5743528 93.6 | 8.944 % | 256.52 c | 194613 | 151622 433590 | 192362 80840 8162489 101.0 | 8.946 % | 293.69 c | 223806 | 151595 433497 | 211598 110023 11719735 106.5 | 8.951 % | 344.31 c ============================================================================== 344.31 c [1mFound solution: 55[0m 344.31 o 55 344.37 c ---[ 0]---> Adder-cost: 0 maxlim: 3720 bits: 12/12 353.99 c ==================================[MINISAT+]================================== 353.99 c | Conflicts | Original | Learnt | Progress | 353.99 c | | Clauses Literals | Max Clauses Literals LPC | | 353.99 c ============================================================================== 353.99 c | 257109 | 151533 433300 | 50511 143281 16162545 112.8 | 8.951 % | 354.67 c | 257209 | 151533 433300 | 55562 27195 1976477 72.7 | 8.969 % | 354.90 c | 257359 | 151533 433300 | 61118 27345 1981338 72.5 | 8.969 % | 355.12 c | 257584 | 151533 433300 | 67230 27570 1996375 72.4 | 8.969 % | 355.42 c | 257921 | 151533 433300 | 73953 27907 2020941 72.4 | 8.969 % | 355.83 c | 258427 | 151533 433300 | 81348 28413 2066431 72.7 | 8.969 % | 356.50 c | 259188 | 151533 433300 | 89483 29174 2140629 73.4 | 8.969 % | 358.16 c | 260328 | 151533 433300 | 98431 30314 2321393 76.6 | 8.969 % | 359.53 c | 262036 | 151533 433300 | 108274 32022 2478781 77.4 | 8.969 % | 361.38 c | 264598 | 151533 433300 | 119102 34584 2693262 77.9 | 8.969 % | 365.14 c | 268444 | 151533 433300 | 131012 38430 3125116 81.3 | 8.969 % | 370.81 c | 274210 | 151501 433188 | 144113 44182 3740161 84.7 | 8.976 % | 378.98 c | 282861 | 151483 433126 | 158525 52828 4777076 90.4 | 8.979 % | 393.28 c | 295837 | 151468 433075 | 174377 65800 6330563 96.2 | 8.982 % | 418.57 c | 315299 | 151450 433013 | 191815 85255 8582577 100.7 | 8.986 % | 465.05 c | 344492 | 151199 432406 | 210996 114431 12909860 112.8 | 9.111 % | 531.17 c ============================================================================== 531.17 c [1mFound solution: 50[0m 531.17 o 50 531.23 c ---[ 0]---> Adder-cost: 0 maxlim: 3725 bits: 12/12 541.17 c ==================================[MINISAT+]================================== 541.17 c | Conflicts | Original | Learnt | Progress | 541.17 c | | Clauses Literals | Max Clauses Literals LPC | | 541.17 c ============================================================================== 541.17 c | 382494 | 151154 432279 | 50384 152423 18496052 121.3 | 9.111 % | 542.05 c | 382594 | 151154 432279 | 55422 26749 2052548 76.7 | 9.129 % | 542.18 c | 382744 | 151154 432279 | 60964 26899 2060796 76.6 | 9.129 % | 542.33 c | 382970 | 151154 432279 | 67061 27125 2068092 76.2 | 9.129 % | 542.80 c | 383307 | 150994 431917 | 73767 27432 2085177 76.0 | 9.209 % | 543.07 c | 383813 | 150994 431917 | 81143 27938 2101734 75.2 | 9.209 % | 543.65 c | 384575 | 150994 431917 | 89258 28700 2179133 75.9 | 9.209 % | 544.52 c | 385716 | 150994 431917 | 98184 29841 2328367 78.0 | 9.209 % | 546.27 c | 387424 | 150994 431917 | 108002 31549 2514729 79.7 | 9.209 % | 548.47 c | 389986 | 150985 431886 | 118802 34109 2858328 83.8 | 9.211 % | 552.04 c | 393832 | 150985 431886 | 130683 37955 3278269 86.4 | 9.211 % | 556.51 c | 399600 | 150985 431886 | 143751 43723 3983644 91.1 | 9.211 % | 565.33 c | 408250 | 150976 431855 | 158126 52370 5020359 95.9 | 9.212 % | 580.35 c | 421227 | 150912 431700 | 173939 65318 6346310 97.2 | 9.241 % | 603.99 c | 440689 | 150790 431422 | 191333 84770 9110940 107.5 | 9.307 % | 648.46 c | 469882 | 150680 431164 | 210466 113953 12864244 112.9 | 9.358 % | 720.54 c ============================================================================== 720.54 c [1mFound solution: 46[0m 720.54 o 46 720.61 c ---[ 0]---> Adder-cost: 0 maxlim: 3729 bits: 12/12 730.97 c ==================================[MINISAT+]================================== 730.97 c | Conflicts | Original | Learnt | Progress | 730.97 c | | Clauses Literals | Max Clauses Literals LPC | | 730.97 c ============================================================================== 730.97 c | 508300 | 150625 431023 | 50208 152362 20668744 135.7 | 9.358 % | 731.95 c | 508400 | 150625 431023 | 55228 24315 2967255 122.0 | 9.385 % | 732.15 c | 508551 | 150625 431023 | 60751 24466 2969194 121.4 | 9.385 % | 732.33 c | 508776 | 150625 431023 | 66826 24691 2972488 120.4 | 9.385 % | 732.58 c | 509113 | 150616 430992 | 73509 25023 2977101 119.0 | 9.386 % | 732.84 c | 509619 | 150616 430992 | 80860 25529 2989545 117.1 | 9.386 % | 733.55 c | 510378 | 150505 430735 | 88946 26280 3022590 115.0 | 9.451 % | 734.18 c | 511521 | 150505 430735 | 97841 27423 3138591 114.5 | 9.451 % | 735.94 c | 513232 | 150505 430735 | 107625 29134 3296878 113.2 | 9.451 % | 738.26 c | 515794 | 150505 430735 | 118387 31696 3563975 112.4 | 9.451 % | 741.90 c | 519638 | 150490 430684 | 130226 35538 4097683 115.3 | 9.454 % | 747.39 c | 525407 | 150480 430661 | 143249 41306 4623503 111.9 | 9.459 % | 755.64 c | 534057 | 150480 430661 | 157574 49956 5678925 113.7 | 9.459 % | 767.52 c | 547031 | 150462 430611 | 173331 62928 7027874 111.7 | 9.464 % | 794.52 c | 566495 | 150448 430579 | 190664 82391 8885171 107.8 | 9.473 % | 837.46 c | 595689 | 150391 430401 | 209731 111571 12078304 108.3 | 9.490 % | 913.89 c | 639482 | 150391 430401 | 230704 155364 17836507 114.8 | 9.490 % | 1063.10 c | 705166 | 150284 430062 | 253774 221013 26945151 121.9 | 9.522 % | 1240.35 c | 803692 | 149413 427827 | 279152 78928 7840583 99.3 | 9.888 % | 1431.06 c ============================================================================== 1431.07 c [1mFound solution: 45[0m 1431.07 o 45 1431.13 c ---[ 0]---> Adder-cost: 0 maxlim: 3730 bits: 12/12 1441.01 c ==================================[MINISAT+]================================== 1441.01 c | Conflicts | Original | Learnt | Progress | 1441.01 c | | Clauses Literals | Max Clauses Literals LPC | | 1441.01 c ============================================================================== 1441.01 c | 902350 | 148941 426373 | 49647 177445 18462997 104.0 | 9.888 % | 1442.28 c | 902451 | 148941 426373 | 54611 27044 1397990 51.7 | 10.032 % | 1442.81 c | 902601 | 148913 426298 | 60072 27190 1407996 51.8 | 10.044 % | 1443.08 c | 902826 | 148913 426298 | 66080 27415 1422102 51.9 | 10.044 % | 1443.41 c | 903163 | 148913 426298 | 72688 27752 1448831 52.2 | 10.044 % | 1443.92 c | 903670 | 148913 426298 | 79956 28259 1488185 52.7 | 10.044 % | 1444.76 c | 904430 | 148913 426298 | 87952 29019 1558072 53.7 | 10.044 % | 1446.05 c | 905570 | 148904 426267 | 96747 30153 1659595 55.0 | 10.045 % | 1447.89 c | 907284 | 148869 426187 | 106422 31865 1830109 57.4 | 10.066 % | 1451.48 c | 909846 | 148860 426156 | 117065 34426 2119655 61.6 | 10.067 % | 1456.78 c | 913692 | 148860 426156 | 128771 38272 2533301 66.2 | 10.067 % | 1463.52 c | 919460 | 148825 426044 | 141648 44028 3161479 71.8 | 10.078 % | 1474.54 c | 928110 | 148739 425794 | 155813 52667 4042325 76.8 | 10.112 % | 1492.93 c | 941087 | 148716 425724 | 171394 65642 5578835 85.0 | 10.120 % | 1523.25 c | 960548 | 148680 425600 | 188534 85092 7873944 92.5 | 10.127 % | 1570.98 c | 989740 | 148586 425345 | 207387 114273 11902400 104.2 | 10.166 % | 1665.02 c | 1033530 | 148477 425007 | 228126 158025 17140480 108.5 | 10.198 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 s SATISFIABLE 1801.17 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 1801.17 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1801.17 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1801.17 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1801.17 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1801.17 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 1801.17 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1801.17 v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1801.17 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1801.17 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1801.17 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1801.17 v -x6390 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 1801.17 v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x7021 -x7022 -x7023 1801.17 v -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 1801.17 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 1801.17 v -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 1801.17 v -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1801.17 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1801.17 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 1801.17 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1801.17 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1801.17 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1801.17 v -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1801.17 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 1801.17 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1801.17 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1801.17 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1801.17 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1801.17 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1801.17 v -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1801.17 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 1801.17 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1801.17 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 1801.17 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1801.17 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1801.17 v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 1801.17 v -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1801.17 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1801.17 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1801.17 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 1801.17 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1801.17 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1801.17 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1801.17 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1801.17 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1801.17 v -x5280 x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 1801.17 v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 1801.17 v -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1801.17 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 1801.17 v -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1801.17 v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 1801.17 v -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 1801.17 v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 1801.17 v -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 1801.17 v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1801.17 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1801.17 v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 1801.17 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1801.17 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 1801.17 v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 1801.17 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 1801.17 v -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1801.17 v -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 1801.17 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 1801.17 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 1801.17 v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 1801.17 v -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 1801.17 v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1801.17 v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 1801.17 v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 1801.17 v -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 1801.17 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1801.17 v -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 1801.17 v -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 1801.17 v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 1801.17 v -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 1801.17 v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 1801.17 v -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1801.17 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 1801.17 v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1801.17 v -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 1801.17 v -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 1801.17 v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 1801.17 v -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 1801.17 v -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 1801.17 v -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1801.17 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1801.17 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1801.17 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 1801.17 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1801.17 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1801.17 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1801.17 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1801.17 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1801.17 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 1801.17 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1801.17 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1801.17 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1801.17 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1801.17 v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1801.17 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1801.17 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1801.17 v -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 1801.17 v -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1801.17 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1801.17 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1801.17 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1801.17 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1801.17 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1801.17 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1801.17 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 1801.17 v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1801.17 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1801.17 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 1801.17 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1801.17 v -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 1801.17 v -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 1801.17 v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1801.17 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 1801.17 v -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 1801.17 v -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 1801.17 v -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 1801.17 v -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 1801.17 v -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 1801.17 v -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 1801.17 v -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 1801.17 v -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 1801.17 v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 1801.17 v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 1801.17 v -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 1801.17 v -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 1801.17 v -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 1801.17 v -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 1801.17 v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 1801.17 v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 1801.17 v -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 1801.17 v -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 x6991 -x6992 -x6993 1801.17 v -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 1801.17 v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 1801.17 v -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 1801.17 v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 1801.17 v -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 1801.17 v -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 1801.17 v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 x7142 1801.17 v x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 1801.17 v -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 1801.17 v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 1801.17 v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 1801.17 v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 1801.17 v -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 1801.17 v -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 1801.17 v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 1801.17 v -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 1801.17 v -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 1801.17 v -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 1801.17 v -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 1801.17 v -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 1801.17 v -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 1801.17 v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 1801.17 v -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 1801.17 v -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 1801.17 v -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 1801.17 v -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 1801.17 v -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 1801.17 v -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 1801.17 v -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 1801.17 v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 1801.17 v -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 1801.17 v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 1801.17 v -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 1801.17 v -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 1801.17 v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 1801.17 v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 1801.17 v -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x91 -x92 -x93 1801.17 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 1801.17 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1801.17 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1801.17 v -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1801.17 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1801.17 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1801.17 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1801.17 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 1801.17 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1801.17 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1801.17 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1801.17 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1801.17 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1801.17 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1801.17 v -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1801.17 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1801.17 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1801.17 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1801.17 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1801.17 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1801.17 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1801.17 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1801.17 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1801.17 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1801.17 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1801.17 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1801.17 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1801.17 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1801.17 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1801.17 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 1801.17 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1801.17 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1801.17 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1801.17 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1801.17 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1801.17 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1801.17 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1801.17 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1801.17 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1801.17 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1801.17 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1801.17 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1801.17 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1801.17 v -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1801.17 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1801.17 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1801.17 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1801.17 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1801.17 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1801.17 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1801.17 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1801.17 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1801.17 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1801.17 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1801.17 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1801.17 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1801.17 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1801.17 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1801.17 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1801.17 v -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1801.17 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 1801.17 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1801.17 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1801.17 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1801.17 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1801.17 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1801.17 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1801.17 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1801.17 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1801.17 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1801.17 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1801.17 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1801.17 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1801.17 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1801.17 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1801.17 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1801.17 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1801.17 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1801.17 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1801.17 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1801.17 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1801.17 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1801.17 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1801.17 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1801.17 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1801.17 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1801.17 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1801.17 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1801.17 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1801.17 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1801.17 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1801.17 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1801.17 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1801.17 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1801.17 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1801.17 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1801.17 v -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1801.17 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1801.17 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1801.17 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 1801.17 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1801.17 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1801.17 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1801.17 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1801.17 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1801.17 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1801.17 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1801.17 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1801.17 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1801.17 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1801.17 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1801.17 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1801.17 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1801.17 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 1801.17 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1801.17 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1801.17 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1801.17 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1801.17 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1801.17 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1801.17 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1801.17 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1801.17 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1801.17 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1801.17 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1801.17 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1801.17 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1801.17 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1801.17 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1801.17 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1801.17 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1801.17 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1801.17 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1801.17 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1801.17 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1801.17 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1801.17 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1801.17 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1801.17 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1801.17 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1801.17 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1801.17 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1801.17 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1801.17 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1801.17 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1801.17 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1801.17 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1801.17 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1801.17 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1801.17 v -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1801.17 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1801.17 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1801.17 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1801.17 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1801.17 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1801.17 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1801.17 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1801.17 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1801.17 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1801.17 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1801.17 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1801.17 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1801.17 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1801.17 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1801.17 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1801.17 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1801.17 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 1801.17 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1801.17 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1801.17 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1801.17 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1801.17 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1801.17 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1801.17 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1801.17 v -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1801.17 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1801.17 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1801.17 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1801.17 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1801.17 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1801.17 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1801.17 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1801.17 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1801.17 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1801.17 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1801.17 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1801.17 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1801.17 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1801.17 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1801.17 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1801.17 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1801.17 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1801.17 v -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1801.17 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1801.17 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1801.17 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1801.17 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1801.17 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1801.17 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1801.17 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1801.17 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1801.17 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1801.17 v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1801.17 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1801.17 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1801.17 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1801.17 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1801.17 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1801.17 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1801.17 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 1801.17 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 1801.17 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 1801.17 v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1801.17 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1801.17 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1801.17 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1801.17 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1801.17 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1801.17 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1801.17 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 1801.17 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1801.17 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1801.17 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1801.17 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 1801.17 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1801.17 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1801.17 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1801.17 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1801.17 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1801.17 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1801.17 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1801.17 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1801.17 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1801.17 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1801.17 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1801.17 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1801.17 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 1801.17 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1801.17 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 1801.17 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1801.17 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1801.17 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1801.17 v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 1801.17 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1801.17 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1801.17 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1801.17 v -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1801.17 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1801.17 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1801.17 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1801.17 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 1801.17 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1801.17 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1801.17 v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1801.17 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1801.17 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1801.17 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1801.17 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1801.17 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1801.17 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1801.17 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1801.17 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1801.17 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1801.17 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1801.17 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1801.17 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x7681 -x7682 -x7793 -x7860 -x7871 -x7882 -x7893 1801.17 v -x7904 x7915 -x7926 -x7683 -x7694 -x7705 -x7716 -x7727 -x7738 -x7749 -x7760 -x7771 -x7782 -x7794 -x7805 -x7816 -x7827 1801.17 v -x7838 -x7849 -x7856 x7857 x7858 -x7859 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 x7867 -x7868 -x7869 -x7870 -x7872 -x7873 1801.17 v -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7883 -x7884 -x7885 -x7886 -x7887 x7888 -x7889 -x7890 -x7891 1801.17 v -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 1801.17 v -x7911 -x7912 -x7913 x7914 x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7927 -x7928 -x7929 -x7930 1801.17 v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7695 1801.17 v -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 1801.17 v -x7714 -x7715 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 x7726 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 1801.17 v -x7734 -x7735 -x7736 -x7737 x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7750 -x7751 x7752 -x7753 1801.17 v -x7754 -x7755 x7756 -x7757 -x7758 -x7759 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 x7767 -x7768 -x7769 -x7770 -x7772 -x7773 1801.17 v -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 1801.17 v -x7795 -x7796 -x7797 -x7798 x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 1801.17 v -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7828 -x7829 -x7830 -x7831 x7832 -x7833 1801.17 v x7834 -x7835 -x7836 -x7837 -x7839 -x7840 -x7841 x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7850 -x7851 -x7852 -x7853 1801.17 v -x7854 -x7855
OK 45
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-34917-1149249127 -o ROOT/results/node30/solver-34917-1149249127 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/34917-1149249127/instance-34917-1149249127.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 20651 /proc/meminfo: memFree=1839024/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=1352 CPUtime=0 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 190576358 1384448 144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570011 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 338 144 67 215 0 120 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.90 2/64 20651 /proc/meminfo: memFree=1823728/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=17640 CPUtime=9.99 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 4143 0 0 0 998 1 0 0 25 0 1 0 190576358 18063360 3936 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 4410 3936 111 215 0 4192 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 17640 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1810480/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=30312 CPUtime=19.99 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 7984 0 0 0 1996 3 0 0 25 0 1 0 190576358 31039488 7240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808937 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 7578 7240 124 215 0 7360 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 30312 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1810096/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=32368 CPUtime=30 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 8140 0 0 0 2997 3 0 0 25 0 1 0 190576358 33144832 7347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 8092 7347 124 215 0 7874 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 32368 [startup+40.0192 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1809136/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=33372 CPUtime=40 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 8504 0 0 0 3996 4 0 0 25 0 1 0 190576358 34172928 7578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 8343 7578 124 215 0 8125 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 33372 [startup+50.0252 s] /proc/loadavg: 0.96 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1807216/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=35336 CPUtime=50.01 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 8989 0 0 0 4997 4 0 0 25 0 1 0 190576358 36184064 8063 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 8834 8063 124 215 0 8616 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 35336 [startup+60.0313 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1806896/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=35616 CPUtime=60.01 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 9359 0 0 0 5997 4 0 0 25 0 1 0 190576358 36470784 8134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 8904 8134 124 215 0 8686 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 35616 [startup+70.0374 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1805360/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=37148 CPUtime=70.01 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 10036 0 0 0 6996 5 0 0 25 0 1 0 190576358 38039552 8523 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 9287 8523 124 215 0 9069 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 37148 [startup+80.0434 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1805552/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=36664 CPUtime=80.02 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 10229 0 0 0 7997 5 0 0 25 0 1 0 190576358 37543936 8417 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 9166 8417 124 215 0 8948 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 36664 [startup+90.0495 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1802480/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=40040 CPUtime=90.01 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 11046 0 0 0 8995 6 0 0 25 0 1 0 190576358 41000960 9234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 10010 9234 124 215 0 9792 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 40040 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1795568/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=46880 CPUtime=100.01 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 12779 0 0 0 9994 7 0 0 25 0 1 0 190576358 48005120 10967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 11720 10967 124 215 0 11502 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 46880 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20651 /proc/meminfo: memFree=1789040/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=53448 CPUtime=110.02 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 14394 0 0 0 10993 9 0 0 25 0 1 0 190576358 54730752 12582 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 13362 12582 124 215 0 13144 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 53448 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1783024/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=59360 CPUtime=120.02 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 15897 0 0 0 11992 10 0 0 25 0 1 0 190576358 60784640 14085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 14840 14085 124 215 0 14622 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 59360 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1777776/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=64780 CPUtime=130.03 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 17202 0 0 0 12991 12 0 0 25 0 1 0 190576358 66334720 15390 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 16195 15390 124 215 0 15977 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 64780 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1773808/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=68724 CPUtime=140.03 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 18197 0 0 0 13990 13 0 0 25 0 1 0 190576358 70373376 16385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 17181 16385 124 215 0 16963 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 68724 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1769968/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=72520 CPUtime=150.04 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 19152 0 0 0 14989 15 0 0 25 0 1 0 190576358 74260480 17340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 18130 17340 124 215 0 17912 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 72520 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1764528/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=77888 CPUtime=160.04 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 20516 0 0 0 15988 16 0 0 25 0 1 0 190576358 79757312 18704 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 19472 18704 124 215 0 19254 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 77888 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1759280/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=83140 CPUtime=170.04 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 21819 0 0 0 16987 17 0 0 25 0 1 0 190576358 85135360 20007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574551 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 20785 20007 124 215 0 20567 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 83140 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1755568/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=86816 CPUtime=180.05 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 22752 0 0 0 17987 18 0 0 25 0 1 0 190576358 88899584 20940 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 21704 20940 124 215 0 21486 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 86816 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1750960/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=91344 CPUtime=190.05 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 23982 0 0 0 18987 18 0 0 25 0 1 0 190576358 93536256 22082 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 22836 22082 124 215 0 22618 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 91344 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1751152/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=90948 CPUtime=200.05 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 24165 0 0 0 19987 18 0 0 25 0 1 0 190576358 93130752 21991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 22737 21991 124 215 0 22519 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 90948 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20651 /proc/meminfo: memFree=1751152/2055920 swapFree=4180904/4192956 ################ # More data... # ################ [pid=20651] ppid=20649 vsize=179600 CPUtime=1781.48 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178103 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 179600 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1782.49 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178204 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 179600 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1783.49 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178304 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 179600 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1784.5 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178405 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 179600 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 3/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1785.5 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178505 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 179600 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1786.51 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178606 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 179600 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1787.51 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178706 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 179600 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1788.52 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178807 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 179600 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1789.52 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 178907 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 179600 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1790.53 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179008 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 179600 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1791.53 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179108 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 179600 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1792.54 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179209 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 179600 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1793.54 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179309 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 179600 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1794.55 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179410 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 179600 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1795.55 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47248 0 0 0 179510 45 0 0 25 0 1 0 190576358 183910400 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44056 124 215 0 44682 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 179600 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1796.55 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 179610 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 179600 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1797.56 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 179711 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 179600 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1798.56 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 179811 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 179600 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1799.57 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 179912 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576171 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 179600 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1800.57 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 180012 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 179600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20846 /proc/meminfo: memFree=1662256/2055920 swapFree=4180904/4192956 [pid=20651] ppid=20649 vsize=179600 CPUtime=1800.58 /proc/20651/stat : 20651 (minisat+) R 20649 20651 20605 0 -1 4194304 47249 0 0 0 180013 45 0 0 25 0 1 0 190576358 183910400 44057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20651/statm: 44900 44057 124 215 0 44682 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 179600 Sending SIGTERM to -20651 Sleeping 2 seconds Child status: 10 Real time (s): 1801.21 CPU time (s): 1800.62 CPU user time (s): 1800.13 CPU system time (s): 0.481926 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 179600
Begin job on node30 on Fri Jun 2 11:52:07 UTC 2006 FILE ID= 34917-1149249127 PBS_JOBID= 297969 BENCH NAME= ROOT/tmp/node30/34917-1149249127/instance-34917-1149249127.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/34917-1149249127/instance-34917-1149249127.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-34917-1149249127 -o ROOT/results/node30/solver-34917-1149249127 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/34917-1149249127/instance-34917-1149249127.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 8c1b16c8c16304b0c31b222fe698dea9 RANDOM SEED= 341237425 /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.216 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.216 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: 1839240 kB Buffers: 5196 kB Cached: 141664 kB SwapCached: 3488 kB Active: 31392 kB Inactive: 123972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839240 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14724 kB Slab: 47328 kB Committed_AS: 204052 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Fri Jun 2 12:22:09 UTC 2006