(2,20) (3,6) (4,14) (5,16) (7,18) (9,17) (10,19) (11,28) (15,24) (21,22) (23,25) (26,29) 
nodes: 1275  conflicts: 87  modelTime: 935  solveTime: 4920  totalTime: 5866  modelSize: 72262  readTime: 11 size: 12