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