(1,29) (2,28) (3,21) (4,22) (5,26) (7,18) (8,16) (9,20) (10,19) (11,17) (12,23) (13,27) (14,25) (15,30) 
nodes: 56508  conflicts: 29  modelTime: 1189  solveTime: 173282  totalTime: 174481  modelSize: 41292  readTime: 10 size: 14