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