0.00/0.00	c Parsing PB file...
12.59/12.63	c Converting 65280 PB-constraints to clauses...
12.59/12.67	c   -- Unit propagations: (none)
12.59/12.67	c   -- Detecting intervals from adjacent constraints: (none)
12.59/12.69	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
12.88/12.93	c ==================================[MINISAT+]==================================
12.88/12.93	c | Conflicts | Original         | Learnt                           | Progress |
12.88/12.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.88/12.93	c ==============================================================================
12.88/12.93	c |         0 |   65280  2457600 |   21760       0        0     nan |  0.000 % |
12.88/12.93	c ==============================================================================
12.88/12.93	c Found solution: 45
12.88/12.93	o 45
12.88/12.96	c ---[   0]---> Adder-cost: 10082   maxlim: 5003   bits: 13/13
22.08/22.13	c ==================================[MINISAT+]==================================
22.08/22.13	c | Conflicts | Original         | Learnt                           | Progress |
22.08/22.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.08/22.13	c ==============================================================================
22.08/22.13	c |         0 |  135758  2709299 |   45252       0        0     nan |  0.000 % |
22.28/22.34	c |       100 |  135405  2708046 |   49777      56      184     3.3 |  0.529 % |
22.38/22.47	c |       251 |  135039  2706780 |   54754     157      598     3.8 |  0.919 % |
22.68/22.70	c |       476 |  134794  2705939 |   60230     348     1227     3.5 |  1.209 % |
22.78/22.83	c |       813 |  134794  2705939 |   66253     685     2535     3.7 |  1.209 % |
22.99/23.07	c |      1319 |  134763  2705824 |   72878    1188     4342     3.7 |  1.249 % |
23.48/23.52	c |      2078 |  134615  2705336 |   80166    1927     7316     3.8 |  1.434 % |
23.98/24.07	c |      3217 |  134556  2705145 |   88183    3058    13946     4.6 |  1.513 % |
24.19/24.24	c |      4925 |  134556  2705145 |   97001    4766   214316    45.0 |  1.513 % |
24.58/24.69	c |      7488 |  134547  2705116 |  106701    7328   417932    57.0 |  1.526 % |
25.29/25.33	c |     11333 |  134547  2705116 |  117372   11173  1064614    95.3 |  1.526 % |
25.88/25.90	c |     17099 |  134547  2705116 |  129109   16939  1473462    87.0 |  1.526 % |
27.57/27.63	c |     25748 |  134547  2705116 |  142020   25588  3001043   117.3 |  1.526 % |
30.37/30.40	c |     38722 |  134547  2705116 |  156222   38562  5200257   134.9 |  1.526 % |
36.47/36.50	c |     58183 |  134547  2705116 |  171844   58023 10459107   180.3 |  1.526 % |
47.46/47.53	c |     87378 |  134547  2705116 |  189028   87218 18341205   210.3 |  1.526 % |
74.53/74.65	c |    131168 |  134547  2705116 |  207931  131008 32130495   245.3 |  1.526 % |
114.70/114.87	c |    196853 |  134547  2705116 |  228724  196693 47566412   241.8 |  1.526 % |
187.43/187.60	c |    295379 |  134547  2705116 |  251597   85102 25700146   302.0 |  1.526 % |
329.28/329.55	c |    443176 |  134547  2705116 |  276757  232899 100638596   432.1 |  1.526 % |
501.12/501.50	c |    664862 |  134547  2705116 |  304432  194601 80230561   412.3 |  1.526 % |
857.07/857.53	c |    997387 |  134547  2705116 |  334876  238292 111952131   469.8 |  1.526 % |
1506.02/1506.69	c |   1496175 |  134547  2705116 |  368363  105229 37094559   352.5 |  1.526 % |
1800.08/1800.71	c 
1800.08/1800.71	c *** TERMINATED ***
1800.08/1800.71	s SATISFIABLE
1800.08/1800.71	v -x1 x2 x3 x4 x5 x6 -x7 x8 -x9 -x10 x11 x12 x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048

OK	45

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3722154-1338661002/watcher-3722154-1338661002 -o /tmp/evaluation-result-3722154-1338661002/solver-3722154-1338661002 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722154-1338661002.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.95 2.49 3.22 3/176 19332
/proc/meminfo: memFree=27068732/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=2072 CPUtime=0 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 332228753 2121728 326 33554432000 134512640 135395479 4288855088 4288853920 134618819 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 518 326 74 216 0 300 0

