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