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