(1,28) (2,26) (3,30) (4,24) (5,29) (6,23) (7,22) (8,18) (9,21) (10,16) (11,20) (12,25) (13,19) (14,27) (15,17) 
nodes: 17093  conflicts: 6  modelTime: 978  solveTime: 49016  totalTime: 50002  modelSize: 41293  readTime: 8 size: 15