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-3744265-1338804991.opb
0.00/0.00	c File size is 578621 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 4.90145e+09
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.044 s
0.00/0.05	c Var: 6810 Constr: 15629 12529/25/3075 Lit: 47625 Watch. Lit: 40883
0.00/0.05	c Obj. Vars: 3795 (55.7269 % of total variables)
0.88/0.95	c Pre-processing Time: 0.948 s
0.88/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.97	c        0   5910    14678    45575    3    38925   46524      0      0 0.95
0.88/0.97	c      102   5910    14780    51148    3    39172   51177    102    106 0.96
0.88/0.97	o 86732054	0.964
0.98/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.98/1.07	c      105   5910    14784    54535    3    42338   52854    106    108 0.96
0.98/1.07	c      208   5910    14887    67420    4    42544   58140    209    209 0.99
0.98/1.07	c      458   5910    15137    84124    5    43052   63955    459    434 1.05
0.98/1.07	o 69001039	1.063
1.18/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.29	c      484   5910    15164    88457    5    46265   52854    486    454 1.06
1.18/1.29	c      584   5910    15264    92712    6    46465   58140    586    510 1.14
1.18/1.29	c      835   5910    15515   125820    8    46968   63955    837    662 1.26
1.18/1.29	o 61484036	1.282
1.78/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.84	c      873   5910    15554   130787    8    50205   52854    876    679 1.28
1.78/1.84	c      976   5909    15657   135043    8    50409   58140    979    716 1.36
1.78/1.84	c     1226   5909    15907   155833    9    50907   63955   1229    804 1.52
1.78/1.84	c     1701   5909    16382   189337   11    51864   70351   1704    929 1.83
1.78/1.84	o 57333599	1.839
1.78/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.85	c     1705   5909    16387   192766   11    55031   52852   1709    926 1.84
1.78/1.85	o 57098487	1.849
1.78/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.87	c     1710   5909    16393   196229   11    58205   52852   1715    923 1.85
1.78/1.87	o 57006621	1.86
1.88/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.98	c     1712   5909    16396   199471   12    61373   52852   1718    919 1.86
1.88/1.98	c     1812   5909    16496   210283   12    61573   58138   1818    923 1.96
1.88/1.98	o 55904540	1.977
1.98/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.00	c     1818   5909    16503   213569   12    64753   52852   1825    918 1.98
1.98/2.00	o 54740886	1.991
2.58/2.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.65	c     1822   5909    16508   216852   13    67925   52852   1830    914 1.99
2.58/2.65	c     1922   5909    16608   223461   13    68124   58138   1930    890 2.16
2.58/2.65	c     2173   5909    16859   244951   14    68622   63952   2181    847 2.56
2.58/2.65	o 49557966	2.647
4.49/4.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.58	c     2221   5909    16908   251643   14    71890   52852   2230    838 2.65
4.49/4.58	c     2321   5909    17008   261529   15    72090   58138   2330    807 2.87
4.49/4.58	c     2572   5909    17259   280571   16    72589   63952   2581    737 3.49
4.49/4.58	c     3047   5909    17734   317630   17    73535   70348   3056    778 3.91
4.49/4.58	o 38528444	4.577
5.38/5.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.38/5.49	c     3522   5909    18210   354496   19    77656   52852   3532    769 4.58
5.38/5.49	c     3622   5909    18310   358446   19    77850   58138   3632    757 4.78
5.38/5.49	c     3873   5908    18561   368909   19    78353   63952   3883    720 5.38
5.38/5.49	o 37779426	5.486
5.88/5.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.88/5.94	c     3911   5908    18600   373937   20    81586   52850   3922    712 5.49
5.88/5.94	c     4011   5908    18700   379563   20    81791   58136   4022    703 5.70
5.88/5.94	o 31794303	5.935
8.79/8.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.89	c     4130   5908    18820   390522   20    85190   52850   4142    695 5.94
8.79/8.89	c     4231   5907    18921   395184   20    85388   58136   4243    673 6.28
8.79/8.89	c     4483   5905    19173   407876   21    85895   63950   4495    648 6.92
8.79/8.89	c     4959   5896    19649   427615   21    86838   70346   4971    604 8.20
8.79/8.89	o 27951200	8.884
9.38/9.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.48	c     5203   5886    19894   439407   22    90460   52806   5216    585 8.89
9.38/9.48	c     5304   5886    19995   447986   22    90661   58087   5317    586 9.04
9.38/9.48	o 25589270	9.476
9.68/9.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.73	c     5464   5886    20156   465378   23    94122   52806   5478    576 9.48
9.68/9.73	o 24703290	9.72
9.89/9.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.95	c     5527   5886    20220   470499   23    97388   52806   5542    568 9.72
9.89/9.95	o 24700385	9.944
9.99/10.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.05	c     5610   5886    20304   478644   23   100698   52806   5626    564 9.95
9.99/10.05	o 12299251	10.039
14.08/14.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.08/14.11	c     5629   5886    20324   482572   23   103871   52806   5646    560 10.04
14.08/14.11	c     5729   5886    20424   486393   23   104073   58087   5746    548 10.45
14.08/14.11	c     5979   5886    20674   508460   24   104572   63896   5996    544 10.98
14.08/14.11	c     6455   5886    21150   560007   26   105528   70286   6472    541 11.92
14.08/14.11	c     7268   5886    21963   649348   29   107152   77315   7285    538 13.51
14.08/14.11	o 11698819	14.101
14.08/14.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.08/14.18	c     7425   5886    22121   662188   29   110608   52806   7443    526 14.10
14.08/14.18	o 11622094	14.171
14.18/14.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.18/14.24	c     7440   5886    22137   665915   30   113779   52806   7459    524 14.17
14.18/14.24	o 11533596	14.234
18.58/18.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.58/18.60	c     7450   5886    22148   669422   30   116938   52806   7470    523 14.24
18.58/18.60	c     7551   5886    22249   676280   30   117142   58087   7571    523 14.41
18.58/18.60	c     7801   5886    22499   700144   31   117642   63896   7821    517 15.07
18.58/18.60	c     8277   5886    22975   750038   32   118591   70286   8297    503 16.42
18.58/18.60	c     9091   5886    23789   848848   35   120222   77315   9111    499 18.21
18.58/18.60	o 11101799	18.591
27.58/27.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.58/27.60	c     9203   5886    23902   862724   36   123585   52806   9224    494 18.59
27.58/27.60	c     9304   5885    24003   873008   36   123787   58087   9325    491 18.94
27.58/27.60	c     9554   5885    24253   898865   37   124286   63896   9575    483 19.75
27.58/27.60	c    10029   5885    24728   947155   38   125232   70286  10050    473 21.19
27.58/27.60	c    10842   5885    25541  1032221   40   126860   77315  10863    470 23.04
27.58/27.60	c    12162   5885    26861  1210633   45   129500   85047  12183    446 27.26
27.58/27.60	o 10575770	27.595
32.07/32.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.07/32.16	c    12285   5885    26985  1223830   45   132889   52804  12307    445 27.60
32.07/32.16	c    12385   5879    27085  1230851   45   133084   58085  12407    442 28.02
32.07/32.16	c    12636   5772    27336  1239313   45   133583   63894  12658    433 29.17
32.07/32.16	c    13112   5772    27812  1304369   46   134533   70284  13134    430 30.43
32.07/32.16	o 10553488	32.149
32.87/32.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.87/32.97	c    13699   5772    28400  1379521   48   138754   52652  13722    426 32.15
32.87/32.97	c    13800   5772    28501  1384797   48   138967   57918  13823    422 32.65
32.87/32.97	o 10529168	32.955
35.37/35.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.37/35.45	c    13873   5772    28575  1392237   48   142163   52652  13897    420 32.96
35.37/35.45	c    13973   5772    28675  1401869   48   142373   57918  13997    419 33.28
35.37/35.45	c    14223   5772    28925  1431459   49   142875   63710  14247    418 33.98
35.37/35.45	c    14699   5772    29401  1480445   50   143828   70082  14723    417 35.20
35.37/35.45	o 10072851	35.44
35.87/35.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.87/35.92	c    14735   5772    29438  1484141   50   146964   52652  14760    415 35.44
35.87/35.92	c    14836   5772    29539  1490651   50   147161   57918  14861    414 35.79
35.87/35.92	o 9898812	35.908
37.27/37.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.27/37.36	c    14859   5772    29563  1494387   50   150262   52652  14885    413 35.91
37.27/37.36	c    14959   5772    29663  1503827   50   150456   57918  14985    411 36.34
37.27/37.36	c    15211   5772    29915  1521484   50   150972   63710  15237    409 37.17
37.27/37.36	o 9873488	37.347
42.99/43.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.99/43.09	c    15243   5772    29948  1525665   50   154094   52652  15270    408 37.35
42.99/43.09	c    15344   5772    30049  1537106   51   154301   57918  15371    405 37.81
42.99/43.09	c    15594   5772    30299  1564641   51   154800   63710  15621    401 38.85
42.99/43.09	c    16072   5772    30777  1647604   53   155759   70082  16099    396 40.54
42.99/43.09	o 9856454	43.078
43.38/43.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.38/43.49	c    16748   5772    31454  1711849   54   160151   52652  16776    388 43.08
43.38/43.49	c    16850   5772    31556  1718498   54   160375   57918  16878    387 43.45
43.38/43.49	o 9798364	43.479
43.48/43.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.48/43.52	c    16852   5772    31559  1721570   54   163440   52652  16881    387 43.48
43.48/43.52	o 9664430	43.511
43.58/43.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.58/43.63	c    16853   5772    31561  1724656   54   166504   52652  16883    387 43.51
43.58/43.63	o 9631779	43.62
55.58/55.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.58/55.67	c    16880   5772    31589  1729644   54   169620   52652  16911    386 43.62
55.58/55.67	c    16980   5772    31689  1736681   54   169809   57918  17011    384 44.11
55.58/55.67	c    17230   5772    31939  1757452   55   170320   63710  17261    383 44.93
55.58/55.67	c    17706   5772    32415  1809454   55   171278   70082  17737    378 46.82
55.58/55.67	c    18519   5772    33228  1903386   57   172883   77091  18550    371 49.79
55.58/55.67	c    19841   5772    34550  2049113   59   175519   84801  19872    357 55.54
55.58/55.67	o 9621239	55.655
566.98/567.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
566.98/567.29	c    19865   5772    34575  2053612   59   178639   52652  19897    356 55.66
566.98/567.29	c    19966   5772    34676  2061933   59   178847   57918  19998    356 56.07
566.98/567.29	c    20217   5772    34927  2094730   59   179359   63710  20249    353 57.21
566.98/567.29	c    20693   5772    35403  2151511   60   180289   70082  20725    348 59.34
566.98/567.29	c    21507   5772    36217  2262363   62   181938   77091  21539    342 62.71
566.98/567.29	c    22827   5772    37537  2464142   65   184590   84801  22859    334 68.31
566.98/567.29	c    24908   5772    39618  2819849   71   188740   93282  24940    324 76.65
566.98/567.29	c    28131   5772    42841  3877228   90   195198  102611  28163    308 91.21
566.98/567.29	c    33067   5772    47777  5763478  120   205058  112873  33099    287 115.04
566.98/567.29	c    40573   5772    55283  9122836  165   220082  124161  40605    255 158.90
566.98/567.29	c    51935   5772    66645 15205716  228   242794  136578  51967    211 246.00
566.98/567.29	c    69081   5772    83791 25166593  300   277074  150236  69113    167 411.45
566.98/567.29	c    94900   5772   109610 30705857  280   328728  165260  94932    167 566.83
566.98/567.29	o 9116295	567.09
572.78/573.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
572.78/573.03	c    94918   5772   109629 30709367  280   331732   52652  94951    167 567.09
572.78/573.03	o 8403425	572.826
574.88/575.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
574.88/575.17	c    94950   5772    28363  2961652  104    75557   52652  13685    165 572.83
574.88/575.17	c    95050   5772    28463  2969207  104    75756   57918  13785    165 572.96
574.88/575.17	c    95300   5772    28713  2999771  104    76257   63710  14035    166 573.25
574.88/575.17	c    95776   5772    29189  3056612  104    77208   70082  14511    166 573.76
574.88/575.17	c    96590   5765    30003  3153052  105    78838   77091  15325    168 574.54
574.88/575.17	o 8344040	574.968
579.28/579.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
579.28/579.59	c    97024   5765    30438  3211881  105    82748   52640  15760    168 574.97
579.28/579.59	c    97124   5765    30538  3225450  105    82959   57905  15860    168 575.14
579.28/579.59	c    97375   5765    30789  3253683  105    83462   63696  16111    169 575.46
579.28/579.59	c    97850   5765    31264  3308908  105    84413   70066  16586    169 576.07
579.28/579.59	c    98663   5765    32077  3449409  107    86039   77073  17399    170 577.31
579.28/579.59	c    99983   5765    33397  3658765  109    88681   84781  18719    172 579.36
579.28/579.59	o 8301143	579.388
580.88/581.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
580.88/581.11	c    99992   5765    33407  3662345  109    91733   52640  18729    172 579.39
580.88/581.11	c   100092   5765    33507  3668623  109    91939   57905  18829    172 579.53
580.88/581.11	c   100342   5765    33757  3726791  110    92453   63696  19079    172 580.02
580.88/581.11	c   100817   5765    34232  3823768  111    93402   70066  19554    173 580.80
580.88/581.11	o 8249234	580.908
581.48/581.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
581.48/581.73	c   100848   5765    34264  3830622  111    96516   52640  19586    173 580.91
581.48/581.73	c   100948   5765    34364  3855719  112    96720   57905  19686    173 581.08
581.48/581.73	o 8192329	581.521
584.78/585.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
584.78/585.00	c   101181   5765    34598  3891090  112   100237   52640  19920    173 581.52
584.78/585.00	c   101282   5765    34699  3902617  112   100434   57905  20021    174 581.73
584.78/585.00	c   101536   5765    34953  3934974  112   100945   63696  20275    174 582.29
584.78/585.00	c   102012   5765    35429  4029678  113   101896   70066  20751    174 583.26
584.78/585.00	o 7682339	584.792
585.68/585.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.68/585.92	c   102715   5765    36133  4248356  117   106370   52640  21455    175 584.79
585.68/585.92	c   102816   5491    36234  4260105  117   106556   57905  21556    175 585.06
585.68/585.92	c   103068   3878    36486  4280398  117   107056   63696  21808    176 585.55
585.68/585.92	o 7652615	585.713
585.98/586.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.98/586.27	c   103129   3878    36548  4285261  117   109261   50696  21870    176 585.72
585.98/586.27	c   103230   3878    36649  4291202  117   109463   55766  21971    176 585.89
585.98/586.27	o 7637494	586.064
593.37/593.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
593.37/593.67	c   103297   3878    36717  4298141  117   111682   50696  22039    176 586.07
593.37/593.67	c   103398   3878    36818  4305279  116   111885   55766  22140    176 586.29
593.37/593.67	c   103648   3878    37068  4315153  116   112385   61343  22390    176 586.92
593.37/593.67	c   104124   3878    37544  4341188  115   113337   67478  22866    177 587.82
593.37/593.67	c   104937   3878    38357  4382848  114   114963   74226  23679    177 589.62
593.37/593.67	c   106257   3878    39677  4479945  112   117603   81649  24999    179 592.59
593.37/593.67	o 7597167	593.464
596.87/597.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
596.87/597.16	c   106667   3878    40088  4507685  112   120507   50696  25410    179 593.47
596.87/597.16	c   106767   3878    40188  4513393  112   120709   55766  25510    179 593.70
596.87/597.16	c   107019   3878    40440  4526530  111   121212   61343  25762    180 594.39
596.87/597.16	c   107496   3878    40917  4552297  111   122167   67478  26239    180 595.48
596.87/597.16	o 7588398	596.95
600.48/600.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
600.48/600.78	c   108024   3878    41446  4599266  110   125306   50696  26768    180 596.95
600.48/600.78	c   108124   3878    41546  4605650  110   125509   55766  26868    181 597.16
600.48/600.78	c   108374   3878    41796  4623924  110   126007   61343  27118    181 597.89
600.48/600.78	c   108853   3878    42275  4658052  110   126967   67478  27597    181 599.26
600.48/600.78	o 7549390	600.566
608.08/608.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
608.08/608.37	c   109413   3878    42836  4694930  109   130169   50696  28158    182 600.57
608.08/608.37	c   109513   3878    42936  4700045  109   130371   55766  28258    182 600.85
608.08/608.37	c   109765   3878    43188  4713451  109   130877   61343  28510    182 601.46
608.08/608.37	c   110240   3878    43663  4755826  108   131824   67478  28985    182 602.74
608.08/608.37	c   111054   3878    44477  4839478  108   133455   74226  29799    183 604.76
608.08/608.37	o 7484422	608.161
632.67/632.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
632.67/632.98	c   112156   3878    45580  4947434  108   137740   50696  30902    184 608.16
632.67/632.98	c   112256   3878    45680  4955622  108   137941   55766  31002    184 608.52
632.67/632.98	c   112507   3878    45931  4972757  108   138443   61343  31253    184 609.11
632.67/632.98	c   112983   3878    46407  4997277  107   139399   67478  31729    185 610.57
632.67/632.98	c   113798   3878    47222  5078490  107   141025   74226  32544    185 612.93
632.67/632.98	c   115118   3401    48542  5153244  106   143662   81649  33864    186 616.30
632.67/632.98	c   117199   3401    50623  5336512  105   147826   89814  35945    188 622.01
632.67/632.98	c   120422   3401    53846  5571547  103   154270   98796  39168    190 632.25
632.67/632.98	o 7455794	632.766
633.37/633.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
633.37/633.65	c   120574   3401    53999  5579878  103   156410   50204  39321    190 632.77
633.37/633.65	c   120674   3401    54099  5582624  103   156610   55225  39421    190 633.13
633.37/633.65	o 7448709	633.439
644.37/644.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
644.37/644.63	c   120748   3401    54174  5587784  103   158598   50204  39496    190 633.44
644.37/644.63	c   120848   3401    54274  5593150  103   158790   55225  39596    190 633.77
644.37/644.63	c   121101   3401    54527  5608340  102   159306   60748  39849    190 634.61
644.37/644.63	c   121576   3401    55002  5629348  102   160250   66823  40324    191 636.16
644.37/644.63	c   122390   3401    55816  5677478  101   161872   73506  41138    191 638.54
644.37/644.63	c   123710   3401    57136  5750931  100   164520   80857  42458    192 643.76
644.37/644.63	o 7422400	644.416
648.97/649.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
648.97/649.25	c   123867   3401    57294  5758912  100   166673   50204  42616    192 644.42
648.97/649.25	c   123968   3401    57395  5766291  100   166864   55225  42717    192 644.80
648.97/649.25	c   124219   3401    57646  5782951  100   167374   60748  42968    192 645.80
648.97/649.25	c   124695   3401    58122  5821163  100   168327   66823  43444    192 647.71
648.97/649.25	o 7373526	649.036
653.96/654.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
653.96/654.27	c   125070   3401    58498  5855401  100   170920   50204  43820    192 649.04
653.96/654.27	c   125170   3401    58598  5862450  100   171102   55225  43920    192 649.61
653.96/654.27	c   125420   3401    58848  5877034   99   171612   60748  44170    192 650.47
653.96/654.27	c   125895   3401    59323  5902243   99   172564   66823  44645    193 652.19
653.96/654.27	o 7365051	654.048
673.66/673.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
673.66/673.99	c   126519   3401    59948  5949041   99   175646   50204  45270    193 654.05
673.66/673.99	c   126619   3401    60048  5953759   99   175840   55225  45370    193 654.60
673.66/673.99	c   126870   3401    60299  5977017   99   176358   60748  45621    193 655.69
673.66/673.99	c   127345   3401    60774  6008376   98   177308   66823  46096    193 657.59
673.66/673.99	c   128162   3401    61591  6084988   98   178942   73506  46913    194 660.35
673.66/673.99	c   129485   3401    62914  6161349   97   181593   80857  48236    194 665.44
673.66/673.99	c   131566   3401    64995  6360101   97   185760   88943  50317    195 673.21
673.66/673.99	o 7332290	673.771
677.66/677.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
677.66/677.95	c   131705   3401    65135  6369719   97   187860   50204  50457    195 673.77
677.66/677.95	c   131805   3401    65235  6374404   97   188046   55225  50557    195 674.31
677.66/677.95	c   132056   3401    65486  6392301   97   188568   60748  50808    195 675.58
677.66/677.95	c   132536   3401    65966  6419812   97   189521   66823  51288    195 677.47
677.66/677.95	o 7289338	677.726
678.76/679.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
678.76/679.03	c   132587   3401    66018  6424391   97   191468   50204  51340    195 677.73
678.76/679.03	c   132687   3401    66118  6428323   97   191660   55225  51440    195 678.13
678.76/679.03	o 7287791	678.807
715.26/715.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
715.26/715.58	c   132841   3401    66273  6441256   97   193814   50204  51595    195 678.81
715.26/715.58	c   132941   3401    66373  6446927   97   193981   55225  51695    195 679.24
715.26/715.58	c   133191   3401    66623  6469399   97   194514   60748  51945    195 680.27
715.26/715.58	c   133666   3401    67098  6493725   96   195455   66823  52420    195 682.28
715.26/715.58	c   134479   3401    67911  6538690   96   197090   73506  53233    196 685.92
715.26/715.58	c   135800   3401    69232  6644262   95   199731   80857  54554    196 691.42
715.26/715.58	c   137881   3401    71313  6793174   95   203902   88943  56635    197 699.84
715.26/715.58	c   141104   3401    74536  7266049   97   210339   97838  59858    197 714.03
715.26/715.58	o 7255466	715.356
729.55/729.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
729.55/729.81	c   141368   3401    74801  7287978   97   212706   50204  60123    197 715.36
729.55/729.81	c   141470   3401    27697  1190627   42    76041   55225  13019    197 716.86
729.55/729.81	c   141721   3401    27948  1206923   43    76545   60748  13270    197 717.04
729.55/729.81	c   142196   3401    28423  1230286   43    77494   66823  13745    198 717.50
729.55/729.81	c   143009   3401    29236  1269318   43    79121   73506  14558    199 718.15
729.55/729.81	c   144329   3401    30556  1350703   44    81760   80857  15878    200 719.79
729.55/729.81	c   146410   3401    32637  1455903   44    85923   88943  17959    202 721.45
729.55/729.81	c   149633   3401    35860  1781635   49    92369   97838  21182    206 725.62
729.55/729.81	o 7235281	729.58
735.15/735.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
735.15/735.40	c   153343   3401    39571  2106692   53   101627   50204  24893    210 729.58
735.15/735.40	c   153445   3401    39673  2116329   53   101827   55225  24995    210 729.81
735.15/735.40	c   153696   3401    39924  2132422   53   102333   60748  25246    210 730.16
735.15/735.40	c   154172   3401    40400  2189457   54   103285   66823  25722    210 730.97
735.15/735.40	c   154985   3401    41213  2255316   54   104911   73506  26535    211 732.00
735.15/735.40	c   156306   3401    42534  2444736   57   107551   80857  27856    212 734.31
735.15/735.40	o 7210216	735.168
735.45/735.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
735.45/735.75	c   156896   3401    43125  2481888   57   110571   50204  28447    213 735.17
735.45/735.75	c   156997   3401    43226  2487421   57   110767   55225  28548    213 735.38
735.45/735.75	o 7180199	735.523
792.04/792.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
792.04/792.38	c   157096   3401    43326  2493416   57   112809   50204  28648    213 735.52
792.04/792.38	c   157197   3401    43427  2505373   57   113004   55225  28749    213 735.71
792.04/792.38	c   157447   3401    43677  2519058   57   113511   60748  28999    213 736.14
792.04/792.38	c   157922   3401    44152  2565306   58   114457   66823  29474    214 737.17
792.04/792.38	c   158737   3401    44967  2630737   58   116091   73506  30289    214 738.35
792.04/792.38	c   160058   3401    46288  2799126   60   118733   80857  31610    215 741.14
792.04/792.38	c   162140   3401    48370  3082462   63   122897   88943  33692    217 745.16
792.04/792.38	c   165365   3401    51595  3415142   66   129347   97838  36917    219 752.20
792.04/792.38	c   170303   3401    56533  3881991   68   139223  107622  41855    223 762.85
792.04/792.38	c   177812   3401    64042  5190480   81   154241  118385  49364    226 786.42
792.04/792.38	o 7168382	792.142
1303.86/1304.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1303.86/1304.29	c   180108   3401    66339  5534050   83   160671   50204  51661    227 792.14
1303.86/1304.29	c   180210   3401    66441  5563199   83   160870   55225  51763    227 792.58
1303.86/1304.29	c   180460   3401    66691  5582064   83   161380   60748  52013    227 793.35
1303.86/1304.29	c   180936   3401    67167  5721585   85   162322   66823  52489    227 795.52
1303.86/1304.29	c   181749   3401    67980  5850208   86   163953   73506  53302    227 797.95
1303.86/1304.29	c   183069   3401    69300  6314801   91   166593   80857  54622    227 803.36
1303.86/1304.29	c   185154   3401    71385  6619902   92   170763   88943  56707    228 809.37
1303.86/1304.29	c   188378   3401    74609  7498493  100   177211   97838  59931    228 824.71
1303.86/1304.29	c   193314   3401    79545  8178203  102   187083  107622  64867    229 842.91
1303.86/1304.29	c   200821   3401    87052 10436140  119   202097  118385  72374    226 886.35
1303.86/1304.29	c   212184   3401    98415 13065088  132   224823  130224  83737    224 945.84
1303.86/1304.29	c   229328   3401   115559 18086461  156   259115  143247 100881    214 1071.60
1303.86/1304.29	c   255149   3401   141380 22034146  155   310758  157572 126702    205 1242.22
1303.86/1304.29	o 7156851	1303.97
1328.36/1328.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1328.36/1328.72	c   262284   3401   148516 22720605  152   326866   50204 133838    201 1303.97
1328.36/1328.72	c   262384   3401    29342  2011989   68    79333   55225  14664    198 1323.00
1328.36/1328.72	c   262634   3401    29592  2026082   68    79834   60748  14914    198 1323.41
1328.36/1328.72	c   263109   3401    30067  2049227   68    80783   66823  15389    198 1323.96
1328.36/1328.72	c   263923   3401    30881  2090730   67    82412   73506  16203    199 1324.97
1328.36/1328.72	c   265243   3401    32201  2190689   68    85051   80857  17523    199 1326.61
1328.36/1328.72	o 7151745	1328.4
1330.56/1330.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1330.56/1330.96	c   266916   3401    33875  2315398   68    90236   50204  19197    200 1328.40
1330.56/1330.96	c   267016   3401    33975  2318875   68    90435   55225  19297    200 1328.56
1330.56/1330.96	c   267267   3401    34226  2336172   68    90939   60748  19548    201 1328.89
1330.56/1330.96	c   267743   3401    34702  2354490   67    91889   66823  20024    201 1329.39
1330.56/1330.96	o 7145647	1330.64
1800.09/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.50	c   268529   3401    35489  2411581   67    95301   50204  20811    201 1330.64
1800.09/1800.50	c   268630   3401    35590  2418255   67    95501   55225  20912    201 1330.83
1800.09/1800.50	c   268880   3401    35840  2432538   67    96004   60748  21162    201 1331.26
1800.09/1800.50	c   269356   3401    36316  2455641   67    96953   66823  21638    202 1332.09
1800.09/1800.50	c   270169   3401    37129  2556143   68    98582   73506  22451    202 1333.33
1800.09/1800.50	c   271489   3401    38449  2701815   70   101219   80857  23771    203 1335.16
1800.09/1800.50	c   273571   3401    40531  2867799   70   105386   88943  25853    204 1338.34
1800.09/1800.50	c   276794   3401    43754  3260413   74   111829   97838  29076    205 1344.17
1800.09/1800.50	c   281732   3401    48692  3950353   81   121708  107622  34014    208 1354.12
1800.09/1800.50	c   289238   3401    56198  5174428   92   136717  118385  41520    210 1372.43
1800.09/1800.50	c   300601   3401    67561  6721121   99   159446  130224  52883    214 1401.64
1800.09/1800.50	c   317746   3401    84706 12066415  142   193733  143247  70028    213 1491.03
1800.09/1800.50	c   343565   3401   110525 16144236  146   245374  157572  95847    211 1623.51
1800.09/1800.50	c Caught signal: 15
1800.09/1800.50	v x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6453 -x6454 x6455 -x6456 x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 x6495 -x6496 x6497 -x6498 -x6499 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x6571 x6572 -x6573 x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 x6581 x6582 -x6583 -x6584 -x6585 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 x6752 -x6753 x6754 -x6755 -x6757 -x6758 -x6759 -x6760 x6761 x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 -x6603 x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x6436 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x6452 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x6468 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x6484 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x6500 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x6516 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x6532 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x6548 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6564 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x6355 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x6371 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x6387 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x6403 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x6419 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x6435 -x3481 -x3497 -x3513 -x3529 -x3545 -x3561 -x3577 -x3593 -x3609 -x3400 -x3416 -x3432 -x3448 -x3464 -x3480 -x6676 -x6692 -x6708 -x6724 -x6740 -x6756 -x6772 -x6788 -x6804 -x6595 -x6611 -x6627 -x6643 -x6659 -x6675 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4526 -x4527 -x4528 x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 
1800.09/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.50	c  250   362206 152057   947418   129166 21792308 114488    201 1800.09
1800.09/1800.50	c Objective: 7145647
1800.09/1800.50	s SATISFIABLE
1800.09/1800.50	c Total time: 1800.09 s

