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-3744151-1338803188.opb
0.00/0.00	c File size is 578413 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 3.66616e+09
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.048 s
0.00/0.05	c Var: 6810 Constr: 15629 12529/25/3075 Lit: 47625 Watch. Lit: 40883
0.00/0.05	c Obj. Vars: 3795 (55.7269 % of total variables)
0.89/0.96	c Pre-processing Time: 0.96 s
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   5910    14678    45575    3    38925   46524      0      0 0.96
0.89/0.97	c      102   5910    14780    51148    3    39172   51177    102    104 0.97
0.89/0.97	o 37189836	0.976
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c      105   5910    14784    54535    3    42338   52854    106    107 0.98
1.19/1.22	c      206   5910    14885    66405    4    42542   58140    207    203 1.01
1.19/1.22	c      459   5910    15138    79519    5    43044   63955    460    408 1.12
1.19/1.22	o 36905296	1.218
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c      731   5909    15411    99691    6    46755   52852    733    599 1.22
1.79/1.84	c      833   5909    15513   106142    6    46962   58138    835    645 1.29
1.79/1.84	c     1088   5897    15768   116666    7    47459   63952   1090    713 1.52
1.79/1.84	c     1564   5887    16244   154209    9    48397   70348   1566    882 1.77
1.79/1.84	o 31065638	1.839
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c     1763   5887    16444   169465   10    51937   52808   1766    958 1.84
1.99/2.09	c     1863   5887    16544   177803   10    52135   58089   1866    979 1.90
1.99/2.09	c     2116   5887    16797   196056   11    52641   63898   2119   1047 2.02
1.99/2.09	o 27831090	2.091
2.20/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.20	c     2196   5887    16878   201679   11    55950   52808   2200   1049 2.09
2.20/2.20	o 19188961	2.204
2.29/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.31	c     2269   5879    16952   206619   12    59224   52792   2274   1028 2.21
2.29/2.31	o 19049955	2.315
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c     2336   5873    17020   211364   12    62481   52782   2342   1008 2.32
2.29/2.33	o 18936752	2.329
2.79/2.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.86	c     2340   5873    17025   214585   12    65618   52782   2347   1003 2.33
2.79/2.86	c     2443   5873    17128   221678   12    65823   58061   2450   1012 2.41
2.79/2.86	c     2694   5873    17379   242135   13    66321   63868   2701    962 2.80
2.79/2.86	o 18482213	2.863
2.89/2.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.98	c     2750   5873    17436   250466   14    69566   52782   2758    959 2.87
2.89/2.98	c     2850   5873    17536   259300   14    69768   58061   2858    960 2.97
2.89/2.98	o 18196503	2.983
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c     2854   5873    17541   262584   14    72901   52782   2863    956 2.98
2.99/3.00	o 16918982	3
3.49/3.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.51	c     2857   5873    17545   265847   15    76034   52782   2867    951 3.00
3.49/3.51	c     2959   5873    17647   274321   15    76243   58061   2969    932 3.17
3.49/3.51	c     3211   5873    17899   296127   16    76744   63868   3221    919 3.49
3.49/3.51	o 15935684	3.51
3.79/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.82	c     3214   5873    17903   299511   16    79878   52782   3225    915 3.51
3.79/3.82	c     3315   5873    18004   314835   17    80082   58061   3326    903 3.67
3.79/3.82	o 15180011	3.821
4.89/4.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.94	c     3378   5873    18068   322000   17    83333   52782   3390    883 3.82
4.89/4.94	c     3479   5872    18169   324677   17    83529   58061   3491    840 4.14
4.89/4.94	c     3730   5794    18420   329632   17    84037   63868   3742    765 4.87
4.89/4.94	o 10181826	4.944
5.19/5.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.22	c     3753   5794    18444   333233   18    87161   52678   3766    758 4.95
5.19/5.22	c     3855   5794    18546   345550   18    87365   57946   3868    746 5.17
5.19/5.22	o 9939578	5.218
5.39/5.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.42	c     3864   5794    18556   348973   18    90455   52678   3878    740 5.22
5.39/5.42	o 9835005	5.415
5.69/5.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.70	c     3926   5794    18619   357325   19    93654   52678   3941    724 5.42
5.69/5.70	o 9602753	5.702
6.18/6.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.29	c     4021   5670    18715   361704   19    96848   52540   4037    704 5.70
6.18/6.29	c     4121   5670    18815   371656   19    97048   57795   4137    689 5.98
6.18/6.29	o 9562973	6.293
6.68/6.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.68/6.77	c     4222   5670    18917   380230   20   100252   52540   4239    670 6.29
6.68/6.77	c     4322   5667    19017   384042   20   100452   57795   4339    656 6.58
6.68/6.77	o 9363152	6.765
7.28/7.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.32	c     4378   5667    19074   388408   20   103571   52538   4396    646 6.77
7.28/7.32	c     4481   5667    19177   393456   20   103773   57792   4499    632 7.08
7.28/7.32	o 9341000	7.32
28.88/28.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.88/28.99	c     4568   5667    19265   402757   20   106956   52538   4587    623 7.32
28.88/28.99	c     4670   5667    19367   413070   21   107161   57792   4689    607 7.68
28.88/28.99	c     4921   5667    19618   435416   22   107658   63572   4940    581 8.47
28.88/28.99	c     5398   5667    20095   506277   25   108618   69930   5417    546 9.88
28.88/28.99	c     6212   5667    20909   672715   32   110245   76924   6231    522 11.90
28.88/28.99	c     7532   5667    22229   870469   39   112882   84617   7551    484 15.56
28.88/28.99	c     9615   5667    24312  1277123   52   117050   93079   9634    436 22.05
28.88/28.99	o 9340764	28.983
28.98/29.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.98/29.05	c    12348   5667    27046  1495104   55   125513   52538  12368    425 28.99
28.98/29.05	o 9186840	29.038
30.08/30.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.15	c    12359   5667    27058  1498771   55   128553   52538  12380    425 29.04
30.08/30.15	c    12459   5667    27158  1509589   55   128752   57792  12480    424 29.37
30.08/30.15	c    12709   5667    27408  1528025   55   129250   63572  12730    422 30.07
30.08/30.15	o 9175870	30.138
30.58/30.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.58/30.62	c    12724   5667    27424  1531541   55   132285   52538  12746    422 30.14
30.58/30.62	c    12824   5667    27524  1539188   55   132482   57792  12846    421 30.45
30.58/30.62	o 9051118	30.61
31.98/32.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.98/32.01	c    12874   5667    27575  1545474   56   135593   52538  12897    420 30.61
31.98/32.01	c    12977   5667    27678  1554031   56   135800   57792  13000    418 30.98
31.98/32.01	c    13227   5667    27928  1574891   56   136301   63572  13250    416 31.75
31.98/32.01	o 9044688	32.003
33.57/33.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.57/33.66	c    13303   5667    28005  1582546   56   139458   52538  13327    415 32.01
33.57/33.66	c    13403   5667    28105  1591541   56   139661   57792  13427    414 32.33
33.57/33.66	c    13653   5667    28355  1612754   56   140158   63572  13677    411 33.17
33.57/33.66	o 9041244	33.647
40.57/40.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.57/40.63	c    13783   5667    28486  1624682   57   143423   52538  13808    409 33.65
40.57/40.63	c    13884   5667    28587  1634245   57   143626   57792  13909    408 33.97
40.57/40.63	c    14135   5667    28838  1650031   57   144132   63572  14160    406 34.74
40.57/40.63	c    14614   5667    29317  1702486   58   145089   69930  14639    403 36.25
40.57/40.63	c    15428   5667    30131  1794365   59   146716   76924  15453    399 38.61
40.57/40.63	o 9039149	40.613
41.17/41.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.17/41.26	c    16078   5667    30782  1877765   61   151021   52538  16104    395 40.62
41.17/41.26	c    16179   5667    30883  1889328   61   151225   57792  16205    394 40.99
41.17/41.26	o 8959059	41.238
99.45/99.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.45/99.57	c    16232   5667    30937  1896818   61   154341   52538  16259    393 41.24
99.45/99.57	c    16332   5667    31037  1909755   61   154536   57792  16359    392 41.60
99.45/99.57	c    16583   5667    31288  1955010   62   155040   63572  16610    388 42.66
99.45/99.57	c    17058   5667    31763  1991408   62   155993   69930  17085    383 44.47
99.45/99.57	c    17872   5667    32577  2101349   64   157616   76924  17899    375 47.55
99.45/99.57	c    19192   5667    33897  2283156   67   160261   84617  19219    365 52.52
99.45/99.57	c    21275   5667    35980  2673740   74   164422   93079  21302    350 60.66
99.45/99.57	c    24503   5667    39208  3020581   77   170879  102387  24530    337 72.64
99.45/99.57	c    29439   5667    44144  4273202   96   180753  112626  29466    316 93.10
99.45/99.57	o 8958345	99.538
103.76/103.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.76/103.88	c    30759   5667    45465  4448655   97   186399   52538  30787    309 99.54
103.76/103.88	c    30860   5667    45566  4456134   97   186600   57792  30888    308 100.08
103.76/103.88	c    31110   5667    45816  4492928   98   187100   63572  31138    306 101.46
103.76/103.88	c    31585   5667    46291  4533904   97   188051   69930  31613    304 103.65
103.76/103.88	o 8956548	103.851
114.05/114.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
114.05/114.12	c    31620   5667    46327  4539664   97   191127   52538  31649    304 103.85
114.05/114.12	c    31721   5667    46428  4553402   98   191334   57792  31750    303 104.39
114.05/114.12	c    31971   5667    46678  4652919   99   191829   63572  32000    302 105.72
114.05/114.12	c    32446   5667    47153  4727501  100   192777   69930  32475    300 107.84
114.05/114.12	c    33259   5667    47966  4841430  100   194407   76924  33288    297 111.81
114.05/114.12	o 8886107	114.076
150.94/151.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
150.94/151.08	c    33778   5667    48486  4907033  101   198450   52538  33808    296 114.08
150.94/151.08	c    33879   5667    48587  4933783  101   198654   57792  33909    295 114.74
150.94/151.08	c    34130   5667    48838  4964702  101   199152   63572  34160    294 116.08
150.94/151.08	c    34605   5667    49313  5000299  101   200104   69930  34635    292 118.45
150.94/151.08	c    35418   5667    50126  5134553  102   201734   76924  35448    288 122.57
150.94/151.08	c    36739   5667    51447  5311791  103   204366   84617  36769    280 130.84
150.94/151.08	c    38822   5497    53530  5502046  102   208530   93079  38852    273 141.91
150.94/151.08	o 8868791	151.023
208.52/208.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
208.52/208.69	c    40812   5497    55521  5896489  106   215418   52358  40843    270 151.03
208.52/208.69	c    40913   5497    55622  5905247  106   215634   57594  40944    269 151.82
208.52/208.69	c    41163   5497    55872  5923264  106   216136   63354  41194    269 152.88
208.52/208.69	c    41638   5497    56347  5961231  105   217085   69690  41669    267 155.59
208.52/208.69	c    42451   5497    57160  6043887  105   218710   76660  42482    265 159.72
208.52/208.69	c    43772   5497    58481  6181255  105   221347   84327  43803    262 166.93
208.52/208.69	c    45853   5497    60562  6427204  106   225502   92760  45884    256 178.84
208.52/208.69	c    49076   5497    63785  7229391  113   231955  102037  49107    247 198.19
208.52/208.69	o 8848195	208.629
211.82/211.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.82/211.94	c    50760   5497    65470  7465976  114   238226   52358  50792    243 208.63
211.82/211.94	c    50862   5497    65572  7478386  114   238444   57594  50894    242 209.41
211.82/211.94	c    51115   5497    65825  7502009  113   238956   63354  51147    242 210.98
211.82/211.94	o 8839912	211.875
234.82/234.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
234.82/234.97	c    51321   5497    66032  7521131  113   242286   52358  51354    242 211.88
234.82/234.97	c    51421   5497    66132  7535039  113   242484   57594  51454    241 212.51
234.82/234.97	c    51671   5497    66382  7562988  113   242978   63354  51704    241 214.20
234.82/234.97	c    52146   5497    66857  7605895  113   243936   69690  52179    240 217.27
234.82/234.97	c    52961   5497    67672  7853598  116   245549   76660  52994    237 222.72
234.82/234.97	c    54282   5497    68993  8286919  120   248201   84327  54315    234 231.84
234.82/234.97	o 8826985	234.905
237.12/237.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
237.12/237.27	c    54813   5497    69525  8349361  120   252163   52358  54847    233 234.91
237.12/237.27	c    54917   5497    27381  2339531   85    76436   57594  12703    232 236.60
237.12/237.27	c    55167   5496    27631  2361147   85    76935   63354  12953    232 236.88
237.12/237.27	o 8779810	237.206
242.52/242.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.52/242.68	c    55444   5496    27909  2381545   85    80408   52358  13231    233 237.21
242.52/242.68	c    55544   5496    28009  2401734   85    80607   57594  13331    233 237.39
242.52/242.68	c    55797   5496    28262  2432835   86    81112   63354  13584    234 237.76
242.52/242.68	c    56272   5496    28737  2468692   85    82064   69690  14059    236 238.34
242.52/242.68	c    57085   5496    29550  2580892   87    83688   76660  14872    238 239.66
242.52/242.68	c    58406   5496    30871  2981836   96    86334   84327  16193    241 241.97
242.52/242.68	o 8752731	242.614
247.52/247.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
247.52/247.61	c    58835   5496    31301  3073719   98    90105   52358  16623    242 242.62
247.52/247.61	c    58936   5496    31402  3092057   98    90307   57594  16724    242 242.83
247.52/247.61	c    59187   5496    31653  3124203   98    90808   63354  16975    243 243.27
247.52/247.61	c    59663   5496    32129  3173497   98    91761   69690  17451    244 243.95
247.52/247.61	c    60476   5496    32942  3255210   98    93386   76660  18264    246 245.33
247.52/247.61	c    61798   5496    34264  3449044  100    96034   84327  19586    249 247.50
247.52/247.61	o 6908324	247.537
247.52/247.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
247.52/247.64	c    61803   5496    34270  3452021  100    98958   52358  19592    249 247.54
247.52/247.64	o 6810458	247.57
247.52/247.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
247.52/247.68	c    61810   5496    34278  3455038  100   101889   52358  19600    249 247.57
247.52/247.68	o 6741347	247.61
251.12/251.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.12/251.27	c    61822   5496    34291  3458651  100   104830   52358  19613    249 247.61
251.12/251.27	c    61922   5496    34391  3467988  100   105029   57594  19713    249 247.83
251.12/251.27	c    62173   5496    34642  3493410  100   105533   63354  19964    250 248.22
251.12/251.27	c    62651   5496    35120  3542096  100   106488   69690  20442    251 249.19
251.12/251.27	c    63464   5496    35933  3638048  101   108113   76660  21255    252 250.98
251.12/251.27	o 6730050	251.197
256.82/256.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.82/256.98	c    63612   5491    36082  3653686  101   111312   52348  21404    253 251.20
256.82/256.98	c    63712   5491    36182  3662960  101   111519   57583  21504    253 251.50
256.82/256.98	c    63962   5491    36432  3701255  101   112023   63342  21754    253 251.94
256.82/256.98	c    64437   5491    36907  3748486  101   112967   69677  22229    254 253.12
256.82/256.98	c    65251   5491    37721  3853100  102   114595   76645  23043    256 254.27
256.82/256.98	o 6728860	256.912
256.92/257.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.92/257.01	c    66323   5491    38794  3962361  102   119643   52348  24116    258 256.92
256.92/257.01	o 6669474	256.934
256.92/257.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.92/257.03	c    66323   5491    38795  3965273  102   122559   52348  24117    258 256.94
256.92/257.03	o 6641161	256.958
257.22/257.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.22/257.37	c    66325   5491    38798  3968222  102   125473   52348  24120    258 256.96
257.22/257.37	c    66426   5491    38899  3972687  102   125679   57583  24221    258 257.26
257.22/257.37	o 6461988	257.296
271.52/271.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
271.52/271.69	c    66432   5491    38906  3975864  102   128598   52348  24228    258 257.30
271.52/271.69	c    66532   5491    39006  3983580  102   128810   57583  24328    258 257.50
271.52/271.69	c    66783   5491    39257  4006081  102   129304   63342  24579    258 258.20
271.52/271.69	c    67258   5491    39732  4056312  102   130251   69677  25054    259 259.21
271.52/271.69	c    68071   5491    40545  4129237  101   131881   76645  25867    260 261.56
271.52/271.69	c    69391   5491    41865  4257996  101   134524   84310  27187    262 264.55
271.52/271.69	c    71472   5491    43946  4522923  102   138681   92742  29268    263 271.32
271.52/271.69	o 6459816	271.615
276.51/276.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
276.51/276.65	c    71585   5491    44060  4532515  102   141824   52348  29382    263 271.62
276.51/276.65	c    71685   5491    44160  4539235  102   142028   57583  29482    263 272.07
276.51/276.65	c    71935   5491    44410  4558357  102   142521   63342  29732    263 272.92
276.51/276.65	c    72410   5491    44885  4607030  102   143470   69677  30207    263 274.50
276.51/276.65	o 6449041	276.572
439.17/439.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
439.17/439.38	c    73214   5491    45690  4701774  102   147994   52348  31012    264 276.57
439.17/439.38	c    73316   5490    45792  4707626  102   148197   57583  31114    264 276.84
439.17/439.38	c    73566   5490    46042  4724245  102   148694   63342  31364    264 277.71
439.17/439.38	c    74041   5490    46517  4768366  102   149645   69677  31839    265 279.16
439.17/439.38	c    74854   5490    47330  4878323  103   151273   76645  32652    266 281.17
439.17/439.38	c    76174   5490    48650  5016436  103   153911   84310  33972    266 286.24
439.17/439.38	c    78255   5490    50731  5265993  103   158075   92742  36053    268 291.70
439.17/439.38	c    81479   5490    53955  5688688  105   164523  102017  39277    270 300.78
439.17/439.38	c    86415   5490    58891  6478987  110   174399  112219  44213    269 320.95
439.17/439.38	c    93921   5490    66397  7488328  112   189407  123441  51719    271 346.20
439.17/439.38	c   105283   5490    77759  9595430  123   212129  135786  63081    257 408.15
439.17/439.38	o 6445686	439.271
455.77/455.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
455.77/455.96	c   112531   5490    85008 10853953  127   229538   52346  70330    256 439.27
455.77/455.96	c   112631   5007    27539  2341237   85    79654   57581  12861    254 443.08
455.77/455.96	c   112881   5007    27789  2382465   85    80157   63340  13111    254 443.45
455.77/455.96	c   113357   5007    28265  2410431   85    81107   69675  13587    255 443.94
455.77/455.96	c   114171   5007    29079  2507879   86    82737   76643  14401    256 445.15
455.77/455.96	c   115491   5007    30399  2699928   88    85375   84308  15721    258 446.74
455.77/455.96	c   117573   5007    32481  2941967   90    89541   92739  17803    261 450.07
455.77/455.96	c   120799   5007    35707  3399784   95    95993  102013  21029    265 454.99
455.77/455.96	o 6377523	455.842
459.47/459.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
459.47/459.68	c   121228   5007    36137  3429479   94    99508   51850  21459    265 455.84
459.47/459.68	c   121328   5007    36237  3435317   94    99712   57036  21559    266 456.09
459.47/459.68	c   121579   5007    36488  3470345   95   100216   62740  21810    266 456.55
459.47/459.68	c   122055   5007    36964  3536834   95   101166   69015  22286    266 457.45
459.47/459.68	c   122868   5007    37777  3596804   95   102792   75917  23099    267 459.05
459.47/459.68	o 6319270	459.565
579.55/579.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
579.55/579.79	c   123137   5007    38047  3620237   95   105992   51850  23369    267 459.57
579.55/579.79	c   123239   5007    38149  3626663   95   106199   57036  23471    268 459.81
579.55/579.79	c   123489   5007    38399  3654033   95   106697   62740  23721    268 460.31
579.55/579.79	c   123964   5007    38874  3679405   94   107647   69015  24196    268 461.33
579.55/579.79	c   124777   5007    39687  3753136   94   109275   75917  25009    269 463.00
579.55/579.79	c   126097   5007    41007  3860786   94   111913   83509  26329    270 465.73
579.55/579.79	c   128178   5007    43088  4073576   94   116076   91860  28410    272 470.47
579.55/579.79	c   131401   5007    46311  4566166   98   122521  101047  31633    274 477.98
579.55/579.79	c   136338   5007    51248  5386573  105   132396  111152  36570    278 490.28
579.55/579.79	c   143845   5007    58755  6030161  102   147409  122268  44077    283 507.98
579.55/579.79	c   155206   5007    70116 10874074  155   170132  134495  55438    276 560.92
579.55/579.79	o 6309263	579.643
598.74/598.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
598.74/598.90	c   160635   5007    75546 11702400  154   183647   51850  60868    277 579.65
598.74/598.90	c   160738   5007    28563  4210473  147    81459   57036  13885    275 583.51
598.74/598.90	c   160988   5007    28813  4235431  146    81959   62740  14135    275 583.83
598.74/598.90	c   161463   5007    29288  4265294  145    82908   69015  14610    276 584.74
598.74/598.90	c   162279   5007    30104  4475694  148    84540   75917  15426    276 587.14
598.74/598.90	c   163600   5007    31425  4586550  145    87185   83509  16747    277 588.81
598.74/598.90	c   165682   5007    33507  4841738  144    91345   91860  18829    279 592.72
598.74/598.90	c   168907   5007    36732  5244282  142    97795  101047  22054    282 598.33
598.74/598.90	o 6307319	598.753
617.63/617.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
617.63/617.84	c   169271   5007    37097  5285047  142   101187   51850  22419    282 598.76
617.63/617.84	c   169372   5007    37198  5294331  142   101389   57036  22520    282 598.91
617.63/617.84	c   169622   5007    37448  5309310  141   101891   62740  22770    282 599.79
617.63/617.84	c   170097   5007    37923  5535027  145   102839   69015  23245    282 601.57
617.63/617.84	c   170910   5007    38736  5617143  145   104466   75917  24058    283 602.80
617.63/617.84	c   172231   5007    40057  5762808  143   107109   83509  25379    283 606.77
617.63/617.84	c   174312   5007    42138  6041887  143   111267   91860  27460    285 610.03
617.63/617.84	c   177536   5007    45362  6416354  141   117716  101047  30684    288 615.44
617.63/617.84	o 6287153	617.691
621.13/621.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
621.13/621.30	c   178334   5007    46161  6491123  140   121977   51850  31483    288 617.69
621.13/621.30	c   178439   5007    46266  6500346  140   122186   57036  31588    288 617.99
621.13/621.30	c   178689   5007    46516  6582658  141   122687   62740  31838    288 619.02
621.13/621.30	c   179164   5007    46991  6617111  140   123635   69015  32313    288 620.29
621.13/621.30	o 6276332	621.147
633.13/633.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
633.13/633.36	c   179569   5007    47397  6647548  140   127110   51850  32719    289 621.15
633.13/633.36	c   179669   5007    47497  6654227  140   127311   57036  32819    289 621.61
633.13/633.36	c   179920   5007    47748  6745813  141   127813   62740  33070    288 622.75
633.13/633.36	c   180395   5007    48223  6805432  141   128760   69015  33545    289 624.20
633.13/633.36	c   181210   5007    49038  6893944  140   130392   75917  34360    289 626.28
633.13/633.36	c   182530   5007    50358  7014772  139   133033   83509  35680    288 632.19
633.13/633.36	o 6262557	633.206
654.63/654.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
654.63/654.89	c   182991   5007    50820  7046993  138   136614   51850  36142    288 633.21
654.63/654.89	c   183091   5007    50920  7078449  139   136818   57036  36242    288 633.70
654.63/654.89	c   183341   5007    51170  7097766  138   137316   62740  36492    288 634.71
654.63/654.89	c   183817   5007    51646  7153645  138   138270   69015  36968    289 636.02
654.63/654.89	c   184631   5007    52460  7486088  142   139898   75917  37782    288 640.62
654.63/654.89	c   185956   5007    53785  7797362  144   142548   83509  39107    288 644.27
654.63/654.89	c   188037   5007    55866  8025287  143   146708   91860  41188    288 651.80
654.63/654.89	o 6258681	654.735
688.22/688.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
688.22/688.47	c   188965   5007    56795  8112133  142   151225   51850  42117    288 654.74
688.22/688.47	c   189065   5007    56895  8130958  142   151429   57036  42217    288 655.44
688.22/688.47	c   189316   5007    57146  8150583  142   151931   62740  42468    288 656.26
688.22/688.47	c   189793   5007    57623  8193480  142   152882   69015  42945    288 658.03
688.22/688.47	c   190609   5007    58439  8254955  141   154516   75917  43761    288 660.67
688.22/688.47	c   191929   5007    59759  8413870  140   157157   83509  45081    287 667.62
688.22/688.47	c   194011   5007    61841  8648118  139   161317   91860  47163    287 674.04
688.22/688.47	c   197234   5007    65064  9016367  138   167767  101047  50386    286 687.88
688.22/688.47	o 6227013	688.303
692.52/692.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
692.52/692.75	c   197328   5007    65159  9027163  138   170614   51850  50481    286 688.31
692.52/692.75	c   197428   5007    65259  9060207  138   170818   57036  50581    286 688.97
692.52/692.75	c   197678   5007    65509  9104514  138   171315   62740  50831    286 690.01
692.52/692.75	c   198153   5007    65984  9152678  138   172266   69015  51306    286 692.43
692.52/692.75	o 6213102	692.587
700.82/701.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
700.82/701.06	c   198180   5007    66012  9156968  138   174984   51850  51334    286 692.59
700.82/701.06	c   198280   5007    66112  9164315  138   175186   57036  51434    286 693.21
700.82/701.06	c   198530   5007    66362  9246301  139   175685   62740  51684    285 695.37
700.82/701.06	c   199005   5007    66837  9370402  140   176632   69015  52159    285 697.27
700.82/701.06	o 6184580	700.897
826.40/826.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
826.40/826.65	c   199742   5007    67575  9427400  139   180771   51850  52897    284 700.90
826.40/826.65	c   199843   5007    67676  9442806  139   180972   57036  52998    284 701.40
826.40/826.65	c   200093   5007    67926  9482530  139   181473   62740  53248    284 703.25
826.40/826.65	c   200568   5007    68401  9537359  139   182421   69015  53723    284 705.52
826.40/826.65	c   201383   5007    69216  9663656  139   184053   75917  54538    283 709.35
826.40/826.65	c   202707   5007    70540 10033565  142   186703   83509  55862    281 718.95
826.40/826.65	c   204788   5007    72621 10303100  141   190860   91860  57943    281 727.73
826.40/826.65	c   208011   5007    75844 11076971  146   197311  101047  61166    277 748.80
826.40/826.65	c   212947   5007    80780 11738069  145   207178  111152  66102    276 771.36
826.40/826.65	c   220455   5007    88288 14323029  162   222197  122268  73610    266 825.99
826.40/826.65	o 6126522	826.467
1800.04/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.50	c   220527   5007    88361 14332086  162   225004   51850  73683    266 826.47
1800.04/1800.50	c   220628   5007    28864  3478897  120    82063   57036  14186    265 830.95
1800.04/1800.50	c   220878   5007    29114  3575573  122    82561   62740  14436    265 831.74
1800.04/1800.50	c   221354   5007    29590  3629876  122    83511   69015  14912    265 832.24
1800.04/1800.50	c   222167   5007    30403  3750769  123    85138   75917  15725    266 833.79
1800.04/1800.50	c   223488   5007    31724  3891846  122    87782   83509  17046    267 835.40
1800.04/1800.50	c   225569   5007    33805  4321956  127    91945   91860  19127    268 838.86
1800.04/1800.50	c   228792   5007    37028  5466605  147    98387  101047  22350    270 847.08
1800.04/1800.50	c   233731   5007    41967  6166477  146   108267  111152  27289    273 855.48
1800.04/1800.50	c   241237   5007    49473  7770026  157   123281  122268  34795    275 876.63
1800.04/1800.50	c   252598   5007    60834  9947640  163   146000  134495  46156    275 918.28
1800.04/1800.50	c   269743   5007    77979 14855527  190   180290  147945  63301    271 992.74
1800.04/1800.50	c   295563   5007   103799 26913877  259   231933  162740  89121    247 1196.11
1800.04/1800.50	c   334396   5007   142632 37769698  264   309596  179015 127954    213 1564.99
1800.04/1800.50	c Caught signal: 15
1800.04/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.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c  256   350710 155483   936247   158946 47348131 144268    194 1800.05
1800.04/1800.50	c Objective: 6126522
1800.04/1800.50	s SATISFIABLE
1800.04/1800.50	c Total time: 1800.05 s

