0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2671061-1276716785.opb
0.00/0.00	c File size is 566883 bytes.
0.02/0.09	c Highest Coefficient sum: 1000
0.02/0.09	c Parsing was ok!!
0.02/0.09	c Total parsing time: 0.095 s
0.09/0.10	c Var: 7316 Constr: 14134 6816/1002/6316 Lit: 53528 Watch. Lit: 46214
0.09/0.10	c Obj. Vars: 500 (6.83434 % of total variables)
1.89/1.98	c Pre-processing Time: 1.981 s
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c        0   7316    14134    53528    3    46214   93040      0      0 1.98
1.89/1.98	c Switching off lower bounding mode.
1.89/1.99	o -1
2.00/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.00/2.06	c        0   7316    14135    54028    3    46217   93373      1      0 2.00
2.00/2.06	o -2
2.10/2.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.13	c        1   7316    14138    55528    3    46226   93540      4      0 2.07
2.10/2.13	o -3
2.10/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.20	c        2   7316    14141    57040    4    46237   93706      7      0 2.13
2.10/2.20	o -4
2.20/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.27	c        4   7316    14145    58555    4    46252   93873     11      1 2.20
2.20/2.27	o -5
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c        5   7316    14148    60068    4    46267   94040     14      2 2.27
2.29/2.34	o -6
2.39/2.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.41	c        6   7316    14151    61582    4    46284   94040     17      2 2.34
2.39/2.41	o -7
2.39/2.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.48	c        7   7316    14154    63113    4    46303   94040     20      2 2.41
2.39/2.48	o -8
2.49/2.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.55	c        8   7316    14157    64644    4    46324   94040     23      3 2.48
2.49/2.55	o -9
2.59/2.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.62	c        9   7316    14160    66176    4    46347   94040     26      3 2.56
2.59/2.62	o -10
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c       12   7316    14165    68212    4    46376   94040     31      4 2.62
2.59/2.69	o -11
2.69/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.76	c       14   7316    14169    70244    4    46405   94040     35      5 2.70
2.69/2.76	o -12
2.79/2.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.83	c       18   7316    14175    72790    5    46440   94040     41      6 2.77
2.79/2.83	o -13
2.89/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.90	c       22   7316    14181    75811    5    46477   94040     47      7 2.84
2.89/2.90	o -14
2.89/2.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.97	c       28   7316    14189    79327    5    46520   94040     55      9 2.91
2.89/2.97	o -15
2.99/3.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.05	c       34   7316    14197    83323    5    46565   94040     63     11 2.98
2.99/3.05	o -16
3.09/3.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.12	c       41   7316    14206    87800    6    46614   94040     72     13 3.05
3.09/3.12	o -17
3.09/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.19	c       49   7316    14216    92765    6    46667   94040     82     15 3.13
3.09/3.19	o -18
3.20/3.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.27	c       61   7316    14230    97748    6    46730   94040     96     19 3.20
3.20/3.27	o -19
3.30/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.34	c       73   7316    14244   103696    7    46795   94040    110     22 3.27
3.30/3.34	o -20
3.39/3.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.42	c       84   7316    14257   110119    7    46860   94040    123     25 3.35
3.39/3.42	o -21
3.39/3.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.49	c       95   7316    14270   116540    8    46927   94040    136     27 3.42
3.39/3.49	o -22
3.49/3.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.56	c      107   7316    14284   123440    8    46998   94040    150     30 3.49
3.49/3.56	o -23
3.59/3.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.62	c      119   7316    14298   129864    9    47071   94040    164     33 3.56
3.59/3.62	o -24
3.59/3.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.68	c      123   7316    14304   131514    9    47130   94040    170     33 3.63
3.59/3.68	o -25
3.69/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.74	c      127   7316    14310   133165    9    47191   94040    176     34 3.69
3.69/3.74	o -26
3.79/3.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.80	c      128   7316    14313   134806    9    47248   94040    179     34 3.75
3.79/3.80	o -27
3.79/3.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.87	c      131   7316    14318   136466    9    47311   94040    184     34 3.81
3.79/3.87	o -28
3.89/3.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.93	c      142   7316    14331   138149    9    47392   94040    197     36 3.87
3.89/3.93	o -29
3.89/3.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.98	c      145   7316    14336   139835    9    47459   94040    202     36 3.93
3.89/3.98	o -30
3.99/4.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.03	c      147   7316    14340   141527    9    47526   94040    206     36 3.99
3.99/4.03	o -31
3.99/4.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.08	c      150   7316    14345   143234    9    47597   94040    211     37 4.04
3.99/4.08	o -32
4.09/4.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.14	c      152   7316    14349   144952   10    47668   94040    215     37 4.09
4.09/4.14	o -33
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c      158   7316    14357   146686   10    47749   94040    223     38 4.14
4.09/4.19	o -34
4.19/4.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.24	c      163   7316    14364   148424   10    47830   94040    230     38 4.20
4.19/4.24	o -35
4.19/4.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.29	c      167   7316    14370   150167   10    47911   94040    236     39 4.25
4.19/4.29	o -36
4.30/4.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.34	c      168   7316    14373   151902   10    47988   94040    239     39 4.30
4.30/4.34	o -37
4.30/4.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.39	c      170   7316    14377   153640   10    48069   94040    243     39 4.35
4.30/4.39	o -38
4.40/4.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.44	c      175   7316    14384   155387   10    48158   94040    250     39 4.40
4.40/4.44	o -39
4.40/4.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.49	c      178   7316    14389   157136   10    48245   94040    255     40 4.45
4.40/4.49	o -40
4.49/4.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.55	c      186   7316    14399   161186   11    48344   94040    265     41 4.50
4.49/4.55	o -41
4.59/4.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.60	c      197   7316    14412   166623   11    48451   94040    278     43 4.56
4.59/4.60	o -42
4.59/4.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.64	c      198   7316    14415   168379   11    48540   94040    281     43 4.60
4.59/4.64	o -43
4.59/4.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.69	c      202   7316    14421   170159   11    48637   94040    287     43 4.65
4.59/4.69	o -44
4.69/4.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.74	c      211   7316    14432   171954   11    48746   94040    298     44 4.70
4.69/4.74	o -45
4.69/4.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.79	c      215   7316    14438   173743   12    48847   94040    304     45 4.75
4.69/4.79	o -46
4.79/4.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.84	c      221   7316    14446   175535   12    48954   94040    312     46 4.79
4.79/4.84	o -47
4.79/4.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.88	c      234   7316    14461   177348   12    49077   94040    327     48 4.84
4.79/4.88	o -48
4.89/4.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.93	c      236   7316    14465   179131   12    49180   94040    331     48 4.89
4.89/4.93	o -49
4.89/4.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.99	c      248   7316    14479   180945   12    49305   94040    345     50 4.94
4.89/4.99	o -50
5.19/5.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.25	c      264   7316    14497   182769   12    49440   94040    363     52 5.00
5.19/5.25	c      365   7316    14598   228320   15    49642  103445    464     71 5.11
5.19/5.25	o -51
5.19/5.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.29	c      472   7316    14707   266250   18    49961   94040    573     89 5.26
5.19/5.29	o -52
5.29/5.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.34	c      475   7316    14712   268042   18    50074   94040    578     89 5.30
5.29/5.34	o -53
5.29/5.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.38	c      479   7316    14718   269839   18    50191   94040    584     89 5.35
5.29/5.38	o -54
5.40/5.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.40/5.42	c      483   7316    14724   271647   18    50310   94040    590     89 5.39
5.40/5.42	o -55
5.40/5.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.40/5.46	c      487   7316    14730   273455   18    50431   94040    596     89 5.43
5.40/5.46	o -56
5.50/5.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.50	c      493   7316    14738   275269   18    50558   94040    604     90 5.47
5.50/5.50	o -57
5.50/5.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.54	c      496   7316    14743   277079   18    50681   94040    609     90 5.51
5.50/5.54	o -58
5.50/5.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.58	c      499   7316    14748   278890   18    50806   94040    614     89 5.55
5.50/5.58	o -59
5.59/5.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.62	c      502   7316    14753   280708   19    50933   94040    619     89 5.59
5.59/5.62	o -60
5.59/5.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.66	c      503   7316    14756   282523   19    51058   94040    622     89 5.63
5.59/5.66	o -61
5.69/5.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.70	c      508   7316    14763   284353   19    51193   94040    629     89 5.67
5.69/5.70	o -62
5.69/5.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.74	c      513   7316    14770   286184   19    51330   94040    636     89 5.71
5.69/5.74	o -63
5.69/5.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.78	c      515   7316    14774   288006   19    51463   94040    640     89 5.74
5.69/5.78	o -64
5.79/5.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.89	c      524   7316    14785   289851   19    51612   94040    651     90 5.79
5.79/5.89	o -65
5.89/5.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.93	c      597   7316    14860   316197   21    51891   94040    726    101 5.89
5.89/5.93	o -66
5.89/5.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.97	c      602   7316    14867   318039   21    52036   94040    733    101 5.93
5.89/5.97	o -67
5.99/6.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.00	c      609   7316    14876   319893   21    52187   94040    742    101 5.97
5.99/6.00	o -68
5.99/6.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.04	c      611   7316    14880   321740   21    52330   94040    746    101 6.01
5.99/6.04	o -69
5.99/6.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.09	c      621   7316    14892   323612   21    52491   94040    758    102 6.05
5.99/6.09	o -70
6.09/6.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.13	c      642   7316    14915   325523   21    52676   94040    781    105 6.10
6.09/6.13	o -71
6.29/6.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.32	c      651   7316    14926   327407   21    52839   94040    792    106 6.14
6.29/6.32	c      751   7316    15026   368269   24    53039  103445    892    120 6.25
6.29/6.32	o -72
6.29/6.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.35	c      783   7316    15061   380469   25    53252   94040    927    123 6.32
6.29/6.35	o -73
6.29/6.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.39	c      784   7316    15064   382330   25    53403   94040    930    123 6.36
6.29/6.39	o -74
6.39/6.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.42	c      791   7316    15073   384213   25    53568   94040    939    123 6.39
6.39/6.42	o -75
6.39/6.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.45	c      795   7316    15079   386089   25    53729   94040    945    123 6.43
6.39/6.45	o -76
6.39/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.48	c      799   7316    15085   387970   25    53892   94040    951    123 6.46
6.39/6.48	o -77
6.49/6.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.52	c      801   7316    15089   389846   25    54053   94040    955    123 6.49
6.49/6.52	o -78
6.49/6.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.55	c      809   7316    15099   391741   25    54228   94040    965    124 6.52
6.49/6.55	o -79
6.49/6.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.58	c      815   7316    15107   393637   26    54401   94040    973    124 6.55
6.49/6.58	o -80
6.49/6.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.60	c      819   7316    15113   395528   26    54572   94040    979    124 6.58
6.49/6.60	o -81
6.60/6.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.63	c      821   7316    15117   397418   26    54741   94040    983    124 6.61
6.60/6.63	o -82
6.60/6.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.66	c      826   7316    15124   399316   26    54918   94040    990    124 6.64
6.60/6.66	o -83
6.60/6.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.70	c      832   7316    15132   401219   26    55099   94040    998    124 6.67
6.60/6.70	o -84
6.79/6.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.83	c      841   7316    15143   403134   26    55288   94040   1009    125 6.70
6.79/6.83	o -85
6.79/6.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.86	c      931   7316    15235   435081   28    55641   94040   1101    136 6.83
6.79/6.86	o -86
6.79/6.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.89	c      941   7316    15247   436999   28    55836   94040   1113    136 6.87
6.79/6.89	o -87
6.89/6.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.92	c      944   7316    15252   438896   28    56019   94040   1118    136 6.90
6.89/6.92	o -88
6.89/6.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.95	c      947   7316    15257   440796   28    56204   94040   1123    136 6.93
6.89/6.95	o -89
6.89/6.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.98	c      954   7316    15266   442709   28    56399   94040   1132    137 6.96
6.89/6.98	o -90
6.99/7.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.02	c      972   7316    15286   444657   29    56618   94040   1152    139 6.99
6.99/7.02	o -91
7.29/7.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.36	c      987   7316    15303   446598   29    56833   94040   1169    140 7.03
7.29/7.36	c     1087   7316    15403   485968   31    57033  103445   1269    151 7.16
7.29/7.36	o -92
7.29/7.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.39	c     1206   7316    15524   524037   33    57458   94040   1390    163 7.37
7.29/7.39	o -93
7.39/7.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.42	c     1212   7316    15532   525954   33    57659   94040   1398    163 7.39
7.39/7.42	o -94
95.58/95.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.58/95.70	c     1219   7316    15541   527877   33    57864   94040   1407    164 7.42
95.58/95.70	c     1320   7316    15643   539498   34    58162  103445   1509    175 7.50
95.58/95.70	c     1570   7316    15893   663995   41    58662  113790   1759    199 7.86
95.58/95.70	c     2045   7316    16371   900504   55    59618  125170   2237    238 8.58
95.58/95.70	c     2858   7316    17185  1304023   75    61246  137688   3051    287 9.93
95.58/95.70	c     4178   7316    18507  1959050  105    63890  151457   4373    339 12.29
95.58/95.70	c     6259   7316    20588  2989596  145    68052  166603   6454    380 16.43
95.58/95.70	c     9482   7316    23811  4589120  192    74498  183264   9677    401 23.63
95.58/95.70	c    14418   7316    28751  7035152  244    84378  201591  14617    403 35.72
95.58/95.70	c    21924   7316    36264 10746156  296    99404  221751  22130    394 55.62
95.58/95.70	o -95
95.77/95.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.77/95.89	c    32569   7316    46916 15769231  336   120803   94040  32782    340 95.69
95.77/95.89	o -96
95.87/95.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.87/95.99	c    32635   7316    46984 15793021  336   121130   94040  32850    340 95.88
95.87/95.99	o -97
95.97/96.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.97/96.05	c    32655   7316    47006 15801382  336   121367   94040  32872    340 95.97
95.97/96.05	o -98
96.07/96.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.07/96.11	c    32659   7316    47012 15803263  336   121574   94040  32878    340 96.03
96.07/96.11	o -99
96.07/96.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.07/96.17	c    32665   7316    47020 15805152  336   121787   94040  32886    339 96.09
96.07/96.17	o -100
96.16/96.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.16/96.24	c    32673   7316    47030 15807051  336   122006   94040  32896    339 96.16
96.16/96.24	o -101
96.27/96.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.27/96.36	c    32681   7316    47040 15808949  336   122227   94040  32906    339 96.23
96.27/96.36	o -102
96.37/96.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.37/96.44	c    32701   7316    47062 15810890  335   122474   94040  32928    339 96.35
96.37/96.44	o -103
96.97/97.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.97/97.06	c    32710   7316    47073 15812801  335   122701   94040  32939    339 96.42
96.97/97.06	c    32810   7316    47173 15849441  335   122901  103445  33039    339 96.63
96.97/97.06	o -104
928.86/929.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
928.86/929.16	c    32915   7316    47280 15876925  335   123322   94040  33146    339 97.05
928.86/929.16	c    33015   7316    47381 15880492  335   123628  103445  33247    339 97.19
928.86/929.16	c    33265   7316    47631 16004990  336   124128  113790  33497    340 97.71
928.86/929.16	c    33740   7316    48108 16241995  337   125082  125170  33974    342 98.56
928.86/929.16	c    34553   7316    48922 16645513  340   126710  137688  34788    345 100.03
928.86/929.16	c    35873   7316    50242 17302028  344   129350  151457  36108    350 102.45
928.86/929.16	c    37954   7316    52323 18336560  350   133512  166603  38189    356 106.40
928.86/929.16	c    41177   7316    55549 19939103  358   139964  183264  41415    364 113.11
928.86/929.16	c    46113   7316    60488 22389649  370   149842  201591  46354    369 124.66
928.86/929.16	c    53619   7316    68005 26098064  383   164876  221751  53871    371 144.32
928.86/929.16	c    64980   7316    79379 30672630  386   189567  243927  65245    307 211.58
928.86/929.16	c    82124   7316    96541 39185786  405   223891  268320  82407    327 250.60
928.86/929.16	c   107943   7316   122369 51834762  423   275547  295153 108235    225 478.99
928.86/929.16	c   146776   7316   161219 69019731  428   353349  324669 147085    207 707.86
928.86/929.16	c Reducing formula size due to memory constraints
928.86/929.16	c Memory Limit: 1000.00 MB  Used: 1001.23 MB
928.86/929.16	o -105
1012.85/1013.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1012.85/1013.19	c   168427   7316    27684  6565605  237    73627   94040  13550    181 928.94
1012.85/1013.19	c   168527   7316    27785  6600657  237    73934  103445  13651    181 929.12
1012.85/1013.19	c   168777   7316    28035  6657854  237    74434  113790  13901    181 929.60
1012.85/1013.19	c   169253   7316    28511  6841443  239    75386  125170  14377    181 930.97
1012.85/1013.19	c   170066   7316    29328  7246438  247    77020  137688  15194    182 932.26
1012.85/1013.19	c   171386   7316    30650  7900460  257    79664  151457  16516    183 934.35
1012.85/1013.19	c   173467   7316    32731  8932994  272    83826  166603  18597    184 938.07
1012.85/1013.19	c   176690   7316    35955 10531548  292    90274  183264  21821    186 944.94
1012.85/1013.19	c   181626   7316    40897 12979169  317   100158  201591  26763    189 960.43
1012.85/1013.19	c   189132   7316    48410 16706816  345   115184  221751  34276    191 985.68
1012.85/1013.19	o -106
1800.04/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.50	c   197181   7316    56469 20590841  364   131408   94040  42335    194 1012.95
1800.04/1800.50	c   197281   7316    56570 20592910  364   131716  103445  42436    194 1013.13
1800.04/1800.50	c   197531   7316    56821 20717909  364   132218  113790  42687    194 1013.70
1800.04/1800.50	c   198006   7316    57298 20954413  365   133172  125170  43164    195 1014.62
1800.04/1800.50	c   198819   7316    58111 21356933  367   134798  137688  43977    195 1016.20
1800.04/1800.50	c   200139   7316    59432 22011457  370   137440  151457  45298    196 1018.84
1800.04/1800.50	c   202220   7316    61514 23043993  374   141604  166603  47380    197 1023.24
1800.04/1800.50	c   205443   7316    64739 24646531  380   148054  183264  50605    199 1030.47
1800.04/1800.50	c   210379   7316    69677 27095503  388   157930  201591  55543    201 1042.83
1800.04/1800.50	c   217886   7316    77191 30575031  396   172958  221751  63057    203 1068.30
1800.04/1800.50	c   229247   7316    88561 36214120  408   195698  243927  74427    209 1095.66
1800.04/1800.50	c   246391   7316   105720 44521306  421   230016  268320  91586    213 1151.91
1800.04/1800.50	c   272211   7316   131552 57122355  434   281680  295153 117418    212 1281.80
1800.04/1800.50	c   311044   7316   170401 75867100  445   359378  324669 156267    192 1611.75
1800.04/1800.50	c Reducing formula size due to memory constraints
1800.04/1800.50	c Memory Limit: 1000.00 MB  Used: 1003.75 MB
1800.04/1800.50	c Caught signal: 15
1800.04/1800.50	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 x62 x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 x244 -x245 -x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 x410 -x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 x430 -x431 -x432 -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 x483 -x484 x485 -x486 -x487 x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 -x500 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x501 -x502 -x503 -x504 -x505 x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 x686 x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 x723 -x724 -x725 -x726 -x727 x728 -x729 x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 x742 -x743 -x744 x745 -x746 x747 -x748 x749 -x750 x751 x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 x785 x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 x802 x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 x825 x826 x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 -x840 x841 -x842 -x843 x844 x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 x858 x859 -x860 x861 -x862 -x863 -x864 x865 x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 x895 -x896 x897 -x898 -x899 -x900 -x901 x902 -x903 x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 x935 x936 -x937 -x938 -x939 -x940 x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 x975 x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 
1800.04/1800.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.51	c  154   318010   7237   836657   137520 60031521 123386    176 1800.05
1800.04/1800.51	c Objective: -106
1800.04/1800.51	s SATISFIABLE
1800.04/1800.51	c Total time: 1800.05 s

