(1,20) (2,28) (3,27) (4,25) (5,23) (6,19) (7,26) (8,16) (9,29) (10,30) (11,17) (12,18) (13,24) (14,22) (15,21) 
nodes: 867  conflicts: 1  modelTime: 869  solveTime: 986  totalTime: 1861  modelSize: 41292  readTime: 6 size: 15