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