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