(1,20) (3,16) (4,28) (5,17) (6,25) (7,24) (8,27) (9,21) (10,19) (13,23) (14,18) (15,26) 
nodes: 1311  conflicts: 74  modelTime: 664  solveTime: 1129  totalTime: 1800  modelSize: 41300  readTime: 7 size: 12