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