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-2671035-1276715388.opb
0.00/0.00	c File size is 567733 bytes.
0.06/0.09	c Highest Coefficient sum: 1000
0.06/0.09	c Parsing was ok!!
0.06/0.09	c Total parsing time: 0.09 s
0.06/0.10	c Var: 7326 Constr: 14154 6826/1002/6326 Lit: 53608 Watch. Lit: 46284
0.06/0.10	c Obj. Vars: 500 (6.82501 % of total variables)
1.89/1.91	c Pre-processing Time: 1.912 s
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c        0   7326    14154    53608    3    46284   93247      0      0 1.91
1.89/1.91	c Switching off lower bounding mode.
1.89/1.92	o -1
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c        0   7326    14155    54108    3    46287   93580      1      0 1.93
1.89/1.99	o -2
1.99/2.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.05	c        1   7326    14158    55608    3    46296   93747      4      0 1.99
1.99/2.05	o -3
2.10/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.12	c        2   7326    14161    57121    4    46307   93914      7      0 2.06
2.10/2.12	o -4
2.10/2.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.19	c        3   7326    14164    58634    4    46320   94080     10      1 2.13
2.10/2.19	o -5
2.20/2.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.26	c        4   7326    14167    60158    4    46335   94247     13      1 2.19
2.20/2.26	o -6
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c        5   7326    14170    61682    4    46352   94247     16      2 2.26
2.29/2.32	o -7
2.29/2.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.39	c        8   7326    14175    63224    4    46375   94247     21      3 2.33
2.29/2.39	o -8
2.39/2.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.46	c       11   7326    14180    64766    4    46400   94247     26      4 2.40
2.39/2.46	o -9
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c       12   7326    14183    66302    4    46423   94247     29      4 2.46
2.49/2.52	o -10
2.49/2.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.59	c       13   7326    14186    67839    4    46448   94247     32      5 2.53
2.49/2.59	o -11
2.59/2.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.66	c       14   7326    14189    69389    4    46475   94247     35      5 2.60
2.59/2.66	o -12
2.69/2.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.72	c       15   7326    14192    70940    4    46504   94247     38      5 2.66
2.69/2.72	o -13
2.69/2.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.79	c       16   7326    14195    72492    5    46535   94247     41      5 2.73
2.69/2.79	o -14
2.79/2.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.86	c       18   7326    14199    74048    5    46570   94247     45      6 2.79
2.79/2.86	o -15
2.89/2.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.93	c       26   7326    14209    77552    5    46619   94247     55      9 2.86
2.89/2.93	o -16
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c       39   7326    14224    84453    5    46680   94247     70     13 2.94
2.99/3.00	o -17
2.99/3.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.06	c       45   7326    14232    86036    6    46729   94247     78     14 3.00
2.99/3.06	o -18
3.09/3.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.12	c       48   7326    14237    87623    6    46774   94247     83     15 3.07
3.09/3.12	o -19
3.09/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.19	c       50   7326    14241    89218    6    46819   94247     87     15 3.13
3.09/3.19	o -20
3.20/3.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.25	c       57   7326    14250    90841    6    46876   94247     96     17 3.19
3.20/3.25	o -21
3.30/3.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.31	c       59   7326    14254    92450    6    46925   94247    100     18 3.25
3.30/3.31	o -22
3.30/3.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.37	c       61   7326    14258    94060    6    46976   94247    104     18 3.32
3.30/3.37	o -23
3.39/3.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.43	c       62   7326    14261    95679    6    47027   94247    107     18 3.38
3.39/3.43	o -24
3.39/3.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.49	c       64   7326    14265    97310    6    47082   94247    111     18 3.44
3.39/3.49	o -25
3.49/3.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.55	c       66   7326    14269    98948    6    47139   94247    115     18 3.49
3.49/3.55	o -26
3.59/3.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.60	c       72   7326    14277   100607    7    47206   94247    123     20 3.55
3.59/3.60	o -27
3.59/3.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.66	c       75   7326    14282   102267    7    47269   94247    128     20 3.61
3.59/3.66	o -28
3.69/3.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.72	c       77   7326    14286   103925    7    47332   94247    132     21 3.67
3.69/3.72	o -29
3.69/3.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.77	c       90   7326    14301   108912    7    47419   94247    147     24 3.73
3.69/3.77	o -30
3.79/3.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.83	c       91   7326    14304   110580    7    47484   94247    150     24 3.78
3.79/3.83	o -31
3.79/3.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.88	c       95   7326    14310   112258    7    47557   94247    156     24 3.84
3.79/3.88	o -32
3.89/3.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.94	c       96   7326    14313   113928    7    47626   94247    159     24 3.89
3.89/3.94	o -33
3.89/3.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.99	c       99   7326    14318   115604    8    47701   94247    164     25 3.95
3.89/3.99	o -34
3.99/4.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.05	c      103   7326    14324   117285    8    47780   94247    170     25 4.00
3.99/4.05	o -35
4.09/4.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.10	c      105   7326    14328   118974    8    47857   94247    174     25 4.05
4.09/4.10	o -36
4.09/4.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.16	c      112   7326    14337   120686    8    47946   94247    183     27 4.11
4.09/4.16	o -37
4.19/4.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.21	c      115   7326    14342   122372    8    48029   94247    188     27 4.16
4.19/4.21	o -38
4.19/4.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.26	c      117   7326    14346   124058    8    48112   94247    192     27 4.21
4.19/4.26	o -39
4.30/4.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.31	c      120   7326    14351   125756    8    48199   94247    197     28 4.27
4.30/4.31	o -40
4.30/4.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.36	c      121   7326    14354   127455    8    48284   94247    200     28 4.32
4.30/4.36	o -41
4.40/4.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.41	c      123   7326    14358   129157    8    48373   94247    204     28 4.37
4.40/4.41	o -42
4.40/4.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.46	c      125   7326    14362   130868    9    48464   94247    208     28 4.42
4.40/4.46	o -43
4.49/4.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.53	c      128   7326    14367   132583    9    48559   94247    213     28 4.47
4.49/4.53	o -44
4.49/4.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.58	c      151   7326    14392   143003    9    48696   94247    238     33 4.53
4.49/4.58	o -45
4.59/4.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.64	c      164   7326    14407   144762   10    48815   94247    253     35 4.59
4.59/4.64	o -46
4.59/4.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.68	c      183   7326    14428   146560   10    48948   94247    274     39 4.64
4.59/4.68	o -47
4.69/4.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.73	c      185   7326    14432   148321   10    49049   94247    278     39 4.69
4.69/4.73	o -48
4.69/4.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.78	c      192   7326    14441   150098   10    49162   94247    287     40 4.74
4.69/4.78	o -49
4.89/4.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.95	c      202   7326    14453   151893   10    49283   94247    299     42 4.78
4.89/4.95	c      302   7326    14553   190805   13    49483  103672    399     61 4.88
4.89/4.95	o -50
4.99/5.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.00	c      343   7326    14596   204365   14    49668   94247    442     69 4.96
4.99/5.00	o -51
4.99/5.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.04	c      348   7326    14603   206169   14    49783   94247    449     69 5.00
4.99/5.04	o -52
4.99/5.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.08	c      354   7326    14611   207983   14    49902   94247    457     70 5.04
4.99/5.08	o -53
5.09/5.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.12	c      357   7326    14616   209792   14    50017   94247    462     70 5.08
5.09/5.12	o -54
5.09/5.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.17	c      367   7326    14628   211622   14    50148   94247    474     71 5.13
5.09/5.17	o -55
5.19/5.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.20	c      373   7326    14636   213440   14    50273   94247    482     72 5.17
5.19/5.20	o -56
5.19/5.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.24	c      376   7326    14641   215260   14    50394   94247    487     72 5.21
5.19/5.24	o -57
5.19/5.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.28	c      384   7326    14651   217098   14    50527   94247    497     73 5.25
5.19/5.28	o -58
5.29/5.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.37	c      392   7326    14661   218936   14    50662   94247    507     74 5.29
5.29/5.37	o -59
5.39/5.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.41	c      451   7326    14722   239835   16    50901   94247    568     83 5.37
5.39/5.41	o -60
5.39/5.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.45	c      461   7326    14734   243880   16    51044   94247    580     85 5.42
5.39/5.45	o -61
5.39/5.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.48	c      464   7326    14739   245709   16    51175   94247    585     85 5.45
5.39/5.48	o -62
5.50/5.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.52	c      465   7326    14742   247532   16    51304   94247    588     84 5.49
5.50/5.52	o -63
5.50/5.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.55	c      469   7326    14748   249365   16    51441   94247    594     84 5.52
5.50/5.55	o -64
5.50/5.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.59	c      472   7326    14753   251198   17    51578   94247    599     84 5.56
5.50/5.59	o -65
5.59/5.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.62	c      475   7326    14758   253037   17    51717   94247    604     84 5.59
5.59/5.62	o -66
5.59/5.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.65	c      480   7326    14765   254884   17    51862   94247    611     85 5.63
5.59/5.65	o -67
5.59/5.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.69	c      486   7326    14773   256730   17    52011   94247    619     85 5.66
5.59/5.69	o -68
5.69/5.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.73	c      498   7326    14787   258594   17    52174   94247    633     87 5.70
5.69/5.73	o -69
5.69/5.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.77	c      505   7326    14796   260445   17    52329   94247    642     88 5.74
5.69/5.77	o -70
5.79/5.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.81	c      514   7326    14807   263588   17    52490   94247    653     88 5.78
5.79/5.81	o -71
5.79/5.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.85	c      519   7326    14814   265437   17    52645   94247    660     89 5.81
5.79/5.85	o -72
5.79/5.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.89	c      534   7326    14831   270730   18    52822   94247    677     91 5.86
5.79/5.89	o -73
5.89/5.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.92	c      541   7326    14840   275143   18    52985   94247    686     91 5.89
5.89/5.92	o -74
5.89/5.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.96	c      557   7326    14858   277028   18    53168   94247    704     93 5.93
5.89/5.96	o -75
5.89/5.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.99	c      566   7326    14869   278897   18    53339   94247    715     94 5.97
5.89/5.99	o -76
5.99/6.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.03	c      571   7326    14876   280761   18    53504   94247    722     95 6.00
5.99/6.03	o -77
5.99/6.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.06	c      578   7326    14885   282635   18    53675   94247    731     95 6.03
5.99/6.06	o -78
6.09/6.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.15	c      592   7326    14901   284529   19    53862   94247    747     97 6.07
6.09/6.15	o -79
6.09/6.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.18	c      655   7326    14966   305888   20    54149   94247    812    106 6.15
6.09/6.18	o -80
6.19/6.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.20	c      660   7326    14973   307770   20    54322   94247    819    106 6.18
6.19/6.20	o -81
6.19/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.23	c      662   7326    14977   309643   20    54491   94247    823    106 6.21
6.19/6.23	o -82
6.19/6.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.26	c      665   7326    14982   311521   20    54664   94247    828    106 6.24
6.19/6.26	o -83
6.19/6.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.29	c      674   7326    14993   313421   20    54851   94247    839    107 6.27
6.19/6.29	o -84
6.29/6.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.31	c      678   7326    14999   315305   21    55030   94247    845    107 6.29
6.29/6.31	o -85
6.29/6.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.35	c      682   7326    15005   317196   21    55211   94247    851    107 6.32
6.29/6.35	o -86
6.29/6.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.37	c      697   7326    15022   319123   21    55416   94247    868    109 6.35
6.29/6.37	o -87
6.39/6.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.40	c      701   7326    15028   321017   21    55601   94247    874    109 6.38
6.39/6.40	o -88
6.39/6.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.46	c      704   7326    15033   322907   21    55786   94247    879    109 6.41
6.39/6.46	o -89
6.39/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.48	c      743   7326    15074   336378   22    56045   94247    920    114 6.46
6.39/6.48	o -90
6.50/6.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.51	c      748   7326    15081   338276   22    56238   94247    927    115 6.49
6.50/6.51	o -91
6.50/6.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.54	c      755   7326    15090   340182   22    56437   94247    936    115 6.52
6.50/6.54	o -92
6.50/6.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.57	c      761   7326    15098   342086   22    56636   94247    944    116 6.54
6.50/6.57	o -93
6.50/6.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.59	c      769   7326    15108   344001   22    56841   94247    954    116 6.58
6.50/6.59	o -94
6.60/6.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.62	c      774   7326    15115   345903   22    57042   94247    961    117 6.60
6.60/6.62	o -95
6.60/6.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.64	c      777   7326    15120   347803   23    57241   94247    966    117 6.62
6.60/6.64	o -96
6.60/6.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.67	c      784   7326    15129   349714   23    57450   94247    975    117 6.65
6.60/6.67	o -97
6.60/6.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.69	c      798   7326    15145   355663   23    57675   94247    991    119 6.68
6.60/6.69	o -98
6.69/6.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.72	c      799   7326    15148   357559   23    57876   94247    994    119 6.70
6.69/6.72	o -99
74.77/74.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.77/74.80	c      800   7326    15151   359457   23    58079   94247    997    119 6.72
74.77/74.80	c      901   7326    15253   385830   25    58382  103672   1099    131 6.85
74.77/74.80	c     1151   7326    15504   510831   32    58884  114040   1350    161 7.11
74.77/74.80	c     1626   7326    15983   746838   46    59842  125445   1829    214 7.59
74.77/74.80	c     2439   7326    16798  1150842   68    61472  137990   2644    288 8.46
74.77/74.80	c     3759   7326    18119  1803352   99    64114  151790   3965    379 9.89
74.77/74.80	c     5840   7326    20203  2836880  140    68282  166970   6049    473 12.34
74.77/74.80	c     9063   7326    23429  4436901  189    74734  183668   9275    529 17.11
74.77/74.80	c    13999   7326    28367  6887429  242    84610  202035  14213    479 29.22
74.77/74.80	c    21505   7326    35873 10610532  295    99622  222239  21719    432 49.70
74.77/74.80	o -100
74.77/74.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.77/74.86	c    28539   7326    42915 13969718  325   113806   94247  28761    381 74.78
74.77/74.86	o -101
74.86/74.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.86/74.91	c    28548   7326    42926 13971617  325   114029   94247  28772    381 74.84
74.86/74.91	o -102
74.86/74.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.86/74.98	c    28562   7326    42942 13973535  325   114264   94247  28788    381 74.89
74.86/74.98	o -103
290.00/290.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
290.00/290.19	c    28573   7326    42955 13975444  325   114495   94247  28801    381 74.96
290.00/290.19	c    28673   7326    43056 13977628  324   114800  103672  28902    381 75.10
290.00/290.19	c    28923   7326    43306 14102128  325   115300  114040  29152    382 75.61
290.00/290.19	c    29398   7326    43784 14338138  327   116256  125445  29630    384 76.44
290.00/290.19	c    30211   7326    44597 14742153  330   117882  137990  30443    388 77.84
290.00/290.19	c    31531   7326    45919 15396688  335   120526  151790  31765    393 80.21
290.00/290.19	c    33612   7326    48005 16430732  342   124698  166970  33851    399 84.14
290.00/290.19	c    36835   7326    51230 18031791  351   131148  183668  37076    406 90.72
290.00/290.19	c    41771   7326    56170 20480235  364   141028  202035  42016    409 102.06
290.00/290.19	c    49277   7326    63681 24200022  380   156050  222239  49527    403 122.22
290.00/290.19	c    60639   7326    75047 28801594  383   178782  244463  60893    293 206.32
290.00/290.19	c    77783   7326    92208 37325273  404   213104  268910  78054    313 248.51
290.00/290.19	o -104
1611.99/1612.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1611.99/1612.50	c    88176   7326   102615 42369754  412   234022   94247  88461    303 290.11
1611.99/1612.50	c    88276   7326   102716 42380887  412   234328  103672  88562    304 290.35
1611.99/1612.50	c    88527   7326   102967 42479100  412   234830  114040  88813    304 290.94
1611.99/1612.50	c    89002   7326   103442 42602058  411   235780  125445  89288    304 292.11
1611.99/1612.50	c    89815   7326   104255 42945273  411   237406  137990  90101    298 301.39
1611.99/1612.50	c    91135   7326   105577 43601753  412   240050  151790  91423    299 303.98
1611.99/1612.50	c    93216   7326   107658 44635246  414   244212  166970  93504    302 307.93
1611.99/1612.50	c    96439   7326   110884 46235287  416   250664  183668  96730    306 314.40
1611.99/1612.50	c   101375   7326   115825 48684362  420   260546  202035 101671    310 326.57
1611.99/1612.50	c   108881   7326   123343 52373924  424   275582  222239 109189    309 351.64
1611.99/1612.50	c   120242   7326   134706 57764075  428   298308  244463 120552    288 417.19
1611.99/1612.50	c   137386   7326   151876 66223740  436   332648  268910 137722    296 463.23
1611.99/1612.50	c   163205   7326   177695 78756529  443   384286  295802 163541    187 872.75
1611.99/1612.50	c Reducing formula size due to memory constraints
1611.99/1612.50	c Memory Limit: 1000.00 MB  Used: 1002.19 MB
1611.99/1612.50	c   202038   7326    39590 11986416  302    97364   32645  25436    140 1436.20
1611.99/1612.50	o -105
1682.66/1683.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1682.66/1683.28	c   239963   7326    26244  5956182  226    71033   94247  12090    148 1612.00
1682.66/1683.28	c   240063   7326    26344  6006082  227    71233  103672  12190    148 1612.38
1682.66/1683.28	c   240313   7326    26596  6130045  230    71737  114040  12442    149 1612.82
1682.66/1683.28	c   240788   7326    27074  6366057  235    72693  125445  12920    149 1613.46
1682.66/1683.28	c   241601   7326    27888  6770073  242    74321  137990  13734    149 1614.66
1682.66/1683.28	c   242921   7326    29210  7425099  254    76965  151790  15056    150 1617.13
1682.66/1683.28	c   245002   7326    31291  8458130  270    81127  166970  17137    151 1621.52
1682.66/1683.28	c   248225   7326    34514 10058677  291    87573  183668  20360    152 1629.44
1682.66/1683.28	c   253161   7326    39456 12506795  316    97457  202035  25302    154 1642.42
1682.66/1683.28	c   260667   7326    46968 16232413  345   112481  222239  32814    156 1662.86
1682.66/1683.28	o -106
1797.93/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.56	c   267696   7326    54005 19329594  357   126766   94247  39851    159 1682.76
1797.93/1798.56	c   267796   7326    54106 19350863  357   127074  103672  39952    159 1682.93
1797.93/1798.56	c   268047   7326    54357 19405583  357   127576  114040  40203    159 1683.54
1797.93/1798.56	c   268522   7326    54835 19642586  358   128532  125445  40681    159 1684.31
1797.93/1798.56	c   269335   7326    55651 20046585  360   130164  137990  41497    159 1685.56
1797.93/1798.56	c   270655   7326    56972 20702085  363   132806  151790  42818    160 1687.66
1797.93/1798.56	c   272736   7326    59056 21734611  368   136974  166970  44902    161 1691.21
1797.93/1798.56	c   275959   7326    62281 23335130  374   143424  183668  48127    162 1697.46
1797.93/1798.56	c   280895   7326    67220 25786184  383   153302  202035  53066    164 1710.71
1797.93/1798.56	c   288401   7326    74730 29512233  394   168322  222239  60576    166 1734.36
1797.93/1798.56	c   299763   7326    86100 34711924  403   191062  244463  71946    168 1777.60
1797.93/1798.56	c Resources Exceeded
1797.93/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 -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 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -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 
1797.93/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.56	c  159   308749   6774   820209    95092 39175474  80938    171 1798.00
1797.93/1798.56	c Objective: -106
1797.93/1798.56	s SATISFIABLE
1797.93/1798.56	c Total time: 1798 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-2671035-1276715388/watcher-2671035-1276715388 -o /tmp/evaluation-result-2671035-1276715388/solver-2671035-1276715388 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671035-1276715388.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.02 1.02 1.00 2/105 18417
/proc/meminfo: memFree=1663860/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=11496 CPUtime=0
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 372 0 0 0 0 0 0 0 25 0 1 0 12832364 11771904 291 1992294400 134512640 137138936 4292521904 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 2874 291 176 642 0 2091 0

