0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3744277-1338805119.opb
0.00/0.00	c File size is 578019 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 3.21107e+09
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.045 s
0.00/0.05	c Var: 6810 Constr: 15629 12529/25/3075 Lit: 47625 Watch. Lit: 40883
0.00/0.05	c Obj. Vars: 3795 (55.7269 % of total variables)
0.89/0.95	c Pre-processing Time: 0.951 s
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   5910    14678    45575    3    38925   46524      0      0 0.95
0.89/0.97	c      102   5910    14780    51148    3    39172   51177    102    105 0.96
0.89/0.97	o 18990952	0.967
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c      105   5910    14784    54535    3    42338   52854    106    108 0.97
0.99/1.03	c      207   5910    14886    65620    4    42542   58140    208    206 1.00
0.99/1.03	o 18323737	1.028
1.98/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.03	c      259   5910    14939    71182    4    45808   52854    261    251 1.03
1.98/2.03	c      360   5910    15040    82053    5    46014   58140    362    332 1.08
1.98/2.03	c      612   5910    15292    95359    6    46515   63955    614    508 1.20
1.98/2.03	c     1087   5895    15767   112313    7    47457   70351   1089    702 1.55
1.98/2.03	c     1901   5805    16581   182520   11    49080   77387   1903    937 2.03
1.98/2.03	o 18043214	2.033
1.98/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.04	c     1903   5805    16584   185718   11    52165   52700   1906    935 2.03
1.98/2.04	o 17620604	2.041
1.98/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.06	c     1905   5805    16587   188952   11    55261   52700   1909    932 2.04
1.98/2.06	o 17617867	2.062
2.09/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.11	c     1920   5805    16603   192941   11    58369   52700   1925    930 2.06
2.09/2.11	o 14123193	2.109
2.09/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.12	c     1952   5805    16636   197144   11    61532   52700   1958    924 2.11
2.09/2.12	o 14095936	2.121
2.38/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.44	c     1955   5805    16640   200370   12    64623   52700   1962    920 2.12
2.38/2.44	c     2055   5805    16740   207450   12    64821   57971   2062    912 2.25
2.38/2.44	o 9101166	2.438
4.09/4.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.15	c     2204   5805    16890   214595   12    68204   52700   2212    903 2.44
4.09/4.15	c     2305   5804    16991   220008   12    68409   57971   2313    902 2.56
4.09/4.15	c     2557   5804    17243   261964   15    68915   63769   2565    890 2.87
4.09/4.15	c     3034   5804    17720   316147   17    69869   70146   3042    896 3.38
4.09/4.15	c     3847   5804    18533   389661   21    71490   77161   3855    935 4.11
4.09/4.15	o 4132027	4.144
4.59/4.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.61	c     3862   5804    18549   393816   21    74615   52698   3871    931 4.15
4.59/4.61	c     3962   5804    18649   398621   21    74804   57968   3971    933 4.24
4.59/4.61	o 4031328	4.609
5.09/5.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.14	c     4194   5804    18882   434299   23    78365   52698   4204    909 4.61
5.09/5.14	c     4295   5803    18983   440925   23    78563   57968   4305    900 4.77
5.09/5.14	c     4545   3890    19233   452615   23    79053   63765   4555    891 5.10
5.09/5.14	o 3103179	5.135
5.69/5.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.73	c     4561   3890    19250   454859   23    81179   50710   4572    888 5.14
5.69/5.73	c     4664   3890    19353   462066   23    81385   55782   4675    887 5.26
5.69/5.73	c     4917   3890    19606   477889   24    81891   61361   4928    874 5.62
5.69/5.73	o 3096868	5.724
24.48/24.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.48/24.53	c     4983   3890    19673   482745   24    84117   50710   4995    870 5.73
24.48/24.53	c     5083   3890    19773   487430   24    84314   55782   5095    863 5.88
24.48/24.53	c     5334   3890    20024   499736   24    84818   61361   5346    853 6.25
24.48/24.53	c     5809   3890    20499   524276   25    85769   67498   5821    838 6.93
24.48/24.53	c     6622   3890    21312   572754   26    87394   74248   6634    819 8.08
24.48/24.53	c     7943   3890    22633   660475   29    90037   81673   7955    794 9.99
24.48/24.53	c    10025   3890    24715   983808   39    94201   89841  10037    759 13.21
24.48/24.53	c    13248   3890    27938  1262552   45   100646   98826  13260    729 18.16
24.48/24.53	o 3085584	24.52
24.88/24.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.88/24.95	c    16732   3890    31423  1632386   51   109708   50710  16745    682 24.52
24.88/24.95	c    16833   3890    31524  1637953   51   109911   55782  16846    681 24.70
24.88/24.95	o 3068320	24.934
31.47/31.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.47/31.53	c    16973   3890    31665  1648485   52   112283   50710  16987    680 24.94
31.47/31.53	c    17073   3890    31765  1667210   52   112485   55782  17087    676 25.22
31.47/31.53	c    17323   3890    32015  1691513   52   112982   61361  17337    670 25.85
31.47/31.53	c    17798   3890    32490  1729963   53   113933   67498  17812    658 27.02
31.47/31.53	c    18613   3890    33305  1778764   53   115562   74248  18627    652 28.55
31.47/31.53	c    19933   3890    34625  1960352   56   118201   81673  19947    633 31.48
31.47/31.53	o 3039409	31.512
35.67/35.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.67/35.71	c    19940   3890    34633  1962679   56   120311   50710  19955    632 31.51
35.67/35.71	c    20041   3890    34734  1970245   56   120512   55782  20056    630 31.76
35.67/35.71	c    20291   3890    34984  2011810   57   121010   61361  20306    625 32.42
35.67/35.71	c    20767   3890    35460  2050515   57   121964   67498  20782    623 33.30
35.67/35.71	c    21580   3890    36273  2108725   58   123590   74248  21595    606 35.56
35.67/35.71	o 2491198	35.694
36.27/36.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.27/36.33	c    21668   3890    36362  2116917   58   125859   50710  21684    607 35.70
36.27/36.33	c    21768   3890    36462  2124697   58   126057   55782  21784    605 35.97
36.27/36.33	o 2438922	36.313
40.06/40.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.06/40.11	c    21912   3886    36607  2133934   58   128431   50704  21929    603 36.31
40.06/40.11	c    22013   3886    36708  2141380   58   128637   55775  22030    602 36.52
40.06/40.11	c    22265   3886    36960  2158872   58   129138   61353  22282    600 37.08
40.06/40.11	c    22741   2304    37436  2186215   58   130089   67489  22758    597 38.06
40.06/40.11	c    23556   2304    38251  2238029   58   131722   74238  23573    593 39.70
40.06/40.11	o 2427644	40.091
40.76/40.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.76/40.80	c    23748   2304    38444  2247405   58   133362   49050  23766    592 40.09
40.76/40.80	c    23848   2304    38544  2249750   58   133567   53956  23866    592 40.27
40.76/40.80	c    24100   2304    38796  2260383   58   134072   59352  24118    591 40.76
40.76/40.80	o 2355281	40.779
40.76/40.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.76/40.83	c    24104   2304    38801  2261698   58   135337   49050  24123    591 40.78
40.76/40.83	o 2346142	40.807
41.56/41.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.56/41.67	c    24109   2304    38807  2263200   58   136610   49050  24129    590 40.81
41.56/41.67	c    24209   2304    38907  2267788   58   136814   53956  24229    589 41.05
41.56/41.67	o 2329318	41.649
43.26/43.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.26/43.39	c    24439   2304    39138  2277667   58   138533   49050  24460    586 41.65
43.26/43.39	c    24539   2304    39238  2283675   58   138735   53956  24560    586 41.85
43.26/43.39	c    24790   2304    39489  2295547   58   139240   59352  24811    584 42.39
43.26/43.39	o 2318136	43.372
44.06/44.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.06/44.16	c    25229   2303    39929  2315277   57   141371   49048  25251    581 43.37
44.06/44.16	c    25329   2303    40029  2320767   57   141576   53953  25351    581 43.56
44.06/44.16	c    25579   2303    40279  2334338   57   142074   59349  25601    580 44.07
44.06/44.16	o 2298744	44.138
44.76/44.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.76/44.88	c    25597   2303    40298  2336188   57   143369   49048  25620    579 44.14
44.76/44.88	c    25698   2303    40399  2343684   58   143576   53953  25721    579 44.36
44.76/44.88	o 2274209	44.856
46.26/46.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.26/46.37	c    25899   2302    40601  2361885   58   145222   49046  25923    577 44.86
46.26/46.37	c    26001   2302    40703  2367144   58   145435   53951  26025    576 45.07
46.26/46.37	c    26251   2302    40953  2380415   58   145934   59347  26275    573 45.76
46.26/46.37	o 2260558	46.346
47.36/47.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.36/47.46	c    26521   2302    41224  2397246   58   147726   49046  26546    572 46.35
47.36/47.46	c    26622   2302    41325  2401553   58   147937   53951  26647    571 46.58
47.36/47.46	c    26873   2302    41576  2416650   58   148431   59347  26898    569 47.20
47.36/47.46	o 2257348	47.436
59.66/59.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.66/59.79	c    26963   2301    41667  2422044   58   149869   49044  26989    568 47.44
59.66/59.79	c    27063   2301    41767  2426002   58   150070   53949  27089    568 47.64
59.66/59.79	c    27313   2301    42017  2437664   58   150570   59344  27339    567 48.16
59.66/59.79	c    27790   2301    42494  2466366   58   151524   65279  27816    564 49.23
59.66/59.79	c    28603   2301    43307  2514310   58   153150   71807  28629    556 51.41
59.66/59.79	c    29923   2301    44627  2556960   57   155790   78988  29949    548 54.55
59.66/59.79	o 2249547	59.767
64.36/64.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.36/64.44	c    31843   2301    46548  2688327   57   160889   49044  31870    532 59.77
64.36/64.44	c    31945   2301    46650  2691269   57   161094   53949  31972    532 60.02
64.36/64.44	c    32195   2301    46900  2700885   57   161594   59344  32222    530 60.74
64.36/64.44	c    32670   2301    47375  2720795   57   162544   65279  32697    528 61.83
64.36/64.44	c    33483   2301    48188  2748054   57   164170   71807  33510    520 64.36
64.36/64.44	o 2227847	64.415
77.66/77.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.66/77.70	c    33499   2301    48205  2750136   57   165461   49044  33527    520 64.42
77.66/77.70	c    33599   2301    48305  2754310   57   165662   53949  33627    519 64.72
77.66/77.70	c    33849   2301    48555  2763352   56   166162   59344  33877    518 65.29
77.66/77.70	c    34324   2301    49030  2777260   56   167112   65279  34352    512 66.99
77.66/77.70	c    35138   2301    49844  2819947   56   168740   71807  35166    508 69.16
77.66/77.70	c    36458   2301    51164  2925241   57   171380   78988  36486    500 72.89
77.66/77.70	o 2223360	77.666
80.46/80.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
80.46/80.59	c    38332   2301    53039  3031061   57   176387   49044  38361    493 77.67
80.46/80.59	c    38432   2301    53139  3034528   57   176588   53949  38461    492 77.98
80.46/80.59	c    38684   2301    53391  3050807   57   177092   59344  38713    490 78.81
80.46/80.59	c    39159   2301    53866  3071556   57   178042   65279  39188    488 80.23
80.46/80.59	o 2220460	80.556
103.75/103.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.75/103.88	c    39251   2301    53959  3076114   57   179485   49044  39281    487 80.56
103.75/103.88	c    39351   2301    54059  3080543   56   179686   53949  39381    486 80.87
103.75/103.88	c    39601   2301    54309  3092008   56   180186   59344  39631    484 81.66
103.75/103.88	c    40076   2301    54784  3110013   56   181136   65279  40106    481 83.31
103.75/103.88	c    40891   2301    55599  3148951   56   182766   71807  40921    476 85.76
103.75/103.88	c    42213   2301    56921  3279967   57   185410   78988  42243    470 89.78
103.75/103.88	c    44294   2301    59002  3387405   57   189572   86887  44324    462 95.86
103.75/103.88	o 2213824	103.838
158.34/158.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
158.34/158.46	c    46872   2301    61581  3514242   57   195988   49044  46903    451 103.84
158.34/158.46	c    46972   2301    61681  3519873   57   196188   53949  47003    450 104.18
158.34/158.46	c    47225   2301    61934  3532515   57   196694   59344  47256    449 105.03
158.34/158.46	c    47702   2301    62411  3566440   57   197648   65279  47733    447 106.48
158.34/158.46	c    48516   2301    63225  3630988   57   199276   71807  48547    442 109.56
158.34/158.46	c    49838   2301    64547  3737158   57   201920   78988  49869    435 114.33
158.34/158.46	c    51919   2301    66628  3868382   58   206082   86887  51950    423 122.53
158.34/158.46	c    55145   2301    69854  4101949   58   212534   95576  55176    412 133.77
158.34/158.46	c    60081   2301    74790  4600755   61   222406  105134  60112    388 154.61
158.34/158.46	o 2212878	158.407
161.44/161.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.44/161.50	c    60971   2301    75681  4643794   61   225446   49044  61003    384 158.41
161.44/161.50	c    61071   2301    27423  1038413   37    76106   53949  12745    380 160.52
161.44/161.50	c    61321   2301    27673  1058150   38    76606   59344  12995    381 160.80
161.44/161.50	c    61796   2301    28148  1086413   38    77556   65279  13470    382 161.40
161.44/161.50	o 2198467	161.454
174.64/174.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
174.64/174.72	c    61842   2301    28195  1089138   38    78908   49044  13517    383 161.46
174.64/174.72	c    61944   2301    28297  1092289   38    79112   53949  13619    383 161.60
174.64/174.72	c    62194   2301    28547  1108808   38    79612   59344  13869    384 161.89
174.64/174.72	c    62669   2301    29022  1143495   39    80562   65279  14344    385 162.42
174.64/174.72	c    63483   2301    29836  1188706   39    82190   71807  15158    388 163.33
174.64/174.72	c    64804   2301    31157  1281755   41    84832   78988  16479    393 164.79
174.64/174.72	c    66887   2301    33240  1431968   43    88998   86887  18562    400 166.88
174.64/174.72	c    70110   2301    36463  1634221   44    95444   95576  21785    408 171.43
174.64/174.72	o 2194318	174.674
179.43/179.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.43/179.57	c    72668   2301    39022  1853448   47   101820   49044  24344    416 174.68
179.43/179.57	c    72769   2301    39123  1857363   47   102022   53949  24445    416 174.87
179.43/179.57	c    73022   2301    39376  1873168   47   102528   59344  24698    416 175.34
179.43/179.57	c    73497   2301    39851  1932751   48   103478   65279  25173    417 176.12
179.43/179.57	c    74310   2301    40664  1982411   48   105104   71807  25986    419 177.18
179.43/179.57	c    75631   2301    41985  2067408   49   107746   78988  27307    422 179.08
179.43/179.57	o 2184649	179.509
181.93/182.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.93/182.01	c    75923   2301    42278  2088965   49   109590   49044  27600    422 179.51
181.93/182.01	c    76023   2301    42378  2093679   49   109790   53949  27700    423 179.66
181.93/182.01	c    76274   2301    42629  2106785   49   110292   59344  27951    423 180.20
181.93/182.01	c    76751   2301    43106  2149843   49   111246   65279  28428    423 181.13
181.93/182.01	o 2179747	181.956
184.83/184.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.83/184.91	c    77213   2301    43569  2194020   50   113430   49044  28891    424 181.96
184.83/184.91	c    77314   2301    43670  2196918   50   113632   53949  28992    424 182.16
184.83/184.91	c    77570   2301    43926  2210867   50   114144   59344  29248    424 182.68
184.83/184.91	c    78045   2301    44401  2242909   50   115094   65279  29723    424 183.75
184.83/184.91	o 2167419	184.848
195.32/195.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.32/195.44	c    78652   2301    45009  2274672   50   117568   49044  30331    425 184.85
195.32/195.44	c    78752   2301    45109  2280992   50   117768   53949  30431    425 185.09
195.32/195.44	c    79003   2301    45360  2296428   50   118270   59344  30682    425 185.77
195.32/195.44	c    79478   2301    45835  2325067   50   119220   65279  31157    425 186.58
195.32/195.44	c    80291   2301    46648  2370813   50   120846   71807  31970    426 188.24
195.32/195.44	c    81611   2301    47968  2446689   51   123486   78988  33290    426 191.31
195.32/195.44	o 2165845	195.379
209.12/209.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
209.12/209.20	c    83631   2301    49989  2652932   53   128786   49044  35311    428 195.38
209.12/209.20	c    83733   2301    50091  2662297   53   128990   53949  35413    427 195.67
209.12/209.20	c    83984   2301    50342  2697291   53   129492   59344  35664    427 196.31
209.12/209.20	c    84460   2301    50818  2744126   53   130444   65279  36140    427 197.47
209.12/209.20	c    85273   2301    51631  2784782   53   132070   71807  36953    427 199.36
209.12/209.20	c    86594   2301    52952  2882234   54   134712   78988  38274    427 202.79
209.12/209.20	c    88676   2301    55034  3107827   56   138876   86887  40356    427 207.67
209.12/209.20	o 2164452	209.138
227.72/227.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.72/227.83	c    89338   2301    55697  3157304   56   141460   49044  41019    427 209.14
227.72/227.83	c    89443   2301    55802  3163892   56   141670   53949  41124    426 209.58
227.72/227.83	c    89695   2301    56054  3184874   56   142174   59344  41376    426 210.26
227.72/227.83	c    90170   2301    56529  3224455   57   143124   65279  41851    426 211.55
227.72/227.83	c    90984   2301    57343  3285993   57   144752   71807  42665    426 213.48
227.72/227.83	c    92304   2301    58663  3384751   57   147392   78988  43985    425 217.10
227.72/227.83	c    94389   2301    60748  3507972   57   151562   86887  46070    424 222.22
227.72/227.83	o 2157063	227.763
263.61/263.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
263.61/263.70	c    96229   2301    62589  3686497   58   156502   49044  47911    422 227.76
263.61/263.70	c    96333   2301    62693  3691123   58   156710   53949  48015    422 228.09
263.61/263.70	c    96583   2301    62943  3717882   59   157210   59344  48265    421 229.08
263.61/263.70	c    97058   2301    63418  3747994   59   158160   65279  48740    421 230.53
263.61/263.70	c    97873   2301    64233  3889736   60   159790   71807  49555    419 233.56
263.61/263.70	c    99197   2301    65557  4052232   61   162438   78988  50879    416 238.09
263.61/263.70	c   101279   2301    67639  4298418   63   166602   86887  52961    411 245.96
263.61/263.70	c   104504   2301    70864  4591048   64   173052   95576  56186    407 256.57
263.61/263.70	o 2141512	263.621
268.22/268.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
268.22/268.31	c   106341   2301    72702  4755497   65   177986   49044  58024    403 263.62
268.22/268.31	c   106441   2301    28014  1326910   47    77288   53949  13336    400 266.05
268.22/268.31	c   106691   2301    28264  1341108   47    77788   59344  13586    400 266.33
268.22/268.31	c   107167   2301    28740  1368406   47    78740   65279  14062    401 266.85
268.22/268.31	c   107980   2301    29553  1431963   48    80366   71807  14875    403 267.85
268.22/268.31	o 2139262	268.232
271.91/272.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
271.91/272.07	c   108331   2301    29905  1451470   48    82328   49044  15227    403 268.23
271.91/272.07	c   108433   2301    30007  1463123   48    82532   53949  15329    403 268.40
271.91/272.07	c   108683   2301    30257  1476624   48    83032   59344  15579    404 268.69
271.91/272.07	c   109158   2301    30732  1512748   49    83982   65279  16054    405 269.45
271.91/272.07	c   109974   2301    31548  1565104   49    85614   71807  16870    406 270.33
271.91/272.07	o 2138941	271.99
272.81/272.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.81/272.90	c   111111   2301    32686  1686540   51    89148   49044  18008    408 271.99
272.81/272.90	c   111212   2301    32787  1691839   51    89350   53949  18109    408 272.14
272.81/272.90	c   111462   2301    33037  1718838   52    89850   59344  18359    408 272.54
272.81/272.90	o 2133888	272.821
278.81/278.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
278.81/278.91	c   111703   2301    33279  1730713   52    91592   49044  18601    409 272.82
278.81/278.91	c   111804   2301    33380  1740964   52    91794   53949  18702    409 273.00
278.81/278.91	c   112054   2301    33630  1752695   52    92294   59344  18952    409 273.35
278.81/278.91	c   112529   2301    34105  1806777   52    93244   65279  19427    410 274.23
278.81/278.91	c   113342   2301    34918  1892974   54    94870   71807  20240    411 275.33
278.81/278.91	c   114662   2301    36238  2063332   56    97510   78988  21560    412 277.71
278.81/278.91	o 2129220	278.834
373.70/373.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
373.70/373.82	c   115371   2301    36948  2107460   57   100188   49044  22270    413 278.83
373.70/373.82	c   115471   2301    37048  2126510   57   100388   53949  22370    413 279.03
373.70/373.82	c   115721   2301    37298  2135872   57   100888   59344  22620    414 279.47
373.70/373.82	c   116197   2301    37774  2161178   57   101840   65279  23096    414 280.45
373.70/373.82	c   117010   2301    38587  2277994   59   103466   71807  23909    415 281.80
373.70/373.82	c   118331   2301    39908  2452984   61   106108   78988  25230    415 284.68
373.70/373.82	c   120415   2301    41992  2662226   63   110276   86887  27314    417 288.50
373.70/373.82	c   123638   2301    45215  3113602   68   116722   95576  30537    418 295.57
373.70/373.82	c   128575   2301    50152  3635383   72   126596  105134  35474    420 305.79
373.70/373.82	c   136081   2301    57658  4619254   80   141608  115648  42980    416 326.90
373.70/373.82	c   147443   2301    69020  6201143   89   164332  127213  54342    400 367.72
373.70/373.82	o 2114079	373.726
389.79/389.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.79/389.98	c   148935   2301    70513  6509954   92   168576   49044  55835    398 373.73
389.79/389.98	c   149035   2301    28152  1847785   65    77564   53949  13474    396 376.34
389.79/389.98	c   149286   2301    28403  1860063   65    78066   59344  13725    396 376.57
389.79/389.98	c   149763   2301    28880  1937020   67    79020   65279  14202    396 377.33
389.79/389.98	c   150577   2301    29694  2081849   70    80648   71807  15016    398 378.10
389.79/389.98	c   151898   2301    31015  2287228   73    83290   78988  16337    399 380.08
389.79/389.98	c   153981   2301    33098  2569461   77    87456   86887  18420    402 382.19
389.79/389.98	c   157205   2301    36322  2832453   77    93904   95576  21644    406 386.86
389.79/389.98	o 2102962	389.889
416.48/416.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
416.48/416.67	c   159795   2301    38913  3091945   79   100344   49044  24235    409 389.89
416.48/416.67	c   159895   2301    39013  3101676   79   100544   53949  24335    409 390.08
416.48/416.67	c   160145   2301    39263  3136247   79   101044   59344  24585    410 390.48
416.48/416.67	c   160621   2301    39739  3200374   80   101996   65279  25061    410 391.63
416.48/416.67	c   161434   2301    40552  3306921   81   103622   71807  25874    410 393.00
416.48/416.67	c   162754   2301    41872  3578948   85   106262   78988  27194    411 395.91
416.48/416.67	c   164835   2301    43953  4028702   91   110424   86887  29275    412 399.58
416.48/416.67	c   168058   2301    47176  4613288   97   116870   95576  32498    412 407.78
416.48/416.67	o 2095680	416.563
531.76/531.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
531.76/531.99	c   171910   2301    51029  5152824  100   125834   49044  36351    412 416.56
531.76/531.99	c   172010   2301    51129  5165049  101   126034   53949  36451    412 416.94
531.76/531.99	c   172260   2301    51379  5224209  101   126534   59344  36701    412 417.88
531.76/531.99	c   172735   2301    51854  5323928  102   127484   65279  37176    411 419.49
531.76/531.99	c   173551   2301    52670  5471322  103   129116   71807  37992    411 421.91
531.76/531.99	c   174873   2301    53992  5771018  106   131760   78988  39314    409 426.79
531.76/531.99	c   176954   2301    56073  6267697  111   135922   86887  41395    408 433.48
531.76/531.99	c   180177   2301    59296  6846407  115   142368   95576  44618    404 444.95
531.76/531.99	c   185113   2301    64232  7997859  124   152240  105134  49554    399 463.40
531.76/531.99	c   192619   2301    71738  9685581  135   167252  115648  57060    388 495.88
531.76/531.99	o 2091772	531.861
575.55/575.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
575.55/575.73	c   200596   2301    79716 11052715  138   184466   49044  65038    377 531.86
575.55/575.73	c   200696   2301    29137  2479399   85    79534   53949  14459    373 537.00
575.55/575.73	c   200947   2301    29388  2526541   85    80036   59344  14710    373 537.44
575.55/575.73	c   201424   2301    29865  2658952   89    80990   65279  15187    374 538.13
575.55/575.73	c   202238   2301    30679  2890598   94    82618   71807  16001    374 539.46
575.55/575.73	c   203558   2301    31999  3095100   96    85258   78988  17321    376 541.30
575.55/575.73	c   205641   2301    34082  3475259  101    89424   86887  19404    376 545.63
575.55/575.73	c   208864   2301    37305  4165570  111    95870   95576  22627    378 551.11
575.55/575.73	c   213801   2301    42242  5170886  122   105744  105134  27564    379 564.05
575.55/575.73	o 2090401	575.596
602.35/602.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
602.35/602.50	c   219420   2301    47862  6142604  128   118242   49044  33184    381 575.60
602.35/602.50	c   219520   2301    47962  6154181  128   118442   53949  33284    381 575.89
602.35/602.50	c   219771   2301    48213  6224988  129   118944   59344  33535    381 576.69
602.35/602.50	c   220248   2301    48690  6363089  130   119898   65279  34012    381 578.05
602.35/602.50	c   221062   2301    49504  6530479  131   121526   71807  34826    380 580.59
602.35/602.50	c   222383   2301    50825  6812747  134   124168   78988  36147    379 585.31
602.35/602.50	c   224465   2301    52907  7463279  141   128332   86887  38229    378 592.57
602.35/602.50	o 2083382	602.359
645.04/645.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
645.04/645.28	c   227098   2301    55541  8160478  146   134858   49044  40863    377 602.36
645.04/645.28	c   227203   2301    55646  8201383  147   135068   53949  40968    376 602.91
645.04/645.28	c   227455   2301    55898  8295247  148   135572   59344  41220    376 604.12
645.04/645.28	c   227931   2301    56374  8437872  149   136524   65279  41696    375 606.37
645.04/645.28	c   228745   2301    57188  8676323  151   138152   71807  42510    374 610.16
645.04/645.28	c   230065   2301    58508  9005532  153   140792   78988  43830    373 615.81
645.04/645.28	c   232147   2301    60590  9760963  161   144956   86887  45912    371 625.45
645.04/645.28	c   235370   2301    63813 10613018  166   151402   95576  49135    367 640.41
645.04/645.28	o 2077154	645.138
811.72/811.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
811.72/811.92	c   236481   2301    64925 10921972  168   154884   49044  50247    366 645.14
811.72/811.92	c   236582   2301    65026 10937524  168   155086   53949  50348    366 645.74
811.72/811.92	c   236834   2301    65278 11003887  168   155590   59344  50600    365 647.45
811.72/811.92	c   237309   2301    65753 11145721  169   156540   65279  51075    364 650.56
811.72/811.92	c   238122   2301    66566 11359847  170   158166   71807  51888    363 654.98
811.72/811.92	c   239443   2301    67887 11768726  173   160808   78988  53209    361 661.48
811.72/811.92	c   241524   2301    69968 12465443  178   164970   86887  55290    358 673.64
811.72/811.92	c   244747   2301    73191 13436900  183   171416   95576  58513    353 692.32
811.72/811.92	c   249684   2301    78128 14782404  189   181290  105134  63450    344 723.81
811.72/811.92	c   257190   2301    85634 16500772  192   196302  115648  70956    333 772.01
811.72/811.92	o 2074011	811.747
894.20/894.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
894.20/894.43	c   263012   2301    91457 18034594  197   209206   49044  76779    324 811.75
894.20/894.43	c   263112   2301    29741  3225451  108    80742   53949  15063    321 819.46
894.20/894.43	c   263363   2301    29992  3306265  110    81244   59344  15314    321 820.04
894.20/894.43	c   263840   2301    30469  3453368  113    82198   65279  15791    321 820.82
894.20/894.43	c   264653   2301    31282  3699780  118    83824   71807  16604    321 822.49
894.20/894.43	c   265973   2301    32602  4043613  124    86464   78988  17924    322 825.02
894.20/894.43	c   268054   2301    34683  4610218  132    90626   86887  20005    323 829.42
894.20/894.43	c   271277   2301    37906  5373038  141    97072   95576  23228    324 837.04
894.20/894.43	c   276213   2301    42842  6621581  154   106944  105134  28164    324 851.88
894.20/894.43	c   283722   2301    50351  8703774  172   121962  115648  35673    324 874.03
894.20/894.43	o 2070358	894.254
1072.98/1073.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1072.98/1073.27	c   288670   2301    55300 10192210  184   133118   49044  40622    322 894.26
1072.98/1073.27	c   288770   2301    55400 10221959  184   133318   53949  40722    322 894.72
1072.98/1073.27	c   289020   2301    55650 10299531  185   133818   59344  40972    322 895.84
1072.98/1073.27	c   289497   2301    56127 10431805  185   134772   65279  41449    322 897.95
1072.98/1073.27	c   290312   2301    56942 10715613  188   136402   71807  42264    321 901.73
1072.98/1073.27	c   291635   2301    58265 11164593  191   139048   78988  43587    321 907.83
1072.98/1073.27	c   293716   2301    60346 11627189  192   143210   86887  45668    319 919.41
1072.98/1073.27	c   296939   2301    63569 12549457  197   149656   95576  48891    317 935.66
1072.98/1073.27	c   301879   2301    68509 14128796  206   159536  105134  53831    313 964.27
1072.98/1073.27	c   309386   2301    76016 16152118  212   174550  115648  61338    308 1003.98
1072.98/1073.27	o 2061969	1073.06
1130.78/1131.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1130.78/1131.06	c   318547   2301    85178 18852010  221   194132   49044  70500    296 1073.06
1130.78/1131.06	c   318648   2301    30588  4069772  133    82436   53949  15910    295 1079.11
1130.78/1131.06	c   318900   2301    30840  4127921  133    82940   59344  16162    295 1080.01
1130.78/1131.06	c   319375   2301    31315  4261304  136    83890   65279  16637    295 1080.60
1130.78/1131.06	c   320191   2301    32131  4432936  137    85522   71807  17453    295 1082.75
1130.78/1131.06	c   321511   2301    33451  4650741  139    88162   78988  18773    296 1084.56
1130.78/1131.06	c   323593   2301    35533  5090055  143    92326   86887  20855    297 1089.49
1130.78/1131.06	c   326817   2301    38757  5911244  152    98774   95576  24079    298 1095.60
1130.78/1131.06	c   331757   2301    43697  6848141  156   108654  105134  29019    299 1109.29
1130.78/1131.06	c   339264   2301    51204  8727863  170   123668  115648  36526    301 1127.08
1130.78/1131.06	o 2060096	1130.84
1150.38/1150.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1150.38/1150.60	c   340273   2301    52214  8883287  170   126946   49044  37536    300 1130.84
1150.38/1150.60	c   340374   2301    52315  8906228  170   127148   53949  37637    300 1131.37
1150.38/1150.60	c   340625   2301    52566  8994821  171   127650   59344  37888    300 1132.42
1150.38/1150.60	c   341101   2301    53042  9062118  170   128602   65279  38364    300 1134.49
1150.38/1150.60	c   341914   2301    53855  9213342  171   130228   71807  39177    300 1138.59
1150.38/1150.60	c   343237   2301    55178  9482661  171   132874   78988  40500    300 1143.92
1150.38/1150.60	o 2057485	1150.38
1465.42/1465.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1465.42/1465.74	c   345006   2301    56948  9856438  173   137672   49044  42270    299 1150.38
1465.42/1465.74	c   345106   2301    57048  9881878  173   137872   53949  42370    299 1150.87
1465.42/1465.74	c   345356   2301    57298  9990846  174   138372   59344  42620    299 1152.25
1465.42/1465.74	c   345831   2301    57773 10110985  175   139322   65279  43095    299 1154.04
1465.42/1465.74	c   346646   2301    58588 10439385  178   140952   71807  43910    299 1158.31
1465.42/1465.74	c   347970   2301    59912 10878404  181   143600   78988  45234    299 1163.73
1465.42/1465.74	c   350051   2301    61993 11613451  187   147762   86887  47315    298 1174.12
1465.42/1465.74	c   353275   2301    65217 12483972  191   154210   95576  50539    297 1188.91
1465.42/1465.74	c   358213   2301    70155 13944716  198   164086  105134  55477    294 1215.03
1465.42/1465.74	c   365719   2301    77661 15404351  198   179098  115648  62983    292 1251.16
1465.42/1465.74	c   377081   2301    89023 17915817  201   201822  127213  74345    284 1323.27
1465.42/1465.74	c   394225   2301   106167 22806070  214   236110  139935  91489    270 1457.62
1465.42/1465.74	o 2047683	1465.47
1502.42/1502.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1502.42/1502.71	c   394945   2301   106888 22995254  215   238810   49044  92210    269 1465.47
1502.42/1502.71	c   395045   2301    32088  3870264  120    85436   53949  17410    267 1478.47
1502.42/1502.71	c   395295   2301    32338  3896256  120    85936   59344  17660    267 1478.72
1502.42/1502.71	c   395772   2301    32815  4038116  123    86890   65279  18137    267 1480.26
1502.42/1502.71	c   396585   2301    33628  4186145  124    88516   71807  18950    267 1481.03
1502.42/1502.71	c   397905   2301    34948  4618390  132    91156   78988  20270    267 1486.27
1502.42/1502.71	c   399986   2301    37029  5075818  137    95318   86887  22351    268 1488.44
1502.42/1502.71	c   403209   2301    40252  5957881  148   101764   95576  25574    268 1499.12
1502.42/1502.71	o 2040417	1502.43
1591.10/1591.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1591.10/1591.45	c   405513   2301    42557  6409217  150   107632   49044  27879    269 1502.43
1591.10/1591.45	c   405613   2301    42657  6444688  151   107832   53949  27979    269 1503.09
1591.10/1591.45	c   405865   2301    42909  6485146  151   108336   59344  28231    269 1503.57
1591.10/1591.45	c   406340   2301    43384  6640949  153   109286   65279  28706    269 1505.72
1591.10/1591.45	c   407153   2301    44197  6816543  154   110912   71807  29519    270 1507.23
1591.10/1591.45	c   408475   2301    45519  7224064  158   113556   78988  30841    269 1513.36
1591.10/1591.45	c   410558   2301    47602  7816000  164   117722   86887  32924    270 1517.55
1591.10/1591.45	c   413784   2301    50828  8853815  174   124174   95576  36150    270 1532.05
1591.10/1591.45	c   418721   2301    55765 10004243  179   134048  105134  41087    271 1543.85
1591.10/1591.45	c   426227   2301    63271 12472077  197   149060  115648  48593    268 1586.15
1591.10/1591.45	o 2039367	1591.16
1617.10/1617.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1617.10/1617.41	c   427607   2301    64652 12829571  198   153080   49044  49974    268 1591.16
1617.10/1617.41	c   427708   2301    64753 12873035  198   153282   53949  50075    268 1592.18
1617.10/1617.41	c   427958   2301    65003 12949664  199   153782   59344  50325    268 1593.29
1617.10/1617.41	c   428433   2301    65478 13126221  200   154732   65279  50800    268 1597.25
1617.10/1617.41	c   429249   2301    66294 13300757  200   156364   71807  51616    268 1600.87
1617.10/1617.41	c   430569   2301    67614 13765505  203   159004   78988  52936    267 1611.21
1617.10/1617.41	o 2031333	1617.12
1653.89/1654.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1653.89/1654.20	c   431989   2301    69035 14068230  203   163104   49044  54357    267 1617.12
1653.89/1654.20	c   432092   2301    30975  4122793  133    83210   53949  16297    266 1623.07
1653.89/1654.20	c   432342   2301    31225  4188762  134    83710   59344  16547    266 1623.54
1653.89/1654.20	c   432819   2301    31702  4304943  135    84664   65279  17024    266 1624.47
1653.89/1654.20	c   433633   2301    32516  4525506  139    86292   71807  17838    266 1625.73
1653.89/1654.20	c   434954   2301    33837  4860081  143    88934   78988  19159    266 1629.42
1653.89/1654.20	c   437035   2301    35918  5271202  146    93096   86887  21240    267 1632.14
1653.89/1654.20	c   440258    961    39141  5868825  149    99541   95576  24463    268 1640.45
1653.89/1654.20	c   445197    943    44080  6297536  142   109417  105134  29402    270 1648.78
1653.89/1654.20	o 2014265	1653.9
1663.09/1663.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1663.09/1663.44	c   447581    943    46465  6461021  139   114742   47638  31787    270 1653.90
1663.09/1663.44	c   447681    943    46565  6471318  138   114942   52402  31887    270 1654.14
1663.09/1663.44	c   447931    943    46815  6485286  138   115442   57643  32137    270 1654.82
1663.09/1663.44	c   448408    943    47292  6531368  138   116396   63408  32614    270 1656.03
1663.09/1663.44	c   449223    855    48107  6577368  136   118025   69749  33429    270 1658.10
1663.09/1663.44	c   450543    793    49427  6666909  134   120662   76724  34749    271 1661.38
1663.09/1663.44	v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 x6482 -x6483 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6533 -x6534 -x6535 -x6536 x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 x6568 -x6569 -x6570 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6372 -x6373 -x6374 x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 x6382 -x6383 -x6384 -x6385 -x6386 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -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 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -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 -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 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -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 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -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 -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 -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 -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 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -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 -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 -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 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -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 -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 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -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 -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 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -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 -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 -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 -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 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -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 -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 -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 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -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 -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 -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 -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 -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 -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 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -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 -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 -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 -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 -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 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -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 -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 -x6571 -x6572 -x6573 x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 x6583 -x6584 x6585 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 x6628 x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 x6644 x6645 -x6646 -x6647 -x6648 x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 x6657 x6658 x6660 -x6661 -x6662 -x6663 x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 x6674 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x6436 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x6452 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x6468 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x6484 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x6500 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x6516 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x6532 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x6548 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6564 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x6355 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x6371 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x6387 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x6403 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x6419 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x6435 -x3481 -x3497 -x3513 -x3529 -x3545 -x3561 -x3577 -x3593 -x3609 -x3400 -x3416 -x3432 -x3448 -x3464 -x3480 -x6676 -x6692 -x6708 -x6724 -x6740 -x6756 -x6772 -x6788 -x6804 -x6595 -x6611 -x6627 -x6643 -x6659 -x6675 -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 -x4708 -x4709 -x4710 -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 -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 -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 -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 -x5071 -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 -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 -x5251 -x5252 -x5253 -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 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -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 -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 -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 -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 -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 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x6241 -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 -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 -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 -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 -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 -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 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -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 -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 -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 -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 -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 -x4409 -x4410 -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 -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 -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 -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 -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 
1663.09/1663.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1663.09/1663.44	c  343   451239 186446  1119923    50123  6684990  35445    271 1663.14
1663.09/1663.44	c Objective: 2014265
1663.09/1663.44	s OPTIMUM FOUND
1663.09/1663.44	c Total time: 1663.14 s

