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