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