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