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