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