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