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