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