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