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