Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 1075131904 | 1800.7 | 1801.28 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb |
MD5SUM | 00504f72d4d33ef46136a0269c782c15 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1075120384 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1074976000 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 26904326400 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 81230087655 |
Number of bits of the biggest sum of numbers | 37 |
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.28 c Converting 337 PB-constraints to clauses... 0.29 c -- Unit propagations: (none) 0.44 c -- Detecting intervals from adjacent constraints: ############################### 0.44 c -- Clauses(.)/Splits(s): ............... 0.44 c ---[ 320]---> Adder-cost: 3908 maxlim: 27410865895 bits: 36/35 288.70 c ---[ 319]---> BDD-cost: 37 288.70 c ---[ 318]---> BDD-cost: 16 288.70 c ---[ 317]---> BDD-cost: 16 288.70 c ---[ 316]---> BDD-cost: 28 288.70 c ---[ 315]---> BDD-cost: 28 288.70 c ---[ 314]---> BDD-cost: 28 288.70 c ---[ 313]---> BDD-cost: 28 288.70 c ---[ 312]---> BDD-cost: 28 288.70 c ---[ 311]---> BDD-cost: 28 288.70 c ---[ 310]---> BDD-cost: 28 288.70 c ---[ 309]---> BDD-cost: 28 288.70 c ---[ 308]---> BDD-cost: 37 288.70 c ---[ 307]---> BDD-cost: 28 288.70 c ---[ 306]---> BDD-cost: 28 288.70 c ---[ 305]---> BDD-cost: 16 288.70 c ---[ 304]---> BDD-cost: 16 288.70 c ---[ 303]---> BDD-cost: 16 288.70 c ---[ 302]---> BDD-cost: 16 288.70 c ---[ 301]---> BDD-cost: 16 288.70 c ---[ 300]---> BDD-cost: 16 288.70 c ---[ 299]---> BDD-cost: 16 288.70 c ---[ 298]---> BDD-cost: 16 288.70 c ---[ 297]---> BDD-cost: 37 288.70 c ---[ 296]---> BDD-cost: 16 288.70 c ---[ 295]---> BDD-cost: 16 288.70 c ---[ 294]---> BDD-cost: 16 288.70 c ---[ 293]---> BDD-cost: 16 288.70 c ---[ 292]---> BDD-cost: 16 288.70 c ---[ 291]---> BDD-cost: 16 288.70 c ---[ 290]---> BDD-cost: 16 288.71 c ---[ 289]---> BDD-cost: 16 288.71 c ---[ 288]---> BDD-cost: 16 288.71 c ---[ 287]---> BDD-cost: 16 288.71 c ---[ 286]---> BDD-cost: 37 288.71 c ---[ 285]---> BDD-cost: 16 288.71 c ---[ 284]---> BDD-cost: 16 288.71 c ---[ 283]---> BDD-cost: 16 288.71 c ---[ 282]---> BDD-cost: 16 288.71 c ---[ 281]---> BDD-cost: 16 288.71 c ---[ 280]---> BDD-cost: 16 288.71 c ---[ 279]---> BDD-cost: 16 288.71 c ---[ 278]---> BDD-cost: 16 288.71 c ---[ 277]---> BDD-cost: 16 288.71 c ---[ 276]---> BDD-cost: 16 288.71 c ---[ 275]---> BDD-cost: 37 288.71 c ---[ 274]---> BDD-cost: 16 288.71 c ---[ 273]---> BDD-cost: 16 288.71 c ---[ 272]---> BDD-cost: 16 288.71 c ---[ 271]---> BDD-cost: 16 288.71 c ---[ 270]---> BDD-cost: 16 288.71 c ---[ 269]---> BDD-cost: 16 288.71 c ---[ 268]---> BDD-cost: 16 288.71 c ---[ 267]---> BDD-cost: 16 288.71 c ---[ 266]---> BDD-cost: 16 288.71 c ---[ 265]---> BDD-cost: 16 288.71 c ---[ 264]---> BDD-cost: 37 288.71 c ---[ 263]---> BDD-cost: 16 288.71 c ---[ 262]---> BDD-cost: 16 288.71 c ---[ 261]---> BDD-cost: 16 288.71 c ---[ 260]---> BDD-cost: 16 288.71 c ---[ 259]---> BDD-cost: 16 288.71 c ---[ 258]---> BDD-cost: 16 288.71 c ---[ 257]---> BDD-cost: 16 288.71 c ---[ 256]---> BDD-cost: 16 288.71 c ---[ 255]---> BDD-cost: 16 288.71 c ---[ 254]---> BDD-cost: 16 288.71 c ---[ 253]---> BDD-cost: 37 288.71 c ---[ 252]---> BDD-cost: 16 288.71 c ---[ 251]---> BDD-cost: 16 288.71 c ---[ 250]---> BDD-cost: 16 288.71 c ---[ 249]---> BDD-cost: 16 288.71 c ---[ 248]---> BDD-cost: 16 288.71 c ---[ 247]---> BDD-cost: 16 288.71 c ---[ 246]---> BDD-cost: 16 288.71 c ---[ 245]---> BDD-cost: 16 288.71 c ---[ 244]---> BDD-cost: 16 288.71 c ---[ 243]---> BDD-cost: 16 288.71 c ---[ 242]---> BDD-cost: 37 288.71 c ---[ 241]---> BDD-cost: 16 288.72 c ---[ 240]---> BDD-cost: 16 288.72 c ---[ 239]---> BDD-cost: 16 288.72 c ---[ 238]---> BDD-cost: 16 288.72 c ---[ 237]---> BDD-cost: 16 288.72 c ---[ 236]---> BDD-cost: 16 288.72 c ---[ 235]---> BDD-cost: 16 288.72 c ---[ 234]---> BDD-cost: 16 288.72 c ---[ 233]---> BDD-cost: 16 288.72 c ---[ 232]---> BDD-cost: 16 288.72 c ---[ 231]---> BDD-cost: 37 288.72 c ---[ 230]---> BDD-cost: 16 288.72 c ---[ 229]---> BDD-cost: 16 288.72 c ---[ 228]---> BDD-cost: 16 288.72 c ---[ 227]---> BDD-cost: 16 288.72 c ---[ 226]---> BDD-cost: 16 288.72 c ---[ 225]---> BDD-cost: 16 288.72 c ---[ 224]---> BDD-cost: 16 288.72 c ---[ 223]---> BDD-cost: 16 288.72 c ---[ 222]---> BDD-cost: 16 288.72 c ---[ 221]---> BDD-cost: 16 288.72 c ---[ 220]---> BDD-cost: 37 288.72 c ---[ 219]---> BDD-cost: 16 288.72 c ---[ 218]---> BDD-cost: 16 288.72 c ---[ 217]---> BDD-cost: 16 288.72 c ---[ 216]---> BDD-cost: 16 288.72 c ---[ 215]---> BDD-cost: 16 288.72 c ---[ 214]---> BDD-cost: 16 288.72 c ---[ 213]---> BDD-cost: 16 288.72 c ---[ 212]---> BDD-cost: 16 288.72 c ---[ 211]---> BDD-cost: 16 288.72 c ---[ 210]---> BDD-cost: 16 288.72 c ---[ 209]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 288.99 c ---[ 208]---> BDD-cost: 37 288.99 c ---[ 207]---> BDD-cost: 16 288.99 c ---[ 206]---> BDD-cost: 16 288.99 c ---[ 205]---> BDD-cost: 16 288.99 c ---[ 204]---> BDD-cost: 16 288.99 c ---[ 203]---> BDD-cost: 16 288.99 c ---[ 202]---> BDD-cost: 16 288.99 c ---[ 201]---> BDD-cost: 16 288.99 c ---[ 200]---> BDD-cost: 16 288.99 c ---[ 199]---> BDD-cost: 16 288.99 c ---[ 198]---> BDD-cost: 16 288.99 c ---[ 197]---> BDD-cost: 37 288.99 c ---[ 196]---> BDD-cost: 16 288.99 c ---[ 195]---> BDD-cost: 16 288.99 c ---[ 194]---> BDD-cost: 16 288.99 c ---[ 193]---> BDD-cost: 16 288.99 c ---[ 192]---> BDD-cost: 16 288.99 c ---[ 191]---> BDD-cost: 16 288.99 c ---[ 190]---> BDD-cost: 16 288.99 c ---[ 189]---> BDD-cost: 16 288.99 c ---[ 188]---> BDD-cost: 16 288.99 c ---[ 187]---> BDD-cost: 16 288.99 c ---[ 185]---> Sorter-cost: 441 Base: 2 288.99 c ---[ 184]---> BDD-cost: 16 288.99 c ---[ 183]---> BDD-cost: 16 288.99 c ---[ 182]---> BDD-cost: 16 288.99 c ---[ 181]---> BDD-cost: 16 288.99 c ---[ 180]---> BDD-cost: 16 288.99 c ---[ 179]---> BDD-cost: 16 288.99 c ---[ 178]---> BDD-cost: 16 288.99 c ---[ 177]---> BDD-cost: 16 288.99 c ---[ 176]---> BDD-cost: 16 288.99 c ---[ 175]---> BDD-cost: 16 288.99 c ---[ 173]---> Sorter-cost: 441 Base: 2 289.00 c ---[ 172]---> BDD-cost: 16 289.00 c ---[ 171]---> BDD-cost: 16 289.00 c ---[ 170]---> BDD-cost: 16 289.00 c ---[ 169]---> BDD-cost: 16 289.00 c ---[ 168]---> BDD-cost: 16 289.00 c ---[ 167]---> BDD-cost: 16 289.00 c ---[ 166]---> BDD-cost: 16 289.00 c ---[ 165]---> BDD-cost: 16 289.00 c ---[ 164]---> BDD-cost: 16 289.00 c ---[ 163]---> BDD-cost: 16 289.00 c ---[ 161]---> Sorter-cost: 441 Base: 2 289.00 c ---[ 160]---> BDD-cost: 16 289.00 c ---[ 159]---> BDD-cost: 16 289.00 c ---[ 158]---> BDD-cost: 16 289.00 c ---[ 157]---> BDD-cost: 16 289.00 c ---[ 156]---> BDD-cost: 16 289.00 c ---[ 155]---> BDD-cost: 16 289.00 c ---[ 154]---> BDD-cost: 16 289.00 c ---[ 153]---> BDD-cost: 16 289.00 c ---[ 152]---> BDD-cost: 16 289.00 c ---[ 151]---> BDD-cost: 16 289.00 c ---[ 149]---> Sorter-cost: 441 Base: 2 289.00 c ---[ 148]---> BDD-cost: 16 289.00 c ---[ 147]---> BDD-cost: 16 289.00 c ---[ 146]---> BDD-cost: 16 289.00 c ---[ 145]---> BDD-cost: 16 289.00 c ---[ 144]---> BDD-cost: 16 289.00 c ---[ 143]---> BDD-cost: 16 289.00 c ---[ 142]---> BDD-cost: 16 289.00 c ---[ 141]---> BDD-cost: 16 289.00 c ---[ 140]---> BDD-cost: 16 289.00 c ---[ 139]---> BDD-cost: 16 289.00 c ---[ 137]---> Sorter-cost: 441 Base: 2 289.00 c ---[ 136]---> BDD-cost: 16 289.00 c ---[ 135]---> BDD-cost: 16 289.00 c ---[ 134]---> BDD-cost: 16 289.00 c ---[ 133]---> BDD-cost: 16 289.01 c ---[ 132]---> BDD-cost: 16 289.01 c ---[ 131]---> BDD-cost: 16 289.01 c ---[ 130]---> BDD-cost: 16 289.01 c ---[ 129]---> BDD-cost: 16 289.01 c ---[ 128]---> BDD-cost: 16 289.01 c ---[ 127]---> BDD-cost: 16 289.01 c ---[ 125]---> Sorter-cost: 347 Base: 2 289.01 c ---[ 124]---> BDD-cost: 16 289.01 c ---[ 123]---> BDD-cost: 16 289.01 c ---[ 122]---> BDD-cost: 16 289.01 c ---[ 121]---> BDD-cost: 16 289.01 c ---[ 120]---> BDD-cost: 16 289.01 c ---[ 119]---> BDD-cost: 16 289.01 c ---[ 118]---> BDD-cost: 16 289.01 c ---[ 117]---> BDD-cost: 16 289.01 c ---[ 116]---> BDD-cost: 16 289.01 c ---[ 115]---> BDD-cost: 16 289.01 c ---[ 113]---> Sorter-cost: 347 Base: 2 289.01 c ---[ 112]---> BDD-cost: 16 289.01 c ---[ 111]---> BDD-cost: 16 289.01 c ---[ 110]---> BDD-cost: 16 289.01 c ---[ 109]---> BDD-cost: 16 289.01 c ---[ 108]---> BDD-cost: 16 289.01 c ---[ 107]---> BDD-cost: 16 289.01 c ---[ 106]---> BDD-cost: 16 289.01 c ---[ 105]---> BDD-cost: 16 289.01 c ---[ 104]---> BDD-cost: 16 289.01 c ---[ 103]---> BDD-cost: 16 289.01 c ---[ 101]---> Sorter-cost: 347 Base: 2 289.01 c ---[ 100]---> BDD-cost: 16 289.01 c ---[ 99]---> BDD-cost: 16 289.01 c ---[ 98]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 289.28 c ---[ 96]---> Sorter-cost: 347 Base: 2 289.28 c ---[ 94]---> Sorter-cost: 347 Base: 2 289.28 c ---[ 92]---> Sorter-cost: 515 Base: 2 289.28 c ---[ 90]---> Sorter-cost: 515 Base: 2 289.28 c ---[ 88]---> Sorter-cost: 515 Base: 2 289.28 c ---[ 86]---> Sorter-cost: 515 Base: 2 289.29 c ---[ 84]---> Sorter-cost: 515 Base: 2 289.29 c ---[ 82]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 289.34 c ---[ 80]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 289.40 c ---[ 78]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 289.46 c ---[ 77]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 289.72 c ---[ 75]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 289.78 c ---[ 73]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 289.84 c ---[ 71]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 289.88 c ---[ 69]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 289.93 c ---[ 67]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 289.98 c ---[ 65]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 290.03 c ---[ 63]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 290.08 c ---[ 61]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 290.14 c ---[ 59]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 290.20 c ---[ 57]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 290.27 c ---[ 56]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 290.53 c ---[ 54]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 290.60 c ---[ 52]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 290.66 c ---[ 51]---> BDD-cost: 16 290.66 c ---[ 50]---> BDD-cost: 16 290.66 c ---[ 49]---> BDD-cost: 16 290.66 c ---[ 48]---> BDD-cost: 16 290.66 c ---[ 47]---> BDD-cost: 16 290.66 c ---[ 46]---> BDD-cost: 16 290.66 c ---[ 45]---> BDD-cost: 16 290.66 c ---[ 44]---> BDD-cost: 16 290.66 c ---[ 43]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 290.93 c ---[ 42]---> BDD-cost: 16 290.93 c ---[ 41]---> BDD-cost: 16 290.93 c ---[ 40]---> BDD-cost: 16 290.93 c ---[ 39]---> BDD-cost: 16 290.93 c ---[ 38]---> BDD-cost: 16 290.93 c ---[ 37]---> BDD-cost: 16 290.93 c ---[ 36]---> BDD-cost: 16 290.93 c ---[ 35]---> BDD-cost: 16 290.93 c ---[ 34]---> BDD-cost: 16 290.93 c ---[ 33]---> BDD-cost: 16 290.93 c ---[ 32]---> BDD-cost: 37 290.93 c ---[ 31]---> BDD-cost: 16 290.93 c ---[ 30]---> BDD-cost: 16 290.93 c ---[ 29]---> BDD-cost: 16 290.93 c ---[ 28]---> BDD-cost: 16 290.93 c ---[ 27]---> BDD-cost: 16 290.93 c ---[ 26]---> BDD-cost: 16 290.93 c ---[ 25]---> BDD-cost: 16 290.93 c ---[ 24]---> BDD-cost: 16 290.93 c ---[ 23]---> BDD-cost: 16 290.93 c ---[ 22]---> BDD-cost: 16 290.93 c ---[ 21]---> BDD-cost: 37 290.94 c ---[ 20]---> BDD-cost: 16 290.94 c ---[ 19]---> BDD-cost: 16 290.94 c ---[ 18]---> BDD-cost: 16 290.94 c ---[ 17]---> BDD-cost: 16 290.94 c ---[ 16]---> BDD-cost: 16 290.94 c ---[ 15]---> BDD-cost: 16 290.94 c ---[ 14]---> BDD-cost: 16 290.94 c ---[ 13]---> BDD-cost: 16 290.94 c ---[ 12]---> BDD-cost: 16 290.94 c ---[ 11]---> BDD-cost: 16 290.94 c ---[ 10]---> BDD-cost: 84 290.94 c ---[ 9]---> BDD-cost: 16 290.94 c ---[ 8]---> BDD-cost: 16 290.94 c ---[ 7]---> BDD-cost: 16 290.94 c ---[ 6]---> BDD-cost: 16 290.94 c ---[ 5]---> BDD-cost: 16 290.94 c ---[ 4]---> BDD-cost: 16 290.94 c ---[ 3]---> BDD-cost: 16 290.94 c ---[ 2]---> BDD-cost: 16 290.94 c ---[ 1]---> BDD-cost: 16 290.94 c ---[ 0]---> BDD-cost: 16 291.05 c ==================================[MINISAT+]================================== 291.05 c | Conflicts | Original | Learnt | Progress | 291.05 c | | Clauses Literals | Max Clauses Literals LPC | | 291.05 c ============================================================================== 291.05 c | 0 | 141334 476894 | 47111 0 0 nan | 0.000 % | 291.17 c | 100 | 141055 476217 | 51822 68 454 6.7 | 16.345 % | 291.36 c | 250 | 140847 475747 | 57004 195 9930 50.9 | 16.536 % | 291.47 c | 475 | 140661 475290 | 62704 396 14198 35.9 | 16.727 % | 291.69 c | 813 | 140521 474945 | 68975 722 22649 31.4 | 16.825 % | 291.83 c | 1319 | 140521 474945 | 75872 1228 37021 30.1 | 16.825 % | 292.27 c | 2079 | 140486 474836 | 83460 1985 78844 39.7 | 16.850 % | 292.75 c | 3218 | 140377 474563 | 91806 3116 121786 39.1 | 16.951 % | 293.43 c | 4928 | 140251 474223 | 100986 4801 194535 40.5 | 17.034 % | 294.34 c | 7491 | 140108 473878 | 111085 7358 287028 39.0 | 17.151 % | 296.15 c | 11335 | 139333 471964 | 122193 11113 418577 37.7 | 17.809 % | 298.32 c | 17102 | 139115 471471 | 134413 16825 668564 39.7 | 18.027 % | 303.73 c | 25751 | 137558 467743 | 147854 25206 1034194 41.0 | 19.379 % | 311.18 c | 38726 | 136639 465554 | 162639 37628 1752007 46.6 | 20.212 % | 317.90 c ============================================================================== 317.90 c [1mFound solution: 1075896320[0m 317.90 o 1075896320 317.90 c ---[ 0]---> BDD-cost: 17 317.93 c ==================================[MINISAT+]================================== 317.93 c | Conflicts | Original | Learnt | Progress | 317.93 c | | Clauses Literals | Max Clauses Literals LPC | | 317.93 c ============================================================================== 317.93 c | 53212 | 136266 464529 | 45422 51934 2462490 47.4 | 20.212 % | 318.05 c | 53313 | 136266 464529 | 49964 52035 2463676 47.3 | 20.495 % | 318.19 c | 53463 | 136252 464497 | 54960 52182 2473374 47.4 | 20.507 % | 318.30 c | 53690 | 136252 464497 | 60456 52409 2485475 47.4 | 20.507 % | 318.37 c | 54027 | 136252 464497 | 66502 52746 2508778 47.6 | 20.507 % | 318.75 c | 54534 | 136222 464429 | 73152 53240 2523204 47.4 | 20.532 % | 319.15 c | 55294 | 136222 464429 | 80467 54000 2564072 47.5 | 20.532 % | 320.25 c | 56434 | 136199 464350 | 88514 55129 2679909 48.6 | 20.544 % | 320.75 c ============================================================================== 320.75 c [1mFound solution: 1075664640[0m 320.75 o 1075664640 320.75 c ---[ 0]---> BDD-cost: 22 320.78 c ==================================[MINISAT+]================================== 320.78 c | Conflicts | Original | Learnt | Progress | 320.78 c | | Clauses Literals | Max Clauses Literals LPC | | 320.78 c ============================================================================== 320.78 c | 57105 | 136223 464407 | 45407 55800 2725589 48.8 | 20.544 % | 320.97 c | 57205 | 136207 464355 | 49947 18180 779429 42.9 | 20.546 % | 321.06 c | 57355 | 136195 464328 | 54942 18327 783368 42.7 | 20.555 % | 321.16 c | 57582 | 136191 464319 | 60436 18553 788896 42.5 | 20.559 % | 321.31 c | 57920 | 136191 464319 | 66480 18891 807539 42.7 | 20.559 % | 321.73 c | 58428 | 135992 463866 | 73128 19378 839956 43.3 | 20.755 % | 322.20 c | 59188 | 135965 463805 | 80441 20135 888375 44.1 | 20.783 % | 322.90 c | 60327 | 135957 463779 | 88485 21273 956783 45.0 | 20.786 % | 323.72 c | 62037 | 135578 462883 | 97333 22925 1015638 44.3 | 21.151 % | 325.08 c | 64599 | 135561 462826 | 107067 25484 1282621 50.3 | 21.158 % | 326.30 c | 68443 | 135468 462607 | 117774 29324 1529193 52.1 | 21.241 % | 328.72 c | 74209 | 135315 462070 | 129551 35070 1783391 50.9 | 21.271 % | 334.11 c | 82859 | 135275 461950 | 142506 43688 2652120 60.7 | 21.293 % | 341.54 c | 95836 | 135114 461493 | 156757 56630 3675247 64.9 | 21.409 % | 346.96 c ============================================================================== 346.96 c [1mFound solution: 1075567872[0m 346.96 o 1075567872 346.97 c ---[ 0]---> BDD-cost: 22 347.01 c ==================================[MINISAT+]================================== 347.01 c | Conflicts | Original | Learnt | Progress | 347.01 c | | Clauses Literals | Max Clauses Literals LPC | | 347.01 c ============================================================================== 347.01 c | 102603 | 135079 461419 | 45026 63394 4628044 73.0 | 21.409 % | 347.17 c | 102704 | 135079 461419 | 49528 21240 1507274 71.0 | 21.460 % | 347.24 c | 102854 | 135079 461419 | 54481 21390 1513293 70.7 | 21.460 % | 347.43 c | 103080 | 135079 461419 | 59929 21616 1524022 70.5 | 21.460 % | 347.58 c | 103417 | 135079 461419 | 65922 21953 1541131 70.2 | 21.460 % | 347.84 c | 103925 | 135079 461419 | 72514 22461 1584221 70.5 | 21.460 % | 348.14 c | 104685 | 135071 461393 | 79766 23220 1595759 68.7 | 21.463 % | 349.03 c | 105825 | 134917 460879 | 87742 24346 1678953 69.0 | 21.521 % | 350.43 c | 107535 | 134674 460024 | 96517 26019 1810930 69.6 | 21.576 % | 352.73 c | 110099 | 134635 459885 | 106168 28580 2316324 81.0 | 21.582 % | 354.98 c | 113944 | 134408 459301 | 116785 32412 2472453 76.3 | 21.794 % | 357.59 c | 119710 | 134408 459301 | 128464 38178 2655586 69.6 | 21.794 % | 361.50 c | 128361 | 134331 459038 | 141310 46817 3402226 72.7 | 21.822 % | 364.91 c ============================================================================== 364.91 c [1mFound solution: 1075541248[0m 364.91 o 1075541248 364.91 c ---[ 0]---> BDD-cost: 20 364.96 c ==================================[MINISAT+]================================== 364.96 c | Conflicts | Original | Learnt | Progress | 364.96 c | | Clauses Literals | Max Clauses Literals LPC | | 364.96 c ============================================================================== 364.96 c | 133410 | 134208 458740 | 44736 51859 3864347 74.5 | 21.822 % | 365.09 c | 133511 | 134208 458740 | 49209 51960 3873209 74.5 | 21.966 % | 365.19 c | 133662 | 134208 458740 | 54130 52111 3880465 74.5 | 21.966 % | 365.29 c | 133887 | 134208 458740 | 59543 52336 3883188 74.2 | 21.966 % | 365.47 c | 134224 | 134208 458740 | 65497 52673 3896948 74.0 | 21.966 % | 365.95 c | 134730 | 134208 458740 | 72047 53179 3968524 74.6 | 21.966 % | 366.60 c | 135491 | 133872 457638 | 79252 53919 4012489 74.4 | 22.089 % | 367.92 c | 136630 | 133777 457358 | 87177 55044 4089916 74.3 | 22.141 % | 369.27 c | 138338 | 133754 457304 | 95895 56750 4219478 74.4 | 22.169 % | 369.82 c ============================================================================== 369.82 c [1mFound solution: 1075352320[0m 369.82 o 1075352320 369.82 c ---[ 0]---> BDD-cost: 21 369.86 c ==================================[MINISAT+]================================== 369.86 c | Conflicts | Original | Learnt | Progress | 369.86 c | | Clauses Literals | Max Clauses Literals LPC | | 369.86 c ============================================================================== 369.86 c | 139152 | 133779 457360 | 44593 57564 4261234 74.0 | 22.169 % | 370.01 c | 139253 | 133779 457360 | 49052 21756 1012241 46.5 | 22.166 % | 370.13 c | 139403 | 133779 457360 | 53957 21906 1017632 46.5 | 22.166 % | 370.31 c | 139629 | 133770 457329 | 59353 22129 1029077 46.5 | 22.169 % | 370.44 c | 139967 | 133770 457329 | 65288 22467 1036182 46.1 | 22.169 % | 370.70 c | 140475 | 133759 457304 | 71817 22974 1053188 45.8 | 22.184 % | 371.13 c | 141234 | 133759 457304 | 78999 23733 1096853 46.2 | 22.184 % | 372.05 c | 142375 | 133621 456841 | 86899 24850 1197433 48.2 | 22.237 % | 373.92 c | 144083 | 133243 455549 | 95589 26514 1389041 52.4 | 22.359 % | 376.50 c | 146648 | 133134 455173 | 105147 29051 1806555 62.2 | 22.390 % | 379.51 c | 150492 | 133134 455173 | 115662 32895 2241888 68.2 | 22.390 % | 382.44 c | 156260 | 133080 454998 | 127229 38654 2520741 65.2 | 22.412 % | 385.90 c ============================================================================== 385.90 c [1mFound solution: 1075348992[0m 385.90 o 1075348992 385.91 c ---[ 0]---> BDD-cost: 21 385.94 c ==================================[MINISAT+]================================== 385.94 c | Conflicts | Original | Learnt | Progress | 385.94 c | | Clauses Literals | Max Clauses Literals LPC | | 385.94 c ============================================================================== 385.94 c | 161710 | 132835 454169 | 44278 44063 3076524 69.8 | 22.412 % | 386.05 c | 161811 | 132835 454169 | 48705 44164 3077353 69.7 | 22.545 % | 386.17 c | 161961 | 132835 454169 | 53576 44314 3082409 69.6 | 22.545 % | 386.33 c | 162186 | 132835 454169 | 58934 44539 3097490 69.5 | 22.545 % | 386.53 c | 162523 | 132826 454138 | 64827 44874 3113494 69.4 | 22.548 % | 386.65 c | 163030 | 132826 454138 | 71310 45381 3157579 69.6 | 22.548 % | 387.02 c | 163790 | 132817 454107 | 78441 46139 3172732 68.8 | 22.551 % | 387.69 c | 164929 | 132817 454107 | 86285 47278 3255043 68.8 | 22.551 % | 388.92 c | 166637 | 132768 453966 | 94913 48953 3324418 67.9 | 22.582 % | 391.62 c | 169199 | 132768 453966 | 104405 51515 3716753 72.1 | 22.582 % | 396.54 c | 173044 | 132669 453613 | 114845 55341 4503380 81.4 | 22.597 % | 399.63 c | 178810 | 132616 453426 | 126330 61085 5162626 84.5 | 22.612 % | 406.39 c | 187459 | 132485 452990 | 138963 69699 6124870 87.9 | 22.661 % | 412.78 c | 200433 | 132411 452762 | 152859 82660 7343387 88.8 | 22.698 % | 433.31 c | 219894 | 132329 452556 | 168145 102113 11508193 112.7 | 22.766 % | 472.79 c | 249087 | 132073 451779 | 184960 131266 16931777 129.0 | 22.919 % | 512.91 c ============================================================================== 512.91 c [1mFound solution: 1075193344[0m 512.91 o 1075193344 512.91 c ---[ 0]---> BDD-cost: 18 513.08 c ==================================[MINISAT+]================================== 513.08 c | Conflicts | Original | Learnt | Progress | 513.08 c | | Clauses Literals | Max Clauses Literals LPC | | 513.08 c ============================================================================== 513.08 c | 281417 | 131502 449855 | 43834 163476 21396272 130.9 | 22.919 % | 513.61 c | 281518 | 131502 449855 | 48217 28833 2282891 79.2 | 23.181 % | 513.76 c | 281673 | 131502 449855 | 53039 28988 2291646 79.1 | 23.181 % | 513.87 c | 281900 | 131502 449855 | 58343 29215 2300185 78.7 | 23.181 % | 514.01 c | 282239 | 131502 449855 | 64177 29554 2314526 78.3 | 23.181 % | 514.60 c | 282746 | 131502 449855 | 70595 30061 2439043 81.1 | 23.181 % | 515.07 c | 283509 | 131498 449846 | 77654 30821 2462844 79.9 | 23.184 % | 516.50 c | 284649 | 131498 449846 | 85420 31961 2773811 86.8 | 23.184 % | 516.86 c | 286357 | 131498 449846 | 93962 33669 2850297 84.7 | 23.184 % | 519.41 c | 288921 | 131366 449388 | 103358 36212 3204128 88.5 | 23.223 % | 522.93 c | 292766 | 131284 449141 | 113694 40037 3631967 90.7 | 23.270 % | 527.75 c | 298532 | 131224 448975 | 125063 45799 4228832 92.3 | 23.319 % | 531.14 c | 307181 | 131122 448641 | 137569 54434 4895991 89.9 | 23.368 % | 549.75 c | 320155 | 130946 448035 | 151326 67376 7850287 116.5 | 23.444 % | 574.39 c | 339616 | 130680 447178 | 166459 86794 10440895 120.3 | 23.595 % | 615.72 c | 368809 | 130640 447042 | 183105 115977 16257234 140.2 | 23.613 % | 668.70 c | 412598 | 130504 446588 | 201416 159725 22923473 143.5 | 23.678 % | 769.06 c | 478285 | 129786 444460 | 221557 38345 5001243 130.4 | 24.156 % | 876.84 c | 576811 | 129643 444059 | 243713 136858 23131011 169.0 | 24.264 % | 1059.47 c ============================================================================== 1059.47 c [1mFound solution: 1075182336[0m 1059.47 o 1075182336 1059.47 c ---[ 0]---> BDD-cost: 20 1059.80 c ==================================[MINISAT+]================================== 1059.80 c | Conflicts | Original | Learnt | Progress | 1059.80 c | | Clauses Literals | Max Clauses Literals LPC | | 1059.80 c ============================================================================== 1059.80 c | 658742 | 129399 443222 | 43133 218741 41615491 190.3 | 24.264 % | 1060.54 c | 658842 | 129399 443222 | 47446 28198 3564757 126.4 | 24.390 % | 1060.73 c | 658992 | 129399 443222 | 52190 28348 3566827 125.8 | 24.390 % | 1061.11 c | 659219 | 129399 443222 | 57410 28575 3577875 125.2 | 24.390 % | 1061.38 c | 659556 | 129399 443222 | 63151 28912 3600859 124.5 | 24.390 % | 1061.94 c | 660062 | 129399 443222 | 69466 29418 3630538 123.4 | 24.390 % | 1062.58 c | 660823 | 129361 443092 | 76412 30169 3656532 121.2 | 24.408 % | 1062.92 c | 661962 | 129361 443092 | 84054 31308 3713496 118.6 | 24.408 % | 1064.29 c | 663670 | 129304 442940 | 92459 33012 3745956 113.5 | 24.472 % | 1067.06 c | 666232 | 129304 442940 | 101705 35574 4112861 115.6 | 24.472 % | 1071.66 c | 670076 | 129295 442909 | 111875 39415 4506291 114.3 | 24.475 % | 1075.99 c | 675842 | 129295 442909 | 123063 45181 5335987 118.1 | 24.475 % | 1085.78 c | 684494 | 129216 442632 | 135369 53416 6359177 119.1 | 24.503 % | 1101.32 c | 697468 | 129216 442632 | 148906 66390 8458284 127.4 | 24.503 % | 1125.77 c | 716930 | 129115 442300 | 163797 85838 11861239 138.2 | 24.567 % | 1175.68 c | 746124 | 129107 442274 | 180177 115031 17757485 154.4 | 24.571 % | 1250.10 c | 789913 | 129079 442201 | 198194 158810 26624837 167.7 | 24.589 % | 1336.86 c | 855597 | 128990 441896 | 218014 38103 4088948 107.3 | 24.626 % | 1446.35 c | 954123 | 128512 440450 | 239815 136559 19916821 145.8 | 24.939 % | 1683.85 c ============================================================================== 1683.85 c [1mFound solution: 1075131904[0m 1683.85 o 1075131904 1683.85 c ---[ 0]---> BDD-cost: 19 1684.22 c ==================================[MINISAT+]================================== 1684.22 c | Conflicts | Original | Learnt | Progress | 1684.22 c | | Clauses Literals | Max Clauses Literals LPC | | 1684.22 c ============================================================================== 1684.22 c | 1075860 | 128500 440417 | 42833 258290 45327230 175.5 | 24.939 % | 1685.02 c | 1075960 | 128500 440417 | 47116 26540 3028840 114.1 | 24.962 % | 1685.13 c | 1076115 | 128500 440417 | 51827 26695 3031397 113.6 | 24.962 % | 1685.31 c | 1076340 | 128500 440417 | 57010 26920 3037178 112.8 | 24.962 % | 1685.71 c | 1076677 | 128500 440417 | 62711 27257 3046054 111.8 | 24.962 % | 1686.00 c | 1077186 | 128500 440417 | 68982 27766 3069839 110.6 | 24.962 % | 1686.50 c | 1077945 | 128500 440417 | 75881 28525 3121831 109.4 | 24.962 % | 1687.88 c | 1079084 | 128217 439446 | 83469 29633 3234451 109.2 | 25.072 % | 1689.64 c | 1080794 | 128217 439446 | 91816 31343 3344361 106.7 | 25.072 % | 1691.97 c | 1083357 | 128201 439394 | 100997 33904 3553513 104.8 | 25.078 % | 1694.29 c | 1087202 | 128201 439394 | 111097 37749 3879807 102.8 | 25.078 % | 1701.93 c | 1092968 | 128201 439394 | 122207 43515 5002361 115.0 | 25.078 % | 1711.79 c | 1101618 | 128134 439218 | 134428 52153 5976613 114.6 | 25.136 % | 1721.57 c | 1114594 | 128125 439187 | 147871 65127 7532101 115.7 | 25.140 % | 1744.85 c | 1134055 | 128089 439068 | 162658 84573 10727030 126.8 | 25.152 % | 1797.36 c | 1163247 | 128026 438849 | 178924 113761 16467824 144.8 | 25.182 % | 1801.24 c 1801.24 c *** TERMINATED *** 1801.24 s SATISFIABLE 1801.24 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 x4751 -x4752 x4753 x4754 -x4755 -x4756 x4757 -x4758 1801.24 v x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x5042 -x5043 x5044 -x5045 -x5046 1801.24 v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 1801.24 v -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x4772 x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4810 -x4811 1801.24 v -x4812 -x4813 x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1801.24 v -x4890 -x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 1801.24 v -x4937 -x4938 -x4939 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x5040 -x5041 -x5102 -x5103 1801.24 v -x5104 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1801.24 v -x5181 -x5182 -x5183 -x5184 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5255 -x5256 -x5257 1801.24 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 1801.24 v -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 1801.24 v -x5382 -x5383 -x5384 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5485 x5486 -x5487 -x5488 -x5489 1801.24 v -x5490 -x5491 -x5492 -x5493 -x5494 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5565 -x5566 1801.24 v x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1801.24 v -x5614 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 1801.24 v -x5691 -x5692 -x5693 -x5694 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5765 -x5766 -x5767 1801.24 v -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 1801.24 v -x5845 -x5846 -x5847 -x5848 -x5849 x5850 -x5851 x5852 -x5853 -x5854 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 1801.24 v -x5923 -x5924 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5995 -x5996 -x5997 -x5998 -x5999 1801.24 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 -x6075 -x6076 1801.24 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x5815 -x5816 1801.24 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1801.24 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1801.24 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 1801.24 v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1801.24 v -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 1801.24 v -x5952 -x5953 -x5954 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 1801.24 v -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x6005 1801.24 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 1801.24 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6045 -x6046 -x6047 -x6048 -x6049 1801.24 v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1801.24 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1801.24 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1801.24 v -x6111 -x6112 -x6113 -x6114 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1801.24 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1801.24 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1801.24 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1801.24 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1801.24 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1801.24 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1801.24 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 1801.24 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1801.24 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 1801.24 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 1801.24 v -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1801.24 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 1801.24 v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 1801.24 v -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 x6403 1801.24 v x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1801.24 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 1801.24 v -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 1801.24 v -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 1801.24 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 1801.24 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1801.24 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1801.24 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1801.24 v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 1801.24 v -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6602 -x6603 1801.24 v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 1801.24 v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 1801.24 v -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 1801.24 v -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 1801.24 v -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 1801.24 v -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 1801.24 v -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 1801.24 v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 1801.24 v -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 1801.24 v -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 1801.24 v -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 1801.24 v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 1801.24 v -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 1801.24 v -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 1801.24 v -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 1801.24 v -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 1801.24 v -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 1801.24 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 1801.24 v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 1801.24 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 1801.24 v -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 1801.24 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 1801.24 v -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 1801.24 v -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 1801.24 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1801.24 v -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1801.24 v -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 1801.24 v -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 1801.24 v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 1801.24 v -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 1801.24 v -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 1801.24 v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 1801.24 v -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 1801.24 v -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 1801.24 v -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1801.24 v -x7229 -x7230 -x7231 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 1801.24 v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 1801.24 v -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 1801.24 v -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 1801.24 v -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 1801.24 v -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 1801.24 v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 1801.24 v -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 1801.24 v -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 1801.24 v -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 1801.24 v -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 1801.24 v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 1801.24 v -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 1801.24 v -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 1801.24 v -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 1801.24 v -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 1801.24 v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 1801.24 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x61 -x62 -x63 -x64 -x65 1801.24 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1801.24 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 1801.24 v -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 1801.24 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1801.24 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1801.24 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1801.24 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 x217 -x218 1801.24 v -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1801.24 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1801.24 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1801.24 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1801.24 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1801.24 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1801.24 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 1801.24 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1801.24 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1801.24 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1801.24 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1801.24 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1801.24 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 1801.24 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1801.24 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 1801.24 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 1801.24 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 1801.24 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 1801.24 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1801.24 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1801.24 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1801.24 v -x690 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1801.24 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1801.24 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1801.24 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1801.24 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1801.24 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1801.24 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1801.24 v -x867 -x868 -x869 -x870 x871 x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 1801.24 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1801.24 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1801.24 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1801.24 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 1801.24 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1801.24 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1801.24 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1801.24 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1801.24 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1801.24 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1801.24 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1801.24 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1801.24 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1801.24 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1801.24 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1801.24 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1801.24 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1801.24 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1801.24 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1801.24 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1801.24 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1801.24 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1801.24 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1801.24 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1801.24 v -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1801.24 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1801.24 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1801.24 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1801.24 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1801.24 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1801.24 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1801.24 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 1801.24 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1801.24 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 1801.24 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1801.24 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1801.24 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1801.24 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1801.24 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1801.24 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1801.24 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1801.24 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 1801.24 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1801.24 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1801.24 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1801.24 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1801.24 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1801.24 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1801.24 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1801.24 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1801.24 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1801.24 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1801.24 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1801.24 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1801.24 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1801.24 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1801.24 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1801.24 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1801.24 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1801.24 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1801.24 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1801.24 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1801.24 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1801.24 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1801.24 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1801.24 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1801.24 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1801.24 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1801.24 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1801.24 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1801.24 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1801.24 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1801.24 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1801.24 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1801.24 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1801.24 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1801.24 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1801.24 v -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1801.24 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1801.24 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1801.24 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1801.24 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1801.24 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1801.24 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1801.24 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1801.24 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1801.24 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1801.24 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1801.24 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1801.24 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1801.24 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1801.24 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1801.24 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1801.24 v -x2641 x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1801.24 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 1801.24 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1801.24 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1801.24 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1801.24 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1801.24 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1801.24 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1801.24 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1801.24 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1801.24 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1801.24 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1801.24 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1801.24 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1801.24 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1801.24 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1801.24 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1801.24 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1801.24 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1801.24 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 1801.24 v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 1801.24 v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1801.24 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1801.24 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1801.24 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1801.24 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1801.24 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1801.24 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1801.24 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1801.24 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 1801.24 v -x3212 -x3213 -x3214 x3215 -x3216 x3217 x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 1801.24 v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1801.24 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 1801.24 v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 1801.24 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1801.24 v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 1801.24 v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3391 1801.24 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 1801.24 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1801.24 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1801.24 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 1801.24 v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1801.24 v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 1801.24 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1801.24 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1801.24 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1801.24 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 1801.24 v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 1801.24 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1801.24 v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1801.24 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1801.24 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 1801.24 v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 1801.24 v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1801.24 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1801.24 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1801.24 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1801.24 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1801.24 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1801.24 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1801.24 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1801.24 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1801.24 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1801.24 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1801.24 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1801.24 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1801.24 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1801.24 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1801.24 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1801.24 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1801.24 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1801.24 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1801.24 v -x4017 -x4018 -x4019 -x4020 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1801.24 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1801.24 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1801.24 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 1801.24 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1801.24 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1801.24 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1801.24 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1801.24 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1801.24 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1801.24 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1801.24 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1801.24 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1801.24 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1801.24 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1801.24 v -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1801.24 v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 1801.24 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4381 -x4382 1801.24 v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 1801.24 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 1801.24 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 1801.24 v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 1801.24 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 1801.24 v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1801.24 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 1801.24 v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 1801.24 v -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 1801.24 v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 1801.24 v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 1801.24 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 1801.24 v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 1801.24 v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1801.24 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1801.24 v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 1801.24 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 1801.24 v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1801.24 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 1801.24 v -x4736 -x4737 -x4738 -x4739 -x4740 x1 -x2 -x3 -x4 x5 -x6 x7 x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 1801.24 v -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 1801.24 v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 1801.24 v -x3720 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 1801.24 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5695 -x5696 -x5697 1801.24 v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1801.24 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x3331 x3332 x3333 x3334 -x3335 x3336 x3337 x3338 1801.24 v -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1801.24 v -x3356 -x3357 -x3358 -x3359 -x3360 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1801.24 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1801.24 v -x4050 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 1801.24 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5735 x5736 x5737 x5738 1801.24 v -x5739 x5740 x5741 x5742 -x5743 x5744 -x5745 x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 1801.24 v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 1801.24 v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 1801.24 v -x5006 -x5007 -x5008 -x5009 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 1801.24 v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 1801.24 v -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 1801.24 v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5775 -x5776 -x5777 -x5778 1801.24 v -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 1801.24 v -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5425 x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 1801.24 v -x5434 x5435 x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 1801.24 v -x5452 -x5453 -x5454 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1801.24 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x5385 1801.24 v -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 1801.24 v -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5855 -x5856 -x5857 -x5858 -x5859 1801.24 v -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 1801.24 v -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1801.24 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1801.24 v -x4806 -x4807 -x4808 -x4809 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 1801.24 v -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 1801.24 v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 1801.24 v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x4820 -x4821 -x4822 -x4823 1801.24 v -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 1801.24 v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1801.24 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 1801.24 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 1801.24 v -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 1801.24 v -x5524 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 1801.24 v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x4860 -x4861 -x4862 1801.24 v -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 1801.24 v -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1801.24 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1801.24 v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 1801.24 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 1801.24 v -x5563 -x5564 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 1801.24 v -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x4900 -x4901 1801.24 v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1801.24 v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1801.24 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 1801.24 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 1801.24 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1801.24 v -x5602 -x5603 -x5604 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 1801.24 v -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x4940 1801.24 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 1801.24 v -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x5185 -x5186 -x5187 -x5188 -x5189 1801.24 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1801.24 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 1801.24 v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1801.24 v -x5641 -x5642 -x5643 -x5644 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 1801.24 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1801.24 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 1801.24 v -x5038 -x5039 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1801.24 v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5655 -x5656 1801.24 v -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 1801.24 v -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1801.24 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1801.24 v -x389 -x390 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1801.24 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x691 -x692 -x693 -x694 1801.24 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1801.24 v -x716 -x717 -x718 -x719 -x720 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1801.24 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1801.24 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1801.24 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x2671 -x2672 -x2673 -x2674 1801.24 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1801.24 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1801.24 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1801.24 v -x1376 -x1377 -x1378 -x1379 -x1380 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1801.24 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1801.24 v -x3030 x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1801.24 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x3361 -x3362 -x3363 -x3364 1801.24 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1801.24 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
OK 1075131904
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/node71/watcher-35881-1149316424 -o ROOT/results/node71/solver-35881-1149316424 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node71/35881-1149316424/instance-35881-1149316424.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 16025 /proc/meminfo: memFree=1550896/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=1048 CPUtime=0 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 116 0 0 0 0 0 0 0 19 0 1 0 197312046 1073152 101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 262 101 74 215 0 44 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546296/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=9.99 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 999 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134649171 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5668 [startup+20.0098 s] /proc/loadavg: 0.94 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546296/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=19.99 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 1999 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834166 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5668 [startup+30.0172 s] /proc/loadavg: 0.95 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546360/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=30 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 3000 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834122 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 5668 [startup+40.0226 s] /proc/loadavg: 0.96 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546360/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=40 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 4000 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003230 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5668 [startup+50.029 s] /proc/loadavg: 0.96 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546360/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=50 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 5000 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005342 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5668 [startup+60.0353 s] /proc/loadavg: 0.97 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=60.01 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 6001 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833880 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 5668 [startup+70.0427 s] /proc/loadavg: 0.97 0.98 0.99 2/64 16025 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=70.01 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 7001 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5668 [startup+80.0521 s] /proc/loadavg: 0.98 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=80.02 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 8002 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 5668 [startup+90.0585 s] /proc/loadavg: 0.98 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=90.02 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 9002 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 5668 [startup+100.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=100.02 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 10002 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003883 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 5668 [startup+110.071 s] /proc/loadavg: 0.98 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=110.03 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 11003 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 5668 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=120.03 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 12003 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 5668 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=130.03 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 13003 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809948 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 5668 [startup+140.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=140.04 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 14004 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 5668 [startup+150.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=150.04 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 15004 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 5668 [startup+160.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=160.04 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 16004 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530444 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 5668 [startup+170.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=170.05 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 17005 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 5668 [startup+180.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=180.05 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 18005 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 5668 [startup+190.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=190.05 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 19005 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 5668 [startup+200.129 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=5668 CPUtime=200.06 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 1596 0 0 0 20006 0 0 0 25 0 1 0 197312046 5804032 1246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679808 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 1417 1246 92 215 0 1199 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 5668 [startup+210.135 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16027 /proc/meminfo: memFree=1546424/2055920 swapFree=4182212/4192956 ################ # More data... # ################ [pid=16025] ppid=16023 vsize=209064 CPUtime=1781.56 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178099 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 209064 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1782.56 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178199 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 209064 [startup+1784.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1783.57 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178300 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 209064 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1784.57 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178400 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 209064 [startup+1786.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1785.58 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178501 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 209064 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1786.58 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178601 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 209064 [startup+1788.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1787.59 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178702 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574392 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 209064 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1788.59 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178802 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 209064 [startup+1790.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1789.6 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 178903 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 209064 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1790.6 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179003 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573879 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 209064 [startup+1792.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1791.61 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179104 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 209064 [startup+1793.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1792.61 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179204 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 209064 [startup+1794.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1793.62 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179305 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 209064 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1794.62 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179405 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 209064 [startup+1796.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1795.63 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179506 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 209064 [startup+1797.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1796.63 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179606 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 209064 [startup+1798.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1797.63 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179706 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 209064 [startup+1799.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1798.64 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179807 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 209064 [startup+1800.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1799.64 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 179907 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 209064 [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1800.65 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 180008 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 209064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 0.99 0.98 0.99 3/64 16222 /proc/meminfo: memFree=1343608/2055920 swapFree=4182212/4192956 [pid=16025] ppid=16023 vsize=209064 CPUtime=1800.65 /proc/16025/stat : 16025 (minisat+) R 16023 16025 15979 0 -1 4194304 52308 0 0 0 180008 57 0 0 25 0 1 0 197312046 214081536 51833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16025/statm: 52266 51833 124 215 0 52048 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 209064 Sending SIGTERM to -16025 Sleeping 2 seconds Child status: 10 Real time (s): 1801.28 CPU time (s): 1800.7 CPU user time (s): 1800.09 CPU system time (s): 0.606907 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (Kb): 209064
Begin job on node71 on Sat Jun 3 06:33:44 UTC 2006 FILE ID= 35881-1149316424 PBS_JOBID= 308358 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node71/35881-1149316424/instance-35881-1149316424.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-35881-1149316424 -o ROOT/results/node71/solver-35881-1149316424 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node71/35881-1149316424/instance-35881-1149316424.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15 RANDOM SEED= 235523583 /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.236 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.236 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: 1551296 kB Buffers: 28568 kB Cached: 402628 kB SwapCached: 2372 kB Active: 61712 kB Inactive: 378056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1551296 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15092 kB Slab: 50780 kB Committed_AS: 306084 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node71 on Sat Jun 3 07:03:45 UTC 2006