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