OK	6126522

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-3744151-1338803188/watcher-3744151-1338803188 -o /tmp/evaluation-result-3744151-1338803188/solver-3744151-1338803188 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744151-1338803188.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.96 2.03 1.95 3/176 1589
/proc/meminfo: memFree=27020964/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=13072 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 346444563 13385728 410 33554432000 134512640 135840783 4293988800 4293987456 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 3268 410 329 325 0 2062 0

[startup+0.0947051 s]
/proc/loadavg: 1.96 2.03 1.95 3/176 1589
/proc/meminfo: memFree=27020964/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=8308 CPUtime=0.09 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 1523 0 0 0 9 0 0 0 20 0 1 0 346444563 8507392 1317 33554432000 134512640 135840783 4293988800 4293906172 16712752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 2077 1317 344 325 0 1013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8308

[startup+0.100171 s]
/proc/loadavg: 1.96 2.03 1.95 3/176 1589
/proc/meminfo: memFree=27020964/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=8308 CPUtime=0.09 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 1523 0 0 0 9 0 0 0 20 0 1 0 346444563 8507392 1317 33554432000 134512640 135840783 4293988800 4293906172 16712752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 2077 1317 344 325 0 1013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8308

[startup+0.300175 s]
/proc/loadavg: 1.96 2.03 1.95 3/176 1589
/proc/meminfo: memFree=27020964/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=8308 CPUtime=0.29 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 1523 0 0 0 29 0 0 0 20 0 1 0 346444563 8507392 1317 33554432000 134512640 135840783 4293988800 4293905760 1580281 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 2077 1317 344 325 0 1013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8308

