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