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