OK	7145647

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.97 3/176 1717
/proc/meminfo: memFree=26860520/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1717/stat : 1717 (runsolver) D 1715 1717 1308 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 346624844 12095488 51 33554432000 4194304 5436572 140733801862960 140733801859256 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/1717/statm: 2953 51 31 304 0 2645 0

[startup+0.105385 s]
/proc/loadavg: 1.92 1.98 1.97 3/176 1717
/proc/meminfo: memFree=26860520/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=8304 CPUtime=0.09 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 1520 0 0 0 9 0 0 0 20 0 1 0 346624844 8503296 1314 33554432000 134512640 135840783 4289496208 4289413580 12952624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 2076 1314 342 325 0 1012 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8304

[startup+0.200226 s]
/proc/loadavg: 1.92 1.98 1.97 3/176 1717
/proc/meminfo: memFree=26860520/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=8308 CPUtime=0.18 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 1521 0 0 0 18 0 0 0 20 0 1 0 346624844 8507392 1315 33554432000 134512640 135840783 4289496208 4289413580 12952624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 2077 1315 342 325 0 1013 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8308

[startup+0.300206 s]
/proc/loadavg: 1.92 1.98 1.97 3/176 1717
/proc/meminfo: memFree=26860520/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=8308 CPUtime=0.28 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 1521 0 0 0 28 0 0 0 20 0 1 0 346624844 8507392 1315 33554432000 134512640 135840783 4289496208 4289413580 12952624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 2077 1315 342 325 0 1013 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8308

