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-3733353-1338695264.opb
0.00/0.00	c File size is 808805 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 1.93274e+11
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.054 s
0.00/0.06	c Var: 8600 Constr: 3042 600/400/2042 Lit: 66230 Watch. Lit: 16192
0.00/0.06	c Obj. Vars: 5400 (62.7907 % of total variables)
0.39/0.41	c Pre-processing Time: 0.412 s
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c        0   7840     3002    65640   21    24486  127880      0      0 0.41
1.99/2.03	c      100   7840     3102    75379   24    31594  140669    100    216 0.46
1.99/2.03	c      250   7840     3252    87549   26    31935  154736    250    488 0.51
1.99/2.03	c      475   7840     3477    96578   27    32454  170210    475    826 0.57
1.99/2.03	c      813   7840     3815   103345   27    28153  187232    813   1262 0.64
1.99/2.03	c     1321   7840     4323   144506   33    30499  205956   1321   1545 0.85
1.99/2.03	c     2085   7840     5087   176794   34    30695  226552   2085   1845 1.13
1.99/2.03	c     3232   7840     6234   285389   45    34011  249208   3232   2041 1.58
1.99/2.03	o 11806720	2.027
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c     4604   7840     7607   350047   46    42416  138680   4605   2269 2.03
2.19/2.24	c     4705   7840     7708   358112   46    43192  152549   4706   2241 2.10
2.19/2.24	c     4959   7840     7962   370746   46    42672  167804   4960   2265 2.19
2.19/2.24	o 9838592	2.242
4.19/4.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.25	c     5110   7840     8114   378667   46    47683  138680   5112   2276 2.25
4.19/4.25	c     5210   7840     8214   393955   47    49551  152549   5212   2199 2.37
4.19/4.25	c     5466   7840     8470   408686   48    51428  167804   5468   2245 2.43
4.19/4.25	c     5941   7840     8945   448528   50    52600  184585   5943   2285 2.60
4.19/4.25	c     6754   7840     9758   571905   58    51016  203044   6756   2094 3.22
4.19/4.25	c     8074   7840    11078   635927   57    54891  223349   8076   2169 3.72
4.19/4.25	o 9715712	4.245
7.98/8.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.98/8.04	c     9528   7840    12533   730832   58    63252  138680   9531   2242 4.25
7.98/8.04	c     9630   7840    12635   739147   58    62876  152549   9633   2218 4.34
7.98/8.04	c     9880   7840    12885   751113   58    62813  167804   9883   2220 4.45
7.98/8.04	c    10355   7840    13360   767906   57    64263  184585  10358   2253 4.59
7.98/8.04	c    11168   7840    14173   871341   61    66284  203044  11171   2162 5.16
7.98/8.04	c    12488   7840    15493  1009410   65    69244  223349  12491   2139 5.84
7.98/8.04	c    14570   7840    17575  1235009   70    73585  245684  14573   1984 7.34
7.98/8.04	o 9626624	8.038
8.39/8.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.49	c    15781   7840    18787  1366005   72    80872  138680  15785   1962 8.04
8.39/8.49	c    15882   7840    18888  1376925   72    80678  152549  15886   1942 8.18
8.39/8.49	c    16143   7840    19149  1400355   73    81208  167804  16147   1936 8.34
8.39/8.49	o 6312960	8.488
13.88/13.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.88/13.94	c    16428   7840    19435  1423002   73    87166  138680  16433   1934 8.49
13.88/13.94	c    16528   7840    19535  1430068   73    87765  152549  16533   1922 8.60
13.88/13.94	c    16779   7840    19786  1461539   73    89346  167804  16784   1917 8.75
13.88/13.94	c    17254   7840    20261  1496908   73    89463  184585  17259   1905 9.05
13.88/13.94	c    18068   7840    21075  1681654   79    91714  203044  18073   1791 10.09
13.88/13.94	c    19388   7840    22395  1876760   83    94874  223349  19393   1617 11.99
13.88/13.94	c    21470   7838    24477  2057882   84    96842  245684  21475   1606 13.36
13.88/13.94	o 4874240	13.933
18.38/18.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.38/18.42	c    22091   7838    25099  2132149   84   104755  138680  22097   1585 13.94
18.38/18.42	c    22193   7838    25201  2145953   85   104918  152549  22199   1576 14.07
18.38/18.42	c    22446   7838    25454  2177353   85   104167  167804  22452   1565 14.34
18.38/18.42	c    22924   7838    25932  2250183   86   105312  184585  22930   1533 14.95
18.38/18.42	c    23737   7838    26745  2334687   87   109270  203044  23743   1506 15.76
18.38/18.42	c    25059   7837    28067  2549828   90   111632  223349  25065   1397 17.94
18.38/18.42	o 3348480	18.42
39.78/39.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.78/39.83	c    25766   7837    28775  2602507   90   118230  138678  25773   1398 18.42
39.78/39.83	c    25867   7837    28876  2618266   90   116843  152546  25874   1390 18.60
39.78/39.83	c    26117   7837    29126  2654419   91   120392  167801  26124   1373 19.02
39.78/39.83	c    26592   7837    29601  2714213   91   118894  184582  26599   1343 19.79
39.78/39.83	c    27406   7837    30415  2894290   95   120676  203041  27413   1271 21.55
39.78/39.83	c    28727   7836    31736  3123089   98   122827  223346  28734   1229 23.37
39.78/39.83	c    30813   7835    33822  3611686  106   127537  245681  30820   1132 27.20
39.78/39.83	c    34036   7833    37045  4241797  114   133086  270250  34043   1029 33.08
39.78/39.83	o 2736128	39.826
102.77/102.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.77/102.81	c    37086   7833    40096  4984336  124   145665  138670  37094    931 39.83
102.77/102.81	c    37187   7833    40197  5008755  124   145917  152538  37195    929 40.01
102.77/102.81	c    37438   7833    40448  5095749  125   145830  167792  37446    925 40.45
102.77/102.81	c    37913   7833    40923  5236948  127   146071  184572  37921    911 41.57
102.77/102.81	c    38726   7833    41736  5407270  129   150048  203030  38734    892 43.37
102.77/102.81	c    40046   7833    43056  5794292  134   152358  223334  40054    846 47.30
102.77/102.81	c    42129   7833    45139  6324820  140   154979  245668  42137    770 54.68
102.77/102.81	c    45352   7832    48362  7054916  145   161372  270235  45360    725 62.51
102.77/102.81	c    50289   7832    53299  8459909  158   174712  297259  50297    642 78.26
102.77/102.81	o 2245632	102.797
146.37/146.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.37/146.46	c    56679   7830    59690 10299746  172   190756  138664  56688    551 102.80
146.37/146.46	c    56780   7830    59791 10338093  172   191527  152531  56789    548 103.50
146.37/146.46	c    57030   7830    60041 10462513  174   192033  167785  57039    545 104.61
146.37/146.46	c    57506   7830    60517 10582204  174   190769  184564  57515    542 106.06
146.37/146.46	c    58319   7830    61330 10778992  175   194119  203021  58328    534 109.20
146.37/146.46	c    59640   7830    62651 11133429  177   194350  223324  59649    524 113.71
146.37/146.46	c    61723   7830    64734 11800323  182   200064  245657  61732    499 123.68
146.37/146.46	c    64950   7829    67961 12922024  190   206677  270223  64959    457 142.05
146.37/146.46	o 1868800	146.439
149.26/149.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.26/149.35	c    65978   7828    68990 13173474  190   213675  138660  65988    450 146.44
149.26/149.35	c    66078   7828    69090 13215384  191   214352  152527  66088    449 146.88
149.26/149.35	c    66330   7828    69342 13333314  192   217171  167780  66340    447 148.16
149.26/149.35	o 765952	149.324
221.45/221.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
221.45/221.54	c    66529   7828    69542 13433778  193   220385  138660  66540    445 149.33
221.45/221.54	c    66629   7828    69642 13469301  193   220428  152527  66640    444 150.01
221.45/221.54	c    66880   7828    69893 13545642  193   223305  167780  66891    441 151.32
221.45/221.54	c    67355   7828    70368 13687400  194   221545  184559  67366    441 152.62
221.45/221.54	c    68172   7828    71185 13899505  195   222137  203015  68183    434 156.91
221.45/221.54	c    69492   7828    72505 14434694  199   226555  223317  69503    424 163.89
221.45/221.54	c    71573   7827    74586 15048276  201   231570  245649  71584    403 177.46
221.45/221.54	c    74796   7825    77809 16073110  206   237462  270214  74807    379 196.84
221.45/221.54	o 284672	221.51
255.45/255.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
255.45/255.59	c    78442   7823    81456 17493630  214   250367  138654  78454    354 221.51
255.45/255.59	c    78544   7823    81558 17538488  215   249379  152520  78556    353 222.37
255.45/255.59	c    78794   7823    81808 17614862  215   251723  167773  78806    350 225.03
255.45/255.59	c    79269   7823    82283 17746690  215   251053  184551  79281    346 228.92
255.45/255.59	c    80088   7823    83102 17997476  216   254002  203007  80100    342 233.54
255.45/255.59	c    81409   7821    84423 18387837  217   256722  223308  81421    333 243.81
255.45/255.59	o 256000	255.55
345.47/345.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
345.47/345.61	c    82924   7819    85939 18900510  219   264397  138648  82937    324 255.55
345.47/345.61	c    83025   7819    86040 18914316  219   264743  152513  83038    324 256.23
345.47/345.61	c    83275   7819    86290 18998072  220   264380  167765  83288    321 259.10
345.47/345.61	c    83750   7819    86765 19147133  220   265659  184542  83763    318 263.29
345.47/345.61	c    84564   7817    87579 19457499  222   266878  202997  84577    314 269.16
345.47/345.61	c    85886   7813    88901 19956825  224   271304  223297  85899    307 279.13
345.47/345.61	c    87968   7812    90983 20579011  226   275677  245627  87981    298 294.50
345.47/345.61	c    91192   7808    94207 21563603  228   279380  270190  91205    281 324.35
345.47/345.61	o 248832	345.492
373.85/374.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
373.85/374.03	c    93512   7807    96528 22310439  231   290903  138630  93526    270 345.50
373.85/374.03	c    93613   7807    96629 22337627  231   290685  152494  93627    270 346.12
373.85/374.03	c    93863   7807    96879 22408043  231   292810  167744  93877    269 347.73
373.85/374.03	c    94340   7807    97356 22560800  231   291537  184519  94354    267 352.31
373.85/374.03	c    95154   7806    98170 22813160  232   293827  202971  95168    265 358.81
373.85/374.03	c    96474   7805    99490 23284963  234   298031  223269  96488    260 370.86
373.85/374.03	o 244736	373.887
375.34/375.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
375.34/375.56	c    96832   7805    99849 23457551  234   303588  138626  96847    258 373.89
375.34/375.56	c    96932   7805    99949 23485143  234   302491  152489  96947    258 374.55
375.34/375.56	o 221184	375.414
387.93/388.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
387.93/388.17	c    97024   7805   100042 23538864  235   308263  138626  97040    258 375.42
387.93/388.17	c    97124   7805   100142 23593036  235   309181  152489  97140    258 376.15
387.93/388.17	c    97374   7805   100392 23672763  235   309604  167738  97390    257 378.05
387.93/388.17	c    97854   7805   100872 23874011  236   312396  184512  97870    255 382.77
387.93/388.17	o 216064	388.015
391.83/392.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
391.83/392.01	c    98446   7805   101465 24073499  237   316356  138626  98463    253 388.02
391.83/392.01	c    98547   7804   101566 24126892  237   319039  152489  98564    253 389.13
391.83/392.01	c    98797   7804   101816 24208250  237   319050  167738  98814    252 391.47
391.83/392.01	o 187392	391.855
396.83/397.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
396.83/397.04	c    98842   7804   101862 24240167  237   322331  138626  98860    252 391.86
396.83/397.04	c    98942   7804   101962 24272396  238   323512  152489  98960    251 392.83
396.83/397.04	c    99192   7804   102212 24409565  238   325837  167738  99210    251 394.90
396.83/397.04	o 184320	396.884
417.11/417.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
417.11/417.32	c    99568   7804   102589 24541746  239   330006  138626  99587    250 396.89
417.11/417.32	c    99669   7804   102690 24553805  239   329241  152489  99688    250 397.42
417.11/417.32	c    99921   7804   102942 24639590  239   330288  167738  99940    250 399.54
417.11/417.32	c   100396   7804   103417 24794515  239   331758  184512 100415    248 404.64
417.11/417.32	c   101209   7804   104230 25066174  240   333215  202964 101228    245 412.24
417.11/417.32	o 130048	417.139
433.20/433.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
433.20/433.48	c   101733   7804   104755 25250927  241   339138  138626 101753    243 417.14
433.20/433.48	c   101833   7804   104855 25302590  241   340840  152489 101853    243 418.01
433.20/433.48	c   102084   7804   105106 25397209  241   339508  167738 102104    242 420.83
433.20/433.48	c   102562   7803   105584 25612789  242   341237  184512 102582    241 425.44
433.20/433.48	c   103378   7803   106400 25986251  244   342102  202964 103398    238 432.80
433.20/433.48	o 129024	433.283
439.29/439.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
439.29/439.54	c   103422   7803   106445 25995392  244   347007  138626 103443    238 433.29
439.29/439.54	c   103522   7803   106545 26046564  244   350619  152489 103543    238 434.68
439.29/439.54	c   103774   7803   106797 26131331  244   350777  167738 103795    237 437.71
439.29/439.54	o 120832	439.342
448.38/448.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
448.38/448.69	c   103960   7803   106984 26216020  245   354843  138626 103982    236 439.35
448.38/448.69	c   104061   7803   107085 26253221  245   354672  152489 104083    236 440.44
448.38/448.69	c   104311   7803   107335 26338737  245   355915  167738 104333    235 442.71
448.38/448.69	c   104787   7803   107811 26489443  245   355521  184512 104809    234 446.00
448.38/448.69	o 115712	448.49
465.16/465.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
465.16/465.40	c   105007   7803   108032 26571493  245   361771  138626 105030    234 448.49
465.16/465.40	c   105109   7803   108134 26592072  245   361629  152489 105132    233 449.35
465.16/465.40	c   105359   7803   108384 26707825  246   363964  167738 105382    233 452.15
465.16/465.40	c   105834   7802   108859 26897113  247   364131  184512 105857    231 457.39
465.16/465.40	o 114688	465.174
468.66/468.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
468.66/468.91	c   106592   7798   109618 27204373  248   370235  138620 106616    229 465.18
468.66/468.91	c   106692   7798   109718 27231086  248   370494  152483 106716    228 466.80
468.66/468.91	o 37888	468.682
505.76/506.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
505.76/506.00	c   106854   7798   109881 27299102  248   376135  138620 106879    227 468.69
505.76/506.00	c   106955   7798   109982 27324629  248   377293  152483 106980    227 469.78
505.76/506.00	c   107207   7797   110234 27402753  248   378831  167732 107232    226 473.12
505.76/506.00	c   107682   7793   110709 27541562  248   378050  184506 107707    225 477.43
505.76/506.00	c   108496   7793   111523 27796813  249   381659  202957 108521    222 486.57
505.76/506.00	c   109817   7791   112844 28263295  250   383713  223253 109842    218 501.79
505.76/506.00	o 35840	505.768
528.95/529.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
528.95/529.25	c   110246   7790   113274 28448875  251   388836  138610 110272    217 505.77
528.95/529.25	c   110348   7790   113376 28487749  251   389801  152472 110374    217 507.18
528.95/529.25	c   110598   7789   113626 28554654  251   390329  167720 110624    217 509.66
528.95/529.25	c   111074   7788   114102 28708031  251   392462  184493 111100    215 515.19
528.95/529.25	c   111888   7785   114916 28940185  251   392821  202943 111914    213 524.07
528.95/529.25	o 33792	529.014
543.15/543.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
543.15/543.40	c   112352   7785   115381 29096032  252   398371  138600 112379    212 529.02
543.15/543.40	c   112453   7785   115482 29126031  252   398465  152461 112480    212 530.10
543.15/543.40	c   112704   7785   115733 29215721  252   400214  167708 112731    211 532.11
543.15/543.40	c   113179   7783   116208 29313076  252   401841  184479 113206    210 537.03
543.15/543.40	o 31744	543.161
552.24/552.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
552.24/552.54	c   113939   7783   116969 29586267  252   406534  138598 113967    209 543.16
552.24/552.54	c   114041   7783   117071 29617015  252   406895  152458 114069    209 544.40
552.24/552.54	c   114294   7783   117324 29709049  253   408993  167704 114322    208 547.58
552.24/552.54	c   114770   7783   117800 29786849  252   408430  184475 114798    208 550.54
552.24/552.54	o 25600	552.3
554.44/554.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
554.44/554.79	c   114919   7783   117950 29831063  252   413734  138598 114948    208 552.30
554.44/554.79	c   115020   7783   118051 29851557  252   414407  152458 115049    207 553.24
554.44/554.79	o 23552	554.55
573.95/574.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
573.95/574.27	c   115167   7783   118199 29899598  252   419372  138598 115197    207 554.55
573.95/574.27	c   115271   7783   118303 29923800  252   422063  152458 115301    207 555.31
573.95/574.27	c   115521   7783   118553 30031472  253   421307  167704 115551    206 558.75
573.95/574.27	c   115997   7783   119029 30150520  253   421387  184475 116027    205 563.68
573.95/574.27	c   116810   7783   119842 30422401  253   424915  202923 116840    203 573.44
573.95/574.27	o 22528	574.027
575.64/575.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
575.64/575.95	c   116847   7783   119880 30436739  253   428285  138598 116878    203 574.03
575.64/575.95	c   116947   7783   119980 30477063  254   431283  152458 116978    203 575.16
575.64/575.95	o 21504	575.707
576.15/576.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
576.15/576.44	c   116981   7783   120015 30495292  254   434054  138598 117013    203 575.71
576.15/576.44	o 18432	576.189
579.44/579.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
579.44/579.70	c   117033   7783   120068 30509808  254   439485  138598 117066    203 576.19
579.44/579.70	c   117135   7783   120170 30531756  254   439587  152458 117168    202 577.03
579.44/579.70	o 17408	579.455
584.54/584.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
584.54/584.86	c   117360   7782   120396 30571681  253   445428  138596 117394    202 579.46
584.54/584.86	c   117460   7782   120496 30599819  253   446950  152456 117494    202 580.31
584.54/584.86	c   117710   7782   120746 30736782  254   447634  167702 117744    202 582.64
584.54/584.86	o 16384	584.61
593.44/593.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
593.44/593.72	c   118016   7782   121053 30772888  254   452550  138596 118051    201 584.61
593.44/593.72	c   118116   7782   121153 30800988  254   452206  152456 118151    201 585.91
593.44/593.72	c   118366   7782   121403 30879724  254   455144  167702 118401    200 589.62
593.44/593.72	o 15360	593.467
596.24/596.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
596.24/596.50	c   118754   7782   121792 30961609  254   459151  138596 118790    200 593.47
596.24/596.50	c   118855   7782   121893 30981861  254   459433  152456 118891    199 594.75
596.24/596.50	o 14336	596.251
600.43/600.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
600.43/600.71	c   118945   7781   121984 31022101  254   464956  138594 118982    199 596.25
600.43/600.71	c   119045   7780   122084 31059184  254   464975  152454 119082    198 598.32
600.43/600.71	o 13312	600.454
607.94/608.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
607.94/608.23	c   119247   7780   122287 31121826  254   471147  138592 119285    198 600.46
607.94/608.23	c   119350   7779   122390 31155342  254   473208  152452 119388    198 601.71
607.94/608.23	c   119602   7779   122642 31269604  254   470460  167698 119640    197 604.50
607.94/608.23	o 12288	607.977
613.03/613.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
613.03/613.30	c   119962   7779   123003 31370661  255   477860  138592 120001    197 607.98
613.03/613.30	c   120062   7779   123103 31417619  255   479188  152452 120101    196 609.60
613.03/613.30	c   120312   7778   123353 31477931  255   479472  167698 120351    196 612.27
613.03/613.30	o 11264	613.05
637.53/637.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
637.53/637.87	c   120394   7778   123436 31494174  255   483937  138590 120434    196 613.05
637.53/637.87	c   120498   7778   123540 31511008  255   485514  152450 120538    196 614.11
637.53/637.87	c   120749   7776   123791 31602325  255   487494  167696 120789    195 617.41
637.53/637.87	c   121226   7775   124268 31797059  255   486101  184466 121266    194 623.25
637.53/637.87	c   122039   7772   125081 32021769  256   488043  202913 122079    192 634.52
637.53/637.87	o 10240	637.612
639.73/640.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
639.73/640.06	c   122324   7769   125367 32077000  255   493064  138576 122365    191 637.62
639.73/640.06	c   122426   7769   125469 32102075  255   494142  152434 122467    191 639.04
639.73/640.06	o 9216	639.801
1800.03/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.61	c   122507   7769   125551 32117387  255   498346  138576 122549    191 639.81
1800.03/1800.61	c   122616   7769   125660 32165369  255   500314  152434 122658    191 641.27
1800.03/1800.61	c   122868   7769   125912 32252401  256   499582  167678 122910    190 643.94
1800.03/1800.61	c   123346   7769   126390 32420414  256   500199  184446 123388    190 648.68
1800.03/1800.61	c   124162   7767   127206 32677126  256   502485  202891 124204    188 658.94
1800.03/1800.61	c   125486   7763   128530 33070192  257   504894  223181 125528    185 676.21
1800.03/1800.61	c   127567   7752   130611 33777299  258   509371  245500 127609    181 702.26
1800.03/1800.61	c   130790   7729   133834 34864586  260   515322  270051 130832    175 747.12
1800.03/1800.61	c   135732   7714   138776 36299127  261   526278  297057 135774    170 797.74
1800.03/1800.61	c   143238   7668   146282 38463756  262   541207  326763 143280    157 909.74
1800.03/1800.61	c   154601   7616   157645 42144881  267   564159  359440 154643    142 1085.02
1800.03/1800.61	c   171747   7552   174791 47520053  271   599705  395385 171789    126 1357.97
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -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 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -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 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -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 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -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 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -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 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -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 -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 -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 -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 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -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 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -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 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -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 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -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 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -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 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 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 -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 -x7702 -x7707 -x7711 -x7712 -x7713 -x7714 -x7715 -x7718 -x7723 -x7728 -x7703 -x7708 -x7716 -x7717 -x7719 -x7720 -x7724 -x7729 -x7704 -x7709 -x7721 -x7722 -x7725 -x7730 -x7705 -x7710 -x7726 -x7727 -x7731 -x7736 -x7737 -x7738 -x7739 -x7740 -x7742 -x7747 -x7752 -x7757 -x7733 -x7743 -x7746 -x7748 -x7749 -x7750 -x7754 -x7759 -x7734 -x7744 -x7751 -x7753 -x7755 -x7760 -x7735 -x7745 -x7756 -x7758 -x7761 -x7766 -x7767 -x7768 -x7769 -x7770 -x7772 -x7777 -x7782 -x7787 -x7762 -x7771 -x7773 -x7774 -x7775 -x7778 -x7783 -x7788 -x7764 -x7779 -x7781 -x7784 -x7785 -x7790 -x7765 -x7780 -x7786 -x7789 -x7791 -x7796 -x7797 -x7798 -x7799 -x7800 -x7802 -x7807 -x7812 -x7817 -x7792 -x7801 -x7803 -x7804 -x7805 -x7808 -x7813 -x7818 -x7793 -x7806 -x7809 -x7810 -x7814 -x7819 -x7795 -x7815 -x7816 -x7820 -x7821 -x7826 -x7827 -x7828 -x7829 -x7830 -x7832 -x7837 -x7842 -x7847 -x7822 -x7831 -x7833 -x7834 -x7835 -x7838 -x7843 -x7848 -x7823 -x7836 -x7839 -x7840 -x7844 -x7849 -x7824 -x7841 -x7845 -x7850 -x7852 x7857 x7861 -x7862 -x7863 -x7864 -x7865 -x7868 -x7873 -x7878 -x7853 -x7858 -x7866 -x7867 -x7869 -x7870 -x7874 -x7879 -x7854 -x7859 -x7871 -x7872 -x7875 -x7880 -x7855 -x7860 -x7876 -x7877 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7891 -x7896 -x7901 -x7906 -x7888 -x7893 -x7897 -x7898 -x7899 -x7900 -x7904 -x7909 -x7889 -x7894 -x7902 -x7903 -x7905 -x7910 -x7890 -x7895 -x7907 -x7908 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7921 -x7926 -x7931 -x7936 -x7917 -x7922 -x7923 -x7924 -x7925 -x7928 -x7933 -x7938 -x7919 -x7929 -x7932 -x7934 -x7935 -x7940 -x7920 -x7930 -x7937 -x7939 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7951 -x7956 -x7961 -x7966 -x7947 -x7952 -x7953 -x7954 -x7955 -x7958 -x7963 -x7968 -x7948 -x7957 -x7959 -x7960 -x7964 -x7969 -x7950 -x7965 -x7967 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7981 -x7986 -x7991 -x7996 -x7977 -x7982 -x7983 -x7984 -x7985 -x7988 -x7993 -x7998 -x7978 -x7987 -x7989 -x7990 -x7994 -x7999 -x7979 -x7992 -x7995 -x8000 -x8001 -x8006 -x8007 -x8008 -x8009 -x8010 -x8012 -x8017 -x8022 -x8027 -x8003 -x8013 -x8016 -x8018 -x8019 -x8020 -x8024 -x8029 -x8004 -x8014 -x8021 -x8023 -x8025 -x8030 -x8005 -x8015 -x8026 -x8028 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8041 -x8046 -x8051 -x8056 -x8038 -x8043 -x8047 -x8048 -x8049 -x8050 -x8054 -x8059 -x8039 -x8044 -x8052 -x8053 -x8055 -x8060 -x8040 -x8045 -x8057 -x8058 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8071 -x8076 -x8081 -x8086 -x8067 -x8068 -x8069 -x8070 -x8072 -x8077 -x8082 -x8087 -x8074 -x8079 -x8083 -x8084 -x8085 -x8090 -x8075 -x8080 -x8088 -x8089 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8101 -x8106 -x8111 -x8116 -x8097 -x8098 -x8099 -x8100 -x8102 -x8107 -x8112 -x8117 -x8103 -x8108 -x8109 -x8110 -x8114 -x8119 -x8105 -x8115 -x8118 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8131 -x8136 -x8141 -x8146 -x8127 -x8128 -x8129 -x8130 -x8132 -x8137 -x8142 -x8147 -x8133 -x8138 -x8139 -x8140 -x8144 -x8149 -x8134 -x8143 -x8145 -x8150 -x8151 -x8156 x8157 -x8158 -x8159 -x8160 -x8162 -x8167 -x8172 x8177 -x8152 x8161 -x8163 -x8164 -x8165 -x8168 -x8173 -x8178 -x8154 x8169 -x8171 -x8174 x8175 -x8180 -x8155 -x8170 -x8176 -x8179 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8191 -x8196 -x8201 -x8206 -x8187 -x8192 -x8193 -x8194 -x8195 -x8198 -x8203 -x8208 -x8189 x8199 -x8202 -x8204 x8205 -x8210 -x8190 -x8200 x8207 -x8209 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8221 -x8226 -x8231 -x8236 x8217 -x8218 -x8219 -x8220 -x8222 -x8227 -x8232 x8237 -x8224 x8229 -x8233 -x8234 x8235 -x8240 -x8225 -x8230 -x8238 -x8239 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8251 -x8256 -x8261 -x8266 -x8247 -x8248 -x8249 -x8250 -x8252 -x8257 -x8262 -x8267 -x8253 -x8254 -x8255 -x8258 -x8263 -x8268 -x8260 -x8265 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8281 -x8286 -x8291 -x8296 -x8277 -x8278 -x8279 -x8280 -x8282 -x8287 -x8292 -x8297 -x8283 -x8284 -x8285 -x8288 -x8293 -x8298 x8289 -x8294 x8295 -x8300 -x8301 -x8306 x8307 -x8308 -x8309 -x8310 -x8312 -x8317 -x8322 x8327 -x8302 x8311 -x8313 -x8314 -x8315 -x8318 -x8323 -x8328 -x8303 -x8316 -x8319 -x8320 -x8324 -x8329 -x8305 x8325 -x8326 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8341 -x8346 -x8351 -x8356 -x8337 -x8342 -x8343 -x8344 -x8345 -x8348 -x8353 -x8358 -x8338 -x8347 -x8349 -x8350 -x8354 -x8359 -x8340 x8355 x8357 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8371 -x8376 -x8381 -x8386 x8367 -x8368 -x8369 -x8370 -x8372 -x8377 -x8382 x8387 -x8373 -x8378 -x8379 -x8380 -x8384 -x8389 -x8375 x8385 -x8388 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8401 -x8406 -x8411 -x8416 -x8397 -x8398 -x8399 -x8400 -x8402 -x8407 -x8412 -x8417 -x8403 -x8404 -x8405 -x8408 -x8413 -x8418 -x8410 -x8415 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8431 -x8436 -x8441 -x8446 -x8427 -x8428 -x8429 -x8430 -x8432 -x8437 -x8442 -x8447 -x8433 -x8434 -x8435 -x8438 -x8443 -x8448 -x8439 -x8440 -x8444 -x8449 -x8451 -x8456 x8457 -x8458 -x8459 -x8460 -x8462 -x8467 -x8472 x8477 -x8452 x8461 -x8463 -x8464 -x8465 -x8468 -x8473 -x8478 -x8453 -x8466 -x8469 -x8470 -x8474 -x8479 -x8454 -x8471 -x8475 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8491 -x8496 -x8501 -x8506 -x8487 -x8492 -x8493 -x8494 -x8495 -x8498 -x8503 -x8508 -x8488 -x8497 -x8499 -x8500 -x8504 -x8509 -x8489 -x8502 -x8505 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8521 -x8526 -x8531 -x8536 x8517 -x8518 -x8519 -x8520 -x8522 -x8527 -x8532 x8537 -x8523 -x8528 -x8529 -x8530 -x8534 -x8539 -x8524 -x8533 -x8535 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8551 -x8556 -x8561 -x8566 -x8547 -x8548 -x8549 -x8550 -x8552 -x8557 -x8562 -x8567 -x8553 -x8554 -x8555 -x8558 -x8563 -x8568 -x8559 -x8564 -x8565 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8581 -x8586 -x8591 -x8596 -x8577 -x8578 -x8579 -x8580 -x8582 -x8587 -x8592 -x8597 -x8583 -x8584 -x8585 -x8588 -x8593 -x8598 -x8589 -x8590 -x8594 -x8599 -x7701 -x7706 -x7732 -x7741 -x7763 -x7776 -x7794 -x7811 -x7825 -x7846 -x7851 -x7856 x7887 -x7892 -x7918 -x7927 -x7949 -x7962 -x7980 -x7997 -x8002 x8011 -x8037 -x8042 -x8073 -x8078 -x8104 -x8113 -x8135 -x8148 -x8153 -x8166 -x8188 -x8197 -x8223 -x8228 x8259 -x8264 -x8290 -x8299 -x8304 -x8321 -x8339 -x8352 -x8374 -x8383 -x8409 -x8414 x8445 -x8450 -x8455 -x8476 -x8490 x8507 -x8525 -x8538 -x8560 -x8569 -x8595 -x8600 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -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 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c  196   197307  64910   847417   200351 55503870 197349    109 1800.05
1800.03/1800.61	c Objective: 9216
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.05 s

