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