(1,28) (2,20) (3,25) (4,19) (6,22) (10,27) (11,21) (14,26) (15,16) 
nodes: 488  conflicts: 94  modelTime: 668  solveTime: 501  totalTime: 1176  modelSize: 41300  readTime: 7 size: 9