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