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