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