(1,27) (2,24) (3,25) (4,20) (5,16) (7,28) (8,21) (9,18) (10,30) (11,23) (12,26) (13,29) (14,22) (15,19) 
nodes: 4801  conflicts: 32  modelTime: 659  solveTime: 8612  totalTime: 9278  modelSize: 41292  readTime: 7 size: 14