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