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