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

OK	26538369

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721326-1338554639/watcher-3721326-1338554639 -o /tmp/evaluation-result-3721326-1338554639/solver-3721326-1338554639 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721326-1338554639.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.75 4/176 14911
/proc/meminfo: memFree=28431456/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=1784 CPUtime=0 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 272 0 0 0 0 0 0 0 20 0 1 0 321530891 1826816 229 33554432000 134512640 135395479 4292054160 4292052944 134569966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 446 229 67 216 0 228 0

[startup+0.100515 s]
/proc/loadavg: 1.92 1.99 1.75 4/176 14911
/proc/meminfo: memFree=28431456/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=3020 CPUtime=0.09 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 602 0 0 0 9 0 0 0 20 0 1 0 321530891 3092480 559 33554432000 134512640 135395479 4292054160 4292053080 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 755 559 75 216 0 537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3020

[startup+0.200269 s]
/proc/loadavg: 1.92 1.99 1.75 4/176 14911
/proc/meminfo: memFree=28431456/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=3704 CPUtime=0.19 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 774 0 0 0 19 0 0 0 20 0 1 0 321530891 3792896 731 33554432000 134512640 135395479 4292054160 4292052572 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 926 732 75 216 0 708 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3704

[startup+0.300266 s]
/proc/loadavg: 1.92 1.99 1.75 4/176 14911
/proc/meminfo: memFree=28431456/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=4152 CPUtime=0.29 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 887 0 0 0 29 0 0 0 20 0 1 0 321530891 4251648 844 33554432000 134512640 135395479 4292054160 4292052896 134621304 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 1038 844 83 216 0 820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4152

[startup+0.700238 s]
/proc/loadavg: 1.92 1.99 1.75 4/176 14911
/proc/meminfo: memFree=28431456/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=4484 CPUtime=0.69 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 1075 0 0 0 69 0 0 0 20 0 1 0 321530891 4591616 972 33554432000 134512640 135395479 4292054160 4292051636 135003232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 1121 972 106 216 0 903 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4484

[startup+1.50024 s]
/proc/loadavg: 1.92 1.99 1.75 3/177 14912
/proc/meminfo: memFree=28423156/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=10092 CPUtime=1.49 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 2399 0 0 0 149 0 0 0 20 0 1 0 321530891 10334208 2254 33554432000 134512640 135395479 4292054160 4292052560 134582027 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 2523 2254 123 216 0 2305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10092

[startup+3.10024 s]
/proc/loadavg: 1.92 1.99 1.75 3/177 14912
/proc/meminfo: memFree=28422388/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=10360 CPUtime=3.09 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 2489 0 0 0 309 0 0 0 20 0 1 0 321530891 10608640 2344 33554432000 134512640 135395479 4292054160 4292052512 134569767 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 2590 2344 123 216 0 2372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10360

[startup+6.30025 s]
/proc/loadavg: 1.93 1.99 1.76 3/178 14913
/proc/meminfo: memFree=28420892/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=11612 CPUtime=6.29 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 2796 0 0 0 629 0 0 0 20 0 1 0 321530891 11890688 2651 33554432000 134512640 135395479 4292054160 4292052512 134581216 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 2903 2651 123 216 0 2685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11612

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.76 3/178 14913
/proc/meminfo: memFree=28411856/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=20788 CPUtime=12.69 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 5076 0 0 0 1268 1 0 0 20 0 1 0 321530891 21286912 4931 33554432000 134512640 135395479 4292054160 4292052512 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 5197 4931 123 216 0 4979 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20788

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.76 3/178 14913
/proc/meminfo: memFree=28379724/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=52212 CPUtime=25.48 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 12876 0 0 0 2546 2 0 0 20 0 1 0 321530891 53465088 12731 33554432000 134512640 135395479 4292054160 4292052512 134580916 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 13053 12731 123 216 0 12835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52212

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.76 3/178 14913
/proc/meminfo: memFree=28370144/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=61176 CPUtime=51.07 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 15137 0 0 0 5104 3 0 0 20 0 1 0 321530891 62644224 14996 33554432000 134512640 135395479 4292054160 4292052560 134582099 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 15294 14996 123 216 0 15076 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61176

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.77 3/177 14913
/proc/meminfo: memFree=28341176/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=87448 CPUtime=102.25 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 21765 0 0 0 10220 5 0 0 20 0 1 0 321530891 89546752 21617 33554432000 134512640 135395479 4292054160 4292052624 134588783 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 21862 21617 123 216 0 21644 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87448

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.79 3/177 14914
/proc/meminfo: memFree=28328312/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=102584 CPUtime=162.22 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 25189 0 0 0 16217 5 0 0 20 0 1 0 321530891 105046016 24731 33554432000 134512640 135395479 4292054160 4292052464 134580452 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 25646 24731 123 216 0 25428 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 102584

