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