(1,28) (2,26) (3,27) (5,17) (8,30) (9,24) (10,19) (11,22) (12,29) (14,23) (15,18) 
nodes: 1189  conflicts: 80  modelTime: 671  solveTime: 983  totalTime: 1661  modelSize: 41293  readTime: 6 size: 11