(1,26) (2,30) (3,20) (5,17) (7,21) (8,23) (9,28) (10,16) (11,19) (12,18) (13,27) (14,29) (15,22) 
nodes: 1628  conflicts: 33  modelTime: 657  solveTime: 1192  totalTime: 1856  modelSize: 41293  readTime: 7 size: 13