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