(1,20) (2,25) (3,17) (5,30) (6,23) (7,29) (8,24) (9,19) (10,18) (11,16) (13,21) (14,22) (15,28) 
nodes: 1416  conflicts: 53  modelTime: 662  solveTime: 1816  totalTime: 2486  modelSize: 41292  readTime: 7 size: 13