[startup+0.700222 s]
/proc/loadavg: 1.92 1.98 1.97 3/176 1717
/proc/meminfo: memFree=26860520/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=8308 CPUtime=0.68 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 1521 0 0 0 68 0 0 0 20 0 1 0 346624844 8507392 1315 33554432000 134512640 135840783 4289496208 4289413580 12952624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 2077 1315 342 325 0 1013 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8308

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26855760/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=9928 CPUtime=1.48 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 2072 0 0 0 148 0 0 0 20 0 1 0 346624844 10166272 1740 33554432000 134512640 135840783 4289496208 4289495568 134551359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 2482 1740 349 325 0 1418 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9928

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26853164/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=12068 CPUtime=3.09 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 2599 0 0 0 308 1 0 0 20 0 1 0 346624844 12357632 2267 33554432000 134512640 135840783 4289496208 4289495568 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 3017 2267 349 325 0 1953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12068

[startup+6.30018 s]
/proc/loadavg: 1.93 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26850464/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=14116 CPUtime=6.28 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 3110 0 0 0 627 1 0 0 20 0 1 0 346624844 14454784 2778 33554432000 134512640 135840783 4289496208 4289495568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 3529 2778 349 325 0 2465 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14116

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26847540/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=17276 CPUtime=12.68 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 3910 0 0 0 1267 1 0 0 20 0 1 0 346624844 17690624 3578 33554432000 134512640 135840783 4289496208 4289495568 134551273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 4319 3578 349 325 0 3255 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17276

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26840576/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=24640 CPUtime=25.48 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 5771 0 0 0 2547 1 0 0 20 0 1 0 346624844 25231360 5439 33554432000 134512640 135840783 4289496208 4289495568 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 6160 5439 349 325 0 5096 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24640

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26828376/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=36748 CPUtime=51.08 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 8778 0 0 0 5106 2 0 0 20 0 1 0 346624844 37629952 8446 33554432000 134512640 135840783 4289496208 4289495568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 9187 8446 349 325 0 8123 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36748

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.97 3/177 1718
/proc/meminfo: memFree=26791036/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=70812 CPUtime=102.26 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 17306 0 0 0 10222 4 0 0 20 0 1 0 346624844 72511488 16968 33554432000 134512640 135840783 4289496208 4289495504 134572646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 17703 16968 349 325 0 16639 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70812