[startup+222.306 s]
/proc/loadavg: 1.99 1.99 1.80 3/177 14914
/proc/meminfo: memFree=28327444/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=103192 CPUtime=222.22 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 25309 0 0 0 22217 5 0 0 20 0 1 0 321530891 105668608 24851 33554432000 134512640 135395479 4292054160 4292052512 134580886 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 25798 24851 123 216 0 25580 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 103192

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.81 3/177 14914
/proc/meminfo: memFree=28319936/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=110184 CPUtime=282.2 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 27140 0 0 0 28214 6 0 0 20 0 1 0 321530891 112828416 26767 33554432000 134512640 135395479 4292054160 4292052512 134580945 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 27546 26767 123 216 0 27328 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 110184

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.82 3/177 14914
/proc/meminfo: memFree=28308392/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=120964 CPUtime=342.19 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 29844 0 0 0 34212 7 0 0 20 0 1 0 321530891 123867136 29465 33554432000 134512640 135395479 4292054160 4292052624 134588666 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 30241 29465 123 216 0 30023 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 120964

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/178 14917
/proc/meminfo: memFree=28296416/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=129932 CPUtime=402.18 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 32165 0 0 0 40211 7 0 0 20 0 1 0 321530891 133050368 31786 33554432000 134512640 135395479 4292054160 4292052624 134588692 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 32483 31786 123 216 0 32265 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 129932

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 14918
/proc/meminfo: memFree=28253240/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=174008 CPUtime=462.16 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 43050 0 0 0 46205 11 0 0 20 0 1 0 321530891 178184192 42656 33554432000 134512640 135395479 4292054160 4292052032 134573849 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 43502 42656 123 216 0 43284 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 174008

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 14918
/proc/meminfo: memFree=28253176/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=174008 CPUtime=522.15 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 43052 0 0 0 52204 11 0 0 20 0 1 0 321530891 178184192 42658 33554432000 134512640 135395479 4292054160 4292052480 134573025 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 43502 42658 123 216 0 43284 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 174008

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14918
/proc/meminfo: memFree=28167764/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=258252 CPUtime=582.11 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 64158 0 0 0 58194 17 0 0 20 0 1 0 321530891 264450048 63747 33554432000 134512640 135395479 4292054160 4292052512 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 64563 63747 123 216 0 64345 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 258252

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 1.87 3/177 14919
/proc/meminfo: memFree=28155408/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=267492 CPUtime=822.04 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 66499 0 0 0 82187 17 0 0 20 0 1 0 321530891 273911808 66064 33554432000 134512640 135395479 4292054160 4292052032 134574400 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 66873 66064 123 216 0 66655 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 267492

[startup+882.306 s]
/proc/loadavg: 2.01 2.01 1.88 3/177 14919
/proc/meminfo: memFree=28154848/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=267492 CPUtime=882.03 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 66499 0 0 0 88186 17 0 0 20 0 1 0 321530891 273911808 66064 33554432000 134512640 135395479 4292054160 4292052512 134581475 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 66873 66064 123 216 0 66655 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 267492

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 14919
/proc/meminfo: memFree=28152740/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=267492 CPUtime=942.02 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 66499 0 0 0 94185 17 0 0 20 0 1 0 321530891 273911808 66064 33554432000 134512640 135395479 4292054160 4292052032 134574389 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 66873 66064 123 216 0 66655 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 267492

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 14922
/proc/meminfo: memFree=28126816/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=291612 CPUtime=1002.02 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 72512 0 0 0 100183 19 0 0 20 0 1 0 321530891 298610688 72077 33554432000 134512640 135395479 4292054160 4292052512 134581415 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 72903 72077 123 216 0 72685 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 291612

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 14944
/proc/meminfo: memFree=28084468/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1061.97 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82799 0 0 0 106175 22 0 0 20 0 1 0 321530891 340627456 82351 33554432000 134512640 135395479 4292054160 4292052032 134574489 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82351 123 216 0 82943 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 332644

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 14945
/proc/meminfo: memFree=28083852/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1121.96 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82808 0 0 0 112174 22 0 0 20 0 1 0 321530891 340627456 82360 33554432000 134512640 135395479 4292054160 4292052624 134587961 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82360 123 216 0 82943 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 332644

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14945
/proc/meminfo: memFree=28084224/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1181.95 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82808 0 0 0 118173 22 0 0 20 0 1 0 321530891 340627456 82360 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82360 123 216 0 82943 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 332644

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14945
/proc/meminfo: memFree=28083852/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1241.94 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82808 0 0 0 124172 22 0 0 20 0 1 0 321530891 340627456 82360 33554432000 134512640 135395479 4292054160 4292052512 134581488 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82360 123 216 0 82943 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 332644

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14945
/proc/meminfo: memFree=28083852/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1301.93 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82808 0 0 0 130171 22 0 0 20 0 1 0 321530891 340627456 82360 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82360 123 216 0 82943 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 332644

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14945
/proc/meminfo: memFree=28083728/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=332644 CPUtime=1361.92 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 82808 0 0 0 136170 22 0 0 20 0 1 0 321530891 340627456 82360 33554432000 134512640 135395479 4292054160 4292052032 134573890 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83161 82360 123 216 0 82943 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 332644

