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