Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 22365823 | 1800.51 | 1801.22 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 334ff12347ae763156f4e4389dfec521 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5885956 |
Best CPU time to get the best result obtained on this benchmark | 1800.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5885956 |
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 | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.37 c Converting 320 PB-constraints to clauses... 0.38 c -- Unit propagations: (none) 0.61 c -- Detecting intervals from adjacent constraints: ################################ 0.62 c -- Clauses(.)/Splits(s): (none) 0.62 c ---[ 318]---> Adder-cost: 422 maxlim: 333808 bits: 19/19 0.65 c ---[ 316]---> Adder-cost: 422 maxlim: 331760 bits: 19/19 0.69 c ---[ 314]---> Adder-cost: 422 maxlim: 336880 bits: 19/19 0.72 c ---[ 312]---> Adder-cost: 426 maxlim: 415728 bits: 19/19 0.76 c ---[ 310]---> Adder-cost: 382 maxlim: 104432 bits: 17/17 0.79 c ---[ 308]---> Adder-cost: 406 maxlim: 195568 bits: 18/18 0.82 c ---[ 306]---> Adder-cost: 426 maxlim: 415728 bits: 19/19 0.86 c ---[ 304]---> Adder-cost: 382 maxlim: 104432 bits: 17/17 0.89 c ---[ 302]---> Adder-cost: 406 maxlim: 198640 bits: 18/18 0.92 c ---[ 300]---> Adder-cost: 358 maxlim: 58352 bits: 16/16 0.94 c ---[ 298]---> Adder-cost: 422 maxlim: 337904 bits: 19/19 0.98 c ---[ 296]---> Adder-cost: 426 maxlim: 399344 bits: 19/19 1.02 c ---[ 294]---> Adder-cost: 406 maxlim: 199664 bits: 18/18 1.05 c ---[ 292]---> Adder-cost: 422 maxlim: 338928 bits: 19/19 1.09 c ---[ 290]---> Adder-cost: 406 maxlim: 193520 bits: 18/18 1.12 c ---[ 288]---> Adder-cost: 422 maxlim: 337904 bits: 19/19 1.15 c ---[ 286]---> Adder-cost: 418 maxlim: 222192 bits: 18/18 1.19 c ---[ 284]---> Adder-cost: 434 maxlim: 356336 bits: 19/19 1.22 c ---[ 282]---> Adder-cost: 330 maxlim: 31728 bits: 15/15 1.25 c ---[ 280]---> Adder-cost: 440 maxlim: 417776 bits: 19/19 1.28 c ---[ 278]---> Adder-cost: 434 maxlim: 363504 bits: 19/19 1.32 c ---[ 276]---> Adder-cost: 330 maxlim: 31728 bits: 15/15 1.34 c ---[ 274]---> Adder-cost: 434 maxlim: 350192 bits: 19/19 1.38 c ---[ 272]---> Adder-cost: 434 maxlim: 363504 bits: 19/19 1.42 c ---[ 270]---> Adder-cost: 360 maxlim: 63472 bits: 16/16 1.44 c ---[ 268]---> Adder-cost: 440 maxlim: 429040 bits: 19/19 1.48 c ---[ 266]---> Adder-cost: 360 maxlim: 63472 bits: 16/16 1.51 c ---[ 264]---> Adder-cost: 434 maxlim: 358384 bits: 19/19 1.54 c ---[ 262]---> Adder-cost: 440 maxlim: 437232 bits: 19/19 1.58 c ---[ 260]---> Adder-cost: 418 maxlim: 225264 bits: 18/18 1.62 c ---[ 258]---> Adder-cost: 418 maxlim: 224240 bits: 18/18 1.65 c ---[ 256]---> Adder-cost: 434 maxlim: 364528 bits: 19/19 1.69 c ---[ 255]---> BDD-cost: 18 1.69 c ---[ 254]---> BDD-cost: 19 1.69 c ---[ 253]---> BDD-cost: 12 1.69 c ---[ 252]---> BDD-cost: 13 1.69 c ---[ 251]---> BDD-cost: 18 1.69 c ---[ 250]---> BDD-cost: 18 1.69 c ---[ 249]---> BDD-cost: 15 1.69 c ---[ 248]---> BDD-cost: 18 1.69 c ---[ 247]---> BDD-cost: 18 1.69 c ---[ 246]---> BDD-cost: 12 1.69 c ---[ 245]---> BDD-cost: 18 1.69 c ---[ 244]---> BDD-cost: 18 1.69 c ---[ 243]---> BDD-cost: 12 1.69 c ---[ 242]---> BDD-cost: 19 1.69 c ---[ 241]---> BDD-cost: 18 1.69 c ---[ 240]---> BDD-cost: 18 1.69 c ---[ 239]---> BDD-cost: 18 1.69 c ---[ 238]---> BDD-cost: 20 1.69 c ---[ 237]---> BDD-cost: 13 1.69 c ---[ 236]---> BDD-cost: 20 1.69 c ---[ 235]---> BDD-cost: 13 1.69 c ---[ 234]---> BDD-cost: 20 1.69 c ---[ 233]---> BDD-cost: 20 1.69 c ---[ 232]---> BDD-cost: 15 1.69 c ---[ 231]---> BDD-cost: 20 1.69 c ---[ 230]---> BDD-cost: 18 1.69 c ---[ 229]---> BDD-cost: 16 1.69 c ---[ 228]---> BDD-cost: 12 1.69 c ---[ 227]---> BDD-cost: 20 1.69 c ---[ 226]---> BDD-cost: 20 1.69 c ---[ 225]---> BDD-cost: 12 1.69 c ---[ 224]---> BDD-cost: 20 1.69 c ---[ 223]---> BDD-cost: 20 1.69 c ---[ 222]---> BDD-cost: 18 1.69 c ---[ 221]---> BDD-cost: 18 1.69 c ---[ 220]---> BDD-cost: 12 1.70 c ---[ 219]---> BDD-cost: 13 1.70 c ---[ 218]---> BDD-cost: 18 1.70 c ---[ 217]---> BDD-cost: 13 1.70 c ---[ 216]---> BDD-cost: 18 1.70 c ---[ 215]---> BDD-cost: 18 1.70 c ---[ 214]---> BDD-cost: 15 1.70 c ---[ 213]---> BDD-cost: 18 1.70 c ---[ 212]---> BDD-cost: 18 1.70 c ---[ 211]---> BDD-cost: 12 1.70 c ---[ 210]---> BDD-cost: 18 1.70 c ---[ 209]---> BDD-cost: 19 1.70 c ---[ 208]---> BDD-cost: 18 1.70 c ---[ 207]---> BDD-cost: 12 1.70 c ---[ 206]---> BDD-cost: 18 1.70 c ---[ 205]---> BDD-cost: 18 1.70 c ---[ 204]---> BDD-cost: 18 1.70 c ---[ 203]---> BDD-cost: 19 1.70 c ---[ 202]---> BDD-cost: 13 1.70 c ---[ 201]---> BDD-cost: 19 1.70 c ---[ 200]---> BDD-cost: 13 1.70 c ---[ 199]---> BDD-cost: 19 1.70 c ---[ 198]---> BDD-cost: 20 1.70 c ---[ 197]---> BDD-cost: 19 1.70 c ---[ 196]---> BDD-cost: 15 1.70 c ---[ 195]---> BDD-cost: 18 1.70 c ---[ 194]---> BDD-cost: 16 1.70 c ---[ 193]---> BDD-cost: 12 1.70 c ---[ 192]---> BDD-cost: 19 1.70 c ---[ 191]---> BDD-cost: 20 1.70 c ---[ 190]---> BDD-cost: 12 1.70 c ---[ 189]---> BDD-cost: 19 1.70 c ---[ 188]---> BDD-cost: 20 1.70 c ---[ 187]---> BDD-cost: 18 1.70 c ---[ 186]---> BDD-cost: 18 1.70 c ---[ 185]---> BDD-cost: 20 1.70 c ---[ 184]---> BDD-cost: 13 1.70 c ---[ 183]---> BDD-cost: 20 1.70 c ---[ 182]---> BDD-cost: 13 1.70 c ---[ 181]---> BDD-cost: 20 1.70 c ---[ 180]---> BDD-cost: 20 1.70 c ---[ 179]---> BDD-cost: 15 1.70 c ---[ 178]---> BDD-cost: 18 1.70 c ---[ 177]---> BDD-cost: 16 1.70 c ---[ 176]---> BDD-cost: 17 1.70 c ---[ 175]---> BDD-cost: 12 1.70 c ---[ 174]---> BDD-cost: 20 1.70 c ---[ 173]---> BDD-cost: 20 1.70 c ---[ 172]---> BDD-cost: 12 1.70 c ---[ 171]---> BDD-cost: 20 1.70 c ---[ 170]---> BDD-cost: 20 1.71 c ---[ 169]---> BDD-cost: 18 1.71 c ---[ 168]---> BDD-cost: 17 1.71 c ---[ 167]---> BDD-cost: 13 1.71 c ---[ 166]---> BDD-cost: 21 1.71 c ---[ 165]---> BDD-cost: 13 1.71 c ---[ 164]---> BDD-cost: 13 1.71 c ---[ 163]---> BDD-cost: 19 1.71 c ---[ 162]---> BDD-cost: 21 1.71 c ---[ 161]---> BDD-cost: 15 1.71 c ---[ 160]---> BDD-cost: 18 1.71 c ---[ 159]---> BDD-cost: 16 1.71 c ---[ 158]---> BDD-cost: 12 1.71 c ---[ 157]---> BDD-cost: 21 1.71 c ---[ 156]---> BDD-cost: 20 1.71 c ---[ 155]---> BDD-cost: 12 1.71 c ---[ 154]---> BDD-cost: 17 1.71 c ---[ 153]---> BDD-cost: 19 1.71 c ---[ 152]---> BDD-cost: 20 1.71 c ---[ 151]---> BDD-cost: 15 1.71 c ---[ 150]---> BDD-cost: 15 1.71 c ---[ 149]---> BDD-cost: 13 1.71 c ---[ 148]---> BDD-cost: 15 1.71 c ---[ 147]---> BDD-cost: 13 1.71 c ---[ 146]---> BDD-cost: 15 1.71 c ---[ 145]---> BDD-cost: 15 1.71 c ---[ 144]---> BDD-cost: 15 1.71 c ---[ 143]---> BDD-cost: 13 1.71 c ---[ 142]---> BDD-cost: 13 1.71 c ---[ 141]---> BDD-cost: 15 1.71 c ---[ 140]---> BDD-cost: 15 1.71 c ---[ 139]---> BDD-cost: 12 1.71 c ---[ 138]---> BDD-cost: 15 1.71 c ---[ 137]---> BDD-cost: 15 1.71 c ---[ 136]---> BDD-cost: 12 1.71 c ---[ 135]---> BDD-cost: 15 1.71 c ---[ 134]---> BDD-cost: 15 1.71 c ---[ 133]---> BDD-cost: 18 1.71 c ---[ 132]---> BDD-cost: 18 1.71 c ---[ 131]---> BDD-cost: 19 1.71 c ---[ 130]---> BDD-cost: 13 1.71 c ---[ 129]---> BDD-cost: 18 1.71 c ---[ 128]---> BDD-cost: 13 1.71 c ---[ 127]---> BDD-cost: 18 1.71 c ---[ 126]---> BDD-cost: 18 1.71 c ---[ 125]---> BDD-cost: 15 1.71 c ---[ 124]---> BDD-cost: 18 1.71 c ---[ 123]---> BDD-cost: 18 1.71 c ---[ 122]---> BDD-cost: 12 1.71 c ---[ 121]---> BDD-cost: 18 1.71 c ---[ 120]---> BDD-cost: 17 1.71 c ---[ 119]---> BDD-cost: 18 1.72 c ---[ 118]---> BDD-cost: 12 1.72 c ---[ 117]---> BDD-cost: 18 1.72 c ---[ 116]---> BDD-cost: 18 1.72 c ---[ 115]---> BDD-cost: 18 1.72 c ---[ 114]---> BDD-cost: 17 1.72 c ---[ 113]---> BDD-cost: 13 1.72 c ---[ 112]---> BDD-cost: 21 1.72 c ---[ 111]---> BDD-cost: 13 1.72 c ---[ 110]---> BDD-cost: 19 1.72 c ---[ 109]---> BDD-cost: 15 1.72 c ---[ 108]---> BDD-cost: 21 1.72 c ---[ 107]---> BDD-cost: 15 1.72 c ---[ 106]---> BDD-cost: 18 1.72 c ---[ 105]---> BDD-cost: 16 1.72 c ---[ 104]---> BDD-cost: 12 1.72 c ---[ 103]---> BDD-cost: 21 1.72 c ---[ 102]---> BDD-cost: 20 1.72 c ---[ 101]---> BDD-cost: 12 1.72 c ---[ 100]---> BDD-cost: 19 1.72 c ---[ 99]---> BDD-cost: 20 1.72 c ---[ 98]---> BDD-cost: 18 1.72 c ---[ 97]---> BDD-cost: 15 1.72 c ---[ 96]---> BDD-cost: 15 1.72 c ---[ 95]---> BDD-cost: 13 1.72 c ---[ 94]---> BDD-cost: 15 1.72 c ---[ 93]---> BDD-cost: 13 1.72 c ---[ 92]---> BDD-cost: 15 1.72 c ---[ 91]---> BDD-cost: 15 1.72 c ---[ 90]---> BDD-cost: 15 1.72 c ---[ 89]---> BDD-cost: 15 1.72 c ---[ 88]---> BDD-cost: 15 1.72 c ---[ 87]---> BDD-cost: 16 1.72 c ---[ 86]---> BDD-cost: 12 1.72 c ---[ 85]---> BDD-cost: 15 1.72 c ---[ 84]---> BDD-cost: 15 1.72 c ---[ 83]---> BDD-cost: 12 1.72 c ---[ 82]---> BDD-cost: 15 1.72 c ---[ 81]---> BDD-cost: 15 1.72 c ---[ 80]---> BDD-cost: 12 1.72 c ---[ 79]---> BDD-cost: 17 1.72 c ---[ 78]---> BDD-cost: 20 1.72 c ---[ 77]---> BDD-cost: 12 1.72 c ---[ 76]---> BDD-cost: 19 1.72 c ---[ 75]---> BDD-cost: 17 1.72 c ---[ 74]---> BDD-cost: 20 1.72 c ---[ 73]---> BDD-cost: 17 1.72 c ---[ 72]---> BDD-cost: 17 1.72 c ---[ 71]---> BDD-cost: 13 1.72 c ---[ 70]---> BDD-cost: 17 1.73 c ---[ 69]---> BDD-cost: 13 1.73 c ---[ 68]---> BDD-cost: 17 1.73 c ---[ 67]---> BDD-cost: 17 1.73 c ---[ 66]---> BDD-cost: 15 1.73 c ---[ 65]---> BDD-cost: 13 1.73 c ---[ 64]---> BDD-cost: 18 1.73 c ---[ 63]---> BDD-cost: 17 1.73 c ---[ 62]---> BDD-cost: 12 1.73 c ---[ 61]---> BDD-cost: 17 1.73 c ---[ 60]---> BDD-cost: 17 1.73 c ---[ 59]---> BDD-cost: 12 1.73 c ---[ 58]---> BDD-cost: 17 1.73 c ---[ 57]---> BDD-cost: 17 1.73 c ---[ 56]---> BDD-cost: 14 1.73 c ---[ 55]---> BDD-cost: 14 1.73 c ---[ 54]---> BDD-cost: 19 1.73 c ---[ 53]---> BDD-cost: 13 1.73 c ---[ 52]---> BDD-cost: 14 1.73 c ---[ 51]---> BDD-cost: 13 1.73 c ---[ 50]---> BDD-cost: 14 1.73 c ---[ 49]---> BDD-cost: 14 1.73 c ---[ 48]---> BDD-cost: 14 1.73 c ---[ 47]---> BDD-cost: 14 1.73 c ---[ 46]---> BDD-cost: 14 1.73 c ---[ 45]---> BDD-cost: 12 1.73 c ---[ 44]---> BDD-cost: 14 1.73 c ---[ 43]---> BDD-cost: 19 1.73 c ---[ 42]---> BDD-cost: 14 1.73 c ---[ 41]---> BDD-cost: 12 1.73 c ---[ 40]---> BDD-cost: 14 1.73 c ---[ 39]---> BDD-cost: 14 1.73 c ---[ 38]---> BDD-cost: 18 1.73 c ---[ 37]---> BDD-cost: 19 1.73 c ---[ 36]---> BDD-cost: 13 1.73 c ---[ 35]---> BDD-cost: 19 1.73 c ---[ 34]---> BDD-cost: 13 1.73 c ---[ 33]---> BDD-cost: 19 1.73 c ---[ 32]---> BDD-cost: 15 1.73 c ---[ 31]---> BDD-cost: 19 1.73 c ---[ 30]---> BDD-cost: 15 1.73 c ---[ 29]---> BDD-cost: 18 1.73 c ---[ 28]---> BDD-cost: 16 1.73 c ---[ 27]---> BDD-cost: 12 1.73 c ---[ 26]---> BDD-cost: 19 1.73 c ---[ 25]---> BDD-cost: 20 1.73 c ---[ 24]---> BDD-cost: 12 1.73 c ---[ 23]---> BDD-cost: 19 1.73 c ---[ 22]---> BDD-cost: 20 1.73 c ---[ 21]---> BDD-cost: 18 1.73 c ---[ 20]---> BDD-cost: 18 1.73 c ---[ 19]---> BDD-cost: 17 1.73 c ---[ 18]---> BDD-cost: 13 1.73 c ---[ 17]---> BDD-cost: 22 1.74 c ---[ 16]---> BDD-cost: 13 1.74 c ---[ 15]---> BDD-cost: 19 1.74 c ---[ 14]---> BDD-cost: 22 1.74 c ---[ 13]---> BDD-cost: 15 1.74 c ---[ 12]---> BDD-cost: 18 1.74 c ---[ 11]---> BDD-cost: 16 1.74 c ---[ 10]---> BDD-cost: 16 1.74 c ---[ 9]---> BDD-cost: 12 1.74 c ---[ 8]---> BDD-cost: 21 1.74 c ---[ 7]---> BDD-cost: 20 1.74 c ---[ 6]---> BDD-cost: 12 1.74 c ---[ 5]---> BDD-cost: 19 1.74 c ---[ 4]---> BDD-cost: 20 1.74 c ---[ 3]---> BDD-cost: 18 1.74 c ---[ 2]---> BDD-cost: 18 1.74 c ---[ 1]---> BDD-cost: 13 1.74 c ---[ 0]---> BDD-cost: 18 1.82 c ==================================[MINISAT+]================================== 1.82 c | Conflicts | Original | Learnt | Progress | 1.82 c | | Clauses Literals | Max Clauses Literals LPC | | 1.82 c ============================================================================== 1.82 c | 0 | 93578 325867 | 31192 0 0 nan | 0.000 % | 1.83 c | 100 | 93570 325841 | 34311 99 328 3.3 | 24.606 % | 1.90 c | 251 | 93465 325476 | 37742 235 776 3.3 | 24.685 % | 2.03 c | 476 | 93222 324649 | 41516 433 1430 3.3 | 24.877 % | 2.21 c | 813 | 93022 323963 | 45668 745 2457 3.3 | 25.031 % | 2.50 c | 1319 | 92936 323671 | 50235 1237 4086 3.3 | 25.088 % | 3.09 c | 2078 | 92618 322577 | 55258 1955 6472 3.3 | 25.333 % | 4.41 c | 3217 | 92190 321109 | 60784 3038 10334 3.4 | 25.656 % | 6.32 c | 4925 | 91949 320280 | 66862 4720 16902 3.6 | 25.840 % | 8.85 c | 7487 | 91797 319772 | 73549 7262 27936 3.8 | 25.958 % | 12.60 c | 11332 | 91702 319449 | 80904 11098 46219 4.2 | 26.037 % | 15.77 c | 17099 | 91634 319211 | 88994 16858 98122 5.8 | 26.090 % | 19.71 c | 25748 | 91557 318946 | 97893 25499 203240 8.0 | 26.151 % | 24.18 c | 38723 | 91497 318740 | 107683 38469 504942 13.1 | 26.199 % | 29.11 c | 58184 | 91445 318564 | 118451 57924 1293192 22.3 | 26.243 % | 38.12 c | 87376 | 91295 318064 | 130296 87098 2198212 25.2 | 26.357 % | 50.85 c | 131166 | 91156 317595 | 143326 130869 3674754 28.1 | 26.466 % | 70.74 c | 196851 | 91085 317350 | 157659 65968 2392682 36.3 | 26.514 % | 110.71 c | 295379 | 90905 316750 | 173424 164471 5919940 36.0 | 26.650 % | 170.00 c | 443168 | 90623 315784 | 190767 150022 4031373 26.9 | 26.886 % | 266.28 c | 664851 | 90546 315523 | 209844 187925 11667911 62.1 | 26.943 % | 391.60 c | 997377 | 90491 315340 | 230828 127957 7302713 57.1 | 26.982 % | 607.57 c | 1496165 | 90340 314839 | 253911 187656 13623396 72.6 | 27.109 % | 976.05 c | 2244347 | 89864 313279 | 279302 182908 11193052 61.2 | 27.503 % | 1187.17 c ============================================================================== 1187.17 c [1mFound solution: 44181924[0m 1187.17 o 44181924 1187.22 c ---[ 0]---> Adder-cost: 13231 maxlim: 25786545 bits: 26/25 1190.91 c ==================================[MINISAT+]================================== 1190.91 c | Conflicts | Original | Learnt | Progress | 1190.91 c | | Clauses Literals | Max Clauses Literals LPC | | 1190.91 c ============================================================================== 1190.91 c | 2587273 | 182268 643354 | 60756 254718 13943919 54.7 | 27.503 % | 1191.74 c | 2587373 | 182268 643354 | 66831 29980 459347 15.3 | 17.479 % | 1191.90 c | 2587523 | 182268 643354 | 73514 30130 460140 15.3 | 17.479 % | 1192.23 c | 2587748 | 182268 643354 | 80866 30355 461377 15.2 | 17.479 % | 1192.58 c | 2588085 | 182268 643354 | 88952 30692 463583 15.1 | 17.479 % | 1193.30 c | 2588591 | 182268 643354 | 97848 31198 466540 15.0 | 17.479 % | 1194.11 c | 2589350 | 182268 643354 | 107632 31957 471496 14.8 | 17.479 % | 1195.20 c | 2590489 | 182268 643354 | 118396 33096 480640 14.5 | 17.479 % | 1196.64 c | 2592197 | 182268 643354 | 130235 34804 493850 14.2 | 17.479 % | 1198.48 c | 2594760 | 182268 643354 | 143259 37367 532109 14.2 | 17.479 % | 1201.17 c | 2598604 | 182268 643354 | 157585 41211 586018 14.2 | 17.479 % | 1205.94 c | 2604370 | 182259 643325 | 173343 46976 648733 13.8 | 17.485 % | 1213.61 c | 2613019 | 182229 643223 | 190678 55620 747905 13.4 | 17.499 % | 1220.56 c | 2625993 | 182204 643142 | 209746 68590 955110 13.9 | 17.513 % | 1232.56 c | 2645454 | 182181 643063 | 230720 88048 1219429 13.8 | 17.524 % | 1252.77 c | 2674646 | 182172 643034 | 253792 117239 2222337 19.0 | 17.529 % | 1258.32 c ============================================================================== 1258.32 c [1mFound solution: 43783283[0m 1258.32 o 43783283 1258.38 c ---[ 0]---> Adder-cost: 0 maxlim: 26185186 bits: 26/25 1261.70 c ==================================[MINISAT+]================================== 1261.70 c | Conflicts | Original | Learnt | Progress | 1261.70 c | | Clauses Literals | Max Clauses Literals LPC | | 1261.70 c ============================================================================== 1261.70 c | 2687515 | 182209 643334 | 60736 130108 3446863 26.5 | 17.529 % | 1262.14 c | 2687615 | 182209 643334 | 66809 17179 1229936 71.6 | 17.556 % | 1262.32 c | 2687765 | 182209 643334 | 73490 17329 1230638 71.0 | 17.556 % | 1262.59 c | 2687990 | 182200 643305 | 80839 17552 1231612 70.2 | 17.561 % | 1262.96 c | 2688327 | 182200 643305 | 88923 17889 1233423 68.9 | 17.561 % | 1263.61 c | 2688833 | 182200 643305 | 97815 18395 1235644 67.2 | 17.561 % | 1264.61 c | 2689592 | 182200 643305 | 107597 19154 1239000 64.7 | 17.561 % | 1265.22 c | 2690732 | 182200 643305 | 118357 20294 1253445 61.8 | 17.561 % | 1267.86 c | 2692440 | 182200 643305 | 130193 22002 1261082 57.3 | 17.561 % | 1272.45 c | 2695003 | 182200 643305 | 143212 24565 1272272 51.8 | 17.561 % | 1278.50 c | 2698847 | 182194 643285 | 157533 28408 1289977 45.4 | 17.564 % | 1285.16 c | 2704614 | 182194 643285 | 173286 34175 1326293 38.8 | 17.564 % | 1293.54 c | 2713264 | 182194 643285 | 190615 42825 1393683 32.5 | 17.564 % | 1305.45 c | 2726238 | 182169 643202 | 209677 55794 1503913 27.0 | 17.575 % | 1318.25 c | 2745699 | 182169 643202 | 230644 75255 1762534 23.4 | 17.575 % | 1327.46 c ============================================================================== 1327.46 c [1mFound solution: 42467127[0m 1327.46 o 42467127 1327.53 c ---[ 0]---> Adder-cost: 0 maxlim: 27501342 bits: 26/25 1330.97 c ==================================[MINISAT+]================================== 1330.97 c | Conflicts | Original | Learnt | Progress | 1330.97 c | | Clauses Literals | Max Clauses Literals LPC | | 1330.97 c ============================================================================== 1330.97 c | 2761379 | 182196 643473 | 60732 90935 1963061 21.6 | 17.575 % | 1331.23 c | 2761479 | 182196 643473 | 66805 24214 198211 8.2 | 17.602 % | 1331.46 c | 2761629 | 182196 643473 | 73485 24364 198973 8.2 | 17.602 % | 1331.74 c | 2761854 | 182196 643473 | 80834 24589 200163 8.1 | 17.602 % | 1332.10 c | 2762191 | 182196 643473 | 88917 24926 201952 8.1 | 17.602 % | 1332.70 c | 2762697 | 182196 643473 | 97809 25432 204698 8.0 | 17.602 % | 1333.53 c | 2763456 | 182196 643473 | 107590 26191 208672 8.0 | 17.602 % | 1334.84 c | 2764596 | 182196 643473 | 118349 27331 215599 7.9 | 17.602 % | 1336.83 c | 2766304 | 182196 643473 | 130184 29039 225135 7.8 | 17.602 % | 1339.57 c | 2768869 | 182196 643473 | 143202 31604 240451 7.6 | 17.602 % | 1342.54 c | 2772713 | 182196 643473 | 157523 35448 337180 9.5 | 17.602 % | 1345.22 c | 2778480 | 182196 643473 | 173275 41215 453134 11.0 | 17.602 % | 1347.31 c | 2787130 | 182196 643473 | 190603 49865 914841 18.3 | 17.602 % | 1350.18 c | 2800105 | 182196 643473 | 209663 62840 1380975 22.0 | 17.602 % | 1354.24 c | 2819566 | 182196 643473 | 230629 82301 1791229 21.8 | 17.602 % | 1363.26 c | 2848759 | 182196 643473 | 253692 111494 5011278 44.9 | 17.602 % | 1399.95 c | 2892549 | 182155 643336 | 279061 155278 5474686 35.3 | 17.624 % | 1436.21 c ============================================================================== 1436.21 c [1mFound solution: 33613504[0m 1436.21 o 33613504 1436.26 c ---[ 0]---> Adder-cost: 2 maxlim: 36354965 bits: 27/26 1439.58 c ==================================[MINISAT+]================================== 1439.58 c | Conflicts | Original | Learnt | Progress | 1439.58 c | | Clauses Literals | Max Clauses Literals LPC | | 1439.58 c ============================================================================== 1439.58 c | 2949425 | 182130 643419 | 60710 212141 8584634 40.5 | 17.624 % | 1440.18 c | 2949525 | 182130 643419 | 66781 30821 965943 31.3 | 17.675 % | 1440.43 c | 2949675 | 182130 643419 | 73459 30971 966622 31.2 | 17.675 % | 1440.76 c | 2949900 | 182130 643419 | 80805 31196 967685 31.0 | 17.675 % | 1441.30 c | 2950237 | 182130 643419 | 88885 31533 969206 30.7 | 17.675 % | 1441.99 c | 2950743 | 182130 643419 | 97774 32039 971755 30.3 | 17.675 % | 1442.96 c | 2951503 | 182130 643419 | 107551 32799 975627 29.7 | 17.675 % | 1444.58 c | 2952642 | 182130 643419 | 118306 33938 982942 29.0 | 17.675 % | 1446.63 c | 2954350 | 182130 643419 | 130137 35646 996952 28.0 | 17.675 % | 1449.16 c | 2956912 | 182130 643419 | 143151 38208 1020146 26.7 | 17.675 % | 1453.02 c | 2960756 | 182130 643419 | 157466 42052 1055746 25.1 | 17.675 % | 1458.10 c | 2966522 | 182130 643419 | 173212 47818 1110630 23.2 | 17.675 % | 1466.10 c | 2975171 | 182130 643419 | 190533 56467 1194575 21.2 | 17.675 % | 1475.29 c | 2988145 | 182130 643419 | 209587 69441 1386185 20.0 | 17.675 % | 1488.67 c | 3007606 | 182130 643419 | 230546 88902 1674504 18.8 | 17.675 % | 1507.55 c | 3036798 | 182130 643419 | 253600 118094 2210072 18.7 | 17.675 % | 1529.82 c ============================================================================== 1529.82 c [1mFound solution: 28678528[0m 1529.82 o 28678528 1529.88 c ---[ 0]---> Adder-cost: 0 maxlim: 41289941 bits: 27/26 1533.26 c ==================================[MINISAT+]================================== 1533.26 c | Conflicts | Original | Learnt | Progress | 1533.26 c | | Clauses Literals | Max Clauses Literals LPC | | 1533.26 c ============================================================================== 1533.26 c | 3075506 | 182108 643483 | 60702 156792 3140480 20.0 | 17.675 % | 1533.71 c | 3075606 | 182108 643483 | 66772 30280 405548 13.4 | 17.718 % | 1533.88 c | 3075756 | 182108 643483 | 73449 30430 406256 13.4 | 17.718 % | 1534.13 c | 3075981 | 182108 643483 | 80794 30655 407537 13.3 | 17.718 % | 1534.75 c | 3076318 | 182108 643483 | 88873 30992 409249 13.2 | 17.718 % | 1535.51 c | 3076824 | 182099 643452 | 97761 31496 412152 13.1 | 17.720 % | 1536.25 c | 3077583 | 182099 643452 | 107537 32255 416820 12.9 | 17.720 % | 1537.38 c | 3078722 | 182099 643452 | 118291 33394 425610 12.7 | 17.720 % | 1538.74 c | 3080430 | 182099 643452 | 130120 35102 437894 12.5 | 17.720 % | 1539.56 c | 3082993 | 182099 643452 | 143132 37665 464314 12.3 | 17.720 % | 1542.36 c | 3086838 | 182099 643452 | 157445 41510 505873 12.2 | 17.720 % | 1546.04 c | 3092604 | 182099 643452 | 173189 47276 576603 12.2 | 17.720 % | 1551.62 c | 3101253 | 182099 643452 | 190508 55925 682424 12.2 | 17.720 % | 1562.00 c | 3114228 | 182099 643452 | 209559 68900 968490 14.1 | 17.720 % | 1572.99 c | 3133691 | 182099 643452 | 230515 88363 1925520 21.8 | 17.720 % | 1590.93 c | 3162884 | 182090 643421 | 253567 117554 2616687 22.3 | 17.723 % | 1616.39 c | 3206675 | 182090 643421 | 278924 161345 3606028 22.3 | 17.723 % | 1646.56 c | 3272359 | 182090 643421 | 306816 227029 6055561 26.7 | 17.723 % | 1682.55 c ============================================================================== 1682.55 c [1mFound solution: 22365823[0m 1682.55 o 22365823 1682.61 c ---[ 0]---> Adder-cost: 0 maxlim: 47602646 bits: 27/26 1685.94 c ==================================[MINISAT+]================================== 1685.94 c | Conflicts | Original | Learnt | Progress | 1685.94 c | | Clauses Literals | Max Clauses Literals LPC | | 1685.94 c ============================================================================== 1685.94 c | 3322813 | 182107 643678 | 60702 277477 7513341 27.1 | 17.723 % | 1686.69 c | 3322913 | 182107 643678 | 66772 28990 550242 19.0 | 17.757 % | 1686.86 c | 3323064 | 182107 643678 | 73449 29141 550881 18.9 | 17.757 % | 1687.16 c | 3323289 | 182107 643678 | 80794 29366 551882 18.8 | 17.757 % | 1687.75 c | 3323626 | 182107 643678 | 88873 29703 553181 18.6 | 17.757 % | 1688.70 c | 3324132 | 182107 643678 | 97761 30209 555216 18.4 | 17.757 % | 1690.04 c | 3324891 | 182107 643678 | 107537 30968 558658 18.0 | 17.757 % | 1691.66 c | 3326030 | 182107 643678 | 118291 32107 564502 17.6 | 17.757 % | 1694.35 c | 3327738 | 182107 643678 | 130120 33815 572704 16.9 | 17.757 % | 1698.23 c | 3330300 | 182107 643678 | 143132 36377 585984 16.1 | 17.757 % | 1704.30 c | 3334144 | 182107 643678 | 157445 40221 607168 15.1 | 17.757 % | 1712.28 c | 3339911 | 182107 643678 | 173189 45988 645687 14.0 | 17.757 % | 1720.07 c | 3348560 | 182100 643658 | 190508 54636 762424 14.0 | 17.760 % | 1724.14 c | 3361534 | 182100 643658 | 209559 67610 1343506 19.9 | 17.760 % | 1740.40 c | 3380995 | 182076 643576 | 230515 87068 1534487 17.6 | 17.771 % | 1762.86 c | 3410187 | 182076 643576 | 253567 116260 1879975 16.2 | 17.771 % | 1793.27 c | 3453977 | 182060 643524 | 278924 160046 4646456 29.0 | 17.780 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s SATISFIABLE 1801.19 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.19 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.19 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1801.19 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1801.19 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1801.19 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 1801.19 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1801.19 v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1801.19 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1801.19 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1801.19 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1801.19 v -x6390 x6691 x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1801.19 v -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 x7022 -x7023 -x7024 1801.19 v -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 1801.19 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 1801.19 v -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 1801.19 v -x7376 -x7377 -x7378 -x7379 -x7380 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 1801.19 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 x392 x393 -x394 x395 -x396 x397 x398 x399 x400 x401 -x402 x403 1801.19 v -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 1801.19 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1801.19 v -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1801.19 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1801.19 v x1381 x1382 x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1801.19 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 1801.19 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1801.19 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x2041 x2042 x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 x2050 1801.19 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1801.19 v -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1801.19 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 1801.19 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1801.19 v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 -x3032 x3033 x3034 -x3035 -x3036 1801.19 v x3037 x3038 x3039 -x3040 -x3041 x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1801.19 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1801.19 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1801.19 v -x3420 x3721 x3722 x3723 x3724 x3725 -x3726 -x3727 x3728 x3729 x3730 x3731 -x3732 -x3733 x3734 -x3735 -x3736 -x3737 -x3738 1801.19 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 1801.19 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1801.19 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1801.19 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1801.19 v -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 x4713 x4714 x4715 x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 1801.19 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 1801.19 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1801.19 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5251 -x5252 x5253 -x5254 -x5255 -x5256 1801.19 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1801.19 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1801.19 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1801.19 v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 1801.19 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 1801.19 v x5342 -x5343 x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1801.19 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5401 x5402 x5403 x5404 -x5405 x5406 -x5407 1801.19 v x5408 x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1801.19 v -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 x5434 -x5435 x5436 x5437 x5438 x5439 -x5440 x5441 x5442 -x5443 -x5444 1801.19 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 1801.19 v -x5462 -x5463 x5464 x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1801.19 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1801.19 v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 1801.19 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 x5524 x5525 x5526 -x5527 -x5528 -x5529 -x5530 -x5531 1801.19 v -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 1801.19 v -x5549 -x5550 x5551 -x5552 x5553 x5554 -x5555 -x5556 -x5557 x5558 x5559 x5560 -x5561 -x5562 x5563 -x5564 -x5565 -x5566 1801.19 v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 1801.19 v -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 1801.19 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 x5613 x5614 x5615 -x5616 -x5617 x5618 1801.19 v x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 1801.19 v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 1801.19 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 1801.19 v x5671 x5672 -x5673 x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 1801.19 v -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 x5733 x5734 x5735 x5736 1801.19 v -x5737 x5738 -x5739 -x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 1801.19 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 1801.19 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 1801.19 v -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1801.19 v -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 1801.19 v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 1801.19 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 1801.19 v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 1801.19 v -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 x5884 x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 1801.19 v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 1801.19 v -x5909 -x5910 x5911 x5912 x5913 x5914 -x5915 x5916 -x5917 x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 1801.19 v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 x5941 -x5942 -x5943 1801.19 v -x5944 -x5945 -x5946 -x5947 -x5948 x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1801.19 v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 x5973 x5974 -x5975 -x5976 -x5977 -x5978 -x5979 1801.19 v -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 1801.19 v -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 1801.19 v -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 1801.19 v -x6061 -x6062 x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 1801.19 v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 1801.19 v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1801.19 v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 1801.19 v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 1801.19 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 1801.19 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1801.19 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1801.19 v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 x6212 -x6213 -x6214 -x6215 1801.19 v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 1801.19 v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 1801.19 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 1801.19 v -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 1801.19 v -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 1801.19 v -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1801.19 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x6331 x6332 -x6333 -x6334 x6335 x6336 1801.19 v -x6337 x6338 x6339 x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1801.19 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1801.19 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1801.19 v -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 1801.19 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1801.19 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 1801.19 v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 -x6483 x6484 x6485 -x6486 -x6487 1801.19 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1801.19 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 x6512 x6513 -x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1801.19 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1801.19 v -x6540 x6541 x6542 -x6543 x6544 -x6545 -x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 1801.19 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 1801.19 v -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 1801.19 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 x6603 x6604 -x6605 x6606 x6607 -x6608 -x6609 1801.19 v -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 1801.19 v -x6627 -x6628 -x6629 -x6630 x6631 x6632 x6633 -x6634 -x6635 -x6636 x6637 x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 1801.19 v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 1801.19 v -x6662 x6663 x6664 -x6665 -x6666 -x6667 -x6668 -x6669 x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 1801.19 v -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 1801.19 v -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 1801.19 v -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 x6752 x6753 x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 1801.19 v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 1801.19 v -x6779 -x6780 -x6781 -x6782 x6783 x6784 -x6785 x6786 -x6787 x6788 x6789 x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 1801.19 v -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 1801.19 v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1801.19 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 1801.19 v -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 1801.19 v -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 x6872 x6873 x6874 x6875 x6876 -x6877 x6878 x6879 x6880 x6881 x6882 x6883 1801.19 v x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 1801.19 v -x6901 -x6902 -x6903 x6904 -x6905 -x6906 -x6907 x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 1801.19 v -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 x6932 x6933 x6934 -x6935 -x6936 1801.19 v -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 1801.19 v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 1801.19 v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 1801.19 v -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 1801.19 v -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7051 1801.19 v x7052 x7053 x7054 -x7055 x7056 x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 1801.19 v -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 -x7083 -x7084 -x7085 -x7086 1801.19 v x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 1801.19 v -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112 x7113 x7114 -x7115 x7116 -x7117 x7118 -x7119 -x7120 -x7121 -x7122 1801.19 v -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 1801.19 v -x7140 -x7141 -x7142 x7143 x7144 x7145 x7146 x7147 x7148 -x7149 -x7150 -x7151 x7152 x7153 x7154 -x7155 -x7156 -x7157 -x7158 1801.19 v -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 x7173 x7174 x7175 x7176 1801.19 v x7177 x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 1801.19 v -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 1801.19 v -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1801.19 v -x7229 -x7230 x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 x7243 x7244 x7245 -x7246 1801.19 v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 -x7262 x7263 x7264 1801.19 v x7265 -x7266 x7267 x7268 x7269 -x7270 x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 1801.19 v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 -x7292 -x7293 x7294 -x7295 x7296 -x7297 -x7298 x7299 -x7300 1801.19 v -x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 1801.19 v -x7318 -x7319 -x7320 -x7321 -x7322 x7323 x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 x7331 x7332 -x7333 -x7334 -x7335 1801.19 v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7381 -x7382 1801.19 v x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 1801.19 v -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 1801.19 v -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 1801.19 v -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 1801.19 v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 1801.19 v -x7468 -x7469 -x7470 x7471 x7472 -x7473 x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 1801.19 v -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 1801.19 v -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 1801.19 v -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 1801.19 v -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 1801.19 v -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 x7561 x7562 -x7563 x7564 x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 1801.19 v -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 1801.19 v -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 1801.19 v -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 1801.19 v -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 1801.19 v -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 x7653 x7654 x7655 x7656 -x7657 1801.19 v -x7658 x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 1801.19 v -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 x91 -x92 -x93 x94 x95 x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1801.19 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1801.19 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1801.19 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1801.19 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1801.19 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1801.19 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1801.19 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1801.19 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1801.19 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1801.19 v -x296 -x297 -x298 -x299 -x300 x301 x302 x303 x304 -x305 x306 x307 x308 x309 x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 1801.19 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1801.19 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1801.19 v x361 -x362 -x363 x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1801.19 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x421 x422 x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 1801.19 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1801.19 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1801.19 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1801.19 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1801.19 v -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1801.19 v -x539 -x540 x541 x542 -x543 -x544 x545 -x546 -x547 -x548 x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1801.19 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1801.19 v -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 1801.19 v -x603 -x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1801.19 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1801.19 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 1801.19 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1801.19 v -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1801.19 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1801.19 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1801.19 v -x780 x781 x782 -x783 x784 -x785 x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1801.19 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 1801.19 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1801.19 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1801.19 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1801.19 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 1801.19 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1801.19 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1801.19 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 -x964 x965 x966 x967 -x968 -x969 x970 1801.19 v -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 1801.19 v x992 x993 x994 -x995 x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1801.19 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 x1029 1801.19 v -x1030 x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1801.19 v -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1801.19 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 1801.19 v -x1112 x1113 x1114 x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1801.19 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 x1144 x1145 x1146 -x1147 1801.19 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1801.19 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1801.19 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1801.19 v -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1801.19 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1801.19 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1801.19 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1801.19 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1801.19 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1801.19 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1801.19 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1801.19 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1801.19 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1801.19 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 1801.19 v x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1801.19 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1801.19 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1801.19 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1801.19 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1801.19 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1801.19 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1801.19 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1801.19 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 -x1564 x1565 -x1566 x1567 -x1568 x1569 -x1570 -x1571 1801.19 v x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1801.19 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1801.19 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 x1624 1801.19 v x1625 -x1626 x1627 x1628 x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1801.19 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 x1654 x1655 x1656 x1657 x1658 -x1659 -x1660 1801.19 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1801.19 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1801.19 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 1801.19 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1801.19 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1801.19 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1801.19 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 x1809 x1810 1801.19 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1801.19 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1801.19 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1801.19 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1801.19 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1801.19 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1801.19 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1801.19 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1801.19 v -x1947 -x1948 -x1949 -x1950 x1951 x1952 x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1801.19 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1801.19 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1801.19 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1801.19 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1801.19 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1801.19 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1801.19 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1801.19 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1801.19 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1801.19 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1801.19 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1801.19 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1801.19 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1801.19 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1801.19 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1801.19 v -x2250 x2251 x2252 -x2253 x2254 -x2255 x2256 x2257 -x2258 x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1801.19 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 -x2284 -x2285 -x2286 1801.19 v -x2287 x2288 x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1801.19 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1801.19 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1801.19 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1801.19 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2401 -x2402 1801.19 v -x2403 x2404 -x2405 -x2406 x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1801.19 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1801.19 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1801.19 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 -x2464 -x2465 x2466 -x2467 x2468 x2469 x2470 -x2471 x2472 1801.19 v x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1801.19 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1801.19 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 -x2524 1801.19 v x2525 x2526 -x2527 x2528 x2529 x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1801.19 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 -x2555 x2556 x2557 x2558 -x2559 x2560 x2561 1801.19 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1801.19 v -x2579 -x2580 x2581 x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 -x2594 -x2595 -x2596 1801.19 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1801.19 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1801.19 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1801.19 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1801.19 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 x2674 x2675 -x2676 x2677 x2678 -x2679 x2680 x2681 x2682 x2683 1801.19 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1801.19 v x2731 x2732 -x2733 x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1801.19 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1801.19 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1801.19 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1801.19 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1801.19 v -x2817 -x2818 -x2819 -x2820 x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 x2830 -x2831 -x2832 -x2833 -x2834 1801.19 v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 1801.19 v x2852 -x2853 x2854 -x2855 x2856 -x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1801.19 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1801.19 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1801.19 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 x2915 -x2916 x2917 x2918 -x2919 -x2920 -x2921 1801.19 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1801.19 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1801.19 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 x2972 -x2973 1801.19 v -x2974 -x2975 x2976 x2977 x2978 x2979 x2980 -x2981 x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1801.19 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 1801.19 v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 1801.19 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 x3062 x3063 -x3064 x3065 -x3066 -x3067 x3068 x3069 x3070 -x3071 x3072 x3073 x3074 1801.19 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 1801.19 v x3092 -x3093 x3094 x3095 x3096 x3097 x3098 x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1801.19 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1801.19 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1801.19 v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1801.19 v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1801.19 v -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 1801.19 v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 1801.19 v -x3214 -x3215 x3216 x3217 x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 1801.19 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 1801.19 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1801.19 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 -x3273 x3274 -x3275 x3276 x3277 x3278 -x3279 x3280 x3281 -x3282 -x3283 1801.19 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1801.19 v -x3301 -x3302 -x3303 x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1801.19 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 x3333 x3334 x3335 -x3336 1801.19 v x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1801.19 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 x3422 -x3423 x3424 x3425 x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 1801.19 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1801.19 v -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1801.19 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 1801.19 v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 1801.19 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 1801.19 v -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1801.19 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 1801.19 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 1801.19 v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1801.19 v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 x3602 x3603 x3604 1801.19 v -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1801.19 v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 x3639 1801.19 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1801.19 v -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 -x3664 x3665 x3666 -x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1801.19 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 1801.19 v x3692 x3693 -x3694 -x3695 x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1801.19 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 1801.19 v -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 1801.19 v -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 1801.19 v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 1801.19 v -x3809 -x3810 x3811 x3812 x3813 x3814 x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1801.19 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1801.19 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1801.19 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 1801.19 v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1801.19 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 x3902 -x3903 x3904 x3905 -x3906 x3907 x3908 -x3909 -x3910 -x3911 -x3912 1801.19 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1801.19 v -x3930 x3931 x3932 -x3933 x3934 x3935 -x3936 x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1801.19 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 x3962 -x3963 -x3964 -x3965 1801.19 v -x3966 x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 1801.19 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 1801.19 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1801.19 v -x4018 -x4019 -x4020 -x4021 x4022 -x4023 x4024 -x4025 -x4026 x4027 x4028 -x4029 -x4030 x4031 x4032 -x4033 x4034 -x4035 1801.19 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4081 x4082 x4083 1801.19 v x4084 x4085 -x4086 x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1801.19 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 x4114 x4115 -x4116 -x4117 x4118 -x4119 1801.19 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1801.19 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1801.19 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1801.19 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1801.19 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 x4202 -x4203 -x4204 -x4205 1801.19 v x4206 x4207 x4208 -x4209 x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1801.19 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 x4233 -x4234 -x4235 x4236 x4237 x4238 x4239 x4240 x4241 x4242 1801.19 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1801.19 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1801.19 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 x4292 x4293 x4294 1801.19 v x4295 x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 1801.19 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 x4322 x4323 -x4324 -x4325 x4326 -x4327 x4328 -x4329 -x4330 1801.19 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 1801.19 v -x4348 -x4349 -x4350 x4351 -x4352 x4353 x4354 x4355 -x4356 x4357 x4358 x4359 -x4360 x4361 x4362 x4363 -x4364 -x4365 -x4366 1801.19 v -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 x4412 x4413 -x4414 1801.19 v -x4415 x4416 -x4417 x4418 x4419 -x4420 -x4421 x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1801.19 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1801.19 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1801.19 v -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 -x4474 -x4475 x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1801.19 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 1801.19 v -x4502 x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 1801.19 v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 1801.19 v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 1801.19 v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 1801.19 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 1801.19 v -x4588 -x4589 -x4590 x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 x4600 -x4601 x4602 -x4603 -x4604 -x4605 1801.19 v -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 1801.19 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1801.19 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 x4653 x4654 -x4655 x4656 -x4657 1801.19 v -x4658 -x4659 x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1801.19 v -x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 x4683 x4684 -x4685 x4686 x4687 -x4688 -x4689 x4690 -x4691 -x4692 -x4693 1801.19 v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1801.19 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 1801.19 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 1801.19 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 1801.19 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 1801.19 v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1801.19 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1801.19 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1801.19 v -x4860 x4861 -x4862 -x4863 -x4864 x4865 x4866 x4867 x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1801.19 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1801.19 v x4895 x4896 x4897 x4898 x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1801.19 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 1801.19 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 1801.19 v -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 x4954 x4955 x4956 -x4957 x4958 x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1801.19 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1801.19 v -x4983 -x4984 -x4985 x4986 -x4987 x4988 x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1801.19 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1801.19 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1801.19 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 x5079 -x5080 -x5081 -x5082 1801.19 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 1801.19 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 1801.19 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 1801.19 v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1801.19 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 x5166 -x5167 1801.19 v x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 1801.19 v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 x5192 -x5193 x5194 x5195 x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 1801.19 v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 1801.19 v -x5220 -x5221 x5222 x5223 -x5224 -x5225 x5226 x5227 x5228 x5229 x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1801.19 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x7681 -x7682 -x7793 -x7860 -x7871 1801.19 v -x7882 -x7893 x7904 x7915 -x7926 -x7683 x7694 -x7705 x7716 x7727 -x7738 x7749 -x7760 -x7771 x7782 x7794 x7805 -x7816 -x7827 1801.19 v x7838 -x7849 x7856 -x7857 -x7858 x7859 x7861 x7862 x7863 -x7864 x7865 x7866 x7867 x7868 -x7869 x7870 x7872 -x7873 -x7874 1801.19 v -x7875 -x7876 x7877 x7878 x7879 x7880 x7881 x7883 -x7884 x7885 -x7886 -x7887 x7888 x7889 -x7890 -x7891 x7892 x7894 -x7895 1801.19 v -x7896 x7897 x7898 x7899 -x7900 x7901 x7902 x7903 -x7905 x7906 x7907 -x7908 -x7909 x7910 x7911 x7912 -x7913 -x7914 x7916 1801.19 v x7917 x7918 x7919 x7920 -x7921 x7922 x7923 x7924 x7925 x7927 -x7928 -x7929 x7930 -x7931 -x7932 x7933 -x7934 -x7935 x7936 1801.19 v x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 x7693 x7695 -x7696 -x7697 -x7698 x7699 -x7700 x7701 -x7702 1801.19 v -x7703 -x7704 -x7706 x7707 x7708 -x7709 -x7710 x7711 -x7712 x7713 x7714 x7715 -x7717 x7718 x7719 -x7720 x7721 -x7722 -x7723 1801.19 v -x7724 -x7725 -x7726 x7728 -x7729 -x7730 -x7731 -x7732 x7733 -x7734 x7735 x7736 -x7737 -x7739 -x7740 x7741 -x7742 -x7743 1801.19 v -x7744 -x7745 x7746 -x7747 -x7748 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 x7756 x7757 -x7758 -x7759 x7761 -x7762 x7763 1801.19 v -x7764 x7765 x7766 x7767 -x7768 x7769 x7770 x7772 -x7773 -x7774 x7775 x7776 -x7777 x7778 -x7779 x7780 -x7781 x7783 x7784 1801.19 v -x7785 -x7786 x7787 x7788 -x7789 x7790 x7791 x7792 x7795 x7796 -x7797 -x7798 -x7799 -x7800 x7801 x7802 x7803 x7804 -x7806 1801.19 v x7807 x7808 -x7809 -x7810 x7811 x7812 x7813 x7814 x7815 x7817 x7818 -x7819 -x7820 x7821 x7822 -x7823 x7824 x7825 x7826 x7828 1801.19 v -x7829 x7830 x7831 -x7832 -x7833 x7834 -x7835 x7836 x7837 -x7839 -x7840 -x7841 -x7842 x7843 x7844 -x7845 x7846 x7847 -x7848 1801.19 v x7850 -x7851 -x7852 x7853 x7854 x7855
OK 22365823
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/node5/watcher-35661-1149303393 -o ROOT/results/node5/solver-35661-1149303393 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35661-1149303393/instance-35661-1149303393.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1735832/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=1180 CPUtime=0 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 122 0 0 0 0 0 0 0 19 0 1 0 195942982 1208320 107 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 295 108 67 215 0 77 0 [startup+10.0027 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1726680/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=10708 CPUtime=9.99 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 2519 0 0 0 998 1 0 0 25 0 1 0 195942982 10964992 2410 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134589149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 2677 2410 123 215 0 2459 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10708 [startup+20.0086 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1725400/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=12088 CPUtime=19.99 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 2864 0 0 0 1998 1 0 0 25 0 1 0 195942982 12378112 2755 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 3022 2755 123 215 0 2804 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12088 [startup+30.0146 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1719384/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=18128 CPUtime=30 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 4359 0 0 0 2998 2 0 0 25 0 1 0 195942982 18563072 4250 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 4532 4250 123 215 0 4314 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 18128 [startup+40.0205 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1714584/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=22864 CPUtime=40 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 5575 0 0 0 3997 3 0 0 25 0 1 0 195942982 23412736 5466 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134577392 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 5716 5466 123 215 0 5498 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22864 [startup+50.0265 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1709720/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=27792 CPUtime=50 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 6791 0 0 0 4997 3 0 0 25 0 1 0 195942982 28459008 6682 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 6948 6682 123 215 0 6730 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 27792 [startup+60.0324 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=34264 CPUtime=60 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 5996 4 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 8566 8244 123 215 0 8348 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 34264 [startup+70.0384 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=34264 CPUtime=70.01 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 6996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 8566 8244 123 215 0 8348 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 34264 [startup+80.0443 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=34264 CPUtime=80.01 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 7996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 8566 8244 123 215 0 8348 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 34264 [startup+90.0503 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=34264 CPUtime=90.01 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 8996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 8566 8244 123 215 0 8348 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 34264 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1697880/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=39828 CPUtime=100.01 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 9743 0 0 0 9995 6 0 0 25 0 1 0 195942982 40783872 9634 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 9957 9634 123 215 0 9739 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 39828 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1694680/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=43048 CPUtime=110.02 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 10539 0 0 0 10995 7 0 0 25 0 1 0 195942982 44081152 10430 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 10762 10430 123 215 0 10544 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 43048 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1692760/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=44900 CPUtime=120.02 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11035 0 0 0 11994 8 0 0 25 0 1 0 195942982 45977600 10926 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11225 10926 123 215 0 11007 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 44900 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=47668 CPUtime=130.02 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 12994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11917 11606 123 215 0 11699 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 47668 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=47668 CPUtime=140.02 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 13994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11917 11606 123 215 0 11699 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 47668 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=47668 CPUtime=150.02 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 14994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11917 11606 123 215 0 11699 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 47668 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=47668 CPUtime=160.03 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11716 0 0 0 15995 8 0 0 25 0 1 0 195942982 48812032 11607 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11917 11607 123 215 0 11699 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 47668 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=47668 CPUtime=170.03 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11716 0 0 0 16995 8 0 0 25 0 1 0 195942982 48812032 11607 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 11917 11607 123 215 0 11699 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 47668 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1687832/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=49780 CPUtime=180.03 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 12268 0 0 0 17995 8 0 0 25 0 1 0 195942982 50974720 12159 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 12445 12159 123 215 0 12227 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 49780 [startup+190.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=62844 CPUtime=190.03 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 15525 0 0 0 18991 12 0 0 25 0 1 0 195942982 64352256 15416 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 15711 15416 123 215 0 15493 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 62844 [startup+200.116 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=62844 CPUtime=200.04 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 15525 0 0 0 19992 12 0 0 25 0 1 0 195942982 64352256 15416 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 15711 15416 123 215 0 15493 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 62844 [startup+210.123 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1611 /proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956 ################ # More data... # ################ [pid=1611] ppid=1609 vsize=154176 CPUtime=1781.39 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178102 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 154176 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1782.39 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178202 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 154176 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1783.39 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178302 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572784 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 154176 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1784.4 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178403 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 154176 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1785.4 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178503 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585912 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 154176 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1786.41 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178604 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 154176 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1787.41 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178704 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 154176 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1788.42 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178805 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 154176 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1789.42 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178905 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 154176 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1790.42 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179005 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 154176 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1791.43 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179106 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 154176 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1792.43 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179206 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 154176 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1793.44 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179307 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 154176 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.95 3/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1794.44 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179407 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 154176 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1795.45 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179508 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 154176 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1796.45 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179608 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 154176 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1797.46 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179709 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 154176 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1798.46 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179809 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 154176 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1799.47 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179910 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 154176 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1800.47 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 180010 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 154176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.95 2/64 1814 /proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956 [pid=1611] ppid=1609 vsize=154176 CPUtime=1800.48 /proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 180011 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1611/statm: 38544 37666 123 215 0 38326 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 154176 Sending SIGTERM to -1611 Sleeping 2 seconds Child status: 10 Real time (s): 1801.22 CPU time (s): 1800.51 CPU user time (s): 1800.11 CPU system time (s): 0.398939 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (Kb): 154176
Begin job on node5 on Sat Jun 3 02:56:33 UTC 2006 FILE ID= 35661-1149303393 PBS_JOBID= 307479 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35661-1149303393/instance-35661-1149303393.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-35661-1149303393 -o ROOT/results/node5/solver-35661-1149303393 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35661-1149303393/instance-35661-1149303393.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521 RANDOM SEED= 719170443 /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.279 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.279 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: 1736040 kB Buffers: 25908 kB Cached: 229132 kB SwapCached: 3904 kB Active: 54380 kB Inactive: 209588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1736040 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14944 kB Slab: 41904 kB Committed_AS: 276880 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Sat Jun 3 03:26:34 UTC 2006