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