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