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