[startup+0.700171 s]
/proc/loadavg: 1.96 2.03 1.95 3/176 1589
/proc/meminfo: memFree=27020964/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=8308 CPUtime=0.69 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 1523 0 0 0 69 0 0 0 20 0 1 0 346444563 8507392 1317 33554432000 134512640 135840783 4293988800 4293905700 1569122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 2077 1317 344 325 0 1013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8308

[startup+1.50018 s]
/proc/loadavg: 1.96 2.03 1.95 3/177 1590
/proc/meminfo: memFree=27015484/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=9448 CPUtime=1.49 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 1948 0 0 0 148 1 0 0 20 0 1 0 346444563 9674752 1616 33554432000 134512640 135840783 4293988800 4293987888 1580340 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 2362 1616 351 325 0 1298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9448

[startup+3.10018 s]
/proc/loadavg: 1.96 2.03 1.95 3/177 1590
/proc/meminfo: memFree=27012500/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=12140 CPUtime=3.09 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 2636 0 0 0 308 1 0 0 20 0 1 0 346444563 12431360 2304 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 3035 2304 351 325 0 1971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12140

[startup+6.30018 s]
/proc/loadavg: 1.96 2.03 1.95 3/177 1590
/proc/meminfo: memFree=27006704/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=14264 CPUtime=6.28 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 3165 0 0 0 627 1 0 0 20 0 1 0 346444563 14606336 2833 33554432000 134512640 135840783 4293988800 4293988052 1587804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 3566 2833 351 325 0 2502 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14264

