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