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