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