[startup+0.074671 s]
/proc/loadavg: 1.02 1.02 1.00 2/105 18417
/proc/meminfo: memFree=1663860/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=12988 CPUtime=0.06
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 842 0 0 0 6 0 0 0 25 0 1 0 12832364 13299712 761 1992294400 134512640 137138936 4292521904 18446744073709551615 136511153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3247 762 277 642 0 2464 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12988

[startup+0.101673 s]
/proc/loadavg: 1.02 1.02 1.00 2/105 18417
/proc/meminfo: memFree=1663860/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=14512 CPUtime=0.09
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 1410 0 0 0 9 0 0 0 25 0 1 0 12832364 14860288 1190 1992294400 134512640 137138936 4292521904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3628 1190 184 642 0 2984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14512

[startup+0.301696 s]
/proc/loadavg: 1.02 1.02 1.00 2/105 18417
/proc/meminfo: memFree=1663860/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=14640 CPUtime=0.29
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 1413 0 0 0 29 0 0 0 25 0 1 0 12832364 14991360 1193 1992294400 134512640 137138936 4292521904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3660 1193 184 642 0 3016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14640

[startup+0.701741 s]
/proc/loadavg: 1.02 1.02 1.00 2/105 18417
/proc/meminfo: memFree=1663860/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=14640 CPUtime=0.69
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 1413 0 0 0 69 0 0 0 25 0 1 0 12832364 14991360 1193 1992294400 134512640 137138936 4292521904 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3660 1193 184 642 0 3016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14640

