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