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