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