OK	2014265

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-3744277-1338805119/watcher-3744277-1338805119 -o /tmp/evaluation-result-3744277-1338805119/solver-3744277-1338805119 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744277-1338805119.opb 

running on 4 cores: 1,3,5,7

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.98 1.93 3/176 13451
/proc/meminfo: memFree=30674440/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 346640462 4583424 159 33554432000 134512640 135840783 4294105200 4294104540 1541464 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 1119 159 137 325 0 39 0

[startup+0.0611249 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 13451
/proc/meminfo: memFree=30674440/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=8304 CPUtime=0.05 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 1520 0 0 0 5 0 0 0 20 0 1 0 346640462 8503296 1315 33554432000 134512640 135840783 4294105200 4294022572 4625456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 2076 1315 344 325 0 1012 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8304

[startup+0.100286 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 13451
/proc/meminfo: memFree=30674440/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=8304 CPUtime=0.09 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 1520 0 0 0 9 0 0 0 20 0 1 0 346640462 8503296 1315 33554432000 134512640 135840783 4294105200 4294022572 4625456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 2076 1315 344 325 0 1012 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8304

[startup+0.300224 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 13451
/proc/meminfo: memFree=30674440/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=8304 CPUtime=0.29 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 1521 0 0 0 29 0 0 0 20 0 1 0 346640462 8503296 1316 33554432000 134512640 135840783 4294105200 4294022572 4625456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8304

[startup+0.700228 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 13451
/proc/meminfo: memFree=30674440/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=8304 CPUtime=0.69 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 1521 0 0 0 69 0 0 0 20 0 1 0 346640462 8503296 1316 33554432000 134512640 135840783 4294105200 4294022352 2096793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8304

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.93 2/175 13453
/proc/meminfo: memFree=31162848/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=9284 CPUtime=1.48 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 1924 0 0 0 148 0 0 0 20 0 1 0 346640462 9506816 1593 33554432000 134512640 135840783 4294105200 4294104560 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 2321 1593 351 325 0 1257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9284

[startup+3.10019 s]
/proc/loadavg: 1.92 1.98 1.93 2/175 13453
/proc/meminfo: memFree=31160748/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=12172 CPUtime=3.08 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 2633 0 0 0 308 0 0 0 20 0 1 0 346640462 12464128 2302 33554432000 134512640 135840783 4294105200 4294104560 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 3043 2302 351 325 0 1979 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12172

[startup+6.30019 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31154252/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=15476 CPUtime=6.29 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 3464 0 0 0 628 1 0 0 20 0 1 0 346640462 15847424 3133 33554432000 134512640 135840783 4294105200 4294104560 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 3869 3133 351 325 0 2805 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15476

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31142492/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=21700 CPUtime=12.68 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 5014 0 0 0 1267 1 0 0 20 0 1 0 346640462 22220800 4686 33554432000 134512640 135840783 4294105200 4294104560 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 5425 4686 351 325 0 4361 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21700

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31123056/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=31816 CPUtime=25.48 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 7576 0 0 0 2546 2 0 0 20 0 1 0 346640462 32579584 7244 33554432000 134512640 135840783 4294105200 4294104560 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 7954 7244 351 325 0 6890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31816

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31083208/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=44192 CPUtime=51.07 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 10645 0 0 0 5104 3 0 0 20 0 1 0 346640462 45252608 10308 33554432000 134512640 135840783 4294105200 4294104464 3949097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 11048 10308 351 325 0 9984 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44192

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/178 13495
/proc/meminfo: memFree=31032888/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=58548 CPUtime=102.26 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 14249 0 0 0 10221 5 0 0 20 0 1 0 346640462 59953152 13902 33554432000 134512640 135840783 4294105200 4294104560 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 14637 13902 351 325 0 13573 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58548

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=31001668/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=75256 CPUtime=162.24 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 18496 0 0 0 16218 6 0 0 20 0 1 0 346640462 77062144 18089 33554432000 134512640 135840783 4294105200 4294104560 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 18814 18089 351 325 0 17750 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75256

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=30998300/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=75256 CPUtime=222.22 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 18506 0 0 0 22216 6 0 0 20 0 1 0 346640462 77062144 18089 33554432000 134512640 135840783 4294105200 4294104512 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 18814 18089 351 325 0 17750 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 75256

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=30997736/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=75692 CPUtime=282.21 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 18592 0 0 0 28215 6 0 0 20 0 1 0 346640462 77508608 18175 33554432000 134512640 135840783 4294105200 4294104560 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 18923 18175 351 325 0 17859 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 75692

[startup+342.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/177 13495
/proc/meminfo: memFree=30993580/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=80312 CPUtime=342.2 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 19766 0 0 0 34213 7 0 0 20 0 1 0 346640462 82239488 19354 33554432000 134512640 135840783 4294105200 4294104560 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 20078 19354 351 325 0 19014 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 80312

[startup+402.3 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 13534
/proc/meminfo: memFree=30981992/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=97596 CPUtime=402.19 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 24069 0 0 0 40210 9 0 0 20 0 1 0 346640462 99938304 23651 33554432000 134512640 135840783 4294105200 4294104560 134550738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 24399 23651 351 325 0 23335 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97596

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 13534
/proc/meminfo: memFree=30745336/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=114632 CPUtime=462.17 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 28341 0 0 0 46206 11 0 0 20 0 1 0 346640462 117383168 27919 33554432000 134512640 135840783 4294105200 4294104560 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 28658 27919 351 325 0 27594 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 114632

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13534
/proc/meminfo: memFree=30441688/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=149912 CPUtime=522.17 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 37170 0 0 0 52202 15 0 0 20 0 1 0 346640462 153509888 36748 33554432000 134512640 135840783 4294105200 4294104512 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 37478 36748 351 325 0 36414 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 149912

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 13534
/proc/meminfo: memFree=30257204/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=155996 CPUtime=582.15 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 38742 0 0 0 58200 15 0 0 20 0 1 0 346640462 159739904 38256 33554432000 134512640 135840783 4294105200 4294104560 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 38999 38256 351 325 0 37935 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 155996

[startup+642.3 s]

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

/proc/meminfo: memFree=29844120/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=222744 CPUtime=762.14 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 55443 0 0 0 76190 24 0 0 20 0 1 0 346640462 228089856 54957 33554432000 134512640 135840783 4294105200 4294104560 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 55686 54957 351 325 0 54622 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 222744

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13538
/proc/meminfo: memFree=29650460/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=246032 CPUtime=822.12 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 61330 0 0 0 82187 25 0 0 20 0 1 0 346640462 251936768 60769 33554432000 134512640 135840783 4294105200 4294104560 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 61508 60769 351 325 0 60444 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 246032

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13538
/proc/meminfo: memFree=29384632/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=246032 CPUtime=882.11 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 61330 0 0 0 88186 25 0 0 20 0 1 0 346640462 251936768 60769 33554432000 134512640 135840783 4294105200 4294104560 134551523 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 61508 60769 351 325 0 60444 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 246032

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 13538
/proc/meminfo: memFree=29240200/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=246032 CPUtime=942.1 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 61334 0 0 0 94185 25 0 0 20 0 1 0 346640462 251936768 60773 33554432000 134512640 135840783 4294105200 4294104560 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 61508 60773 351 325 0 60444 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 246032

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 13539
/proc/meminfo: memFree=29149832/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=246032 CPUtime=1002.09 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 61334 0 0 0 100184 25 0 0 20 0 1 0 346640462 251936768 60773 33554432000 134512640 135840783 4294105200 4294104560 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 61508 60773 351 325 0 60444 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 246032

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13539
/proc/meminfo: memFree=29076824/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=251972 CPUtime=1062.08 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 62828 0 0 0 106182 26 0 0 20 0 1 0 346640462 258019328 62267 33554432000 134512640 135840783 4294105200 4294104560 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 62993 62267 351 325 0 61929 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 251972

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13539
/proc/meminfo: memFree=28965872/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=255960 CPUtime=1122.08 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 63803 0 0 0 112181 27 0 0 20 0 1 0 346640462 262103040 63242 33554432000 134512640 135840783 4294105200 4294104560 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 63990 63242 351 325 0 62926 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 255960

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13539
/proc/meminfo: memFree=28887408/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=255960 CPUtime=1182.07 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 63803 0 0 0 118180 27 0 0 20 0 1 0 346640462 262103040 63242 33554432000 134512640 135840783 4294105200 4294104560 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 63990 63242 351 325 0 62926 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 255960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13539
/proc/meminfo: memFree=28811796/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=255960 CPUtime=1242.06 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 63809 0 0 0 124179 27 0 0 20 0 1 0 346640462 262103040 63248 33554432000 134512640 135840783 4294105200 4294104436 2088998 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 63990 63248 351 325 0 62926 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 255960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13543
/proc/meminfo: memFree=28709888/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=255960 CPUtime=1302.06 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 63809 0 0 0 130179 27 0 0 20 0 1 0 346640462 262103040 63248 33554432000 134512640 135840783 4294105200 4294104560 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 63990 63248 351 325 0 62926 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 255960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13543
/proc/meminfo: memFree=28585800/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=266940 CPUtime=1362.03 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 66559 0 0 0 136176 27 0 0 20 0 1 0 346640462 273346560 65998 33554432000 134512640 135840783 4294105200 4294104560 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 66735 65998 351 325 0 65671 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 266940

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13543
/proc/meminfo: memFree=28491340/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=295636 CPUtime=1422.03 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 73759 0 0 0 142172 31 0 0 20 0 1 0 346640462 302731264 73198 33554432000 134512640 135840783 4294105200 4294104560 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 73909 73198 351 325 0 72845 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 295636

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13544
/proc/meminfo: memFree=28424772/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1482.02 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77605 0 0 0 148169 33 0 0 20 0 1 0 346640462 318169088 76953 33554432000 134512640 135840783 4294105200 4294104560 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76953 351 325 0 76614 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 310712

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 13544
/proc/meminfo: memFree=28341852/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1542.01 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77605 0 0 0 154168 33 0 0 20 0 1 0 346640462 318169088 76953 33554432000 134512640 135840783 4294105200 4294104560 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76953 351 325 0 76614 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 310712

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 13544
/proc/meminfo: memFree=28274680/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1602 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77605 0 0 0 160167 33 0 0 20 0 1 0 346640462 318169088 76953 33554432000 134512640 135840783 4294105200 4294104336 2091677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76953 351 325 0 76614 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 310712

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 13545
/proc/meminfo: memFree=28210840/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1661.99 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77611 0 0 0 166166 33 0 0 20 0 1 0 346640462 318169088 76959 33554432000 134512640 135840783 4294105200 4294104560 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76959 351 325 0 76614 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 310712

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

[startup+1663.1 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 13545
/proc/meminfo: memFree=28209600/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1662.8 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77611 0 0 0 166247 33 0 0 20 0 1 0 346640462 318169088 76959 33554432000 134512640 135840783 4294105200 4294104560 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76959 351 325 0 76614 0
Current children cumulated CPU time (s) 1662.8
Current children cumulated vsize (KiB) 310712

[startup+1663.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 13545
/proc/meminfo: memFree=28209600/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1662.99 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77611 0 0 0 166266 33 0 0 20 0 1 0 346640462 318169088 76959 33554432000 134512640 135840783 4294105200 4294104560 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76959 351 325 0 76614 0
Current children cumulated CPU time (s) 1662.99
Current children cumulated vsize (KiB) 310712

[startup+1663.4 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 13545
/proc/meminfo: memFree=28209600/32873844 swapFree=8656/8656
[pid=13451] ppid=13449 vsize=310712 CPUtime=1663.09 cores=1,3,5,7
/proc/13451/stat : 13451 (bsolo3.0.17) R 13449 13451 11815 0 -1 4202496 77611 0 0 0 166276 33 0 0 20 0 1 0 346640462 318169088 76959 33554432000 134512640 135840783 4294105200 4294104528 3940319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13451/statm: 77678 76959 351 325 0 76614 0
Current children cumulated CPU time (s) 1663.09
Current children cumulated vsize (KiB) 310712

Child status: 0
Real time (s): 1663.46
CPU time (s): 1663.16
CPU user time (s): 1662.81
CPU system time (s): 0.349946
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 310712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1662.81
system time used= 0.349946
maximum resident set size= 308176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77614
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= 57
involuntary context switches= 1711

runsolver used 2.51762 second user time and 7.02793 second system time

The end

Begin job on node102 at 2012-06-04 12:18:39
IDJOB=3744277
IDBENCH=92718
IDSOLVER=2318
FILE ID=node102/3744277-1338805119
RUNJOBID= node102-1338801513-13253
PBS_JOBID= 14636839
Free space on /tmp= 71168 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_5_mh.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744277-1338805119/watcher-3744277-1338805119 -o /tmp/evaluation-result-3744277-1338805119/solver-3744277-1338805119 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3744277-1338805119.opb            

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

MD5SUM BENCH= c9af5fe7bf07241e6505789325302ea7
RANDOM SEED=985116735

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5331.91
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		: 2667.178
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	: 5438.54
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		: 2667.178
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.91
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		: 2667.178
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30675084 kB
Buffers:          223300 kB
Cached:           699064 kB
SwapCached:         5520 kB
Active:           770376 kB
Inactive:         655520 kB
Active(anon):     500556 kB
Inactive(anon):     5604 kB
Active(file):     269820 kB
Inactive(file):   649916 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:              7060 kB
Writeback:             0 kB
AnonPages:        507340 kB
Mapped:            10376 kB
Shmem:                 0 kB
Slab:             630032 kB
SReclaimable:      71128 kB
SUnreclaim:       558904 kB
KernelStack:        1456 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     621804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71160 MiB
End job on node102 at 2012-06-04 12:46:23