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