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