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