(1,29) (2,28) (3,22) (4,23) (5,16) (6,25) (7,17) (8,18) (9,27) (11,26) (12,30) (13,20) (14,21) (15,24) 
nodes: 5459  conflicts: 17  modelTime: 1182  solveTime: 17172  totalTime: 18364  modelSize: 41292  readTime: 10 size: 14