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