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