(1,16) (2,18) (3,24) (4,26) (5,17) (6,29) (7,19) (9,21) (10,30) (11,20) (12,23) (13,28) (14,22) (15,25) 
nodes: 2089  conflicts: 27  modelTime: 656  solveTime: 3004  totalTime: 3666  modelSize: 41292  readTime: 6 size: 14