[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 1718
/proc/meminfo: memFree=26729748/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=132448 CPUtime=162.21 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 32754 0 0 0 16215 6 0 0 20 0 1 0 346624844 135626752 32372 33554432000 134512640 135840783 4289496208 4289495568 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 33112 32372 349 325 0 32048 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 132448

[startup+222.307 s]
/proc/loadavg: 2.02 2.00 1.98 3/178 1722
/proc/meminfo: memFree=26658844/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=188776 CPUtime=222.21 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 46846 0 0 0 22211 10 0 0 20 0 1 0 346624844 193306624 46464 33554432000 134512640 135840783 4289496208 4289495568 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 47194 46464 349 325 0 46130 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 188776

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 1722
/proc/meminfo: memFree=26586616/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=249548 CPUtime=282.2 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 62050 0 0 0 28206 14 0 0 20 0 1 0 346624844 255537152 61668 33554432000 134512640 135840783 4289496208 4289495568 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 62387 61668 349 325 0 61323 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 249548

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 1722
/proc/meminfo: memFree=26516428/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=299812 CPUtime=342.19 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 74605 0 0 0 34200 19 0 0 20 0 1 0 346624844 307007488 74221 33554432000 134512640 135840783 4289496208 4289495568 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 74953 74221 349 325 0 73889 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 299812

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1722
/proc/meminfo: memFree=26443916/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=335216 CPUtime=402.16 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 83498 0 0 0 40194 22 0 0 20 0 1 0 346624844 343261184 83077 33554432000 134512640 135840783 4289496208 4289495568 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 83804 83079 349 325 0 82740 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 335216

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1722
/proc/meminfo: memFree=26366816/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=358836 CPUtime=462.12 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 89434 0 0 0 46188 24 0 0 20 0 1 0 346624844 367448064 88974 33554432000 134512640 135840783 4289496208 4289495568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 89709 88974 349 325 0 88645 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 358836

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1723
/proc/meminfo: memFree=26308236/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=390896 CPUtime=522.09 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 97475 0 0 0 52183 26 0 0 20 0 1 0 346624844 400277504 96995 33554432000 134512640 135840783 4289496208 4289495568 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 97724 96995 349 325 0 96660 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 390896

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1723
/proc/meminfo: memFree=26259064/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411072 CPUtime=582.08 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102610 0 0 0 58180 28 0 0 20 0 1 0 346624844 420937728 102037 33554432000 134512640 135840783 4289496208 4289495568 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102768 102037 349 325 0 101704 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 411072

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1728
/proc/meminfo: memFree=25886232/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411072 CPUtime=822.04 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102610 0 0 0 82176 28 0 0 20 0 1 0 346624844 420937728 102037 33554432000 134512640 135840783 4289496208 4289495568 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102768 102037 349 325 0 101704 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 411072

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1728
/proc/meminfo: memFree=25770672/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411072 CPUtime=882.03 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102610 0 0 0 88175 28 0 0 20 0 1 0 346624844 420937728 102037 33554432000 134512640 135840783 4289496208 4289495568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102768 102037 349 325 0 101704 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 411072

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1728
/proc/meminfo: memFree=25676336/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411072 CPUtime=942.02 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102610 0 0 0 94174 28 0 0 20 0 1 0 346624844 420937728 102037 33554432000 134512640 135840783 4289496208 4289495568 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102768 102037 349 325 0 101704 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 411072

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1728
/proc/meminfo: memFree=25625276/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411072 CPUtime=1002.01 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102610 0 0 0 100173 28 0 0 20 0 1 0 346624844 420937728 102037 33554432000 134512640 135840783 4289496208 4289495568 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102768 102037 349 325 0 101704 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 411072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1728
/proc/meminfo: memFree=25564172/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411088 CPUtime=1062 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102614 0 0 0 106172 28 0 0 20 0 1 0 346624844 420954112 102041 33554432000 134512640 135840783 4289496208 4289495568 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102772 102041 349 325 0 101708 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 411088

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1729
/proc/meminfo: memFree=25442808/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411128 CPUtime=1121.99 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102624 0 0 0 112171 28 0 0 20 0 1 0 346624844 420995072 102051 33554432000 134512640 135840783 4289496208 4289495568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102782 102051 349 325 0 101718 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 411128

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1729
/proc/meminfo: memFree=25321192/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411164 CPUtime=1181.98 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102633 0 0 0 118170 28 0 0 20 0 1 0 346624844 421031936 102060 33554432000 134512640 135840783 4289496208 4289495568 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102791 102060 349 325 0 101727 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 411164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1729
/proc/meminfo: memFree=25211852/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411196 CPUtime=1241.97 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102641 0 0 0 124169 28 0 0 20 0 1 0 346624844 421064704 102068 33554432000 134512640 135840783 4289496208 4289495568 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102799 102068 349 325 0 101735 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 411196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1729
/proc/meminfo: memFree=25091848/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411220 CPUtime=1301.96 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102647 0 0 0 130168 28 0 0 20 0 1 0 346624844 421089280 102074 33554432000 134512640 135840783 4289496208 4289495472 10531369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102805 102074 349 325 0 101741 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 411220

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1729
/proc/meminfo: memFree=25036448/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1361.95 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 136167 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495504 134572591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 411224

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1733
/proc/meminfo: memFree=25002888/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1421.95 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 142167 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 411224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1733
/proc/meminfo: memFree=24982732/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1481.93 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 148165 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 411224

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1733
/proc/meminfo: memFree=24968348/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1541.93 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 154165 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 411224

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1733
/proc/meminfo: memFree=24947768/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1601.92 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 160164 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 411224

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 1733
/proc/meminfo: memFree=24942188/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1661.91 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102648 0 0 0 166163 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 411224

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 1734
/proc/meminfo: memFree=24931488/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1721.88 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102666 0 0 0 172160 28 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 411224

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 1734
/proc/meminfo: memFree=24924340/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1781.88 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102666 0 0 0 178159 29 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495520 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 411224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.96 2.00 1.99 3/173 1742
/proc/meminfo: memFree=26589720/32873660 swapFree=7120/7120
[pid=1717] ppid=1715 vsize=411224 CPUtime=1800.09 cores=0,2,4,6
/proc/1717/stat : 1717 (bsolo3.0.17) R 1715 1717 1308 0 -1 4202496 102666 0 0 0 179980 29 0 0 20 0 1 0 346624844 421093376 102075 33554432000 134512640 135840783 4289496208 4289495568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1717/statm: 102806 102075 349 325 0 101742 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 411224

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.51
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.291955
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 411224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.291955
maximum resident set size= 408520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102669
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= 181
involuntary context switches= 1895

runsolver used 3.38149 second user time and 9.16561 second system time

The end

Begin job on node117 at 2012-06-04 12:16:31
IDJOB=3744265
IDBENCH=92716
IDSOLVER=2318
FILE ID=node117/3744265-1338804991
RUNJOBID= node117-1338799572-1324
PBS_JOBID= 14636863
Free space on /tmp= 69092 MiB

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

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

MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4
RANDOM SEED=589463906

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        26860876 kB
Buffers:          641308 kB
Cached:          4290564 kB
SwapCached:          776 kB
Active:          2599668 kB
Inactive:        2496548 kB
Active(anon):     150216 kB
Inactive(anon):     9972 kB
Active(file):    2449452 kB
Inactive(file):  2486576 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             39408 kB
Writeback:             0 kB
AnonPages:        164064 kB
Mapped:            13572 kB
Shmem:                80 kB
Slab:             780380 kB
SReclaimable:     223992 kB
SUnreclaim:       556388 kB
KernelStack:        1456 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     277824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69084 MiB
End job on node117 at 2012-06-04 12:46:34