(1,26) (2,16) (3,23) (5,27) (6,17) (7,28) (8,21) (9,29) (10,19) (11,25) (14,30) (15,22) 
nodes: 4576  conflicts: 49  modelTime: 658  solveTime: 8195  totalTime: 8860  modelSize: 41292  readTime: 7 size: 12