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