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