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