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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670884-1276710103.opb
0.00/0.00	c File size is 459797 bytes.
0.05/0.08	c Highest Coefficient sum: 200
0.05/0.08	c Parsing was ok!!
0.05/0.08	c Total parsing time: 0.078 s
0.05/0.08	c Var: 6416 Constr: 12632 6416/0/6216 Lit: 43712 Watch. Lit: 31480
0.05/0.08	c Obj. Vars: 200 (3.11721 % of total variables)
0.49/0.52	c Pre-processing Time: 0.527 s
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c        0   6416    12632    43712    3    31480   39434      0      0 0.53
0.49/0.52	c Switching off lower bounding mode.
0.49/0.53	o 199
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   6416    12633    43912    3    31483   39567      1      0 0.54
0.49/0.54	o 198
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   6416    12634    44112    3    31487   39767      2      0 0.54
0.49/0.54	o 197
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   6416    12635    44312    3    31492   40034      3      0 0.55
0.49/0.55	o 196
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        0   6416    12636    44512    3    31498   40367      4      0 0.56
0.49/0.56	o 195
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0   6416    12637    44712    3    31505   40767      5      0 0.57
0.49/0.57	o 194
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c        0   6416    12638    44912    3    31513   41234      6      0 0.57
0.49/0.58	o 193
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c        0   6416    12639    45112    3    31522   41767      7      0 0.58
0.49/0.58	o 192
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c        0   6416    12640    45312    3    31532   42367      8      0 0.59
0.49/0.59	o 191
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c        0   6416    12641    45512    3    31543   43034      9      0 0.60
0.59/0.60	o 190
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c        0   6416    12642    45712    3    31555   43767     10      0 0.61
0.59/0.61	o 189
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c        0   6416    12643    45912    3    31568   44567     11      0 0.61
0.59/0.62	o 188
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c        0   6416    12644    46112    3    31582   45434     12      0 0.62
0.59/0.63	o 187
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c        0   6416    12645    46312    3    31597   46367     13      0 0.63
0.59/0.64	o 186
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c        0   6416    12646    46512    3    31613   47367     14      0 0.64
0.59/0.65	o 185
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c        0   6416    12647    46712    3    31630   48367     15      0 0.65
0.59/0.66	o 184
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c        0   6416    12648    46912    3    31648   49367     16      0 0.66
0.59/0.67	o 183
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c        0   6416    12649    47112    3    31667   50367     17      0 0.67
0.59/0.68	o 182
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c        0   6416    12650    47312    3    31687   51367     18      0 0.68
0.59/0.69	o 181
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c        0   6416    12651    47512    3    31708   52367     19      0 0.69
0.69/0.70	o 180
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c        0   6416    12652    47712    3    31730   53367     20      0 0.70
0.69/0.71	o 179
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c        0   6416    12653    47912    3    31753   54367     21      0 0.71
0.69/0.72	o 178
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c        0   6416    12654    48112    3    31777   55367     22      0 0.72
0.69/0.73	o 177
0.69/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.74	c        0   6416    12655    48312    3    31802   56367     23      0 0.73
0.69/0.74	o 176
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c        0   6416    12656    48512    3    31828   57367     24      0 0.74
0.69/0.75	o 175
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c        0   6416    12657    48712    3    31855   58367     25      0 0.76
0.69/0.76	o 174
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c        0   6416    12658    48912    3    31883   59367     26      0 0.77
0.69/0.77	o 173
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c        0   6416    12659    49112    3    31912   60367     27      0 0.78
0.69/0.78	o 172
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c        0   6416    12660    49312    3    31942   61367     28      0 0.79
0.69/0.79	o 171
0.79/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.80	c        0   6416    12661    49512    3    31973   62367     29      0 0.80
0.79/0.80	o 170
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c        0   6416    12662    49712    3    32005   63367     30      0 0.81
0.79/0.82	o 169
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c        0   6416    12663    49912    3    32038   64367     31      0 0.82
0.79/0.83	o 168
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c        0   6416    12664    50112    3    32072   65367     32      0 0.83
0.79/0.84	o 167
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c        0   6416    12665    50312    3    32107   66367     33      0 0.84
0.79/0.85	o 166
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c        0   6416    12666    50512    3    32143   67367     34      0 0.85
0.79/0.86	o 165
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c        0   6416    12667    50712    4    32180   68367     35      0 0.86
0.79/0.87	o 164
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c        0   6416    12668    50912    4    32218   69367     36      0 0.88
0.79/0.88	o 163
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c        0   6416    12669    51112    4    32257   70367     37      0 0.89
0.79/0.89	o 162
0.90/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.90	c        0   6416    12670    51312    4    32297   71367     38      0 0.90
0.90/0.90	o 161
0.90/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.91	c        0   6416    12671    51512    4    32338   72367     39      0 0.91
0.90/0.91	o 160
0.90/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.93	c        0   6416    12672    51712    4    32380   73367     40      0 0.92
0.90/0.93	o 159
0.90/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.94	c        0   6416    12673    51912    4    32423   74367     41      0 0.93
0.90/0.94	o 158
0.90/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.95	c        0   6416    12674    52112    4    32467   75367     42      0 0.94
0.90/0.95	o 157
0.90/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.96	c        0   6416    12675    52312    4    32512   76367     43      0 0.95
0.90/0.96	o 156
0.90/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.97	c        0   6416    12676    52512    4    32558   77367     44      0 0.96
0.90/0.97	o 155
0.90/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.98	c        0   6416    12677    52712    4    32605   78367     45      0 0.98
0.90/0.98	o 154
0.90/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.99	c        0   6416    12678    52912    4    32653   79367     46      0 0.99
0.90/0.99	o 153
1.00/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.00	c        0   6416    12679    53112    4    32702   80367     47      0 1.00
1.00/1.00	o 152
1.00/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.01	c        0   6416    12680    53312    4    32752   81367     48      0 1.01
1.00/1.01	o 151
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c        0   6416    12681    53512    4    32803   82367     49      0 1.02
1.00/1.03	o 150
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   6416    12682    53712    4    32855   83367     50      0 1.03
1.00/1.04	o 149
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c        0   6416    12683    53912    4    32908   84367     51      0 1.04
1.00/1.05	o 148
1.00/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.06	c        0   6416    12684    54112    4    32962   85367     52      0 1.05
1.00/1.06	o 147
1.00/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.07	c        0   6416    12685    54312    4    33017   86367     53      0 1.06
1.00/1.07	o 146
1.00/1.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.08	c        0   6416    12686    54512    4    33073   87367     54      0 1.07
1.00/1.08	o 145
1.00/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.09	c        0   6416    12687    54712    4    33130   88367     55      0 1.09
1.00/1.09	o 144
1.00/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.10	c        0   6416    12688    54912    4    33188   89367     56      0 1.10
1.00/1.10	o 143
1.10/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.11	c        0   6416    12689    55112    4    33247   90367     57      0 1.11
1.10/1.11	o 142
1.10/1.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.12	c        0   6416    12690    55312    4    33307   91367     58      0 1.12
1.10/1.12	o 141
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c        0   6416    12691    55512    4    33368   92367     59      0 1.13
1.10/1.13	o 140
1.10/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.14	c        0   6416    12692    55712    4    33430   93367     60      0 1.14
1.10/1.14	o 139
1.10/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.15	c        0   6416    12693    55912    4    33493   94367     61      0 1.15
1.10/1.15	o 138
1.10/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.17	c        0   6416    12694    56112    4    33557   95367     62      0 1.16
1.10/1.17	o 137
1.10/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.17	c        0   6416    12695    56312    4    33622   96367     63      0 1.17
1.10/1.17	o 136
1.10/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.19	c        0   6416    12696    56512    4    33688   97367     64      0 1.18
1.10/1.19	o 135
1.10/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.20	c        0   6416    12697    56712    4    33755   98367     65      0 1.19
1.10/1.20	o 134
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c        0   6416    12698    56912    4    33823   99367     66      0 1.20
1.19/1.21	o 133
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c        0   6416    12699    57112    4    33892  100367     67      0 1.21
1.19/1.22	o 132
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c        0   6416    12700    57312    4    33962  101367     68      0 1.22
1.19/1.23	o 131
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c        0   6416    12701    57512    4    34033  102367     69      0 1.23
1.19/1.24	o 130
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c        0   6416    12702    57712    4    34105  103367     70      0 1.24
1.19/1.25	o 129
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c        1   6416    12704    58042    4    34180  103367     72      0 1.25
1.19/1.26	o 18
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        1   6416    12705    58242    4    34364  103367     73      0 1.26
1.39/1.46	c      103   6416    12807    70464    5    34568  113704    175     78 1.32
1.39/1.46	c      353   6416    13057   101678    7    35068  125075    425    245 1.44
1.39/1.46	o 17
5.09/5.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.11	c      388   6416    13093   106288    8    35323  103367    461    265 1.46
5.09/5.11	c      488   6416    13193   120045    9    35523  113704    561    320 1.52
5.09/5.11	c      739   6416    13444   153458   11    36025  125075    812    446 1.65
5.09/5.11	c     1214   6416    13919   213776   15    36975  137583   1287    634 1.91
5.09/5.11	c     2028   6416    14733   340350   23    38603  151342   2101    839 2.42
5.09/5.11	c     3348   6416    16053   521617   32    41243  166477   3421   1012 3.31
5.09/5.11	c     5429   6416    18134   779711   42    45405  183125   5502   1067 5.09
5.09/5.11	o 16
27.68/27.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.68/27.79	c     5440   6416    18146   780922   43    45613  103367   5514   1062 5.12
27.68/27.79	c     5540   6416    18246   794099   43    45813  113704   5614   1063 5.21
27.68/27.79	c     5790   6416    18496   828214   44    46313  125075   5864   1060 5.46
27.68/27.79	c     6265   6416    18971   888106   46    47263  137583   6339   1059 5.91
27.68/27.79	c     7078   6416    19784   983193   49    48889  151342   7152   1027 6.89
27.68/27.79	c     8401   6416    21107  1234725   58    51535  166477   8475    972 8.64
27.68/27.79	c    10482   6416    23188  1556876   67    55697  183125  10556    906 11.56
27.68/27.79	c    13705   6416    26411  1905102   72    62143  201438  13779    826 16.59
27.68/27.79	c    18642   6416    31348  2477012   79    72017  221582  18716    695 26.79
27.68/27.79	o 15
1797.96/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.56	c    19087   6416    31794  2536780   79    73094  103367  19162    686 27.79
1797.96/1798.56	c    19188   6416    31895  2548302   79    73296  113704  19263    683 28.07
1797.96/1798.56	c    19438   6416    32145  2576394   80    73796  125075  19513    676 28.73
1797.96/1798.56	c    19915   6416    32622  2631138   80    74750  137583  19990    668 29.78
1797.96/1798.56	c    20728   6416    33435  2754006   82    76376  151342  20803    655 31.62
1797.96/1798.56	c    22048   6416    34755  2926594   84    79016  166477  22123    636 34.63
1797.96/1798.56	c    24129   6416    36836  3203116   86    83178  183125  24204    585 41.23
1797.96/1798.56	c    27352   6416    40059  3516975   87    89624  201438  27427    561 48.67
1797.96/1798.56	c    32288   6416    44995  4038473   89    99496  221582  32363    472 68.37
1797.96/1798.56	c    39795   6416    52502  4822347   91   114510  243741  39870    383 103.66
1797.96/1798.56	c    51156   6416    63863  6048790   94   137232  268116  51231    315 162.39
1797.96/1798.56	c    68301   6416    81008  7782062   96   171522  294928  68376    266 256.66
1797.96/1798.56	c    94122   6416   106829 10582195   99   223164  324421  94197    193 485.42
1797.96/1798.56	c   132954   6416   145661 15911674  109   300828  356864 133029    157 843.05
1797.96/1798.56	c   191306   6416   204013 23251431  113   417532  392551 191381    111 1722.63
1797.96/1798.56	c Resources Exceeded
1797.96/1798.56	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 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -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 
1797.96/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.56	c  105   195689  58435   328590   208396 23923260 195764    108 1798.02
1797.96/1798.56	c Objective: 15
1797.96/1798.56	s SATISFIABLE
1797.96/1798.56	c Total time: 1798.02 s

