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