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