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