OK	9216

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-3733353-1338695264/watcher-3733353-1338695264 -o /tmp/evaluation-result-3733353-1338695264/solver-3733353-1338695264 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733353-1338695264.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.02 2.01 2.00 3/176 26536
/proc/meminfo: memFree=26800308/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=13300 CPUtime=0 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 1 0 335654990 13619200 415 33554432000 134512640 135840783 4290873280 4290871984 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 3325 415 328 325 0 2063 0

[startup+0.0700951 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26536
/proc/meminfo: memFree=26800308/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=7440 CPUtime=0.06 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 1359 0 0 0 6 0 0 0 20 0 1 0 335654990 7618560 1097 33554432000 134512640 135840783 4290873280 4290769196 7595056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 1860 1097 342 325 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7440

[startup+0.100274 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26536
/proc/meminfo: memFree=26800308/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=7440 CPUtime=0.09 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 1370 0 0 0 9 0 0 0 20 0 1 0 335654990 7618560 1108 33554432000 134512640 135840783 4290873280 4290769196 7595056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 1860 1108 342 325 0 796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7440

[startup+0.300224 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26536
/proc/meminfo: memFree=26800308/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=7440 CPUtime=0.29 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 1375 0 0 0 29 0 0 0 20 0 1 0 335654990 7618560 1113 33554432000 134512640 135840783 4290873280 4290769196 7595056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 1860 1113 342 325 0 796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7440

[startup+0.700223 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26536
/proc/meminfo: memFree=26800308/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=8328 CPUtime=0.69 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 1657 0 0 0 69 0 0 0 20 0 1 0 335654990 8527872 1327 33554432000 134512640 135840783 4290873280 4290867984 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 2082 1327 347 325 0 1018 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8328

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26537
/proc/meminfo: memFree=26795704/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=10316 CPUtime=1.49 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 2160 0 0 0 149 0 0 0 20 0 1 0 335654990 10563584 1830 33554432000 134512640 135840783 4290873280 4290872640 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 2579 1830 347 325 0 1515 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10316

[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26537
/proc/meminfo: memFree=26792108/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=14624 CPUtime=3.09 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 3238 0 0 0 309 0 0 0 20 0 1 0 335654990 14974976 2908 33554432000 134512640 135840783 4290873280 4290872576 134572912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 3656 2908 349 325 0 2592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14624

[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26537
/proc/meminfo: memFree=26784048/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=22484 CPUtime=6.28 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 5228 0 0 0 628 0 0 0 20 0 1 0 335654990 23023616 4898 33554432000 134512640 135840783 4290873280 4290872640 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 5621 4898 349 325 0 4557 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22484

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26537
/proc/meminfo: memFree=26770176/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=34752 CPUtime=12.68 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 8284 0 0 0 1267 1 0 0 20 0 1 0 335654990 35586048 7954 33554432000 134512640 135840783 4290873280 4290872640 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 8688 7954 349 325 0 7624 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34752

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26537
/proc/meminfo: memFree=26750832/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=54044 CPUtime=25.48 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 13100 0 0 0 2546 2 0 0 20 0 1 0 335654990 55341056 12770 33554432000 134512640 135840783 4290873280 4290872640 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 13511 12770 349 325 0 12447 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54044

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26537
/proc/meminfo: memFree=26714996/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=89924 CPUtime=51.08 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 22086 0 0 0 5102 6 0 0 20 0 1 0 335654990 92082176 21756 33554432000 134512640 135840783 4290873280 4290872640 134551106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 22481 21756 349 325 0 21417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89924

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26537
/proc/meminfo: memFree=26659568/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=144732 CPUtime=102.27 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 35766 0 0 0 10217 10 0 0 20 0 1 0 335654990 148205568 35436 33554432000 134512640 135840783 4290873280 4290863344 134573354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 36183 35438 349 325 0 35119 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 144732

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26541
/proc/meminfo: memFree=26606984/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=197692 CPUtime=162.26 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 49034 0 0 0 16210 16 0 0 20 0 1 0 335654990 202436608 48704 33554432000 134512640 135840783 4290873280 4290872592 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 49423 48704 349 325 0 48359 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 197692

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26541
/proc/meminfo: memFree=26564336/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=239976 CPUtime=222.26 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 59593 0 0 0 22204 22 0 0 20 0 1 0 335654990 245735424 59263 33554432000 134512640 135840783 4290873280 4290872640 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 59994 59263 349 325 0 58930 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 239976

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26656
/proc/meminfo: memFree=27902720/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=272932 CPUtime=282.22 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 67859 0 0 0 28196 26 0 0 20 0 1 0 335654990 279482368 67510 33554432000 134512640 135840783 4290873280 4290872640 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 68233 67510 349 325 0 67169 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 272932

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26656
/proc/meminfo: memFree=27867284/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=301320 CPUtime=342.17 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 74991 0 0 0 34188 29 0 0 20 0 1 0 335654990 308551680 74595 33554432000 134512640 135840783 4290873280 4290872640 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 75330 74595 349 325 0 74266 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 301320

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26656
/proc/meminfo: memFree=27830360/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=334528 CPUtime=402.12 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 83355 0 0 0 40180 32 0 0 20 0 1 0 335654990 342556672 82912 33554432000 134512640 135840783 4290873280 4290872640 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 83632 82912 349 325 0 82568 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 334528

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26657
/proc/meminfo: memFree=27793560/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=365792 CPUtime=462.07 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 91199 0 0 0 46171 36 0 0 20 0 1 0 335654990 374571008 90708 33554432000 134512640 135840783 4290873280 4290872640 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 91448 90708 349 325 0 90384 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 365792

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26657
/proc/meminfo: memFree=27764928/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=389316 CPUtime=522.04 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 97208 0 0 0 52165 39 0 0 20 0 1 0 335654990 398659584 96595 33554432000 134512640 135840783 4290873280 4290872640 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 97329 96595 349 325 0 96265 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 389316

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26657
/proc/meminfo: memFree=27737276/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=414180 CPUtime=582.04 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 103920 0 0 0 58162 42 0 0 20 0 1 0 335654990 424120320 102815 33554432000 134512640 135840783 4290873280 4290872640 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 103545 102815 349 325 0 102481 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 414180

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26684
/proc/meminfo: memFree=27641852/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=496868 CPUtime=821.96 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 139701 0 0 0 82142 54 0 0 20 0 1 0 335654990 508792832 123500 33554432000 134512640 135840783 4290873280 4290872640 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 124217 123500 349 325 0 123153 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 496868

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26684
/proc/meminfo: memFree=27623056/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=511604 CPUtime=881.95 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 151182 0 0 0 88139 56 0 0 20 0 1 0 335654990 523882496 127161 33554432000 134512640 135840783 4290873280 4290872640 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 127901 127161 349 325 0 126837 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 511604

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26684
/proc/meminfo: memFree=27594784/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=528664 CPUtime=941.94 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 155859 0 0 0 94136 58 0 0 20 0 1 0 335654990 541351936 131439 33554432000 134512640 135840783 4290873280 4290872640 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 132166 131439 349 325 0 131102 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 528664

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26684
/proc/meminfo: memFree=27572960/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=543616 CPUtime=1001.93 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 162124 0 0 0 100132 61 0 0 20 0 1 0 335654990 556662784 135179 33554432000 134512640 135840783 4290873280 4290872640 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 135904 135179 349 325 0 134840 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 543616

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26685
/proc/meminfo: memFree=27553244/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=559204 CPUtime=1061.92 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 168896 0 0 0 106130 62 0 0 20 0 1 0 335654990 572624896 139087 33554432000 134512640 135840783 4290873280 4290872640 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 139801 139087 349 325 0 138737 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 559204

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26685
/proc/meminfo: memFree=27530676/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=576216 CPUtime=1121.91 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 179860 0 0 0 112126 65 0 0 20 0 1 0 335654990 590045184 143340 33554432000 134512640 135840783 4290873280 4290872540 10246995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 144054 143340 349 325 0 142990 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 576216

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26685
/proc/meminfo: memFree=27512868/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=589912 CPUtime=1181.9 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 185573 0 0 0 118124 66 0 0 20 0 1 0 335654990 604069888 146764 33554432000 134512640 135840783 4290873280 4290872640 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 147478 146764 349 325 0 146414 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 589912

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 26685
/proc/meminfo: memFree=27491324/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=606428 CPUtime=1241.85 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 191977 0 0 0 124117 68 0 0 20 0 1 0 335654990 620982272 150875 33554432000 134512640 135840783 4290873280 4290872640 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 151607 150875 349 325 0 150543 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 606428

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26685
/proc/meminfo: memFree=27473556/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=620160 CPUtime=1301.85 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 201307 0 0 0 130114 71 0 0 20 0 1 0 335654990 635043840 154303 33554432000 134512640 135840783 4290873280 4290872640 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 155040 154303 349 325 0 153976 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 620160

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26689
/proc/meminfo: memFree=27454076/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=636248 CPUtime=1361.83 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 207026 0 0 0 136110 73 0 0 20 0 1 0 335654990 651517952 158316 33554432000 134512640 135840783 4290873280 4290872640 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 159062 158316 349 325 0 157998 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 636248

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26689
/proc/meminfo: memFree=27432756/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=650852 CPUtime=1421.83 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 212773 0 0 0 142109 74 0 0 20 0 1 0 335654990 666472448 161999 33554432000 134512640 135840783 4290873280 4290872640 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 162713 161999 349 325 0 161649 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 650852

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26689
/proc/meminfo: memFree=27412048/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=663756 CPUtime=1481.81 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 219276 0 0 0 148106 75 0 0 20 0 1 0 335654990 679686144 165225 33554432000 134512640 135840783 4290873280 4290872640 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 165939 165225 349 325 0 164875 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 663756

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26689
/proc/meminfo: memFree=27392828/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=677512 CPUtime=1541.8 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 225778 0 0 0 154104 76 0 0 20 0 1 0 335654990 693772288 168658 33554432000 134512640 135840783 4290873280 4290872640 134551079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 169378 168658 349 325 0 168314 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 677512

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26689
/proc/meminfo: memFree=27368152/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=694312 CPUtime=1601.8 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 232005 0 0 0 160102 78 0 0 20 0 1 0 335654990 710975488 172860 33554432000 134512640 135840783 4290873280 4290872632 12077261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 173578 172860 349 325 0 172514 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 694312

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26690
/proc/meminfo: memFree=27344716/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=709880 CPUtime=1661.78 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 239272 0 0 0 166099 79 0 0 20 0 1 0 335654990 726917120 176756 33554432000 134512640 135840783 4290873280 4290872640 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 177470 176756 349 325 0 176406 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 709880

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26690
/proc/meminfo: memFree=27322896/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=724968 CPUtime=1721.76 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 245785 0 0 0 172095 81 0 0 20 0 1 0 335654990 742367232 180509 33554432000 134512640 135840783 4290873280 4290872640 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 181242 180509 349 325 0 180178 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 724968

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26690
/proc/meminfo: memFree=27304292/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=735684 CPUtime=1781.73 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 249188 0 0 0 178091 82 0 0 20 0 1 0 335654990 753340416 183205 33554432000 134512640 135840783 4290873280 4290872640 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 183921 183205 349 325 0 182857 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 735684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26690
/proc/meminfo: memFree=27298092/32873844 swapFree=7116/7116
[pid=26536] ppid=26534 vsize=740056 CPUtime=1800.03 cores=1,3,5,7
/proc/26536/stat : 26536 (bsolo3.0.17) R 26534 26536 24661 0 -1 4202496 250276 0 0 0 179921 82 0 0 20 0 1 0 335654990 757817344 184293 33554432000 134512640 135840783 4290873280 4290872640 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26536/statm: 185014 184293 349 325 0 183950 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 740056

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.62
CPU time (s): 1800.05
CPU user time (s): 1799.22
CPU system time (s): 0.832873
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 740056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.832873
maximum resident set size= 737172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250279
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= 355
involuntary context switches= 1839

runsolver used 3.91341 second user time and 9.78151 second system time

The end

Begin job on node108 at 2012-06-03 05:47:44
IDJOB=3733353
IDBENCH=2335
IDSOLVER=2318
FILE ID=node108/3733353-1338695264
RUNJOBID= node108-1338678627-24681
PBS_JOBID= 14636705
Free space on /tmp= 71464 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733353-1338695264/watcher-3733353-1338695264 -o /tmp/evaluation-result-3733353-1338695264/solver-3733353-1338695264 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733353-1338695264.opb            

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

MD5SUM BENCH= ec9bba2d2c31efcadc0a4a76a4815e08
RANDOM SEED=1259615268

node108.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.273
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	: 5332.54
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.273
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.273
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.273
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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26800580 kB
Buffers:          321964 kB
Cached:          3548596 kB
SwapCached:          112 kB
Active:          3283604 kB
Inactive:        1986004 kB
Active(anon):    1386340 kB
Inactive(anon):    13084 kB
Active(file):    1897264 kB
Inactive(file):  1972920 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:       1403368 kB
Mapped:            15644 kB
Shmem:               172 kB
Slab:             663416 kB
SReclaimable:     105588 kB
SUnreclaim:       557828 kB
KernelStack:        1456 kB
PageTables:         6724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1509104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1374208 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= 71460 MiB
End job on node108 at 2012-06-03 06:17:47