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