(1,16) (2,22) (3,17) (4,30) (6,23) (7,28) (9,25) (10,19) (11,24) (12,27) (14,26) (15,18) 
nodes: 1205  conflicts: 53  modelTime: 663  solveTime: 1849  totalTime: 2518  modelSize: 41293  readTime: 6 size: 12