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