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