(1,28) (2,26) (3,27) (4,20) (7,16) (8,22) (9,24) (10,25) (11,19) (12,21) (15,29) 
nodes: 815  conflicts: 82  modelTime: 773  solveTime: 722  totalTime: 1503  modelSize: 41300  readTime: 8 size: 11