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