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