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