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