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