[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 14946
/proc/meminfo: memFree=28081372/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=334892 CPUtime=1421.92 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 83362 0 0 0 142170 22 0 0 20 0 1 0 321530891 342929408 82914 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 83723 82914 123 216 0 83505 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 334892

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 14946
/proc/meminfo: memFree=28055828/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=360900 CPUtime=1481.91 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 89827 0 0 0 148163 28 0 0 20 0 1 0 321530891 369561600 89379 33554432000 134512640 135395479 4292054160 4292051880 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 90225 89379 123 216 0 90007 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 360900

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14946
/proc/meminfo: memFree=28036448/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1541.9 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94488 0 0 0 154159 31 0 0 20 0 1 0 321530891 388931584 94034 33554432000 134512640 135395479 4292054160 4292052416 134568540 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94034 123 216 0 94736 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 379816

[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 15046
/proc/meminfo: memFree=27859308/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1601.88 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94488 0 0 0 160157 31 0 0 20 0 1 0 321530891 388931584 94034 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94034 123 216 0 94736 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 379816

[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 15046
/proc/meminfo: memFree=27858820/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1661.87 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94488 0 0 0 166156 31 0 0 20 0 1 0 321530891 388931584 94034 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94034 123 216 0 94736 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 379816

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 15047
/proc/meminfo: memFree=27858324/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1721.86 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94488 0 0 0 172155 31 0 0 20 0 1 0 321530891 388931584 94034 33554432000 134512640 135395479 4292054160 4292052512 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94034 123 216 0 94736 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 379816

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 15047
/proc/meminfo: memFree=27857208/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1781.85 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94572 0 0 0 178154 31 0 0 20 0 1 0 321530891 388931584 94035 33554432000 134512640 135395479 4292054160 4292052032 134574254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94035 123 216 0 94736 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 379816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 15047
/proc/meminfo: memFree=27856576/32873844 swapFree=7128/7128
[pid=14911] ppid=14909 vsize=379816 CPUtime=1800.06 cores=0,2,4,6
/proc/14911/stat : 14911 (minisat+) R 14909 14911 14543 0 -1 4202496 94572 0 0 0 179975 31 0 0 20 0 1 0 321530891 388931584 94035 33554432000 134512640 135395479 4292054160 4292052512 134581488 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/14911/statm: 94954 94035 123 216 0 94736 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 379816

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.75
CPU system time (s): 0.317951
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 379816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.317951
maximum resident set size= 376468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 1850

runsolver used 3.09253 second user time and 9.06162 second system time

The end

Begin job on node105 at 2012-06-01 14:43:59
IDJOB=3721326
IDBENCH=2297
IDSOLVER=2306
FILE ID=node105/3721326-1338554639
RUNJOBID= node105-1338552578-14559
PBS_JOBID= 14635879
Free space on /tmp= 71300 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721326-1338554639/watcher-3721326-1338554639 -o /tmp/evaluation-result-3721326-1338554639/solver-3721326-1338554639 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721326-1338554639.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=2115901748

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28431728 kB
Buffers:          492240 kB
Cached:          3059312 kB
SwapCached:         1700 kB
Active:           816116 kB
Inactive:        2764392 kB
Active(anon):      25276 kB
Inactive(anon):     4808 kB
Active(file):     790840 kB
Inactive(file):  2759584 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:              2724 kB
Writeback:            16 kB
AnonPages:         33064 kB
Mapped:             9288 kB
Shmem:                 0 kB
Slab:             721556 kB
SReclaimable:     163356 kB
SUnreclaim:       558200 kB
KernelStack:        1440 kB
PageTables:         3956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721326-1338554639.opb

Free space on /tmp at the end= 71296 MiB
End job on node105 at 2012-06-01 15:14:01