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