OK	-106

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671061-1276716785/watcher-2671061-1276716785 -o /tmp/evaluation-result-2671061-1276716785/solver-2671061-1276716785 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671061-1276716785.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17114
/proc/meminfo: memFree=1670028/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=11492 CPUtime=0
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12970463 11767808 281 1992294400 134512640 137138936 4293250576 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 2873 282 175 642 0 2090 0

[startup+0.029325 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17114
/proc/meminfo: memFree=1670028/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=12036 CPUtime=0.02
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 516 0 0 0 2 0 0 0 20 0 1 0 12970463 12324864 435 1992294400 134512640 137138936 4293250576 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3009 435 205 642 0 2226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12036

[startup+0.101333 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17114
/proc/meminfo: memFree=1670028/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=13836 CPUtime=0.09
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 1232 0 0 0 9 0 0 0 20 0 1 0 12970463 14168064 1012 1992294400 134512640 137138936 4293250576 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3492 1014 182 642 0 2848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13836

[startup+0.30135 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17114
/proc/meminfo: memFree=1670028/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=14632 CPUtime=0.29
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 1410 0 0 0 29 0 0 0 20 0 1 0 12970463 14983168 1190 1992294400 134512640 137138936 4293250576 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3658 1190 184 642 0 3014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14632

[startup+0.701388 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17114
/proc/meminfo: memFree=1670028/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=14632 CPUtime=0.69
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 1411 0 0 0 69 0 0 0 21 0 1 0 12970463 14983168 1191 1992294400 134512640 137138936 4293250576 18446744073709551615 134543310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3658 1191 184 642 0 3014 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14632

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1666300/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=14632 CPUtime=1.49
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 1411 0 0 0 149 0 0 0 23 0 1 0 12970463 14983168 1191 1992294400 134512640 137138936 4293250576 18446744073709551615 134543006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3658 1191 184 642 0 3014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14632

[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1665432/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=15216 CPUtime=3.09
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 1974 0 0 0 307 2 0 0 25 0 1 0 12970463 15581184 1372 1992294400 134512640 137138936 4293250576 18446744073709551615 134606660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 3804 1372 192 642 0 3160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15216

[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1662704/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=19196 CPUtime=6.29
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 2955 0 0 0 623 6 0 0 25 0 1 0 12970463 19656704 2353 1992294400 134512640 137138936 4293250576 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 4799 2353 192 642 0 4155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19196

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1641748/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=41196 CPUtime=12.68
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 8444 0 0 0 1256 12 0 0 25 0 1 0 12970463 42184704 7842 1992294400 134512640 137138936 4293250576 18446744073709551615 134552141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 10299 7842 192 642 0 9655 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41196

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1602564/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=78660 CPUtime=25.49
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 17838 0 0 0 2525 24 0 0 25 0 1 0 12970463 80547840 17236 1992294400 134512640 137138936 4293250576 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 19665 17236 192 642 0 19021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78660

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17115
/proc/meminfo: memFree=1538828/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=142928 CPUtime=51.07
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 33900 0 0 0 5063 44 0 0 25 0 1 0 12970463 146358272 33298 1992294400 134512640 137138936 4293250576 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 35732 33298 192 642 0 35088 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 142928

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17117
/proc/meminfo: memFree=1442728/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=237680 CPUtime=102.28
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 57592 0 0 0 10152 76 0 0 25 0 1 0 12970463 243384320 56990 1992294400 134512640 137138936 4293250576 18446744073709551615 134551678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 59420 56990 192 642 0 58776 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 237680

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17119
/proc/meminfo: memFree=1304840/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=375460 CPUtime=162.25
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 92037 0 0 0 16103 122 0 0 25 0 1 0 12970463 384471040 91435 1992294400 134512640 137138936 4293250576 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 93865 91435 192 642 0 93221 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 375460

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17121
/proc/meminfo: memFree=1234904/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=445292 CPUtime=222.24
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 109493 0 0 0 22079 145 0 0 25 0 1 0 12970463 455979008 108891 1992294400 134512640 137138936 4293250576 18446744073709551615 134603230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 111323 108891 192 642 0 110679 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 445292

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17123
/proc/meminfo: memFree=1090816/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=588964 CPUtime=282.22
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 145414 0 0 0 28034 188 0 0 25 0 1 0 12970463 603099136 144812 1992294400 134512640 137138936 4293250576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 147241 144812 192 642 0 146597 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 588964

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17123
/proc/meminfo: memFree=1056096/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=623180 CPUtime=342.2
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 153969 0 0 0 34022 198 0 0 25 0 1 0 12970463 638136320 153367 1992294400 134512640 137138936 4293250576 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 155795 153367 192 642 0 155151 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 623180

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17125
/proc/meminfo: memFree=1026832/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=652620 CPUtime=402.19
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 161325 0 0 0 40012 207 0 0 25 0 1 0 12970463 668282880 160723 1992294400 134512640 137138936 4293250576 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 163155 160723 192 642 0 162511 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 652620

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17127
/proc/meminfo: memFree=1000544/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=678656 CPUtime=462.18
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 167835 0 0 0 46003 215 0 0 25 0 1 0 12970463 694943744 167233 1992294400 134512640 137138936 4293250576 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 169664 167233 192 642 0 169020 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 678656

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17129
/proc/meminfo: memFree=885720/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=794048 CPUtime=522.16
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 196686 0 0 0 51972 244 0 0 25 0 1 0 12970463 813105152 196084 1992294400 134512640 137138936 4293250576 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 198512 196084 192 642 0 197868 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 794048

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17131
/proc/meminfo: memFree=835748/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=843240 CPUtime=582.15
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 208978 0 0 0 57955 260 0 0 25 0 1 0 12970463 863477760 208376 1992294400 134512640 137138936 4293250576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 210810 208376 192 642 0 210166 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 843240

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17131
/proc/meminfo: memFree=801152/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=877408 CPUtime=642.14
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 217521 0 0 0 63943 271 0 0 25 0 1 0 12970463 898465792 216919 1992294400 134512640 137138936 4293250576 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 219352 216919 192 642 0 218708 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 877408

[startup+702.301 s]

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

/proc/loadavg: 1.05 1.01 1.00 2/107 17147
/proc/meminfo: memFree=639704/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1182
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 117822 378 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 136504146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1037672

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 17147
/proc/meminfo: memFree=639580/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1241.98
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 123812 386 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1037672

[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 17149
/proc/meminfo: memFree=639580/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1301.98
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 129808 390 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1037672

[startup+1362.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 17151
/proc/meminfo: memFree=639456/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1361.96
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 135796 400 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 134551752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1037672

[startup+1422.31 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 17153
/proc/meminfo: memFree=639456/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1421.95
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 141793 402 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1037672

[startup+1482.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 17155
/proc/meminfo: memFree=639456/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1481.92
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 147788 404 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1037672

[startup+1542.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 17155
/proc/meminfo: memFree=639580/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1541.91
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 153784 407 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1037672

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 17157
/proc/meminfo: memFree=639580/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1037672 CPUtime=1601.9
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 257741 0 0 0 159782 408 0 0 25 0 1 0 12970463 1062576128 256975 1992294400 134512640 137138936 4293250576 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 259418 256975 192 642 0 258774 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1037672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17159
/proc/meminfo: memFree=636852/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1040308 CPUtime=1661.88
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 258570 0 0 0 165776 412 0 0 25 0 1 0 12970463 1065275392 257644 1992294400 134512640 137138936 4293250576 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 260077 257644 192 642 0 259433 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1040308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17170
/proc/meminfo: memFree=636728/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1040308 CPUtime=1721.85
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 258570 0 0 0 171773 412 0 0 25 0 1 0 12970463 1065275392 257644 1992294400 134512640 137138936 4293250576 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 260077 257644 192 642 0 259433 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1040308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17172
/proc/meminfo: memFree=636728/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1040308 CPUtime=1781.84
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 258570 0 0 0 177772 412 0 0 25 0 1 0 12970463 1065275392 257644 1992294400 134512640 137138936 4293250576 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 260077 257644 192 642 0 259433 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1040308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17172
/proc/meminfo: memFree=636728/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1040308 CPUtime=1800.04
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 258570 0 0 0 179592 412 0 0 25 0 1 0 12970463 1065275392 257644 1992294400 134512640 137138936 4293250576 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 260077 257644 192 642 0 259433 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1040308

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.04 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17172
/proc/meminfo: memFree=636728/2059040 swapFree=4187148/4192956
[pid=17114] ppid=17112 vsize=1040308 CPUtime=1800.04
/proc/17114/stat : 17114 (bsolo_pb10) R 17112 17114 16897 0 -1 4202496 258570 0 0 0 179592 412 0 0 25 0 1 0 12970463 1065275392 257644 1992294400 134512640 137138936 4293250576 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17114/statm: 260077 257644 192 642 0 259433 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1040308

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 17173
/proc/meminfo: memFree=1660340/2059040 swapFree=4187148/4192956
[pid=17114] ppid=-1 vsize=0 CPUtime=0
/proc/17114/stat : -- couldn't open stat file --/proc/17114/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 17173
/proc/meminfo: memFree=1660340/2059040 swapFree=4187148/4192956
[pid=17114] ppid=-1 vsize=0 CPUtime=0
/proc/17114/stat : -- couldn't open stat file --/proc/17114/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 15

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17114 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=926977
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=227357
# CPU time returned by wait4() is 1800.15
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.04
#  lost CPU user time (s): 1795.92
#  lost CPU system time (s): 4.12

Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1795.92
CPU system time (s): 4.12
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1040948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.93
system time used= 4.22736
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258571
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= 1
involuntary context switches= 16833

runsolver used 3.03854 second user time and 8.45072 second system time

The end

Begin job on node048 at 2010-06-16 21:33:05
IDJOB=2671061
IDBENCH=48247
IDSOLVER=1162
FILE ID=node048/2671061-1276716785
PBS_JOBID= 11174154
Free space on /tmp= 62456 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671061-1276716785/watcher-2671061-1276716785 -o /tmp/evaluation-result-2671061-1276716785/solver-2671061-1276716785 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2671061-1276716785.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053
RANDOM SEED=1855053444

node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1671300 kB
Buffers:        121068 kB
Cached:         144772 kB
SwapCached:        280 kB
Active:         106692 kB
Inactive:       213076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1671300 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            4108 kB
Writeback:           0 kB
AnonPages:       53532 kB
Mapped:          15408 kB
Slab:            46064 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671061-1276716785.opb

Free space on /tmp at the end= 62452 MiB
End job on node048 at 2010-06-16 22:03:08