(1,26) (2,18) (3,22) (4,29) (5,27) (6,17) (7,19) (8,21) (9,23) (10,30) (11,24) (13,28) (14,25) (15,16) 
nodes: 968  conflicts: 28  modelTime: 657  solveTime: 1251  totalTime: 1914  modelSize: 41292  readTime: 6 size: 14