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