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