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