[startup+12.7002 s]
/proc/loadavg: 1.96 2.03 1.95 3/177 1590
/proc/meminfo: memFree=26994588/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=18704 CPUtime=12.68 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 4283 0 0 0 1267 1 0 0 20 0 1 0 346444563 19152896 3951 33554432000 134512640 135840783 4293988800 4293988160 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 4676 3951 351 325 0 3612 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18704

[startup+25.5001 s]
/proc/loadavg: 1.97 2.03 1.95 3/177 1590
/proc/meminfo: memFree=26975808/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=27888 CPUtime=25.48 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 6567 0 0 0 2546 2 0 0 20 0 1 0 346444563 28557312 6240 33554432000 134512640 135840783 4293988800 4293988160 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 6972 6240 351 325 0 5908 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27888

[startup+51.1002 s]
/proc/loadavg: 1.98 2.03 1.95 3/177 1590
/proc/meminfo: memFree=26950924/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=40128 CPUtime=51.07 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 9646 0 0 0 5104 3 0 0 20 0 1 0 346444563 41091072 9306 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1589/statm: 10032 9306 351 325 0 8968 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40128

[startup+102.306 s]
/proc/loadavg: 2.07 2.04 1.95 3/177 1590
/proc/meminfo: memFree=26898256/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=70556 CPUtime=102.26 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 17256 0 0 0 10222 4 0 0 20 0 1 0 346444563 72249344 16916 33554432000 134512640 135840783 4293988800 4293986208 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 17639 16916 351 325 0 16575 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70556

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/176 1590
/proc/meminfo: memFree=26854000/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=92060 CPUtime=162.23 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 22668 0 0 0 16216 7 0 0 20 0 1 0 346444563 94269440 22305 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 23015 22305 351 325 0 21951 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 92060

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 1596
/proc/meminfo: memFree=26800404/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=115504 CPUtime=222.22 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 28526 0 0 0 22214 8 0 0 20 0 1 0 346444563 118276096 28163 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 28876 28163 351 325 0 27812 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 115504

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 1596
/proc/meminfo: memFree=26766952/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=122600 CPUtime=282.21 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 30350 0 0 0 28212 9 0 0 20 0 1 0 346444563 125542400 29923 33554432000 134512640 135840783 4293988800 4293988160 134551098 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 30650 29923 351 325 0 29586 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 122600

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 1596
/proc/meminfo: memFree=26738080/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=122600 CPUtime=342.19 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 30360 0 0 0 34210 9 0 0 20 0 1 0 346444563 125542400 29924 33554432000 134512640 135840783 4293988800 4293988160 134551359 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 30650 29924 351 325 0 29586 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 122600

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1596
/proc/meminfo: memFree=26687004/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=135260 CPUtime=402.18 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 33537 0 0 0 40207 11 0 0 20 0 1 0 346444563 138506240 33101 33554432000 134512640 135840783 4293988800 4293988160 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 33815 33101 351 325 0 32751 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135260

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1596
/proc/meminfo: memFree=26664324/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=155000 CPUtime=462.17 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 38526 0 0 0 46204 13 0 0 20 0 1 0 346444563 158720000 38021 33554432000 134512640 135840783 4293988800 4293988160 134550738 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 38750 38021 351 325 0 37686 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 155000

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1597
/proc/meminfo: memFree=26663868/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=155000 CPUtime=522.15 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 38539 0 0 0 52202 13 0 0 20 0 1 0 346444563 158720000 38021 33554432000 134512640 135840783 4293988800 4293988160 134551515 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 38750 38021 351 325 0 37686 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 155000

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 1597
/proc/meminfo: memFree=26655404/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=164332 CPUtime=582.14 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 40861 0 0 0 58200 14 0 0 20 0 1 0 346444563 168275968 40340 33554432000 134512640 135840783 4293988800 4293988224 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 41083 40340 351 325 0 40019 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 164332

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 1625
/proc/meminfo: memFree=26604908/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=199248 CPUtime=882.09 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 49689 0 0 0 88193 16 0 0 20 0 1 0 346444563 204029952 49092 33554432000 134512640 135840783 4293988800 4293988160 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 49812 49092 351 325 0 48748 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 199248

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 1625
/proc/meminfo: memFree=26586404/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=199248 CPUtime=942.08 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 49690 0 0 0 94192 16 0 0 20 0 1 0 346444563 204029952 49093 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 49812 49093 351 325 0 48748 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 199248

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1625
/proc/meminfo: memFree=26564332/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=210120 CPUtime=1002.08 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 52407 0 0 0 100191 17 0 0 20 0 1 0 346444563 215162880 51810 33554432000 134512640 135840783 4293988800 4293988160 134551065 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 52530 51810 351 325 0 51466 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 210120

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1625
/proc/meminfo: memFree=26491636/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=261368 CPUtime=1062.04 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 65250 0 0 0 106184 20 0 0 20 0 1 0 346444563 267640832 64617 33554432000 134512640 135840783 4293988800 4293988160 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 65342 64617 351 325 0 64278 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 261368

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1626
/proc/meminfo: memFree=26425540/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=306928 CPUtime=1122.02 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 76670 0 0 0 112179 23 0 0 20 0 1 0 346444563 314294272 76022 33554432000 134512640 135840783 4293988800 4293988152 10606777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 76732 76022 351 325 0 75668 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 306928

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1626
/proc/meminfo: memFree=26353748/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=351096 CPUtime=1182.01 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 87700 0 0 0 118175 26 0 0 20 0 1 0 346444563 359522304 87052 33554432000 134512640 135840783 4293988800 4293988160 134550957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 87774 87052 351 325 0 86710 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 351096

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 1626
/proc/meminfo: memFree=26298932/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=380880 CPUtime=1242 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 95134 0 0 0 124170 30 0 0 20 0 1 0 346444563 390021120 94486 33554432000 134512640 135840783 4293988800 4293988160 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 95220 94486 351 325 0 94156 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 380880

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 1626
/proc/meminfo: memFree=26257544/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=405744 CPUtime=1302 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 101349 0 0 0 130168 32 0 0 20 0 1 0 346444563 415481856 100701 33554432000 134512640 135840783 4293988800 4293988160 134550942 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 101436 100701 351 325 0 100372 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 405744

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 1626
/proc/meminfo: memFree=26231484/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=432348 CPUtime=1361.98 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 107998 0 0 0 136164 34 0 0 20 0 1 0 346444563 442724352 107350 33554432000 134512640 135840783 4293988800 4293988100 1587734 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 108087 107350 351 325 0 107023 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 432348

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.98 3/178 1630
/proc/meminfo: memFree=26211256/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=452012 CPUtime=1421.98 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 112934 0 0 0 142163 35 0 0 20 0 1 0 346444563 462860288 112286 33554432000 134512640 135840783 4293988800 4293988160 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 113003 112286 351 325 0 111939 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 452012

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 1630
/proc/meminfo: memFree=26190288/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=473252 CPUtime=1481.97 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 118252 0 0 0 148159 38 0 0 20 0 1 0 346444563 484610048 117599 33554432000 134512640 135840783 4293988800 4293988160 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 118313 117599 351 325 0 117249 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 473252

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 1630
/proc/meminfo: memFree=26170600/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=492920 CPUtime=1541.93 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 123195 0 0 0 154154 39 0 0 20 0 1 0 346444563 504750080 122507 33554432000 134512640 135840783 4293988800 4293988160 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 123230 122507 351 325 0 122166 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 492920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1630
/proc/meminfo: memFree=26142360/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=521860 CPUtime=1601.88 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 130482 0 0 0 160146 42 0 0 20 0 1 0 346444563 534384640 129750 33554432000 134512640 135840783 4293988800 4293988160 134550896 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 130465 129750 351 325 0 129401 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 521860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1630
/proc/meminfo: memFree=26101208/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=562892 CPUtime=1661.86 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 140755 0 0 0 166141 45 0 0 20 0 1 0 346444563 576401408 139994 33554432000 134512640 135840783 4293988800 4293988160 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 140723 139994 351 325 0 139659 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 562892

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1631
/proc/meminfo: memFree=26073804/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=590196 CPUtime=1721.85 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 147600 0 0 0 172138 47 0 0 20 0 1 0 346444563 604360704 146839 33554432000 134512640 135840783 4293988800 4293988160 134551000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 147549 146839 351 325 0 146485 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 590196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1631
/proc/meminfo: memFree=26047888/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=615680 CPUtime=1781.83 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 153942 0 0 0 178135 48 0 0 20 0 1 0 346444563 630456320 153181 33554432000 134512640 135840783 4293988800 4293988160 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 153920 153181 351 325 0 152856 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 615680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1676
/proc/meminfo: memFree=26237492/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=625964 CPUtime=1800.04 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 156534 0 0 0 179955 49 0 0 20 0 1 0 346444563 640987136 155773 33554432000 134512640 135840783 4293988800 4293988160 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 156491 155773 351 325 0 155427 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 625964

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 1676
/proc/meminfo: memFree=26237492/32873660 swapFree=7120/7120
[pid=1589] ppid=1587 vsize=625964 CPUtime=1800.04 cores=0,2,4,6
/proc/1589/stat : 1589 (bsolo3.0.17) R 1587 1589 1308 0 -1 4202496 156534 0 0 0 179955 49 0 0 20 0 1 0 346444563 640987136 155773 33554432000 134512640 135840783 4293988800 4293988160 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1589/statm: 156491 155773 351 325 0 155427 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 625964

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.503923
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 625964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.503923
maximum resident set size= 623092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156537
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= 250
involuntary context switches= 1945

runsolver used 3.51047 second user time and 8.74367 second system time

The end

Begin job on node117 at 2012-06-04 11:46:28
IDJOB=3744151
IDBENCH=92697
IDSOLVER=2318
FILE ID=node117/3744151-1338803188
RUNJOBID= node117-1338799572-1324
PBS_JOBID= 14636863
Free space on /tmp= 69116 MiB

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

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

MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7
RANDOM SEED=1123574023

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:        27021336 kB
Buffers:          640860 kB
Cached:          4262712 kB
SwapCached:          776 kB
Active:          2442300 kB
Inactive:        2493948 kB
Active(anon):      18052 kB
Inactive(anon):     9972 kB
Active(file):    2424248 kB
Inactive(file):  2483976 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             14376 kB
Writeback:             0 kB
AnonPages:         34480 kB
Mapped:            13688 kB
Shmem:                80 kB
Slab:             780104 kB
SReclaimable:     224004 kB
SUnreclaim:       556100 kB
KernelStack:        1448 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     142512 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:16:31