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