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-3744253-1338804807.opb
0.00/0.00	c File size is 578629 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 3.78909e+09
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.044 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.88/0.97	c Pre-processing Time: 0.966 s
0.88/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.99	c        0   5910    14678    45575    3    38925   46524      0      0 0.97
0.88/0.99	c      102   5910    14780    51148    3    39172   51177    102    104 0.98
0.88/0.99	o 231760616	0.982
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c      105   5910    14784    54535    3    42323   52854    106    106 0.98
0.99/1.05	c      208   5910    14887    67395    4    42531   58140    209    206 1.01
0.99/1.05	c      458   5910    15137    83714    5    42966   63955    459    442 1.04
0.99/1.05	o 156297904	1.042
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c      492   5910    15172    88159    5    46234   52854    494    471 1.04
1.19/1.23	c      592   5910    15272    94410    6    46379   58140    594    554 1.07
1.19/1.23	c      844   5910    15524   109332    7    46943   63955    846    741 1.14
1.19/1.23	c     1319   5910    15999   148311    9    47843   70351   1321   1079 1.22
1.19/1.23	o 152950042	1.227
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     1327   5910    16008   151595    9    50988   52854   1330   1079 1.23
1.19/1.24	o 87389918	1.232
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c     1333   5910    16015   154943    9    54209   52854   1337   1080 1.23
1.19/1.29	o 80789872	1.286
1.99/2.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.01	c     1415   5910    16098   163953   10    57535   52854   1420   1098 1.29
1.99/2.01	c     1516   5910    16199   168371   10    57732   58140   1521   1130 1.34
1.99/2.01	c     1766   5910    16449   189238   11    58154   63955   1771   1208 1.46
1.99/2.01	c     2241   5910    16924   215560   12    59049   70351   2246   1235 1.81
1.99/2.01	o 72498281	2.005
1.99/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.04	c     2526   5910    17210   232068   13    62788   52854   2532   1258 2.01
1.99/2.04	o 26388260	2.032
2.79/2.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.81	c     2556   5910    17241   236712   13    65951   52854   2563   1256 2.03
2.79/2.81	c     2659   5910    17344   242675   13    66198   58140   2666   1231 2.16
2.79/2.81	c     2909   5871    17594   251496   14    66799   63955   2916   1168 2.49
2.79/2.81	o 22117083	2.81
3.08/3.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.20	c     3244   5812    17930   275552   15    70367   52712   3252   1153 2.81
3.08/3.20	c     3346   5812    18032   283537   15    70508   57984   3354   1163 2.88
3.08/3.20	c     3596   5812    18282   329372   18    70875   63783   3604   1139 3.16
3.08/3.20	o 19715824	3.193
3.38/3.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.48	c     3637   5812    18324   337377   18    73971   52712   3646   1138 3.19
3.38/3.48	c     3738   5812    18425   346517   18    74333   57984   3747   1122 3.33
3.38/3.48	o 19678330	3.476
11.68/11.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.68/11.77	c     3821   5805    18509   352057   19    77572   52700   3831   1098 3.48
11.68/11.77	c     3921   5805    18609   354767   19    77774   57971   3931   1079 3.63
11.68/11.77	c     4172   5802    18860   360024   19    78270   63769   4182   1036 4.03
11.68/11.77	c     4648   5690    19336   389692   20    79123   70146   4658   1010 4.60
11.68/11.77	c     5461   5689    20149   478391   23    80636   77161   5471    990 5.52
11.68/11.77	c     6781   5689    21469   602799   28    83170   84878   6791   1023 6.63
11.68/11.77	c     8865   5689    23553   951742   40    87282   93366   8875    963 9.20
11.68/11.77	o 16994715	11.768
11.78/11.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.78/11.86	c    10428   5689    25117  1156024   46    93329   52576  10439    885 11.77
11.78/11.86	o 16988835	11.856
16.08/16.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.16	c    10471   5515    25161  1161131   46    96392   52394  10483    883 11.86
16.08/16.16	c    10571   5515    25261  1163325   46    96653   57634  10583    879 12.02
16.08/16.16	c    10821   5515    25511  1175954   46    97110   63398  10833    873 12.38
16.08/16.16	c    11296   5514    25986  1210074   46    97987   69738  11308    861 13.11
16.08/16.16	c    12109   5514    26799  1278203   47    99559   76712  12121    867 13.96
16.08/16.16	c    13430   5514    28120  1499001   53   102172   84384  13442    835 16.07
16.08/16.16	o 15807772	16.145
16.18/16.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.18/16.21	c    13469   5514    28160  1504587   53   105178   52392  13482    834 16.15
16.18/16.21	o 12399822	16.204
16.18/16.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.18/16.25	c    13489   5514    28181  1507907   53   108145   52392  13503    832 16.21
16.18/16.25	o 12347221	16.235
16.18/16.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.18/16.27	c    13500   5287    28193  1510951   53   110993   52152  13515    831 16.24
16.18/16.27	o 10257058	16.255
16.18/16.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.18/16.28	c    13501   5287    28195  1513767   53   113780   52152  13517    830 16.26
16.18/16.28	o 10020783	16.272
16.58/16.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.58/16.68	c    13502   5287    28197  1516608   53   116591   52152  13519    829 16.27
16.58/16.68	c    13609   5287    28304  1527442   53   116691   57368  13626    825 16.49
16.58/16.68	o 9194810	16.667
17.68/17.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.68/17.75	c    13679   5287    28375  1534378   54   119635   52152  13697    820 16.67
17.68/17.75	c    13781   5287    28477  1540729   54   119789   57368  13799    815 16.91
17.68/17.75	c    14033   5287    28729  1568391   54   120224   63105  14051    802 17.48
17.68/17.75	o 9150117	17.74
17.78/17.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.78/17.82	c    14122   5286    28819  1573994   54   123197   52152  14141    795 17.74
17.78/17.82	o 8590497	17.81
17.98/18.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.08	c    14138   4693    28836  1576659   54   125721   51542  14158    793 17.81
17.98/18.08	c    14239   3887    28937  1579629   54   125930   56697  14259    788 18.05
17.98/18.08	o 8469224	18.073
18.08/18.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.08/18.10	c    14241   3887    28940  1581728   54   128006   50710  14262    787 18.07
18.08/18.10	o 8435122	18.09
18.08/18.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.08/18.12	c    14241   3887    28941  1583821   54   130094   50710  14263    787 18.09
18.08/18.12	o 8207406	18.113
20.67/20.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.67/20.78	c    14245   3887    28946  1586096   54   132191   50710  14268    786 18.11
20.67/20.78	c    14346   3887    29047  1594167   54   132391   55782  14369    779 18.41
20.67/20.78	c    14598   3887    29299  1620043   55   132876   61361  14621    764 19.09
20.67/20.78	c    15075   3887    29776  1644186   55   133829   67498  15098    747 20.17
20.67/20.78	o 8202964	20.768
21.57/21.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.57/21.63	c    15368   3887    30070  1663327   55   136488   50710  15392    739 20.77
21.57/21.63	c    15469   3887    30171  1668008   55   136705   55782  15493    736 21.01
21.57/21.63	c    15719   3887    30421  1681232   55   137184   61361  15743    727 21.60
21.57/21.63	o 7732881	21.621
21.57/21.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.57/21.65	c    15722   3887    30425  1683348   55   139261   50710  15747    727 21.62
21.57/21.65	o 7693961	21.641
21.57/21.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.57/21.68	c    15722   3887    30426  1685441   55   141352   50710  15748    726 21.64
21.57/21.68	o 7639144	21.666
21.67/21.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.67/21.76	c    15725   3887    30430  1687651   55   143448   50710  15752    725 21.67
21.67/21.76	o 6970868	21.745
26.17/26.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.17/26.22	c    15747   3887    30453  1690892   55   145561   50710  15775    724 21.75
26.17/26.22	c    15847   3887    30553  1697995   55   145744   55782  15875    717 22.08
26.17/26.22	c    16098   3887    30804  1713410   55   146202   61361  16126    705 22.83
26.17/26.22	c    16575   3887    31281  1755586   56   147147   67498  16603    690 24.02
26.17/26.22	c    17389   3887    32095  1816757   56   148771   74248  17417    666 26.09
26.17/26.22	o 5973418	26.206
26.67/26.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.67/26.78	c    17431   3887    32138  1821128   56   150905   50710  17460    665 26.21
26.67/26.78	c    17532   3887    32239  1826039   56   151080   55782  17561    660 26.53
26.67/26.78	o 5797224	26.764
28.58/28.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.58/28.62	c    17600   3887    32308  1830225   56   153309   50710  17630    657 26.77
28.58/28.62	c    17701   3887    32409  1835772   56   153508   55782  17731    654 27.05
28.58/28.62	c    17952   3885    32660  1850910   56   154000   61361  17982    646 27.77
28.58/28.62	o 5787868	28.607
29.27/29.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.27/29.34	c    18222   3885    32931  1875053   56   156604   50706  18253    636 28.61
29.27/29.34	c    18322   3885    33031  1883005   57   156792   55777  18353    631 29.02
29.27/29.34	o 5740348	29.331
29.87/29.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.87/29.97	c    18439   3884    33149  1892660   57   159112   50704  18471    628 29.33
29.87/29.97	c    18539   3884    33249  1899166   57   159307   55775  18571    625 29.66
29.87/29.97	o 5733345	29.956
31.37/31.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.37/31.42	c    18634   3883    33345  1906467   57   161550   50702  18667    622 29.96
31.37/31.42	c    18735   3883    33446  1911590   57   161734   55773  18768    618 30.30
31.37/31.42	c    18987   3883    33698  1933338   57   162250   61351  19020    612 31.02
31.37/31.42	o 5731311	31.405
33.57/33.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.57/33.61	c    19065   3883    33777  1943326   57   164482   50702  19099    607 31.41
33.57/33.61	c    19165   3883    33877  1948738   57   164674   55773  19199    603 31.78
33.57/33.61	c    19415   3883    34127  1966890   57   165187   61351  19449    592 32.79
33.57/33.61	o 5705248	33.6
39.07/39.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.07/39.18	c    19663   3883    34376  1981994   57   167754   50702  19698    585 33.60
39.07/39.18	c    19763   3883    34476  1987654   57   167976   55773  19798    581 33.99
39.07/39.18	c    20013   3883    34726  2001810   57   168469   61351  20048    575 34.80
39.07/39.18	c    20489   3883    35202  2037515   57   169407   67487  20524    564 36.29
39.07/39.18	c    21302   3883    36015  2092109   58   171035   74236  21337    545 39.07
39.07/39.18	o 5564934	39.166
92.76/92.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
92.76/92.87	c    21328   3883    36042  2095213   58   173150   50702  21364    544 39.17
92.76/92.87	c    21428   3883    36142  2104218   58   173338   55773  21464    541 39.57
92.76/92.87	c    21679   3883    36393  2120178   58   173859   61351  21715    536 40.44
92.76/92.87	c    22154   3883    36868  2166694   58   174814   67487  22190    525 42.14
92.76/92.87	c    22971   3883    37685  2244132   59   176435   74236  23007    507 45.27
92.76/92.87	c    24292   3883    39006  2328334   59   179067   81660  24328    484 50.11
92.76/92.87	c    26373   3883    41087  2663135   64   183228   89827  26409    456 57.81
92.76/92.87	c    29598   3883    44312  2983780   67   189663   98810  29634    420 70.36
92.76/92.87	c    34535   3883    49249  3793130   77   199548  108692  34571    377 91.53
92.76/92.87	o 5512359	92.845
107.96/108.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
107.96/108.00	c    34912   3883    49627  3823443   77   202370   50702  34949    376 92.85
107.96/108.00	c    35012   3883    49727  3829289   77   202575   55773  35049    375 93.22
107.96/108.00	c    35262   3883    49977  3847849   76   203089   61351  35299    372 94.56
107.96/108.00	c    35737   3883    50452  3876645   76   204029   67487  35774    371 96.20
107.96/108.00	c    36550   3883    51265  3955093   77   205672   74236  36587    366 99.82
107.96/108.00	c    37873   3883    52588  4054112   77   208293   81660  37910    356 106.38
107.96/108.00	o 5509996	107.973
256.61/256.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.61/256.70	c    38190   3883    52906  4077628   77   211013   50702  38228    353 107.98
256.61/256.70	c    38290   3883    53006  4098637   77   211201   55773  38328    352 108.52
256.61/256.70	c    38540   3883    53256  4114176   77   211725   61351  38578    351 109.66
256.61/256.70	c    39015   3883    53731  4157549   77   212671   67487  39053    348 111.86
256.61/256.70	c    39829   3883    54545  4333707   79   214292   74236  39867    343 116.12
256.61/256.70	c    41149   3883    55865  4559888   81   216926   81660  41187    336 122.31
256.61/256.70	c    43232   3883    57948  5203301   89   221095   89827  43270    323 133.78
256.61/256.70	c    46456   3883    61172  5707350   93   227529   98810  46494    309 149.92
256.61/256.70	c    51392   3883    66108  7115500  107   237392  108692  51430    282 181.72
256.61/256.70	c    58899   3883    73615  7973421  108   252416  119562  58937    259 226.70
256.61/256.70	o 5473424	256.612
258.61/258.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
258.61/258.71	c    62958   3883    77675  9229085  118   262625   50702  62997    245 256.61
258.61/258.71	c    63061   3883    28214  2385992   84    85195   55773  13536    244 258.26
258.61/258.71	o 5466272	258.622
259.51/259.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
259.51/259.61	c    63212   3883    28366  2396984   84    87584   50702  13688    244 258.62
259.51/259.61	c    63312   3883    28466  2405835   84    87785   55773  13788    244 258.76
259.51/259.61	c    63562   3883    28716  2423071   84    88282   61351  14038    245 259.39
259.51/259.61	o 5441463	259.528
261.41/261.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
261.41/261.59	c    63683   3883    28838  2433796   84    90612   50702  14160    245 259.53
261.41/261.59	c    63783   3883    28938  2441710   84    90815   55773  14260    245 259.73
261.41/261.59	c    64033   3883    29188  2454943   84    91313   61351  14510    246 260.15
261.41/261.59	c    64508   3883    29663  2486388   83    92264   67487  14985    246 261.18
261.41/261.59	o 5439502	261.503
291.70/291.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
291.70/291.83	c    64695   3883    29851  2500254   83    94724   50702  15173    247 261.51
291.70/291.83	c    64798   3883    29954  2535781   84    94934   55773  15276    247 261.76
291.70/291.83	c    65048   3883    30204  2551625   84    95432   61351  15526    248 262.19
291.70/291.83	c    65525   3883    30681  2588171   84    96385   67487  16003    248 263.35
291.70/291.83	c    66339   3883    31495  2789294   88    98014   74236  16817    250 264.99
291.70/291.83	c    67659   3883    32815  2895196   88   100656   81660  18137    253 267.42
291.70/291.83	c    69740   3883    34896  3064044   87   104816   89827  20218    257 270.65
291.70/291.83	c    72964   3883    38120  3374262   88   111265   98810  23442    261 278.88
291.70/291.83	c    77902   3883    43058  3938394   91   121140  108692  28380    268 290.25
291.70/291.83	o 5409424	291.737
291.80/291.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
291.80/291.91	c    78541   3883    43698  3977507   91   124503   50702  29020    269 291.74
291.80/291.91	o 5398051	291.819
293.30/293.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
293.30/293.48	c    78567   3883    43725  3980888   91   126645   50702  29047    269 291.82
293.30/293.48	c    78667   3883    43825  3985892   90   126848   55773  29147    269 292.08
293.30/293.48	c    78918   3883    44076  4026910   91   127348   61351  29398    269 292.94
293.30/293.48	o 5386110	293.387
294.10/294.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
294.10/294.21	c    79031   3883    44190  4036788   91   129659   50702  29512    269 293.39
294.10/294.21	c    79132   3883    44291  4043194   91   129865   55773  29613    269 293.65
294.10/294.21	o 5367754	294.112
323.59/323.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
323.59/323.70	c    79288   3883    44448  4054476   91   132264   50702  29770    269 294.11
323.59/323.70	c    79390   3883    44550  4063672   91   132468   55773  29872    269 294.44
323.59/323.70	c    79640   3883    44800  4081822   91   132965   61351  30122    269 295.33
323.59/323.70	c    80118   3883    45278  4115852   90   133925   67487  30600    270 296.26
323.59/323.70	c    80934   3883    46094  4204253   91   135556   74236  31416    270 298.86
323.59/323.70	c    82254   3883    47414  4322872   91   138197   81660  32736    270 304.30
323.59/323.70	c    84337   3883    49497  4799131   96   142362   89827  34819    270 311.26
323.59/323.70	c    87560   3883    52720  5070763   96   148805   98810  38042    272 321.44
323.59/323.70	o 5336224	323.598
375.48/375.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
375.48/375.68	c    88249   3883    53410  5134261   96   152272   50702  38732    272 323.60
375.48/375.68	c    88349   3883    53510  5151952   96   152474   55773  38832    272 324.11
375.48/375.68	c    88600   3883    53761  5187893   96   152973   61351  39083    272 325.25
375.48/375.68	c    89075   3883    54236  5223154   96   153928   67487  39558    272 326.73
375.48/375.68	c    89888   3883    55049  5344500   97   155553   74236  40371    271 331.04
375.48/375.68	c    91208   3883    56369  5698734  101   158192   81660  41691    270 337.08
375.48/375.68	c    93290   3883    58451  5976407  102   162353   89827  43773    270 345.18
375.48/375.68	c    96513   3883    61674  6317438  102   168802   98810  46996    272 353.83
375.48/375.68	c   101449   3883    66610  7221653  108   178671  108692  51932    270 375.22
375.48/375.68	o 5330768	375.577
379.29/379.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
379.29/379.46	c   101553   3883    66715  7229017  108   180968   50702  52037    270 375.58
379.29/379.46	c   101653   3883    66815  7261233  108   181170   55773  52137    270 376.06
379.29/379.46	c   101904   3883    67066  7283273  108   181674   61351  52388    270 377.22
379.29/379.46	o 5325582	379.355
428.48/428.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
428.48/428.61	c   102372   3883    67535  7337372  108   184694   50702  52857    269 379.36
428.48/428.61	c   102472   3883    67635  7343703  108   184897   55773  52957    269 379.68
428.48/428.61	c   102725   3883    67888  7449132  109   185402   61351  53210    269 381.12
428.48/428.61	c   103200   3883    68363  7493945  109   186354   67487  53685    269 383.06
428.48/428.61	c   104014   3883    69177  7603384  109   187980   74236  54499    268 387.78
428.48/428.61	c   105334   3270    70497  7994249  113   190617   81660  55819    266 395.88
428.48/428.61	c   107416   3270    72579  8262262  113   194783   89827  57901    265 405.31
428.48/428.61	c   110640   3270    75803  8995249  118   201229   98810  61125    261 422.85
428.48/428.61	o 5312498	428.499
434.08/434.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
434.08/434.20	c   111971   3270    77135  9070697  117   205658   50058  62457    261 428.50
434.08/434.20	c   112071   3270    28526  2213758   77    85496   55064  13848    259 431.34
434.08/434.20	c   112321   3270    28776  2224823   77    85997   60571  14098    260 431.87
434.08/434.20	c   112796   3270    29251  2281263   77    86945   66629  14573    260 432.35
434.08/434.20	c   113609   3270    30064  2365182   78    88573   73292  15386    261 434.07
434.08/434.20	o 5282042	434.084
434.98/435.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
434.98/435.13	c   113616   3270    30072  2367143   78    90350   50058  15394    261 434.09
434.98/435.13	c   113716   3270    30172  2372760   78    90554   55064  15494    261 434.24
434.98/435.13	c   113966   3270    30422  2386921   78    91053   60571  15744    262 434.80
434.98/435.13	o 5275821	435.013
457.17/457.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
457.17/457.32	c   114099   3270    30556  2397818   78    93086   50058  15878    262 435.01
457.17/457.32	c   114199   3270    30656  2404004   78    93286   55064  15978    262 435.29
457.17/457.32	c   114449   3270    30906  2416070   78    93787   60571  16228    262 435.63
457.17/457.32	c   114924   3270    31381  2488568   79    94738   66629  16703    263 436.67
457.17/457.32	c   115738   3270    32195  2562097   79    96364   73292  17517    264 437.65
457.17/457.32	c   117058   3270    33515  2800409   83    99005   80622  18837    265 440.69
457.17/457.32	c   119141   3270    35598  3003002   84   103170   88685  20920    268 443.20
457.17/457.32	c   122364   3270    38821  3676050   94   109616   97554  24143    270 452.88
457.17/457.32	o 5270141	457.198
600.74/600.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
600.74/600.98	c   124882   3270    41340  3921433   94   116418   50058  26662    273 457.20
600.74/600.98	c   124982   3270    41440  3926791   94   116619   55064  26762    273 457.61
600.74/600.98	c   125233   3270    41691  3944828   94   117123   60571  27013    273 458.11
600.74/600.98	c   125709   3270    42167  3980103   94   118074   66629  27489    273 459.02
600.74/600.98	c   126522   3270    42980  4041230   94   119699   73292  28302    274 461.26
600.74/600.98	c   127842   3270    44300  4229311   95   122339   80622  29622    275 464.16
600.74/600.98	c   129924   3270    46382  4495648   96   126503   88685  31704    276 470.40
600.74/600.98	c   133147   3270    49605  4879625   98   132949   97554  34927    278 478.10
600.74/600.98	c   138083   3270    54541  5886294  107   142821  107310  39863    278 495.90
600.74/600.98	c   145590   3270    62048  6666435  107   157835  118042  47370    280 518.84
600.74/600.98	c   156951   3270    73409  9566981  130   180557  129847  58731    272 576.21
600.74/600.98	o 5267858	600.844
608.34/608.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
608.34/608.58	c   162763   3270    79222 10968023  138   193947   50058  64544    270 600.85
608.34/608.58	c   162864   3270    29533  3240633  109    87510   55064  14855    269 605.10
608.34/608.58	c   163114   3270    29783  3254469  109    88012   60571  15105    269 605.71
608.34/608.58	c   163589   3270    30258  3282480  108    88960   66629  15580    269 606.18
608.34/608.58	c   164402   3270    31071  3342981  107    90587   73292  16393    270 608.31
608.34/608.58	o 5250703	608.435
609.44/609.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
609.44/609.62	c   164525   3270    31195  3351518  107    92599   50058  16517    270 608.44
609.44/609.62	c   164628   3270    31298  3360469  107    92806   55064  16620    270 608.69
609.44/609.62	c   164878   3270    31548  3387922  107    93307   60571  16870    270 609.36
609.44/609.62	o 5215716	609.48
687.63/687.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
687.63/687.84	c   164973   3270    31644  3394688  107    95262   50058  16966    270 609.48
687.63/687.84	c   165073   3270    31744  3407746  107    95463   55064  17066    270 609.72
687.63/687.84	c   165323   3270    31994  3421010  106    95964   60571  17316    270 610.58
687.63/687.84	c   165798   3270    32469  3465245  106    96912   66629  17791    271 611.14
687.63/687.84	c   166611   3270    33282  3541877  106    98539   73292  18604    271 612.80
687.63/687.84	c   167931   3270    34602  3741310  108   101180   80622  19924    272 616.62
687.63/687.84	c   170014   3270    36685  4259992  116   105344   88685  22007    273 621.52
687.63/687.84	c   173237   3270    39908  4848125  121   111791   97554  25230    275 629.23
687.63/687.84	c   178175   3270    44846  5197949  115   121668  107310  30168    278 640.50
687.63/687.84	c   185683   3270    52354  6547872  125   136683  118042  37676    279 663.92
687.63/687.84	o 5189144	687.687
697.53/697.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
697.53/697.73	c   193102   3270    59774  7384079  123   153287   50058  45096    280 687.69
697.53/697.73	c   193202   3270    59874  7390007  123   153488   55064  45196    280 688.17
697.53/697.73	c   193452   3270    60124  7432845  123   153987   60571  45446    280 689.03
697.53/697.73	c   193929   3270    60601  7467802  123   154943   66629  45923    280 691.29
697.53/697.73	c   194742   3270    61414  7538200  122   156568   73292  46736    279 695.55
697.53/697.73	o 5184654	697.577
699.63/699.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
699.63/699.84	c   195229   3270    61902  7570095  122   159308   50058  47224    279 697.58
699.63/699.84	c   195331   3270    62004  7587185  122   159512   55064  47326    279 698.04
699.63/699.84	c   195581   3270    62254  7606192  122   160013   60571  47576    279 699.33
699.63/699.84	o 5181994	699.686
786.62/786.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
786.62/786.81	c   195632   3270    62306  7610688  122   161881   50058  47628    279 699.69
786.62/786.81	c   195732   3270    62406  7618587  122   162081   55064  47728    279 700.10
786.62/786.81	c   195982   3270    62656  7648444  122   162582   60571  47978    279 701.33
786.62/786.81	c   196459   3270    63133  7678480  121   163537   66629  48455    279 703.58
786.62/786.81	c   197272   3270    63946  7886955  123   165161   73292  49268    278 707.15
786.62/786.81	c   198592   3270    65266  8024475  122   167802   80622  50588    277 714.73
786.62/786.81	c   200677   3270    67351  8336570  123   171972   88685  52673    275 727.83
786.62/786.81	c   203900   3270    70574  8614646  122   178419   97554  55896    274 742.87
786.62/786.81	c   208839   3270    75513  9570442  126   188296  107310  60835    270 772.84
786.62/786.81	o 5174836	786.637
796.22/796.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
796.22/796.49	c   211091   3270    77766 10001043  128   194566   50058  63088    268 786.64
796.22/796.49	c   211191   3270    28299  2003485   70    85043   55064  13621    267 788.19
796.22/796.49	c   211441   3270    28549  2017823   70    85542   60571  13871    268 788.45
796.22/796.49	c   211916   3270    29024  2054849   70    86494   66629  14346    268 789.85
796.22/796.49	c   212729   3270    29837  2112769   70    88118   73292  15159    269 790.60
796.22/796.49	c   214049   3270    31157  2465599   79    90759   80622  16479    269 793.85
796.22/796.49	o 5154161	796.32
804.31/804.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
804.31/804.57	c   214991   3270    32100  2561067   79    94409   50058  17422    269 796.32
804.31/804.57	c   215095   3270    32204  2577711   80    94617   55064  17526    270 796.46
804.31/804.57	c   215346   3270    32455  2655170   81    95120   60571  17777    270 797.32
804.31/804.57	c   215821   3270    32930  2682614   81    96071   66629  18252    270 798.69
804.31/804.57	c   216637   3270    33746  2762383   81    97701   73292  19068    270 799.65
804.31/804.57	c   217957   3270    35066  3090612   88   100341   80622  20388    271 803.59
804.31/804.57	o 5114482	804.396
819.91/820.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
819.91/820.15	c   218230   3270    35340  3111681   88   102654   50058  20662    271 804.40
819.91/820.15	c   218330   3270    35440  3121156   88   102854   55064  20762    271 804.55
819.91/820.15	c   218581   3270    35691  3155875   88   103357   60571  21013    271 805.28
819.91/820.15	c   219058   3270    36168  3180731   87   104312   66629  21490    271 806.66
819.91/820.15	c   219871   3270    36981  3299234   89   105936   73292  22303    272 807.86
819.91/820.15	c   221191   3270    38301  3481228   90   108578   80622  23623    272 811.80
819.91/820.15	c   223273   3270    40383  4034882   99   112741   88685  25705    272 819.69
819.91/820.15	o 5108369	819.98
840.31/840.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
840.31/840.57	c   223318   3270    40429  4039052   99   114597   50058  25751    272 819.98
840.31/840.57	c   223418   3270    40529  4061618  100   114797   55064  25851    272 820.15
840.31/840.57	c   223669   3270    40780  4151200  101   115300   60571  26102    272 821.26
840.31/840.57	c   224144   3270    41255  4245892  102   116251   66629  26577    272 823.49
840.31/840.57	c   224959   3270    42070  4405133  104   117879   73292  27392    272 824.85
840.31/840.57	c   226282   3270    43393  4621411  106   120527   80622  28715    272 829.83
840.31/840.57	c   228363   3270    45474  5166130  113   124688   88685  30796    272 839.52
840.31/840.57	o 5107047	840.396
872.60/872.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
872.60/872.88	c   228490   3270    45602  5180200  113   126708   50058  30924    271 840.40
872.60/872.88	c   228590   3270    45702  5221515  114   126908   55064  31024    271 840.69
872.60/872.88	c   228840   3270    45952  5317625  115   127409   60571  31274    271 842.27
872.60/872.88	c   229315   3270    46427  5429456  116   128360   66629  31749    271 845.20
872.60/872.88	c   230130   3268    47242  5700321  120   129988   73292  32564    271 848.46
872.60/872.88	c   231450   3268    48562  5962164  122   132628   80622  33884    270 855.47
872.60/872.88	c   233532   3268    50644  6508962  128   136792   88685  35966    269 867.52
872.60/872.88	o 5082607	872.698
1050.28/1050.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1050.28/1050.55	c   234419   3268    51532  6583255  127   140329   50054  36854    268 872.70
1050.28/1050.55	c   234520   3268    51633  6598053  127   140533   55060  36955    268 873.21
1050.28/1050.55	c   234771   3268    51884  6614009  127   141033   60567  37206    268 873.55
1050.28/1050.55	c   235246   3268    52359  6650920  127   141985   66624  37681    268 877.04
1050.28/1050.55	c   236061   3268    53174  6863643  129   143615   73287  38496    267 881.43
1050.28/1050.55	c   237381   3268    54494  6976588  128   146255   80616  39816    266 890.00
1050.28/1050.55	c   239462   3268    56575  7552702  133   150417   88678  41897    265 903.24
1050.28/1050.55	c   242686   3268    59799  8104888  135   156865   97546  45121    262 924.87
1050.28/1050.55	c   247623   3268    64736  9196107  142   166739  107301  50058    257 961.60
1050.28/1050.55	c   255129   3268    72242  9947959  137   181749  118032  57564    261 975.10
1050.28/1050.55	o 5064936	1050.34
1071.77/1072.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1071.77/1072.05	c   266082   3268    83196 11499059  138   205422   50054  68518    253 1050.34
1071.77/1072.05	c   266183   3268    28106  1812676   64    86417   55060  13428    252 1052.22
1071.77/1072.05	c   266434   3266    28357  1835028   64    86920   60567  13679    253 1052.83
1071.77/1072.05	c   266909   3266    28832  1864273   64    87868   66624  14154    253 1053.32
1071.77/1072.05	c   267724   3266    29647  1918537   64    89500   73287  14969    253 1054.90
1071.77/1072.05	c   269044   3266    30967  2037018   65    92138   80616  16289    254 1056.35
1071.77/1072.05	c   271125   3266    33048  2194411   66    96302   88678  18370    255 1060.63
1071.77/1072.05	c   274349   3266    36272  2463231   67   102748   97546  21594    257 1064.75
1071.77/1072.05	o 5044351	1071.84
1076.27/1076.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1076.27/1076.57	c   277832   3266    39756  2858869   71   111477   50050  25078    259 1071.84
1076.27/1076.57	c   277932   3266    39856  2867817   71   111677   55056  25178    259 1072.05
1076.27/1076.57	c   278182   3266    40106  2887186   71   112179   60562  25428    259 1072.63
1076.27/1076.57	c   278657   3266    40581  2922474   72   113127   66619  25903    259 1073.23
1076.27/1076.57	c   279475   3266    41399  2998808   72   114765   73281  26721    259 1075.52
1076.27/1076.57	o 5030375	1076.36
1141.56/1141.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1141.56/1141.87	c   279978   3266    41903  3029274   72   117530   50050  27225    260 1076.36
1141.56/1141.87	c   280079   3266    42004  3034104   72   117736   55056  27326    260 1076.73
1141.56/1141.87	c   280329   3266    42254  3055672   72   118234   60562  27576    260 1077.15
1141.56/1141.87	c   280805   3266    42730  3087028   72   119188   66619  28052    260 1078.69
1141.56/1141.87	c   281618   3266    43543  3144382   72   120812   73281  28865    260 1080.00
1141.56/1141.87	c   282940   3266    44865  3386134   75   123458   80610  30187    260 1084.55
1141.56/1141.87	c   285023   3266    46948  3592833   76   127622   88672  32270    261 1088.02
1141.56/1141.87	c   288246   3266    50171  3821074   76   134070   97540  35493    262 1098.58
1141.56/1141.87	c   293182   3266    55107  4202597   76   143940  107295  40429    264 1107.77
1141.56/1141.87	c   300690   3266    62615  5617759   89   158958  118025  47937    264 1138.57
1141.56/1141.87	o 5008608	1141.64
1185.05/1185.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1185.05/1185.37	c   301761   3266    63687  5753441   90   162859   50050  49009    264 1141.64
1185.05/1185.37	c   301861   3266    63787  5772798   90   163063   55056  49109    264 1142.30
1185.05/1185.37	c   302111   3266    64037  5810504   90   163561   60562  49359    264 1143.14
1185.05/1185.37	c   302587   3266    64513  5912653   91   164515   66619  49835    264 1145.96
1185.05/1185.37	c   303400   3266    65326  5973301   91   166139   73281  50648    264 1148.13
1185.05/1185.37	c   304721   3266    66647  6244160   93   168783   80610  51969    263 1155.53
1185.05/1185.37	c   306802   3266    68728  6423054   93   172943   88672  54050    263 1162.34
1185.05/1185.37	c   310025   3266    71951  6823311   94   179391   97540  57273    262 1180.77
1185.05/1185.37	o 5007429	1185.13
1217.74/1218.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1217.74/1218.00	c   311506   3266    73433  6923705   94   184112   50050  58755    262 1185.14
1217.74/1218.00	c   311609   3266    27965  1687871   60    87897   55056  13287    261 1190.05
1217.74/1218.00	c   311860   3266    28216  1703141   60    88397   60562  13538    261 1190.44
1217.74/1218.00	c   312335   3266    28691  1764088   61    89349   66619  14013    262 1191.34
1217.74/1218.00	c   313149   3266    29505  1806360   61    90975   73281  14827    262 1192.51
1217.74/1218.00	c   314470   3266    30826  1989694   64    93619   80610  16148    263 1194.91
1217.74/1218.00	c   316551   3266    32907  2255465   68    97779   88672  18229    264 1198.12
1217.74/1218.00	c   319775   3266    36131  2966548   82   104229   97540  21453    265 1205.20
1217.74/1218.00	c   324711   3266    41067  3440789   83   114099  107295  26389    267 1213.85
1217.74/1218.00	o 4995967	1217.76
1299.03/1299.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1299.03/1299.39	c   326132   3266    42489  3646475   85   118704   50050  27811    267 1217.76
1299.03/1299.39	c   326234   3266    42591  3653441   85   118908   55056  27913    267 1217.96
1299.03/1299.39	c   326484   3266    42841  3703276   86   119410   60562  28163    267 1218.71
1299.03/1299.39	c   326960   3266    43317  3759870   86   120360   66619  28639    268 1219.78
1299.03/1299.39	c   327779   3266    44136  4001679   90   122000   73281  29458    268 1222.11
1299.03/1299.39	c   329100   3266    45457  4185036   92   124640   80610  30779    268 1225.18
1299.03/1299.39	c   331181   3266    47538  4802850  101   128804   88672  32860    268 1231.90
1299.03/1299.39	c   334404   3266    50761  5150298  101   135248   97540  36083    269 1239.44
1299.03/1299.39	c   339341   3266    55698  6054614  108   145124  107295  41020    270 1254.74
1299.03/1299.39	c   346847   3266    63204  6967935  110   160134  118025  48526    271 1277.08
1299.03/1299.39	o 4989520	1299.14
1800.06/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.40	c   351426   3266    67784  8327414  122   171055   50050  53106    270 1299.14
1800.06/1800.40	c   351527   3266    67885  8361406  123   171257   55056  53207    270 1299.72
1800.06/1800.40	c   351778   3266    68136  8463683  124   171761   60562  53458    270 1301.12
1800.06/1800.40	c   352255   3266    68613  8618370  125   172713   66619  53935    270 1303.46
1800.06/1800.40	c   353069   3266    69427  8990965  129   174343   73281  54749    269 1307.95
1800.06/1800.40	c   354389   3266    70747  9287252  131   176981   80610  56069    269 1313.47
1800.06/1800.40	c   356471   3266    72829  9974614  136   181147   88672  58151    268 1325.79
1800.06/1800.40	c   359696   3266    76054 10873734  142   187595   97540  61376    268 1341.77
1800.06/1800.40	c   364633   3266    80991 12471357  153   197471  107295  66313    264 1377.83
1800.06/1800.40	c   372139   3266    88497 14509980  163   212481  118025  73819    261 1425.73
1800.06/1800.40	c   383500   3266    99858 18575958  186   235205  129828  85180    252 1517.42
1800.06/1800.40	c   400644   3266   117002 22519092  192   269491  142811 102324    242 1651.37
1800.06/1800.40	c Caught signal: 15
1800.06/1800.40	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 
1800.06/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.40	c  330   414778 175436  1028905   131136 27103386 116458    230 1800.07
1800.06/1800.40	c Objective: 4989520
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	c Total time: 1800.07 s

