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