(1,23) (2,24) (3,21) (4,16) (6,27) (8,17) (9,19) (10,30) (11,28) (12,22) (14,26) 
nodes: 884  conflicts: 70  modelTime: 661  solveTime: 830  totalTime: 1498  modelSize: 41292  readTime: 6 size: 11