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