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