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