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