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