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