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