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