(1,22) (3,19) (4,20) (5,23) (7,16) (9,27) (10,30) (11,17) (12,18) (14,28) (15,21) 
nodes: 772  conflicts: 81  modelTime: 661  solveTime: 945  totalTime: 1613  modelSize: 41292  readTime: 7 size: 11