(1,17) (2,21) (3,20) (4,19) (5,22) (7,28) (8,25) (9,29) (10,23) (11,26) (12,24) (13,18) (15,30) 
nodes: 2129  conflicts: 43  modelTime: 657  solveTime: 1661  totalTime: 2325  modelSize: 41292  readTime: 7 size: 13