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