[startup+0.0353911 s]
/proc/loadavg: 1.95 2.49 3.22 3/176 19332
/proc/meminfo: memFree=27068732/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=2224 CPUtime=0.03 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 416 0 0 0 3 0 0 0 20 0 1 0 332228753 2277376 374 33554432000 134512640 135395479 4288855088 4288853500 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 556 374 74 216 0 338 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2224

[startup+0.10027 s]
/proc/loadavg: 1.95 2.49 3.22 3/176 19332
/proc/meminfo: memFree=27068732/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=3108 CPUtime=0.09 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 625 0 0 0 9 0 0 0 20 0 1 0 332228753 3182592 583 33554432000 134512640 135395479 4288855088 4288853920 134618819 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 777 583 74 216 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3108

[startup+0.300239 s]
/proc/loadavg: 1.95 2.49 3.22 3/176 19332
/proc/meminfo: memFree=27068732/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=5732 CPUtime=0.29 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 1265 0 0 0 29 0 0 0 20 0 1 0 332228753 5869568 1223 33554432000 134512640 135395479 4288855088 4288853500 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 1433 1223 74 216 0 1215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5732

[startup+0.700234 s]
/proc/loadavg: 1.95 2.49 3.22 3/176 19332
/proc/meminfo: memFree=27068732/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=10820 CPUtime=0.69 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 2544 0 0 0 69 0 0 0 20 0 1 0 332228753 11079680 2502 33554432000 134512640 135395479 4288855088 4288853920 134618939 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 2705 2502 74 216 0 2487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10820

[startup+1.50024 s]
/proc/loadavg: 1.95 2.49 3.22 3/177 19333
/proc/meminfo: memFree=27054976/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=21072 CPUtime=1.49 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 5102 0 0 0 148 1 0 0 20 0 1 0 332228753 21577728 5060 33554432000 134512640 135395479 4288855088 4288854056 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 5268 5060 74 216 0 5050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21072

[startup+3.10024 s]
/proc/loadavg: 1.95 2.48 3.21 3/177 19333
/proc/meminfo: memFree=27040568/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=41436 CPUtime=3.09 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 10219 0 0 0 307 2 0 0 20 0 1 0 332228753 42430464 10177 33554432000 134512640 135395479 4288855088 4288854056 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 10359 10177 74 216 0 10141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41436

[startup+6.30024 s]
/proc/loadavg: 1.95 2.48 3.21 3/177 19333
/proc/meminfo: memFree=26997292/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=82396 CPUtime=6.29 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 20448 0 0 0 625 4 0 0 20 0 1 0 332228753 84373504 20406 33554432000 134512640 135395479 4288855088 4288854008 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 20599 20406 74 216 0 20381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82396

[startup+12.7002 s]
/proc/loadavg: 1.96 2.46 3.20 3/177 19333
/proc/meminfo: memFree=26913416/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=173380 CPUtime=12.69 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 43176 0 0 0 1261 8 0 0 20 0 1 0 332228753 177541120 43134 33554432000 134512640 135395479 4288855088 4288853616 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 43345 43134 86 216 0 43127 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 173380

[startup+25.5002 s]
/proc/loadavg: 1.96 2.45 3.19 3/177 19333
/proc/meminfo: memFree=26880300/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=189436 CPUtime=25.48 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 47347 0 0 0 2537 11 0 0 20 0 1 0 332228753 193982464 46942 33554432000 134512640 135395479 4288855088 4288853440 134580923 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 47359 46942 123 216 0 47141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 189436

[startup+51.1003 s]
/proc/loadavg: 2.04 2.43 3.16 3/177 19333
/proc/meminfo: memFree=26857928/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=205620 CPUtime=51.06 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 51383 0 0 0 5094 12 0 0 20 0 1 0 332228753 210554880 50955 33554432000 134512640 135395479 4288855088 4288852988 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 51405 50955 123 216 0 51187 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 205620

[startup+102.307 s]
/proc/loadavg: 2.01 2.35 3.09 3/177 19333
/proc/meminfo: memFree=26758648/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=300416 CPUtime=102.21 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 75113 0 0 0 10202 19 0 0 20 0 1 0 332228753 307625984 74646 33554432000 134512640 135395479 4288855088 4288853440 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 75104 74646 123 216 0 74886 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 300416

[startup+162.3 s]
/proc/loadavg: 2.00 2.29 3.02 3/177 19333
/proc/meminfo: memFree=26702752/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=355632 CPUtime=162.16 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 88917 0 0 0 16190 26 0 0 20 0 1 0 332228753 364167168 88420 33554432000 134512640 135395479 4288855088 4288853440 134581183 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 88908 88420 123 216 0 88690 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 355632

