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