[startup+1.50083 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 18418
/proc/meminfo: memFree=1660008/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=14640 CPUtime=1.49
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 1413 0 0 0 148 1 0 0 25 0 1 0 12832364 14991360 1193 1992294400 134512640 137138936 4292521904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3660 1193 184 642 0 3016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14640

[startup+3.10101 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 18418
/proc/meminfo: memFree=1659140/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=15228 CPUtime=3.09
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 1979 0 0 0 305 4 0 0 25 0 1 0 12832364 15593472 1375 1992294400 134512640 137138936 4292521904 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 3807 1375 192 642 0 3163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15228

[startup+6.30137 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 18418
/proc/meminfo: memFree=1656908/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=18348 CPUtime=6.29
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 2761 0 0 0 621 8 0 0 25 0 1 0 12832364 18788352 2157 1992294400 134512640 137138936 4292521904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 4587 2157 192 642 0 3943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18348

[startup+12.7011 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 18418
/proc/meminfo: memFree=1624792/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=52912 CPUtime=12.69
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 11403 0 0 0 1252 17 0 0 25 0 1 0 12832364 54181888 10799 1992294400 134512640 137138936 4292521904 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 13228 10799 192 642 0 12584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52912

[startup+25.5015 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 18420
/proc/meminfo: memFree=1580772/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=94160 CPUtime=25.48
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 21715 0 0 0 2521 27 0 0 25 0 1 0 12832364 96419840 21111 1992294400 134512640 137138936 4292521904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 23540 21111 192 642 0 22896 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94160

[startup+51.1014 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 18420
/proc/meminfo: memFree=1520508/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=154732 CPUtime=51.08
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 36854 0 0 0 5063 45 0 0 25 0 1 0 12832364 158445568 36250 1992294400 134512640 137138936 4292521904 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 38683 36250 192 642 0 38039 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154732

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 18422
/proc/meminfo: memFree=1394028/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=279760 CPUtime=102.26
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 68114 0 0 0 10142 84 0 0 25 0 1 0 12832364 286474240 67510 1992294400 134512640 137138936 4292521904 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 69940 67510 192 642 0 69296 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 279760

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 18422
/proc/meminfo: memFree=1301276/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=372260 CPUtime=162.24
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 91236 0 0 0 16109 115 0 0 25 0 1 0 12832364 381194240 90632 1992294400 134512640 137138936 4292521904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 93065 90632 192 642 0 92421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 372260

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18424
/proc/meminfo: memFree=1235184/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=438364 CPUtime=222.22
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 107764 0 0 0 22090 132 0 0 25 0 1 0 12832364 448884736 107160 1992294400 134512640 137138936 4292521904 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 109591 107160 192 642 0 108947 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 438364

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18426
/proc/meminfo: memFree=1121476/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=552208 CPUtime=282.19
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 136223 0 0 0 28051 168 0 0 25 0 1 0 12832364 565460992 135619 1992294400 134512640 137138936 4292521904 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 138052 135619 192 642 0 137408 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 552208

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18428
/proc/meminfo: memFree=991896/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=680920 CPUtime=342.18
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 168404 0 0 0 34014 204 0 0 25 0 1 0 12832364 697262080 167800 1992294400 134512640 137138936 4292521904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 170230 167800 192 642 0 169586 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 680920

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18430
/proc/meminfo: memFree=922704/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=750436 CPUtime=402.16
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 185781 0 0 0 39991 225 0 0 25 0 1 0 12832364 768446464 185177 1992294400 134512640 137138936 4292521904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 187609 185177 192 642 0 186965 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 750436

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18430
/proc/meminfo: memFree=803664/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=869340 CPUtime=462.14
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 215507 0 0 0 45949 265 0 0 25 0 1 0 12832364 890204160 214903 1992294400 134512640 137138936 4292521904 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 217335 214903 192 642 0 216691 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 869340

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18432
/proc/meminfo: memFree=771176/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=901492 CPUtime=522.12
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 223547 0 0 0 51935 277 0 0 25 0 1 0 12832364 923127808 222943 1992294400 134512640 137138936 4292521904 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 225373 222943 192 642 0 224729 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 901492

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18434
/proc/meminfo: memFree=743524/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=928704 CPUtime=582.11
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 230347 0 0 0 57926 285 0 0 25 0 1 0 12832364 950992896 229743 1992294400 134512640 137138936 4292521904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 232176 229743 192 642 0 231532 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 928704

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18436
/proc/meminfo: memFree=719840/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=952048 CPUtime=642.09
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 236187 0 0 0 63918 291 0 0 25 0 1 0 12832364 974897152 235583 1992294400 134512640 137138936 4292521904 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 238012 235583 192 642 0 237368 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 952048

[startup+702.302 s]

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

/proc/meminfo: memFree=631800/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1121.94
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 111876 318 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1038976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18450
/proc/meminfo: memFree=631676/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1181.92
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 117874 318 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1038976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18452
/proc/meminfo: memFree=631552/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1241.9
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 123866 324 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1038976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18454
/proc/meminfo: memFree=631428/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1301.89
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 129858 331 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1038976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18457
/proc/meminfo: memFree=630932/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1361.86
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 135851 335 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1038976

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18459
/proc/meminfo: memFree=631056/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038976 CPUtime=1421.85
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 141846 339 0 0 25 0 1 0 12832364 1063911424 257315 1992294400 134512640 137138936 4292521904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259744 257315 192 642 0 259100 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1038976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18461
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038864 CPUtime=1481.83
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 147834 349 0 0 25 0 1 0 12832364 1063796736 257288 1992294400 134512640 137138936 4292521904 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259716 257288 192 642 0 259072 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1038864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18463
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038864 CPUtime=1541.81
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 153827 354 0 0 25 0 1 0 12832364 1063796736 257288 1992294400 134512640 137138936 4292521904 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259716 257288 192 642 0 259072 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1038864

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18465
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038864 CPUtime=1601.79
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 159821 358 0 0 25 0 1 0 12832364 1063796736 257288 1992294400 134512640 137138936 4292521904 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259716 257288 192 642 0 259072 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1038864

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18465
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1661.77
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 165809 368 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1038860

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18467
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1721.75
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 171793 382 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1038860

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1781.73
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 177782 391 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134551589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1038860

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1791.34
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 178741 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1038860

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1794.53
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 179060 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134575885 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 1038860

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1796.13
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 179220 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1038860

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1796.92
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 179299 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 134601124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 1038860

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1797.72
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 179379 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 1038860

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=1038860 CPUtime=1797.93
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202496 258080 0 0 0 179400 393 0 0 25 0 1 0 12832364 1063792640 257287 1992294400 134512640 137138936 4292521904 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18417/statm: 259715 257287 192 642 0 259071 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1038860

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18469
/proc/meminfo: memFree=631180/2059040 swapFree=4192956/4192956
[pid=18417] ppid=18415 vsize=0 CPUtime=1798.03
/proc/18417/stat : 18417 (bsolo_pb10) R 18415 18417 18287 0 -1 4202500 258081 0 0 0 179406 397 0 0 25 0 1 0 12832364 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/18417/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.1
CPU user time (s): 1794.06
CPU system time (s): 4.03339
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1039620

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

runsolver used 2.84257 second user time and 8.62269 second system time

The end

Begin job on node088 at 2010-06-16 21:09:48
IDJOB=2671035
IDBENCH=48234
IDSOLVER=1162
FILE ID=node088/2671035-1276715388
PBS_JOBID= 11174171
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876
RANDOM SEED=66318253

node088.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.217
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.43
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.217
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1665132 kB
Buffers:        103120 kB
Cached:         150640 kB
SwapCached:          0 kB
Active:         100652 kB
Inactive:       213008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1665132 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4132 kB
Writeback:           0 kB
AnonPages:       59868 kB
Mapped:          15568 kB
Slab:            58616 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182260 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-2671035-1276715388.opb

Free space on /tmp at the end= 62560 MiB
End job on node088 at 2010-06-16 21:39:47