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