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