(1,20) (2,17) (4,16) (5,19) (6,22) (7,27) (8,28) (9,24) (10,30) (11,26) (12,21) (13,29) (15,25) 
nodes: 1308  conflicts: 37  modelTime: 661  solveTime: 1743  totalTime: 2410  modelSize: 41293  readTime: 6 size: 13