OK	15

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670884-1276710103/watcher-2670884-1276710103 -o /tmp/evaluation-result-2670884-1276710103/solver-2670884-1276710103 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670884-1276710103.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 18156
/proc/meminfo: memFree=1869400/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=11392 CPUtime=0
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 368 0 0 0 0 0 0 0 15 0 1 0 12301334 11665408 287 1992294400 134512640 137138936 4294405728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 2848 287 174 642 0 2091 0

[startup+0.060206 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18156
/proc/meminfo: memFree=1869400/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=12624 CPUtime=0.05
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 729 0 0 0 5 0 0 0 18 0 1 0 12301334 12926976 648 1992294400 134512640 137138936 4294405728 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 3156 649 249 642 0 2399 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12624

[startup+0.101213 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18156
/proc/meminfo: memFree=1869400/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=13820 CPUtime=0.09
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 1205 0 0 0 9 0 0 0 18 0 1 0 12301334 14151680 1011 1992294400 134512640 137138936 4294405728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 3455 1011 184 642 0 2811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13820

[startup+0.30124 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18156
/proc/meminfo: memFree=1869400/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=13820 CPUtime=0.29
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 1205 0 0 0 29 0 0 0 18 0 1 0 12301334 14151680 1011 1992294400 134512640 137138936 4294405728 18446744073709551615 134542933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 3455 1011 184 642 0 2811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13820

[startup+0.701299 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18156
/proc/meminfo: memFree=1869400/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=14056 CPUtime=0.69
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 1568 0 0 0 67 2 0 0 18 0 1 0 12301334 14393344 1068 1992294400 134512640 137138936 4294405728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 3514 1068 188 642 0 2870 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14056

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1865672/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=15128 CPUtime=1.49
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 1833 0 0 0 146 3 0 0 19 0 1 0 12301334 15491072 1333 1992294400 134512640 137138936 4294405728 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 3782 1333 191 642 0 3138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15128

[startup+3.10065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1862820/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=20072 CPUtime=3.09
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 3090 0 0 0 304 5 0 0 23 0 1 0 12301334 20553728 2590 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 5018 2590 191 642 0 4374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20072

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1855256/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=26080 CPUtime=6.29
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 4582 0 0 0 621 8 0 0 25 0 1 0 12301334 26705920 4082 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 6520 4082 191 642 0 5876 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26080

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1844716/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=35848 CPUtime=12.69
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 7030 0 0 0 1258 11 0 0 25 0 1 0 12301334 36708352 6530 1992294400 134512640 137138936 4294405728 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 8962 6530 191 642 0 8318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35848

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1833556/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=46448 CPUtime=25.48
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 9675 0 0 0 2532 16 0 0 25 0 1 0 12301334 47562752 9175 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 11612 9175 191 642 0 10968 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46448

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18157
/proc/meminfo: memFree=1817312/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=62672 CPUtime=51.07
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 13741 0 0 0 5084 23 0 0 25 0 1 0 12301334 64176128 13241 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 15668 13241 191 642 0 15024 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62672

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18159
/proc/meminfo: memFree=1800572/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=78936 CPUtime=102.27
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 17808 0 0 0 10193 34 0 0 25 0 1 0 12301334 80830464 17308 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 19734 17308 191 642 0 19090 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78936

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18161
/proc/meminfo: memFree=1783212/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=96440 CPUtime=162.24
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 22179 0 0 0 16180 44 0 0 25 0 1 0 12301334 98754560 21679 1992294400 134512640 137138936 4294405728 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 24110 21679 191 642 0 23466 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 96440

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18163
/proc/meminfo: memFree=1767712/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=111900 CPUtime=222.22
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 26034 0 0 0 22168 54 0 0 25 0 1 0 12301334 114585600 25534 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 27975 25534 191 642 0 27331 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111900

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18163
/proc/meminfo: memFree=1752832/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=126908 CPUtime=282.2
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 29796 0 0 0 28157 63 0 0 25 0 1 0 12301334 129953792 29296 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 31727 29296 191 642 0 31083 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 126908

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18165
/proc/meminfo: memFree=1741920/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=137540 CPUtime=342.19
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 32454 0 0 0 34149 70 0 0 25 0 1 0 12301334 140840960 31954 1992294400 134512640 137138936 4294405728 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 34385 31954 191 642 0 33741 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 137540

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18167
/proc/meminfo: memFree=1732000/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=147388 CPUtime=402.18
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 34913 0 0 0 40142 76 0 0 25 0 1 0 12301334 150925312 34413 1992294400 134512640 137138936 4294405728 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 36847 34413 191 642 0 36203 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 147388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18169
/proc/meminfo: memFree=1723816/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=155520 CPUtime=462.15
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 36941 0 0 0 46135 80 0 0 25 0 1 0 12301334 159252480 36441 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 38880 36441 191 642 0 38236 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 155520

[startup+522.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 18171
/proc/meminfo: memFree=1711912/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=167544 CPUtime=522.14
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 39958 0 0 0 52128 86 0 0 25 0 1 0 12301334 171565056 39458 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 41886 39458 191 642 0 41242 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 167544

[startup+582.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 18171
/proc/meminfo: memFree=1699016/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=180208 CPUtime=582.12
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 43113 0 0 0 58120 92 0 0 25 0 1 0 12301334 184532992 42613 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 45052 42613 191 642 0 44408 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 180208

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 18173
/proc/meminfo: memFree=1686740/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=192388 CPUtime=642.11
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 46157 0 0 0 64112 99 0 0 25 0 1 0 12301334 197005312 45657 1992294400 134512640 137138936 4294405728 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 48097 45657 191 642 0 47453 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 192388

[startup+702.302 s]

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

/proc/meminfo: memFree=1618912/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=259868 CPUtime=1061.97
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 63031 0 0 0 106062 135 0 0 25 0 1 0 12301334 266104832 62531 1992294400 134512640 137138936 4294405728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 64967 62531 191 642 0 64323 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 259868

[startup+1122.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 18187
/proc/meminfo: memFree=1611720/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=266988 CPUtime=1121.96
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 64816 0 0 0 112057 139 0 0 25 0 1 0 12301334 273395712 64316 1992294400 134512640 137138936 4294405728 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 66747 64316 191 642 0 66103 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 266988

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 18196
/proc/meminfo: memFree=1603908/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=274140 CPUtime=1181.93
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 66603 0 0 0 118050 143 0 0 25 0 1 0 12301334 280719360 66103 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 68535 66103 191 642 0 67891 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 274140

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 18198
/proc/meminfo: memFree=1595972/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=282008 CPUtime=1241.91
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 68562 0 0 0 124045 146 0 0 25 0 1 0 12301334 288776192 68062 1992294400 134512640 137138936 4294405728 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 70502 68062 191 642 0 69858 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 282008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 18200
/proc/meminfo: memFree=1590392/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=287624 CPUtime=1301.9
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 69963 0 0 0 130039 151 0 0 25 0 1 0 12301334 294526976 69463 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 71906 69463 191 642 0 71262 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 287624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18202
/proc/meminfo: memFree=1582208/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=295728 CPUtime=1361.88
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 72005 0 0 0 136032 156 0 0 25 0 1 0 12301334 302825472 71505 1992294400 134512640 137138936 4294405728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 73932 71505 191 642 0 73288 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 295728

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18204
/proc/meminfo: memFree=1575636/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=302384 CPUtime=1421.87
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 73654 0 0 0 142027 160 0 0 25 0 1 0 12301334 309641216 73154 1992294400 134512640 137138936 4294405728 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 75596 73154 191 642 0 74952 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 302384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18204
/proc/meminfo: memFree=1569312/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=308620 CPUtime=1481.84
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 75226 0 0 0 148019 165 0 0 25 0 1 0 12301334 316026880 74726 1992294400 134512640 137138936 4294405728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 77155 74726 191 642 0 76511 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 308620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 18206
/proc/meminfo: memFree=1563236/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=314844 CPUtime=1541.83
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 76765 0 0 0 154014 169 0 0 25 0 1 0 12301334 322400256 76265 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 78711 76265 191 642 0 78067 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 314844

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18208
/proc/meminfo: memFree=1557284/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=320764 CPUtime=1601.8
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 78250 0 0 0 160008 172 0 0 25 0 1 0 12301334 328462336 77750 1992294400 134512640 137138936 4294405728 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 80191 77750 191 642 0 79547 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 320764

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18210
/proc/meminfo: memFree=1551828/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=326224 CPUtime=1661.79
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 79630 0 0 0 166003 176 0 0 25 0 1 0 12301334 334053376 79130 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 81556 79130 191 642 0 80912 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 326224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18212
/proc/meminfo: memFree=1546496/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=331628 CPUtime=1721.77
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 80962 0 0 0 171998 179 0 0 25 0 1 0 12301334 339587072 80462 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 82907 80462 191 642 0 82263 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 331628

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18212
/proc/meminfo: memFree=1539552/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=338428 CPUtime=1781.75
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 82678 0 0 0 177992 183 0 0 25 0 1 0 12301334 346550272 82178 1992294400 134512640 137138936 4294405728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 84607 82178 191 642 0 83963 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 338428

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537816/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340076 CPUtime=1791.36
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83080 0 0 0 178952 184 0 0 25 0 1 0 12301334 348237824 82580 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85019 82580 191 642 0 84375 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 340076

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537444/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340440 CPUtime=1794.56
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83166 0 0 0 179272 184 0 0 25 0 1 0 12301334 348610560 82666 1992294400 134512640 137138936 4294405728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85110 82666 191 642 0 84466 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 340440

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537444/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340520 CPUtime=1796.15
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83192 0 0 0 179431 184 0 0 25 0 1 0 12301334 348692480 82692 1992294400 134512640 137138936 4294405728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85130 82692 191 642 0 84486 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 340520

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537320/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340604 CPUtime=1796.95
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83218 0 0 0 179511 184 0 0 25 0 1 0 12301334 348778496 82718 1992294400 134512640 137138936 4294405728 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85151 82718 191 642 0 84507 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 340604

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537320/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340680 CPUtime=1797.75
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83243 0 0 0 179591 184 0 0 25 0 1 0 12301334 348856320 82743 1992294400 134512640 137138936 4294405728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85170 82743 191 642 0 84526 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 340680

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18214
/proc/meminfo: memFree=1537196/2059040 swapFree=4140440/4192956
[pid=18156] ppid=18154 vsize=340680 CPUtime=1797.96
/proc/18156/stat : 18156 (bsolo_pb10) R 18154 18156 17424 0 -1 4202496 83243 0 0 0 179612 184 0 0 25 0 1 0 12301334 348856320 82743 1992294400 134512640 137138936 4294405728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18156/statm: 85170 82743 191 642 0 84526 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 340680

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.05
CPU user time (s): 1796.17
CPU system time (s): 1.87771
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 340680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 1.87771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83244
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= 1447

runsolver used 2.91856 second user time and 8.5467 second system time

The end

Begin job on node052 at 2010-06-16 19:41:43
IDJOB=2670884
IDBENCH=48158
IDSOLVER=1163
FILE ID=node052/2670884-1276710103
PBS_JOBID= 11174092
Free space on /tmp= 62504 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670884-1276710103/watcher-2670884-1276710103 -o /tmp/evaluation-result-2670884-1276710103/solver-2670884-1276710103 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670884-1276710103.opb

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

MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54
RANDOM SEED=1733940622

node052.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.262
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.52
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.262
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1870796 kB
Buffers:         17088 kB
Cached:          85256 kB
SwapCached:       5940 kB
Active:          74408 kB
Inactive:        40696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1870796 kB
SwapTotal:     4192956 kB
SwapFree:      4140440 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:       10928 kB
Mapped:          12952 kB
Slab:            51348 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180644 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-2670884-1276710103.opb

Free space on /tmp at the end= 62500 MiB
End job on node052 at 2010-06-16 20:11:42