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