(3,23) (4,22) (5,20) (7,30) (8,24) (9,28) (10,27) (11,21) (12,18) (13,17) (15,19) 
nodes: 1144  conflicts: 53  modelTime: 659  solveTime: 998  totalTime: 1664  modelSize: 41292  readTime: 7 size: 11