[startup+222.3 s]
/proc/loadavg: 2.03 2.25 2.96 3/178 19336
/proc/meminfo: memFree=26702152/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=355632 CPUtime=222.1 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 88965 0 0 0 22184 26 0 0 20 0 1 0 332228753 364167168 88446 33554432000 134512640 135395479 4288855088 4288853440 134580941 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 88908 88446 123 216 0 88690 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 355632

[startup+282.3 s]
/proc/loadavg: 2.01 2.20 2.90 3/177 19337
/proc/meminfo: memFree=26601956/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=456072 CPUtime=282.08 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 113998 0 0 0 28174 34 0 0 20 0 1 0 332228753 467017728 113607 33554432000 134512640 135395479 4288855088 4288853440 134580929 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 114018 113607 123 216 0 113800 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 456072

[startup+342.3 s]
/proc/loadavg: 2.00 2.16 2.84 3/177 19337
/proc/meminfo: memFree=26495624/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=559840 CPUtime=342.07 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 139881 0 0 0 34165 42 0 0 20 0 1 0 332228753 573276160 139490 33554432000 134512640 135395479 4288855088 4288853440 134581451 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 139960 139490 123 216 0 139742 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 559840

[startup+402.3 s]
/proc/loadavg: 2.00 2.13 2.79 3/177 19337
/proc/meminfo: memFree=26281656/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=617368 CPUtime=402.06 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 154306 0 0 0 40158 48 0 0 20 0 1 0 332228753 632184832 153915 33554432000 134512640 135395479 4288855088 4288853440 134580929 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 154342 153915 123 216 0 154124 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 617368

[startup+462.3 s]
/proc/loadavg: 2.00 2.10 2.73 3/177 19337
/proc/meminfo: memFree=26250284/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=617368 CPUtime=462.05 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 154308 0 0 0 46157 48 0 0 20 0 1 0 332228753 632184832 153917 33554432000 134512640 135395479 4288855088 4288853440 134580896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 154342 153917 123 216 0 154124 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 617368

[startup+522.3 s]
/proc/loadavg: 2.00 2.08 2.68 3/177 19337
/proc/meminfo: memFree=26219580/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=617368 CPUtime=522.01 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 154346 0 0 0 52153 48 0 0 20 0 1 0 332228753 632184832 153930 33554432000 134512640 135395479 4288855088 4288853440 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 154342 153930 123 216 0 154124 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 617368

[startup+582.3 s]
/proc/loadavg: 2.00 2.06 2.64 3/177 19338
/proc/meminfo: memFree=26160628/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=622744 CPUtime=581.95 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 155759 0 0 0 58146 49 0 0 20 0 1 0 332228753 637689856 155372 33554432000 134512640 135395479 4288855088 4288853440 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 155686 155372 123 216 0 155468 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 622744

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.45 3/177 19342
/proc/meminfo: memFree=25978168/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=649724 CPUtime=881.87 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 162537 0 0 0 88134 53 0 0 20 0 1 0 332228753 665317376 162137 33554432000 134512640 135395479 4288855088 4288852988 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 162431 162137 123 216 0 162213 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 649724

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.42 3/177 19342
/proc/meminfo: memFree=25851068/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=941.86 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182401 0 0 0 94127 59 0 0 20 0 1 0 332228753 747278336 182001 33554432000 134512640 135395479 4288855088 4288853440 134580893 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182001 123 216 0 182223 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 729764

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.39 3/177 19342
/proc/meminfo: memFree=25806800/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1001.85 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182423 0 0 0 100126 59 0 0 20 0 1 0 332228753 747278336 182023 33554432000 134512640 135395479 4288855088 4288853440 134580730 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182023 123 216 0 182223 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 729764

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/176 19342
/proc/meminfo: memFree=25771840/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1061.84 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182428 0 0 0 106125 59 0 0 20 0 1 0 332228753 747278336 182028 33554432000 134512640 135395479 4288855088 4288853440 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182028 123 216 0 182223 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 729764

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.34 3/178 19344
/proc/meminfo: memFree=25696184/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1121.83 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182429 0 0 0 112124 59 0 0 20 0 1 0 332228753 747278336 182029 33554432000 134512640 135395479 4288855088 4288853440 134580923 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182029 123 216 0 182223 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 729764

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.31 3/177 19345
/proc/meminfo: memFree=25654712/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1181.81 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182431 0 0 0 118122 59 0 0 20 0 1 0 332228753 747278336 182031 33554432000 134512640 135395479 4288855088 4288853440 134581053 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182031 123 216 0 182223 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 729764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.29 3/177 19345
/proc/meminfo: memFree=25613356/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1241.8 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182432 0 0 0 124121 59 0 0 20 0 1 0 332228753 747278336 182031 33554432000 134512640 135395479 4288855088 4288853440 134580923 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182031 123 216 0 182223 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 729764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/177 19345
/proc/meminfo: memFree=25575784/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1301.8 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182432 0 0 0 130121 59 0 0 20 0 1 0 332228753 747278336 182031 33554432000 134512640 135395479 4288855088 4288853440 134581488 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182031 123 216 0 182223 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 729764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/177 19345
/proc/meminfo: memFree=25544084/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=729764 CPUtime=1361.75 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182473 0 0 0 136115 60 0 0 20 0 1 0 332228753 747278336 182045 33554432000 134512640 135395479 4288855088 4288853440 134581463 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182441 182045 123 216 0 182223 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 729764

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.23 3/178 19348
/proc/meminfo: memFree=25509772/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1421.74 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 142114 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288853440 134580941 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 730576

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/176 19348
/proc/meminfo: memFree=25477796/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1481.72 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 148112 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288853440 134580959 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 730576

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/177 19349
/proc/meminfo: memFree=25445176/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1541.71 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 154111 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288852960 134574480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 730576

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.19 3/177 19349
/proc/meminfo: memFree=25418640/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1601.7 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 160110 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288852960 134574075 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 730576

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.17 3/177 19349
/proc/meminfo: memFree=25384376/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1661.69 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 166109 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288853440 134581053 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 730576

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.17 3/177 19349
/proc/meminfo: memFree=25342988/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1721.68 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182657 0 0 0 172108 60 0 0 20 0 1 0 332228753 748109824 182220 33554432000 134512640 135395479 4288855088 4288853440 134580970 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182220 123 216 0 182426 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 730576

