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