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