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