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