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