OK	4989520

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-3744253-1338804807/watcher-3744253-1338804807 -o /tmp/evaluation-result-3744253-1338804807/solver-3744253-1338804807 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744253-1338804807.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: 2.00 2.00 2.00 2/174 31471
/proc/meminfo: memFree=25432976/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4194304 196 0 0 0 0 0 0 0 20 0 1 0 346606104 4583424 146 33554432000 134512640 135840783 4290788320 4290787660 2491821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 1119 147 129 325 0 39 0

[startup+0.0942041 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31471
/proc/meminfo: memFree=25432976/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=8308 CPUtime=0.08 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 1519 0 0 0 8 0 0 0 20 0 1 0 346606104 8507392 1313 33554432000 134512640 135840783 4290788320 4290705692 5047344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 2077 1313 342 325 0 1013 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8308

[startup+0.100171 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31471
/proc/meminfo: memFree=25432976/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=8308 CPUtime=0.08 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 1519 0 0 0 8 0 0 0 20 0 1 0 346606104 8507392 1313 33554432000 134512640 135840783 4290788320 4290705692 5047344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 2077 1313 342 325 0 1013 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8308

[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31471
/proc/meminfo: memFree=25432976/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=8308 CPUtime=0.28 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 1520 0 0 0 28 0 0 0 20 0 1 0 346606104 8507392 1314 33554432000 134512640 135840783 4290788320 4290705692 5047344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 2077 1314 342 325 0 1013 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8308

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31471
/proc/meminfo: memFree=25432976/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=8308 CPUtime=0.68 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 1520 0 0 0 68 0 0 0 20 0 1 0 346606104 8507392 1314 33554432000 134512640 135840783 4290788320 4290705692 5047344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 2077 1314 342 325 0 1013 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8308

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25428596/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=10688 CPUtime=1.49 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 2261 0 0 0 148 1 0 0 20 0 1 0 346606104 10944512 1929 33554432000 134512640 135840783 4290788320 4290787680 134551368 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31471/statm: 2672 1929 349 325 0 1608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10688

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25425000/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=12688 CPUtime=3.08 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 2769 0 0 0 307 1 0 0 20 0 1 0 346606104 12992512 2437 33554432000 134512640 135840783 4290788320 4290787680 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 3172 2437 349 325 0 2108 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12688

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25421644/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=16328 CPUtime=6.28 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 3674 0 0 0 627 1 0 0 20 0 1 0 346606104 16719872 3345 33554432000 134512640 135840783 4290788320 4290787680 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 4082 3345 349 325 0 3018 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16328

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25410756/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=24776 CPUtime=12.68 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 5806 0 0 0 1267 1 0 0 20 0 1 0 346606104 25370624 5477 33554432000 134512640 135840783 4290788320 4290787792 134552329 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 6194 5477 349 325 0 5130 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24776

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25401444/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=34172 CPUtime=25.47 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 8146 0 0 0 2545 2 0 0 20 0 1 0 346606104 34992128 7811 33554432000 134512640 135840783 4290788320 4290787680 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 8543 7811 349 325 0 7479 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34172

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31472
/proc/meminfo: memFree=25392640/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=42732 CPUtime=51.07 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 10288 0 0 0 5104 3 0 0 20 0 1 0 346606104 43757568 9953 33554432000 134512640 135840783 4290788320 4290787680 134551093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 10683 9953 349 325 0 9619 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42732

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31473
/proc/meminfo: memFree=25364616/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=64804 CPUtime=102.27 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 15809 0 0 0 10222 5 0 0 20 0 1 0 346606104 66359296 15474 33554432000 134512640 135840783 4290788320 4290787680 134551383 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 16201 15474 349 325 0 15137 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64804

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31473
/proc/meminfo: memFree=25321332/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=94616 CPUtime=162.25 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 23259 0 0 0 16218 7 0 0 20 0 1 0 346606104 96886784 22924 33554432000 134512640 135840783 4290788320 4290787680 134551098 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 23654 22924 349 325 0 22590 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 94616

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31473
/proc/meminfo: memFree=25286812/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=117076 CPUtime=222.23 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 28881 0 0 0 22213 10 0 0 20 0 1 0 346606104 119885824 28530 33554432000 134512640 135840783 4290788320 4290787680 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 29269 28530 349 325 0 28205 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 117076

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31473
/proc/meminfo: memFree=25260204/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=134516 CPUtime=282.2 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 33342 0 0 0 28208 12 0 0 20 0 1 0 346606104 137744384 32898 33554432000 134512640 135840783 4290788320 4290787680 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 33629 32898 349 325 0 32565 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 134516

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31473
/proc/meminfo: memFree=25253260/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=134516 CPUtime=342.19 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 33342 0 0 0 34207 12 0 0 20 0 1 0 346606104 137744384 32898 33554432000 134512640 135840783 4290788320 4290787680 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 33629 32898 349 325 0 32565 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 134516

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31477
/proc/meminfo: memFree=25247044/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=134516 CPUtime=402.18 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 33345 0 0 0 40206 12 0 0 20 0 1 0 346606104 137744384 32901 33554432000 134512640 135840783 4290788320 4290787680 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 33629 32901 349 325 0 32565 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 134516

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31477
/proc/meminfo: memFree=25242188/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=134828 CPUtime=462.17 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 33406 0 0 0 46205 12 0 0 20 0 1 0 346606104 138063872 32962 33554432000 134512640 135840783 4290788320 4290787616 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 33707 32962 349 325 0 32643 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 134828

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 31477
/proc/meminfo: memFree=25234748/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=134828 CPUtime=522.16 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 33406 0 0 0 52204 12 0 0 20 0 1 0 346606104 138063872 32962 33554432000 134512640 135840783 4290788320 4290787680 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 33707 32962 349 325 0 32643 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 134828

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31477
/proc/meminfo: memFree=25221728/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=140916 CPUtime=582.15 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 34952 0 0 0 58203 12 0 0 20 0 1 0 346606104 144297984 34508 33554432000 134512640 135840783 4290788320 4290787680 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 35229 34508 349 325 0 34165 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 140916

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31479
/proc/meminfo: memFree=25155212/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=155436 CPUtime=822.11 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 38622 0 0 0 82198 13 0 0 20 0 1 0 346606104 159166464 38114 33554432000 134512640 135840783 4290788320 4290787680 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 38859 38114 349 325 0 37795 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 155436

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31479
/proc/meminfo: memFree=25143908/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=155436 CPUtime=882.1 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 38632 0 0 0 88197 13 0 0 20 0 1 0 346606104 159166464 38114 33554432000 134512640 135840783 4290788320 4290787680 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 38859 38114 349 325 0 37795 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 155436

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31479
/proc/meminfo: memFree=25129400/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=155436 CPUtime=942.09 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 38632 0 0 0 94196 13 0 0 20 0 1 0 346606104 159166464 38114 33554432000 134512640 135840783 4290788320 4290787680 134551347 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 38859 38114 349 325 0 37795 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 155436

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 31483
/proc/meminfo: memFree=25115604/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=155436 CPUtime=1002.08 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 38632 0 0 0 100195 13 0 0 20 0 1 0 346606104 159166464 38114 33554432000 134512640 135840783 4290788320 4290787632 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 38859 38114 349 325 0 37795 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 155436

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31483
/proc/meminfo: memFree=25098208/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=162456 CPUtime=1062.07 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 40458 0 0 0 106192 15 0 0 20 0 1 0 346606104 166354944 39873 33554432000 134512640 135840783 4290788320 4290787680 134551383 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 40614 39873 349 325 0 39550 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 162456

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31483
/proc/meminfo: memFree=25084936/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=162456 CPUtime=1122.06 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 40458 0 0 0 112191 15 0 0 20 0 1 0 346606104 166354944 39873 33554432000 134512640 135840783 4290788320 4290787840 134551981 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 40614 39873 349 325 0 39550 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 162456

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31483
/proc/meminfo: memFree=25069312/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=162456 CPUtime=1182.05 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 40458 0 0 0 118190 15 0 0 20 0 1 0 346606104 166354944 39873 33554432000 134512640 135840783 4290788320 4290787680 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 40614 39873 349 325 0 39550 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 162456

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31523
/proc/meminfo: memFree=25501692/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=162716 CPUtime=1242.04 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 40519 0 0 0 124189 15 0 0 20 0 1 0 346606104 166621184 39934 33554432000 134512640 135840783 4290788320 4290787680 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 40679 39934 349 325 0 39615 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 162716

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31524
/proc/meminfo: memFree=25399416/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=162716 CPUtime=1302.04 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 40519 0 0 0 130189 15 0 0 20 0 1 0 346606104 166621184 39934 33554432000 134512640 135840783 4290788320 4290787632 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 40679 39934 349 325 0 39615 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 162716

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 31524
/proc/meminfo: memFree=25230412/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=166024 CPUtime=1362.03 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 41372 0 0 0 136187 16 0 0 20 0 1 0 346606104 170008576 40787 33554432000 134512640 135840783 4290788320 4290787680 134551342 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 41506 40787 349 325 0 40442 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 166024

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 31524
/proc/meminfo: memFree=25097760/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=199868 CPUtime=1422.02 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 49813 0 0 0 142184 18 0 0 20 0 1 0 346606104 204664832 49228 33554432000 134512640 135840783 4290788320 4290787680 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 49967 49228 349 325 0 48903 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 199868

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 31524
/proc/meminfo: memFree=25025496/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=234152 CPUtime=1482 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 58395 0 0 0 148178 22 0 0 20 0 1 0 346606104 239771648 57810 33554432000 134512640 135840783 4290788320 4290787680 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 58538 57810 349 325 0 57474 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 234152

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31524
/proc/meminfo: memFree=24962532/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=263768 CPUtime=1541.99 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 65783 0 0 0 154174 25 0 0 20 0 1 0 346606104 270098432 65198 33554432000 134512640 135840783 4290788320 4290787680 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 65942 65198 349 325 0 64878 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 263768

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31528
/proc/meminfo: memFree=24820052/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=286220 CPUtime=1601.99 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 71417 0 0 0 160171 28 0 0 20 0 1 0 346606104 293089280 70832 33554432000 134512640 135840783 4290788320 4290787680 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 71555 70832 349 325 0 70491 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 286220

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 31528
/proc/meminfo: memFree=24500316/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=311820 CPUtime=1661.98 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 77809 0 0 0 166167 31 0 0 20 0 1 0 346606104 319303680 77224 33554432000 134512640 135840783 4290788320 4290779168 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 77955 77224 349 325 0 76891 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 311820

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 31528
/proc/meminfo: memFree=24308516/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=339444 CPUtime=1721.96 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 84723 0 0 0 172163 33 0 0 20 0 1 0 346606104 347590656 84138 33554432000 134512640 135840783 4290788320 4290787596 2677503 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 84861 84138 349 325 0 83797 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 339444

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 31528
/proc/meminfo: memFree=24207360/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=360304 CPUtime=1781.96 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 89923 0 0 0 178159 37 0 0 20 0 1 0 346606104 368951296 89338 33554432000 134512640 135840783 4290788320 4290787680 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 90076 89338 349 325 0 89012 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 360304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31528
/proc/meminfo: memFree=24181412/32873852 swapFree=6856/6856
[pid=31471] ppid=31469 vsize=365872 CPUtime=1800.06 cores=1,3,5,7
/proc/31471/stat : 31471 (bsolo3.0.17) R 31469 31471 30817 0 -1 4202496 91339 0 0 0 179969 37 0 0 20 0 1 0 346606104 374652928 90754 33554432000 134512640 135840783 4290788320 4290787680 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31471/statm: 91468 90754 349 325 0 90404 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 365872

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

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

Child status: 15
Real time (s): 1800.42
CPU time (s): 1800.09
CPU user time (s): 1799.7
CPU system time (s): 0.39194
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 365872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.39194
maximum resident set size= 363016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91342
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= 87
involuntary context switches= 2049

runsolver used 3.81142 second user time and 9.72352 second system time

The end

Begin job on node129 at 2012-06-04 12:13:27
IDJOB=3744253
IDBENCH=92714
IDSOLVER=2318
FILE ID=node129/3744253-1338804807
RUNJOBID= node129-1338796573-30834
PBS_JOBID= 14636860
Free space on /tmp= 70452 MiB

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

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

MD5SUM BENCH= cf07fc1cad99b0f245ba698ecbf7dcb2
RANDOM SEED=1830431728

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25433316 kB
Buffers:          493776 kB
Cached:          5789192 kB
SwapCached:            0 kB
Active:          2971496 kB
Inactive:        3571620 kB
Active(anon):     251740 kB
Inactive(anon):    10748 kB
Active(file):    2719756 kB
Inactive(file):  3560872 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7068 kB
Writeback:             0 kB
AnonPages:        266544 kB
Mapped:            15640 kB
Shmem:               204 kB
Slab:             758128 kB
SReclaimable:     200492 kB
SUnreclaim:       557636 kB
KernelStack:        1448 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     376308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 70472 MiB
End job on node129 at 2012-06-04 12:43:29