(1,24) (3,30) (4,17) (6,28) (7,22) (8,18) (9,27) (10,26) (13,20) (14,23) (15,16) 
nodes: 1188  conflicts: 91  modelTime: 661  solveTime: 930  totalTime: 1598  modelSize: 41293  readTime: 7 size: 11