(1,18) (2,27) (3,17) (4,24) (5,19) (6,25) (7,30) (8,29) (9,28) (10,22) (11,26) (14,20) (15,23) 
nodes: 6134  conflicts: 34  modelTime: 660  solveTime: 12037  totalTime: 12703  modelSize: 41292  readTime: 6 size: 13