[startup+1782.3 s]
/proc/loadavg: 1.53 1.89 2.11 2/171 19377
/proc/meminfo: memFree=26402232/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=730576 CPUtime=1781.67 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 182669 0 0 0 178107 60 0 0 20 0 1 0 332228753 748109824 182232 33554432000 134512640 135395479 4288855088 4288853440 134580923 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 182644 182232 123 216 0 182426 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 730576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.38 1.83 2.09 2/171 19378
/proc/meminfo: memFree=26396288/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=736604 CPUtime=1800.08 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 184186 0 0 0 179947 61 0 0 20 0 1 0 332228753 754282496 183749 33554432000 134512640 135395479 4288855088 4288853440 134580938 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 184151 183749 123 216 0 183933 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 736604

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

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

[startup+1800.71 s]
/proc/loadavg: 1.38 1.83 2.09 2/171 19378
/proc/meminfo: memFree=26396288/32873844 swapFree=7628/7628
[pid=19332] ppid=19330 vsize=736604 CPUtime=1800.08 cores=0,2,4,6
/proc/19332/stat : 19332 (minisat+) R 19330 19332 15996 0 -1 4202496 184186 0 0 0 179947 61 0 0 20 0 1 0 332228753 754282496 183749 33554432000 134512640 135395479 4288855088 4288853440 134580938 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19332/statm: 184151 183749 123 216 0 183933 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 736604

Child status: 10
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.48
CPU system time (s): 0.619905
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 736604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.619905
maximum resident set size= 735004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184188
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= 341
involuntary context switches= 1945

runsolver used 3.21151 second user time and 9.93249 second system time

The end

Begin job on node107 at 2012-06-02 20:16:42
IDJOB=3722154
IDBENCH=89910
IDSOLVER=2306
FILE ID=node107/3722154-1338661002
RUNJOBID= node107-1338660939-19193
PBS_JOBID= 14636473
Free space on /tmp= 70760 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722154-1338661002/watcher-3722154-1338661002 -o /tmp/evaluation-result-3722154-1338661002/solver-3722154-1338661002 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3722154-1338661002.opb            

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=1502483668

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27068996 kB
Buffers:          465072 kB
Cached:          4394304 kB
SwapCached:           76 kB
Active:          1943764 kB
Inactive:        2984020 kB
Active(anon):      60084 kB
Inactive(anon):    11072 kB
Active(file):    1883680 kB
Inactive(file):  2972948 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             22916 kB
Writeback:             0 kB
AnonPages:         77800 kB
Mapped:            14708 kB
Shmem:               184 kB
Slab:             734468 kB
SReclaimable:     176856 kB
SUnreclaim:       557612 kB
KernelStack:        1472 kB
PageTables:         3744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722154-1338661002.opb

Free space on /tmp at the end= 70760 MiB
End job on node107 at 2012-06-02 20:46:45