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