(1,28) (3,16) (5,30) (6,26) (7,27) (8,18) (9,22) (10,24) (11,19) (12,29) (13,17) (15,20) 
nodes: 390  conflicts: 68  modelTime: 773  solveTime: 683  totalTime: 1464  modelSize: 41293  readTime: 8 size: 12